量子纠错简史

量子纠错的三十年是一条从"不可能"到工程指标的道路：1995 年之前，测量塌缩、不可克隆与连续错误空间被普遍视为量子存储的根本障碍；Shor 的九比特码与紧随其后的 CSS、Steane、五比特码证明纠错可行；1997–1998 年稳定子形式、Knill–Laflamme 条件与阈值定理把可行升级为"任意长度计算"；2002–2003 年的拓扑转向让纠错匹配局域硬件；2021 年后 qLDPC 好码重启开销革命；2024 年 Willow 首次实测低于阈值行为。本词条给出这条时间轴的骨架与各节点的词条跳转。

图:三比特重复码的编码+纠错线路——量子纠错最简单的原型:块内用重复编码纠比特翻转,Shor 九比特码正是它与时相位纠错的级联(来源:QE016)

奠基：1995–1996

• 1995 · Shor 九比特码：$[[9,1,3]]$，块内 3 比特重复码纠 X、块间相位奇偶纠 Z 的两级结构，纠正任意单比特错误，证明量子纠错不违反不可克隆定理Shor 1995 (PRA)（见shor-code）。
• 1996 · CSS 构造：Calderbank–Shor 与 Steane 独立给出”两个经典码构造一个量子码”的模板并证明好码存在Calderbank & Shor 1996 (PRA)、Steane 1996 (Proc. R. Soc. A)（见css-codes）；Steane 同文给出 $[[7,1,3]]$ 七比特码。
• 1996 · 五比特码与完美码：Laflamme–Miquel–Paz–Zurek 的 $[[5,1,3]]$ 饱和量子 Hamming 与 Singleton 界，是距离 3 的最小码Laflamme et al. 1996 (PRL)；Bennett–DiVincenzo–Smolin–Wootters 建立混合态纠缠与纠错的等价视角Bennett et al. 1996 (PRA)；DiVincenzo–Shor 给出系统化容错纠错网络DiVincenzo & Shor 1996 (PRL)。

理论成熟：1996–1998

• 容错构件：Shor 的 FOCS 论文引入 cat 态与验证式综合征测量，使纠错线路自身出错时不再放大错误Shor 1996 (FOCS)（见syndrome-extraction）。
• 1997 · 稳定子形式：Gottesman 的博士论文用 Pauli 群与辛几何统一全部已知码，给出编码定理与 GF(4) 联系Gottesman 1997 (PhD thesis)（见stabilizer-formalism）。
• 1997 · 纠错条件：Knill–Laflamme 的 $P{E}_a^{†}{E}_{b}P=c_{ab}P$ 把”可纠”完全刻画，并推出量子 Hamming/Singleton 界Knill & Laflamme 1997 (PRA)（见knill-laflamme）；Gottesman 同年构造饱和 Hamming 界的码族Gottesman 1996 (PRA)。
• 1997–1998 · 阈值定理：Aharonov–Ben-Or 与 Knill–Laflamme–Zurek 独立证明低于常数阈值即可 polylog 开销实现任意长计算Aharonov & Ben-Or 1997 (STOC)、Knill, Laflamme & Zurek 1998 (Proc. R. Soc. A)（见threshold-theorem）；Gottesman 补上容错 gadget 的形式理论与 Clifford 层级Gottesman 1998 (PRA)。

拓扑转向：1997–2003

Kitaev 用任意子的拓扑量子计算提出环面码Kitaev 1997 (Annals Phys.)；Dennis–Kitaev–Landahl–Preskill 把表面码的纠错映射到统计力学模型，给出阈值与匹配译码的严格分析Dennis et al. 2002 (J. Math. Phys.)。此后”局域检查 + 全局逻辑”的拓扑码成为硬件主流路线（见toric-code、surface-code），2D 局域码的 $k{d}^2\le cn$ 限制也由此进入视野（见locality-bounds）。

qLDPC 复兴与开销革命：2021 起

经典 LDPC 思想早在 CSS 时代就进入量子编码（见ldpc-classical），但量子侧长期卡在”好码不存在构造”。2021 年 Panteleev–Kalachev 的渐近好码（$k=\Theta (n)$、$d=\Theta (n)$ 的 qLDPC）重启赛道Panteleev & Kalachev 2021 (arXiv)；2023 年 Bravyi 等的高阈值低开销码把此类构造推到与表面码同台的电路级评估Bravyi et al. 2023 (Nature)（见good-quantum-codes、bivariate-bicycle）；2025 年一般噪声下的常数开销容错完成Christandl et al. 2025 (arXiv)。同期 Floquet/动态码（见floquet-codes-overview）与玻色子码的超越 break-even 实验（见bosonic-experiments）打开另外两条实用化战线。

实验落地：2024 起

2024 年 Google Willow 在超导处理器上实现 d=3/5/7 表面码的低于阈值运行——码距增大、逻辑错误率指数下降Acharya et al. 2024 (Nature)（见google-willow）；此后逻辑量子比特纪录、qLDPC 硬件演示与分布式纠错在多个平台相继落地（见logical-records-timeline、qec-2026-state-of-art）。

时间轴速览

年份	事件	词条
1995	Shor $[[9,1,3]]$ 首个量子码	shor-code
1996	CSS/Steane $[[7,1,3]]$、五比特码、容错 cat 态	css-codes、steane-code、five-qubit-code
1997	稳定子形式、KL 条件、AB 阈值定理	stabilizer-formalism、knill-laflamme
1998	KLZ 阈值定理、容错理论系统化	threshold-theorem、ft-overview
1997–2003	环面码、表面码与阈值严格分析	toric-code、surface-code-threshold
2021	渐近好 qLDPC 码	good-quantum-codes
2023	高阈值低开销码族	bivariate-bicycle
2024	Willow 低于阈值实验	google-willow
2025–2026	常数开销、AI 发现码、多平台逻辑比特	qec-2026-state-of-art

延伸阅读

• qec-overview
• threshold-theorem
• stabilizer-formalism
• toric-code
• good-quantum-codes
• qec-2026-state-of-art