把 PDE 交给量子计算机的三条路——离散后解线性系统、把时间演化当作算符模拟、变分地猜试探函数——在流体方程上各有代表作:泊松与有限元撑起稳态问题的复杂度理论,热方程与波动方程检验酉化的极限,Burgers 与 Navier-Stokes 则把非线性的代价暴露无遗。本卷按”总览→线性内核→演化问题→非线性通论”的顺序展开。
本卷共 12 个词条,建议先读总览再入各专题:
| 词条 | 读完能回答 |
|---|---|
| 量子 PDE 求解总览 | 三大范式(线性系统/演化模拟/变分)各自的输入输出、适用方程与资源画像;谱系表如何导航全卷。 |
| 量子泊松求解器 | 为什么泊松是 CFD 线性代数内核;Cao 等的正弦变换对角化与显式线路;SPAI 预条件;与经典多重网格的诚实对比。 |
| 量子 Navier-Stokes 求解 | 五家路线(Gaitan/QFlowS/Song/本源/Carleman 直接 NS)如何选择”非线性留在哪一侧”的分工界面;各家汇总表。 |
| 涡量-流函数量子算法 | 消去压力的经典入口为何量子友好;Gaitan 非光滑流的潜在指数加速条件;Budinski 的 D2Q5 门级线路。 |
| 热方程量子算法 | 扩散的 Fourier 对角化;非酉耗散的两条酉化技术(LCU/Schrödinger 化);d>5 高维优势条件;Cole–Hopf 接口。 |
| 对流方程量子模拟 | 平移算子为何天然酉;与 LBM 流送的同构;迎风格式经 Schrödinger 化的电路实现与 d>4 优势条件。 |
| Burgers 方程量子算法 | 五家方案(格子气/Carleman/变分/量子 Jacobi/Cole–Hopf)的机制对比;R=43.59 数值意外与理论条件的差距。 |
| 量子有限元 | κ=O(N^{2/d}) 如何吞噬指数优势;固定维数至多二次加速的论证;读出下界等三道不可逾越的壁垒。 |
| 量子谱方法 | QFT–对角–QFT 三明治结构;线性 ODE 内核的谱化与快进红利;Chebyshev 潜空间编码;谱精度对比特数的权衡。 |
| 量子多重网格 | 量子 V-cycle 如何用振幅编码整条迭代序列并利用初始猜测;Rolls-Royce 的块编码预条件(SPAI/循环矩阵、相位因子降 25 倍)。 |
| 波动方程 | 波动方程为何天然酉(化为薛定谔形式的推导);QFT 对角化线路;Quantinuum 真机演示与 O(1/N⁴) 误差标度。 |
| 非线性 PDE 量子算法通论 | 三条线性化路线的代价;快进下界定理;端到端有界优势(Re^{1.936} vs Re³);CFL 条件抵消 polylog 优势的机理与出路。 |