量子纠错跨过门槛

2024 年 12 月，Google 的量子团队在《自然》上报告了一件许多人等了近三十年的事。

当他们把承载"一个"逻辑量子比特的物理比特从 49 个增加到 101 个时，这个逻辑比特的出错率不是上升，而是下降了一半。

这句话听起来平淡，却是量子计算从"实验室演示"走向"可用机器"路上第一块真正可靠的台阶。它意味着一个被理论预言了三十年、却始终没人在硬件上确证的转折点——纠错阈值（error-correction threshold）——终于被跨过了。

这一页要讲的不是"量子计算什么时候能破解密码"这类被反复炒作的问题，而是当下真正卡住整个领域的那道工程鸿沟，以及 2020 年代正在逼近它的几条不同路线。

破除误解：比特越多 ≠ 越强#

在公众叙事里，量子计算的进步常被简化成一场"比特数竞赛"——谁家芯片的量子比特多，谁就领先。这是对这个领域最深的误解。

真正的瓶颈不是数量，而是质量。

今天最好的物理量子比特，每做一次操作的出错概率在 $10^{-3}$ 量级，也就是千分之一。而一个有实用价值的算法——比如用 Shor 算法分解一个 2048 位的 RSA 密钥——需要在数十亿次操作中把总错误压到 $10^{-10}$ 以下。这中间差着大约七个数量级。

没有任何已知的物理工艺能把单个量子比特直接做到这么干净。指望"再小心一点"把噪声降七个数量级，等于指望把一座沙堡盖到月球高度。

唯一的出路是量子纠错：不去追求完美的物理比特，而是把许多有缺陷的物理比特编织成一个"逻辑比特"，让它们的错误相互抵消。

这与经典计算里用三份拷贝投票纠错是同一个直觉。但量子世界有两重额外的困难：你不能直接读取一个量子态（一读它就塌缩），而且量子错误是连续的（不只有 0/1 翻转，还有相位的细微偏移）。1995 年后，Shor、Steane、Kitaev 等人证明这两个困难都能巧妙绕过，并提出了奠定整个领域的阈值定理。

阈值定理：那道看不见的门槛#

阈值定理是这个领域的指南针。

它说：只要单个物理比特的错误率低于某个临界阈值，你就可以通过不断扩大编码规模，把逻辑错误率压到任意低——错误会随规模指数衰减。

反过来，如果物理错误率高于阈值，扩大规模只会让逻辑比特更糟，因为你新引入的错误比纠正掉的还多。门槛之上，越纠越乱；门槛之下，越纠越净。这是一道泾渭分明的相变。

对当下主流的表面码（surface code）而言，这个阈值大约在 1% 上下。

问题在于：阈值定理只是一个数学陈述。三十年里，从未有人在真实硬件上干净地展示"扩大规模 → 错误指数下降"。芯片总是被各种现实噪声——串扰、宇宙射线、控制漂移——拖回到阈值之上。

衡量这件事的关键指标叫 $\Lambda$（Lambda）：每当编码"距离"增加一档（所需物理比特数大致翻倍），逻辑错误率被压低的倍数。只有 $\Lambda > 1$，才算真正进入阈值以下。

2024：四条路线同时逼近门槛#

Google Willow（超导） —— 在 105 比特的 Willow 芯片上，研究者依次运行了距离 3、5、7 的表面码。

每增加一档距离，逻辑错误率被压低约 2.14 倍（$\Lambda \approx 2.14$）；距离 7 的逻辑比特每个纠错周期的错误率低至约 0.143%，已经优于芯片上最好的单个物理比特。他们还做到用神经网络辅助的解码器在约 63 微秒内完成实时纠错。

这是第一次有人令人信服地展示：加比特，逻辑比特会变好[willow]。

但超导不是唯一赛道。2020 年代的真实格局是多条技术路线并进，各有所长：

更重要的是，编码方式本身也在革命。

表面码"很贵"——一个逻辑比特要烧掉上千个物理比特。2024 年 IBM 在《自然》提出的 qLDPC（量子低密度奇偶校验）码（俗称 "gross code"），用同样的纠错能力把物理比特开销降低约一个数量级[ibm]。

这把"造一台容错机器要几百万个比特"的噩梦，潜在地改写成"几十万个"。哈佛–QuEra 团队则利用冷原子的可移动性，在 48 个逻辑比特上演示了横向逻辑门[quera]——这是另一种绕开布线地狱的思路。

一条三十年的时间线#

• 1995–1997：Shor、Steane 提出量子纠错码；Kitaev 提出环面码与表面码雏形；阈值定理被证明。门槛在理论上存在。
• 2019：Google Sycamore 宣称"量子优越性"——但解的是一个人为设计的采样问题，没有实用价值。
• 2021–2023：表面码距离开始可控扩大，但 $\Lambda$ 始终徘徊在 1 附近，谁也没真正跨过门槛。
• 2023：哈佛–QuEra 用冷原子阵列首次在数十个逻辑比特上做横向门。
• 2024：IBM 提出 qLDPC 码大幅降低开销；Google Willow 实现 $\Lambda\approx2.14$，第一次确证"加比特变好"。门槛被跨过。

