量子计算速成｜量子计算流体力学知识库

本词条为 CFD 背景读者提供量子计算的最小装备箱：六个概念（叠加、测量、酉性、no-cloning、纠缠、纠错）加一套复杂度记号，每个概念都配一个流体力学类比并说明它对量子 CFD 的直接后果。Bharadwaj-Sreenivasan 2020 综述的前两章即按此思路为流体力学社区写过入门；此处取其骨架、聚焦后续词条反复用到的机制。

量子比特与叠加

经典比特取 0 或 1；量子比特（qubit）取叠加态

∣ ψ ⟩ = α_{0} ∣0 ⟩ + α_{1} ∣1 ⟩, ∣ α_{0} ∣^{2} + ∣ α_{1} ∣^{2} = 1,

$Q$ 个量子比特的寄存器一般态是 $∣ ψ ⟩ = \sum_{i = 0}^{2^{Q} - 1} α_{i} ∣ i ⟩$ —— $2^{Q}$ 个复振幅张成的态空间。CFD 类比：把它想成一个 $2^{Q}$ 维谱系数向量，“网格值”住在系数里而非网格点上。这就是振幅编码的预告： $N$ 个流场自由度只需 $lo g_{2} N$ 个量子比特存放（见state-preparation），也是湍流 $R e^{3}$ 复杂度对上 $Q \approx 3 lo g_{2} R e$ 比特的根源（见turbulence-complexity）。但记住：装得下≠装得进≠读得出——后两句是io-problem的全部内容。

测量与统计

测量按 Born 规则给出基矢 $∣ i ⟩$ ，概率 $∣ α_{i} ∣^{2}$ ，且塌缩——态被销毁，只剩这一个结果。要估计任何振幅或期望值，须重复”制备-演化-测量”整个流程做统计。CFD 类比：像系综平均——单次实现没有意义，统计量才可交付；shots 数就是样本数。代价结构也类似 Monte Carlo：精度 $ε$ 需要 $O (1/ ε^{2})$ 样本（振幅估计可平方级改善，见quantum-amplitude-estimation），而”读完所有振幅”的层析需要指数样本。

酉性与可逆性

封闭量子系统的演化是酉的： $U^{†} U = I$ ，保内积、保范数、可逆——信息不增不减。CFD 类比：无粘、无耗散的哈密顿流体（如波动方程或 Euler 方程的熵不变解）才具备这种”时间可反演”；而 Navier-Stokes 带粘性耗散，熵增、不可逆、相空间体积收缩。这一条直接宣判：耗散项不是酉算子，量子 CFD 必须经由升维（Carleman/Koopman）、变形（Schrödinger 化）或概率化（LCU+后选择）把流体动力学”掰回”酉形——五大挑战的第五条由此而来（见qcfd-challenges）。

no-cloning 定理

不存在酉算子能复制任意未知态。从定义出发的证明只有三行：设 $U ∣ ψ ⟩ ∣0 ⟩ = ∣ ψ ⟩ ∣ ψ ⟩$ 对一切 $∣ ψ ⟩$ 成立；取两个态 $∣ ψ ⟩, ∣ ϕ ⟩$ ，酉性保内积，则

⟨ ψ ∣ ϕ ⟩ = ⟨ ψ ∣ ϕ ⟩^{2} ⟹ ⟨ ψ ∣ ϕ ⟩ \in {0, 1} ，

即只有相互正交或相同的态可被”复制”——一般态不行。CFD 类比与直接后果：经典代码里 temp = u 再算 u*temp 是本能动作；量子 CFD 里这条路被定理封死—— $u^{2}$ 与 $u \partial_{x} u$ 必须靠升格新变量（Carleman 的 $g_{ij} = f_{i} f_{j}$ ）或多副本变分态绕行（见carleman-linearization、variational-pde-solver）。

纠缠与关联

多比特态若不能写成单比特态的直积，即为纠缠——它编码超越经典的关联。CFD 类比：湍流的两点关联函数、联合概率密度；纠缠态之于量子态，正如非高斯联合分布之于独立变量分解。两面性：纠缠是量子算法超越经典模拟的资源，但也是经典模拟变贵的原因——张量网络方法正是靠”关联可低秩化”压缩纠缠（见tensor-network-fluids），MPS 键维数 χ 所扮演的角色与关联长度同构。

NISQ 与容错

当前设备（NISQ：noisy intermediate-scale quantum，百级含噪物理比特）没有纠错，线路稍深就被噪声淹没；容错量子计算（FTQC）用纠错码把许多含噪物理比特编码成一个可靠的逻辑比特——主流方案表面码（surface code）一句话：把量子信息摊在二维比特格点上，靠局域奇偶校验不断纠正错误，代价是每个逻辑比特需成百上千个物理比特。三大平台（超导、俘获离子、中性原子）的对比与算法-硬件配对见qcfd-taxonomy：

晶圆上三个超导量子比特的电路版图 — 图:晶圆上三个超导量子比特的典型电路版图——NISQ 设备的物理比特直接暴露在噪声中,容错需要把成百上千个物理比特编码成一个逻辑比特(来源:QC009)

量子 CFD 的谱系据此分层：变分/数据驱动路线瞄准 NISQ（浅线路+误差缓解，见nisq-experiments），线性系统与演化模拟路线瞄准容错机器（深度大、需相位估计，见resource-estimation）。

复杂度记号速查

$O (\cdot)$ / $Ω (\cdot)$ / $Θ (\cdot)$ ：上界/下界/紧界，默认以问题规模（格点数、矩阵维数）为变量；
查询复杂度：调用黑盒（oracle，如矩阵元预言机）的次数——量子算法复杂度的标准口径，见block-encoding；
$κ$ ：矩阵条件数，HHL 系算法的多项式罚项主角；
$polylog N = poly (lo g N)$ ：对数多项式——“指数加速”即指从 $poly (N)$ 降到 $polylog N$ ；
门数≠墙钟时间：双比特门错误率高、纠错下 T 门最贵；shots 数是另一条独立账（见io-problem）。

量子 CFD 百科

探索

量子计算速成