光量子的阿喀琉斯之踵：热损耗下玻色采样被经典算法追平（2611.08444）

光量子的阿喀琉斯之踵：一场关于"优势"的认证战争

——热损耗下的玻色采样被经典算法追平意味着什么

论文：*Polynomial-time classical simulation of boson and fermion sampling under thermal loss*

作者：Armando Angrisani, Hela Mhiri（arXiv:2611.08444，2026-11，quant-ph）

一、200 秒与亿万年

2020 年 12 月，"九章"光量子计算机登上《科学》：高斯玻色采样任务，200 秒完成——当时最强的超级计算机需要估计 亿万年。输出态空间维度 10³⁰，76 个光子探测事件。中国团队由此跻身全球第二个实现"量子计算优越性"的阵营。

高光之下埋着一根刺，一根每一代光量子实验者都心知肚明的刺：光子会丢。

二、玻色采样：为什么它难

先花一分钟讲清这场游戏。把若干个全同光子打进一个多端口干涉仪，光子们走分束器、相互干涉，最后从一堆出口随机涌出。问你：每个出口各收到几个光子的概率分布是什么？

这个分布由矩阵的 积和式（permanent）（费米子情形是哈夫尼安 hafnian）主宰——它是计算复杂性理论里的著名狠角色，属于 #P 难：比 NP 更高的困难层级。经典计算机想精确算出这个分布，代价随光子数指数爆炸。而光子系统自己，"唰"地一下就把它算完了——光波干涉天然就在做这件事。这就是"采样优越性"的赌注：不用证明量子机算得快，只要证明经典机算不快。

但整个赌注建立在一个前提上：输出分布真的由那个 #P 难的多粒子干涉结构决定。一旦噪声进来，把干涉的高阶结构抹掉，赌注就塌了。经典怀疑论者 Gil Kalai 十余年来一直押注于此。

三、2026 年 11 月的判决书

Angrisani 与 Mhiri 的新论文，把怀疑论者的直觉锻造成了定理。三个结果，一个比一个锋利：

主定理：对福克态玻色采样、固定压缩的高斯玻色采样、带魔态输入的费米子采样三大场景——只要存在任何固定的非零热损耗率（哪怕不随系统增大而减小），在 Haar 随机干涉仪下，经典计算机就能在多项式时间内采样出与真实输出仅差逆多项式总变分误差的分布。

免随机性版本：把"Haar 随机"换成对理想分布的一个温和假设（"平坦性"，本质是反集中条件的亲戚——没有哪个输出出现的概率高出平均太多），模拟退为拟多项式时间。

深度版本：若每层光路都有常数热损耗，平坦性假设下给出对数深度的多项式时间模拟。

还有一个近乎诙谐的推论：当输入模式近乎全填充时，热损耗后的输出分布收敛到一个与干涉仪完全无关的分布——那台精心设计的量子机器，输出已经不再依赖它自己。

四、三幕机制：干涉是怎么被抹掉的

这证明的美感在于一幅可以画出来的图像。

第一幕：把概率展开成"度数"。 输出概率可以按占位数多项式（Young/Hahn/Meixner 正交多项式族）分解：度 0 的项是"完全不考虑量子干涉"的经典基线，度 k 的项编码着 k 粒子干涉结构。量子性藏在高阶项里。

第二幕：热损耗按度数收税。 证明的核心不等式：噪声让度 k 的贡献乘上 Γ_k ≤ q^k（q<1）——指数衰减，度数越高罚得越狠。而"区分完整量子态与最大混态"的信息，恰恰主要由高阶关联携带。损耗消灭的，恰好是量子性所在。

第三幕：截断即胜利。 既然高阶项指数式消失，模拟只需保留对数阶的截断，就能达到逆多项式精度。这套"噪声诱导截断原理"此前在含噪量子比特电路里（泡利权重的衰减）大放异彩，本文把它完整迁移到光子与费米子采样——方法论上完成了一次统一。

五、判决书自己写明的边界

这才是这篇论文最值得尊敬的地方——作者亲手给自己的武器画了三条禁飞区：

1. 假设依赖：主定理要 Haar 随机干涉仪（或多项式平坦性）。那些特意设计成尖锐分布的可验证优势方案，恰好逃出这个 bound。 2. 多项式 ≠ 实用：运行时间随 1/损耗率指数增长——"多项式时间可模拟"完全不代表"今天这 76 个光子能在你的笔记本上模拟出来"。有限尺寸下，可观的量子优势仍然可能存在。 3. 下界未知：最优模拟代价的匹配下界还是开放问题——也许连现在的多项式都太保守。

所以论文的措辞极其克制：这些结果是"证据"——表明依赖 Haar 随机干涉仪的超多项式量子优势，要求损耗率随系统规模趋于零。这不是对九章们的否定，而是对它们提出的设计约束。

六、一场没有终点的对话

把镜头拉远，你会看到科学最健康的运作方式。2020 年，九章宣告优势；怀疑者说"噪声会毁掉一切"但缺少定理；2025 年，实验侧推出抗损耗设计与 3050 光子的九章 4.0，正面回应；2026 年 11 月，理论侧交出这份更锋利的模拟定理。每一方都在逼迫对方变得更精确。"量子优势"从来不是一纸宣言，而是一场持续校准的对话——实验负责"当前确实快"，理论负责"快到什么条件下为止"。

对工程师，这篇论文给出的是路线图：想让优势活下来，要么压损耗（逼近纯损耗极限），要么离开 Haar 随机（走向可验证的尖锐方案），要么让损耗随规模衰减。三条路都通向更难的工程，也更坚实的科学。

费曼说，科学的尊严在于"专家也可能不懂，但人人都可检验"。玻色采样的这场认证战争正是如此：没有人输，但规则越来越清楚——量子优势的敌人从来不是经典计算机，而是定理；而定理的敌人，是下一代的实验。

延伸阅读

1. Angrisani, Mhiri, *Polynomial-time classical simulation of boson and fermion sampling under thermal loss*, arXiv:2611.08444（2026） 2. Zhong et al., *Quantum computational advantage using photons*, Science 370, 1460 (2020)（九章） 3. Liu et al., *Robust quantum computational advantage despite photon loss*, arXiv:2508.09092（2025，实验侧反击） 4. Kalai, Kindler, *Noise disorder and the phase diagram of quantum circuits*（2011，怀疑论起点） 5. Aaronson, Arkhipov, *The computational complexity of linear optics*（2011，玻色采样开山之作）

*本文系"智柴·数学底座与前沿交叉"第五季第 2 篇（S5-Round 2）。*