四象限定义
| 象限 | 物理 | 计算机 | 典型问题 | 现状 |
|---|---|---|---|---|
| CC | 经典 | 经典 | CFD、天体力学、连续介质力学 | 科学计算的绝对主力 |
| CQ | 量子 | 经典 | 量子化学、凝聚态、量子化学的密度泛函 | 受相空间指数墙限制 |
| 量子 | 量子 | 量子多体模拟、量子化学基态 | Feynman 论证的对象，本行 | |
| QC | 经典 | 量子 | 量子 CFD、量子优化、量子机器学习 | 本站主题 |
Feynman 论证：QQ 象限的合法性
1982 年 Feynman 的出发点是”Nature ain’t classical, buddy”： 个量子自由度的态矢量维数 ，经典计算机模拟量子多体（CQ 象限）必然撞上指数墙。既然墙来自”用经典比特模仿量子叠加”，解法就是以毒攻毒——用量子系统模拟量子系统（QQ），让计算媒介与被模拟对象共享同一套动力学结构Sanavio & Succi 2024 (IntechOpen)（思想前驱是 Toffoli 与 Fredkin 的可逆计算；随后 Deutsch 1985 给出通用量子计算机模型，Shor 与 Grover 算法使领域获得动量）。QQ 象限的困难是”硬”，但问题结构与机器结构匹配：厄米、线性、局域的哈密顿量直接映射为量子门。
QC 象限的特殊性
QC 象限没有这种匹配。流体动力学虽是经典的，却携带两个量子力学没有的性质——非线性（对流项 ）与耗散（粘性项 ）Sanavio & Succi 2024 (IntechOpen)。它们恰好都不是酉的：
- 非线性撞上 no-cloning 与线性薛定谔方程（见qcfd-challenges⑤）；
- 耗散撞上酉演化保模长。
于是 QC 象限的全部算法工作，本质是把经典动力学弯折成量子机器能执行的形状：Carleman/Koopman 升维换线性、Schrödinger 化换酉性、变分多副本绕开复制禁令、LBM 用”流送酉+碰撞线性化”的结构分工。之所以仍愿付出这些代价，是振幅编码的指数容量对上湍流的 复杂度（见turbulence-complexity）。EPL 2023 综述把非线性和非厄米性称为量子计算房间里的”两头大象”，并反问：宏观物理强烈趋向经典，会不会存在量子算法无法超越的”经典优势”边界Succi et al. 2023 (EPL)（该争论见quantum-advantage-debate）。
QQ 象限的反哺
QQ 象限并非与量子 CFD 无关，它沿三条管道反哺：
- 直接素材：量子湍流（quantum turbulence）本身是 QQ 象限的流体问题——BEC/超流的涡旋动力学。Yepez-Vahala 的 type-II 量子格子气在经典超算上跑到 网格，复现 与 Kelvin 波 双级串；quantics MPS 以 DNS 千分之几的内存模拟 GP 湍流（见quantum-turbulence-simulation）。这些既是 QQ 象限成果，也为 QC 象限提供算法原型与低秩先验。
- 形式对偶：薛定谔方程经 Madelung 变换可读成无粘流体的欧拉方程；反过来，逆 Madelung 变换把可压 Navier-Stokes 映射为带复势的广义薛定谔方程——在量子机上解后者即解前者Succi et al. 2023 (EPL)。这条量子-流体对偶线（Succi-Benzi 1993 的 LBE-for-QM 到流体力学薛定谔方程）详见schrodinger-lbm。
- 概念回流：Feynman 式”用机器同构于问题”的思想在 QC 象限的回声，是 Yepez 的格子气与玻色编码 LBM——让碰撞规则天生酉化，而非事后修补（见quantum-lattice-gas、bosonic-encoding-lbm）。
