量子算法工具箱收录量子 CFD 全线产品都要调用的”零件”——线性代数内核(HHL、块编码与 QSVT、VQLS、迭代法)、信息出入口(相位估计、幅值估计、态制备)与执行引擎(哈密顿顿模拟、线性 ODE 求解器),再加上四类把流体方程改写成量子可执行形式的变换(Carleman 线性化、Schrödinger 化、Koopman 嵌入、Feynman–Kac/量子行走)。每个词条都以”它对流体计算有什么用”收尾。
本卷共 14 个词条,建议按”线性代数 → 信息出入口 → 变换层”的顺序阅读:
| 词条 | 读完能回答 |
|---|---|
| HHL 算法 | 四步流程(相位估计→1/λ 受控旋转→后选择→uncompute)的推导;Õ(κ²s²logN/ε) 从哪来;为何只输出泛函不输出全场解;与经典 Õ(N√κ) 对比及指数加速的成立条件。 |
| 量子相位估计 | 逆 QFT 谱估计的推导与 4/π² 成功率;精度 1/2^t 与受控门深度的权衡;它在 HHL、哈密顿顿模拟与谱方法中的骨干角色。 |
| 量子幅值估计 | 幅值放大+相位估计的组合如何把 Monte Carlo 采样压到 Õ(σ/ε);Gaitan 借 Kacewicz 随机化 ODE 把它用于 NS 方程;阻力/能谱等流场统计量的期望值框架。 |
| 块编码与 QSVT | ⟨0|U|0⟩=A/α 的定义与 LCU/稀疏黑盒构造;qubitization–QSP 如何统一矩阵算术;现代记账 O(κlog(κ/ε));CFD 矩阵的专用块编码(相位因子降 25 倍、~10⁵ 削减)。 |
| 哈密顿量模拟 | 乘积公式→高阶 Suzuki→QSP/qubitization 的复杂度脉络;d 维 Laplacian 张量积线路为何对维数近线性;波动/对流/扩散与酉性的三档亲缘。 |
| 变分量子线性求解器 | 代价函数 ⟨ψ|A†U†HUA|ψ⟩ 的推导与 Hadamard 测试;局域代价如何对抗贫瘠高原;终止条件 ε²/κ²;SUB-VQLS 与真机性能。 |
| 振幅编码与态制备 | 2ⁿ 振幅进 n 比特的指数容量;任意态制备 Θ(2ⁿ) 门下界(2ⁿ⁺¹−2n 个 CNOT);高效可制备类与 QRAM;Low–Su 最优制备查询数;CFD 数据装载的现实账。 |
| Carleman 线性化 | 二次系统 → 无穷维线性系统(dV/dt=CV)的层级推导;截断误差与 R 参数;PNAS 复杂度定理(R<1 收敛、polylog 网格 + T² 时间)与 R≥√2 不可解下界。 |
| Schrödinger 化 | warped-phase 变换 w=e⁻ᵖu 如何把非酉演化抬升成高一维的实时间薛定谔方程;显式电路与 d>4–5 高维优势;与 Carleman 的两级流水线。 |
| Koopman–von Neumann 嵌入 | Liouville 密度方程为何天然线性;ψ=√P 代换的薛定谔形式;Giannakis 多体嵌入;“旅店房间远多于住客”的边缘分布-张量网络闭包思路与混沌谱困难。 |
| 线性 ODE 量子算法 | BCOW 的 Taylor 传播子编码(polylog(1/ε))、Kacewicz 随机化、Fang–Lin–Tong 时间推进(成功概率不随步数衰减)三条路线的取舍;CFD 时间步进选项表。 |
| 量子行走进 PDE | 带币行走与 Childs 图行走的机制;平移算子与对流/LBM streaming 的幺正同构;波动方程的行走算法;搜索/输运二次加速的一般原理。 |
| Feynman–Kac 量子算法 | 抛物型 PDE ↔ 随机过程期望的对偶推导;Wick 旋转与虚时演化;VarQITE 的 McLachlan 变分实现与 6–8 比特验证;期望的幅值估计二次加速。 |
| 量子迭代法 | CFD 为何迭代不求逆;量子 Jacobi 的 A=D+R 分裂 + LCU 轨迹编码;Woodbury 恒等式绕开 Gauss-Seidel 串行性;宽度/深度/内存的资源账与早期容错生态位。 |