量子格子气

量子格子气（quantum lattice gas, QLG）是最古老的"quantum LBM"血统：在格子气自动机的每个格点放上少量量子比特，碰撞步是格点上的幺正散射矩阵、流送步是粒子在格点间的交换——整体天然幺正，根本不出现"非酉碰撞"问题。Jeffrey Yepez 在 2001–2002 年以此为工具造出解 Burgers 方程的量子算法Yepez 2002 (arXiv)、Yepez 2002 (JSP)，并称其为 type-II 量子计算；Love-Boghosian 随后建立了它与扩散、退相干的数学理论Love & Boghosian 2005 (QIP)。

从 FHP 到量子：为什么天然幺正

经典格子气（FHP 1986）的碰撞是布尔格点态上的守恒散射规则，宏观行为经粗粒化平均涌现（见lattice-gas-automata），但带统计噪声。量子化的一步之遥：把每格点的粒子占据态换成量子比特，碰撞规则换成幺正散射矩阵 $U$（作用在该格点的全部内态上），流送仍按速度把分量搬到邻格。因每步都是幺正（散射幺正 + 移位幺正），演化保范——这正是 Meyer 与 Boghosian-Taylor 定义量子格子气的方式（经Love & Boghosian 2005 (QIP)引述）。

一个关键的理论约束是 Meyer 的 no-go 定理：标量、齐次、幺正的元胞自动机只有平凡解（恒等与平移乘相位）。量子格子气靠两条规避：格点值非标量（多比特内态），以及分区演化——把一步分成碰撞与传播两个子步，分别作用在两组邻域上。这个”碰撞-传播”两拍结构与 LBM 完全同构。

Yepez 的 Burgers 量子算法

一维模型每格点两个量子比特（对应 $\pm$ 方向的两个粒子）。介观层是格子 Boltzmann 方程

$$p_{\pm }(x\pm \delta x,t+\delta t)=p_{\pm }(x,t)\pm \Omega (p_{+},p_{-}),$$

宏观场 $u=c(\rho -1)$、$\rho =p_{+}+p_{-}$；经 Chapman-Enskog 展开（见chapman-enskog）在格子与时间步趋于零时收敛到 Burgers 方程 ${\partial }_{t}u+u{\partial }_{x}u=\nu {\partial }_x^{2}u$Yepez 2002 (arXiv)。

量子散射取两比特幺正（参数角 $\theta ,\zeta ,\xi$），其长期行为与 3 比特 Boghosian-Levermore 经典格子气算法一致，而 2 比特经典算法不收敛到 Burgers——结论：同一方程，经典每格点至少 3 比特、量子只要 2 量子比特Yepez 2002 (arXiv)：

图:2 量子比特量子算法(实线)与 3 比特 Boghosian-Levermore 经典算法(虚线)吻合,2 比特经典算法(点线)不模拟 Burgers——量子算法内存更省(来源:QC033)

复杂度论证：经典总成本 $C_{\mathrm{cl}}=N{N}_x\varrho$（系综 × 格点 × 局部资源），量子下界 $C_{\mathrm{qu}}\ge N{N}_x{\log }_2\varrho$——系综平均因测量坍缩无法省去（演化的是经典系统，每步都须知全场），省的是每格点的存储 $\varrho \to {\log }_2\varrho$；对空间核磁共振类硬件系综开销可视为 $O(1)$（QC033 式 (4)–(5)）。另一个奇特优点：$\theta \simeq \pi /2$ 时粘度任意小（图 2 数值确认），低粘性（高 $Re$）端反而高效——与经典 LBM 低粘性失稳（见bgk-mrt-collision）形成对照。J. Stat. Phys. 版本（QC051，未入文献库）给出同系列完整模型。

type-I 与 type-II 之别

Yepez 把量子计算机分两类：type-I 是标准线路模型（通用门模型，本站其余 QLBM 词条全部属于此类）；type-II 是”纠缠-投影”（entangle-project）机器——每格点少量量子比特，一次纠缠操作后立即投影测量，靠大规模空间并行与测量后选择工作。Burgers 量子格子气是 type-II 的代表。代价在综述中说得很直白：type-II 方案不符合通用量子计算范式Sanavio & Succi 2024 (IntechOpen)——它依赖特定硬件操作模式（如 NMR 系综），其”量子优势”不是可扩展容错算法意义上的。同一谱系的 BEC/Gross-Pitaevskii 量子湍流格子气模拟见quantum-turbulence-simulation。

Love-Boghosian：退相干 → 扩散

Love 与 Boghosian 把量子格子气放进开放系统：粒子自旋（内态）与随机环境浴耦合，耦合固定、浴态随机，且要求宇称不变（parity invariant，物理上对左右反转对称）。他们导出幺正群李代数上保证宇称不变的约束，证明这样推广的量子格子气把幺正演化、随机行走、经典行走都收为极限，中间 regime 出现非幺正的扩散型衰减——从幺正的 Dirac 方程连续极限”退化”出耗散输运Love & Boghosian 2005 (QIP)。标题”From Dirac to Diffusion”即此意：一维量子格子气的连续极限是 Dirac 方程（Meyer 结果），加上退相干就得到扩散方程。这为”量子系统如何模拟耗散流体”提供了一个数学上受控的最小模型：

图:概率分布的时间演化——左:幺正演化(展宽但保持量子干涉结构);右:宇称不变退相干演化(衰减到均匀分布,即扩散)(来源:QC052)

延伸阅读

• lattice-gas-automata
• quantum-lbm-overview
• schrodinger-lbm
• quantum-burgers
• quantum-turbulence-simulation