跳转到内容
← 返回研究前沿
量子信息2020s约 18 分钟阅读

量子纠错跨过门槛

Quantum Error Correction Crosses the Threshold

量子计算量子纠错表面码容错

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

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

这句话听起来平淡,却是量子纠错理论等了近三十年才在硬件上看到的那块台阶:扩大编码后,逻辑错误率开始下降。它意味着纠错阈值(error-correction threshold)在一块超导芯片上被跨过了。它不是一台通用容错计算机。

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

破除误解:比特越多 ≠ 越强

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

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

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

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

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

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

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

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

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

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

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

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

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

2024:四条路线同时逼近门槛

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

每增加一档距离,逻辑错误率被压低约 2.14 倍(Λ≈2.14\Lambda \approx 2.14)。这是第一次有人令人信服地展示:加比特,逻辑比特会变好[willow][willow]Google Quantum AI and Collaborators, Nature 638, 920–926 (2025), DOI: 10.1038/s41586-024-08449-y。在线发表于 2024 年 12 月 9 日。。

必须把实验边界写清楚。Willow 做的是表面码量子存储器的低于阈值演示,不是通用容错计算机,也还没有跑出具有算法意义的逻辑电路。论文用两块芯片:72 比特那块跑距离 5,并接上实时解码器;105 比特那块跑距离 7,实际编码用了 101 个物理比特。距离 7 的逻辑错误率约 0.143%±0.003%0.143\%\pm 0.003\% 每个周期,寿命超过最好物理比特约 2.4±0.32.4\pm 0.3 倍。实时解码只在距离 5 上做到:平均延迟约 63 微秒,纠错周期 1.1 微秒。他们还把重复码推到距离 29,发现逻辑表现被大约每小时一次的稀有关联错误卡住。

物理错误率与逻辑错误率也不是同一个数。物理错误率是单个硬件比特、单次门或单次测量的出错概率;逻辑错误率是编码之后、每个纠错周期里那个逻辑比特翻错的概率。Willow 的逻辑错误率已经优于它最好的物理比特,但离实用算法常引用的 10−1010^{-10} 仍差许多个数量级。哈佛–QuEra 的 48 个逻辑比特、离子阱上最多 12 个逻辑比特,都还是纠错原语的演示。逻辑比特个数不等于可用算法的规模。

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

路线代表团队2020s 关键进展特点
超导电路Google、IBMWillow 跨阈值;IBM 转向 qLDPC 码速度快,需极低温与海量布线
中性冷原子阵列哈佛–MIT / QuEra48 个逻辑比特、可重构横向门(2023)可移动、连接灵活,门速较慢
囚禁离子Quantinuum与微软合作演示纠错逻辑电路(2024)单比特保真度最高,最难扩展
光子PsiQuantum、Xanadu主打室温运行与网络化制造可规模化,光子易丢失

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

表面码"很贵"——一个逻辑比特要烧掉上千个物理比特。2024 年 IBM 在《自然》提出的 qLDPC(量子低密度奇偶校验)码(俗称 "gross code"),用同样的纠错能力把物理比特开销降低约一个数量级[ibm][ibm]Bravyi et al., Nature 627, 778–782 (2024), DOI: 10.1038/s41586-024-07107-7。数字来自电路噪声模型下的端到端协议,不是芯片实测。。在标准电路噪声模型里,阈值约 0.7%;假定物理错误率 0.1% 时,288 个物理比特可保护 12 个逻辑比特近一百万个校验周期,而同等表现的表面码约需近 3000 个物理比特。这些数字来自模拟,不是芯片实测。

2025 年 6 月,IBM 把容错路线图更新到 Starling:目标是 2029 年提供约 200 个逻辑比特、可跑一亿次门的机器,并押注这套 bivariate bicycle 码。那是公司公开的工程目标,不是已经造出来的机器。

哈佛–QuEra 团队则利用冷原子的可移动性,在 48 个逻辑比特上演示了横向逻辑门[quera][quera]Bluvstein et al., Nature 626, 58–65 (2024)。——这是另一种绕开布线地狱的思路。