代价与争议：跨过门槛 ≠ 造出机器#

必须冷静：跨过阈值是必要条件，不是充分条件。

一台能跑 Shor 算法的容错量子计算机，离今天还隔着至少四道工程难关：

1. 规模。 即便用上 qLDPC 码，破解 RSA-2048 仍可能需要数十万到上百万个高质量物理比特；今天最大的芯片只有几百个。
2. 魔法态蒸馏（magic-state distillation）。 表面码天然只能廉价地做一类"Clifford 门"，而真正有用的计算需要非 Clifford 门（如 T 门）。制备这些门要靠昂贵的"魔法态蒸馏"——这往往才是资源消耗的真正大头，而非比特数本身。
3. 实时解码。 纠错要求在比特退相干之前算出该如何纠正。当逻辑比特成千上万时，解码器本身就是一台需要实时运行的高性能计算机。
4. 良率与一致性。 把上百万个几乎完全相同、又相互精密耦合的量子器件造出来，是一个尚未解决的制造问题。

时间表上，各家分歧很大。IBM 公开把"容错的 Starling 系统"目标定在 2029 年前后；更谨慎的物理学家认为实用容错机器要到 2030 年代甚至更晚。

也有持续的怀疑声音——例如数学家 Gil Kalai 长期论证：噪声可能存在某种根本性的、无法被纠错绕过的相关性。Willow 的结果削弱了这种最强版本的怀疑，但并未终结争论。

还要澄清一个常见炒作点：2019 年所谓的"量子优越性"解的是一个专门设计、对经典计算机极不友好的采样问题，不是任何有实用价值的计算；此后经典算法多次把这类优势追平或缩小。真正的里程碑从来不是"超越经典"，而是"逻辑错误率能否持续下降"。

未知的边界#

• 容错机器到底需要"几十万还是几百万"个物理比特，取决于 qLDPC 等新码能把开销压到多低——这是当前最活跃的理论战场。
• 魔法态蒸馏的成本能否被新方案（如"魔法态培育"，magic-state cultivation）大幅削减，可能比单纯增加比特数更能左右实用时间表。
• 不同物理路线（超导 / 冷原子 / 离子 / 光子）最终会收敛到一条，还是在不同任务上分化，目前没有答案。
• 一个更微妙的问题：在抵达"破解密码"级别之前，是否存在某个更早、更小却已有商业价值的容错应用（如量子化学模拟）？这关系到整个产业的资金能否撑到终点。

跨域连接#

• 纠错码：量子纠错继承了经典编码的框架却面临两条经典世界没有的约束——不可克隆定理禁止复制备份，且测量会塌缩状态。表面码的解法是只测量稳定子（错误的症状）而不测量数据本身，这一"测症状不测状态"的思路是整个领域的技术核心。
• 拓扑学：表面码即基泰耶夫的环面码，其纠错能力来自逻辑信息被编码在拓扑自由度而非局域自由度上——局域噪声在原理上碰不到它。qLDPC 码与扩张图、同调论的联系同样不是类比：码距的下界直接由图的展开性给出。
• 密码学基础：正因为大型量子计算机"终将到来"，后量子密码标准化已经完成并开始迁移，这是"尚未造出的机器"提前改变现实的罕见案例。其驱动机制很具体：今天被截获的密文可以留到未来解密，因而迁移的紧迫性由数据的保密年限而非机器的到来时间决定。
• 相变与临界现象：阈值定理的形式与渗流相变高度相似——当物理错误率低于某个临界值时，增加编码层数使逻辑错误率指数下降；高于它则相反。这一"要么指数改善、要么指数恶化"的二分是临界行为的典型特征，也解释了为何硬件指标的微小改进可能带来质变。
• 分布式系统：容错的一般思路在两个领域同构——用冗余换可靠性，代价是需要一个能就"哪里出错了"达成一致的机制。量子纠错的解码器在功能上就是这样一个实时共识过程，且它必须比退相干更快，这一延迟预算是当前工程的主要瓶颈之一。

参考文献#

• Google Quantum AI. Quantum error correction below the surface code threshold. Nature 638, 920–926 (2025). arXiv:2408.13687.
• Bravyi, S. et al. (IBM). High-threshold and low-overhead fault-tolerant quantum memory. Nature 627, 778–782 (2024).
• Bluvstein, D. et al. Logical quantum processor based on reconfigurable atom arrays. Nature 626, 58–65 (2024).
• NIST. Post-Quantum Cryptography Standards (FIPS 203/204/205). 2024-08.

延伸阅读#

• Nielsen, M. & Chuang, I. Quantum Computation and Quantum Information.（阈值定理与纠错的标准教材章节）