囚禁离子上的纠错是常规编码,不要和微软的马约拉纳宣称混在一起。Microsoft 与 Quantinuum 2024 年公开、2026 年在《自然》发表的实验,在离子阱 QCCD 上用 12 比特码与 16 比特超立方体色码,相对若干物理电路基线把逻辑错误率压低 11 倍到 800 倍;其中最醒目的改善部分依赖检出后丢弃可疑实验(post-selection)[quantinuum][quantinuum]Paetznick et al., Nature 654, 349–355 (2026), DOI: 10.1038/s41586-026-10628-y。2024 年 4 月新闻稿为同一合作的前期公开。。这不是拓扑量子比特。微软 2025 年 Majorana 1 的宣称属于另一条路线,证据门槛与争议见 拓扑量子比特与马约拉纳费米子。

一条三十年的时间线

  • 1995–1997:Shor、Steane 提出量子纠错码;Kitaev 提出环面码与表面码雏形;阈值定理被证明。门槛在理论上存在。
  • 2019:Google Sycamore 宣称"量子优越性"——但解的是一个人为设计的采样问题,没有实用价值。
  • 2021–2023:表面码距离开始可控扩大,但 Λ\Lambda 始终徘徊在 1 附近,谁也没真正跨过门槛。
  • 2023:哈佛–QuEra 用冷原子阵列首次在数十个逻辑比特上做横向门。
  • 2024:IBM 提出 qLDPC 码;Google Willow 实现 Λ≈2.14\Lambda\approx2.14,第一次确证"加比特变好"。门槛被跨过。
  • 2025:Gidney 下修 RSA-2048 资源估算(理论,非实验);IBM 公布 Starling 路线图;超导芯片上出现魔法态培育实验。
  • 2026:Microsoft–Quantinuum 离子阱逻辑电路经同行评审发表。这是常规 QEC,与 Majorana 路线不是同一件事。

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

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

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

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

时间表上,各家分歧很大。更谨慎的看法认为实用容错机器要到 2030 年代甚至更晚。2025 年 5 月,Craig Gidney 把 RSA-2048 的资源估算从 2019 年那份"两千万噪声比特、约八小时"压到"不到一百万噪声比特、不到一周"——沿用最近邻方格、门错误率 0.1%0.1\%、表面码周期 1 微秒这些假设[gidney2025][gidney2025]Gidney, arXiv:2505.15917 (2025)。与 2019/2021 估算使用相同物理假设。。它仍然是资源估算,不是实验。

非 Clifford 门的成本也在被重估。Gidney、Shutty 与 Jones 2024 年提出"魔法态培育":在 10−310^{-3} 均匀去极化电路噪声下,模拟表明可把培育后的逻辑错误率压到约 2×10−92\times 10^{-9},时空开销比先前蒸馏方案大约低一个数量级[cultivation][cultivation]Gidney, Shutty & Jones, arXiv:2409.17595 (2024)。。2025 年底 Google 在超导处理器上做了培育实验:错误约降 40 倍,态保真度 $0.9999(1)$,保留约 8% 的尝试[^cultivation-exp]。这把蒸馏问题推进到了芯片,但距离算法级 T 门工厂仍远。

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

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

未知的边界

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

跨域连接

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

参考文献

  • Google Quantum AI and Collaborators. Quantum error correction below the surface code threshold. Nature 638, 920–926 (2025). DOI: 10.1038/s41586-024-08449-y. arXiv:2408.13687.
  • Bravyi, S. et al. (IBM). High-threshold and low-overhead fault-tolerant quantum memory. Nature 627, 778–782 (2024). DOI: 10.1038/s41586-024-07107-7.
  • Bluvstein, D. et al. Logical quantum processor based on reconfigurable atom arrays. Nature 626, 58–65 (2024).
  • Paetznick, A. et al. Improved quantum processor logical error rates via correction and detection. Nature 654, 349–355 (2026). DOI: 10.1038/s41586-026-10628-y.
  • Gidney, C. How to factor 2048 bit RSA integers with less than a million noisy qubits. arXiv:2505.15917 (2025).
  • Gidney, C., Shutty, N. & Jones, C. Magic state cultivation: growing T states as cheap as CNOT gates. arXiv:2409.17595 (2024).
  • Rosenfeld, E. et al. Magic state cultivation on a superconducting quantum processor. arXiv:2512.13908 (2025).
  • NIST. Post-Quantum Cryptography Standards (FIPS 203/204/205). 2024-08.

延伸阅读

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