量子纠错：从重复码到表面码
一句话定义
量子纠错（QEC）把一个逻辑比特编码进多个物理比特的纠缠关系中，通过只测量"症状"（校验子）而不触碰数据本身来定位错误；当物理错误率低于阈值时，加大码距可让逻辑错误率指数下降——这是从 NISQ 通往容错量子计算（FTQC）的唯一已验证道路。
为什么重要
kp-020 表明物理比特的错误率（10⁻³ 量级）离实用算法需求（10⁻¹⁰ 以下）差了七个数量级，靠器件改良追不上。纠错是唯一能在数学上保证"任意精度"的手段，也是 2019→2024 年间行业叙事从"加比特"转向"上纠错"的原因：Google 2023–2024 的表面码实验第一次在真实硬件上验证了"码距增大、逻辑错误率下降"，被广泛视为该领域的"莱特飞行时刻"。不懂得纠错的原理与代价，就看不懂任何一条容错路线图（kp-034）。
前置知识
kp-005（不可克隆定理——为什么不能备份）、kp-011（CNOT）、kp-020（噪声与错误率）。稳定子形式的完整理论不展开，本节用"症状测量"的直觉加一个可手算的重复码。
核心概念
- 为什么不能复制备份：no-cloning（kp-005）禁止 |ψ⟩→|ψ⟩⊗|ψ⟩；纠错必须把信息藏进纠缠关系（奇偶性）而非独立副本。
- 重复码：|ψ⟩ = α|0⟩+β|1⟩ → α|000⟩+β|111⟩（编码进三比特的"集体奇偶"）；两个校验比特测量 Z₁Z₂ 与 Z₂Z₃ 定位比特翻转。
- 校验子（syndrome）：校验算子的测量结果（±1）；它泄露"哪里错了"但不泄露编码的 α、β——这是与"直接测量"的本质区别。
- 表面码（surface code）：二维网格上的稳定子码，只需近邻连接、阈值约 1%（可容忍千分之几的物理错误率），是超导网格的标配方案；码距 d 对应 (2d−1)² 量级物理比特。
- 阈值定理：物理错误率 p 低于阈值 pth 时，逻辑错误率随码距指数压低 PL ~ (p/pth)(d+1)/2；代价是约 10³ 物理比特/逻辑比特的开销。
直观类比
经典 RAID 冗余像"每个文件复印三份"；量子情形不允许复印（no-cloning），改用"把一个字写进三个字的'对仗关系'里"——比如要求三比特中 1 的个数为偶。小偷偷走或篡改其中一比特，对仗就破缺；纠错员只检查对仗（校验子），从不偷看字的内容——看内容会坍缩信息（kp-005），查对仗不会。表面码则是把这套对仗检查铺成一张二维网格，每个数据比特被四五个邻居"围观"，任何一处错位都会在网格上留下可定位的"痕迹"。
原理与机制
可手算的三比特重复码。编码：α|000⟩+β|111⟩。错误发生（设第二比特翻转）：α|010⟩+β|101⟩。校验测量：S₁ = Z⊗Z⊗I 给 −1（第一二位不同），S₂ = I⊗Z⊗Z 给 −1（第二三位不同）——症状 (−1,−1) 唯一指向"第 2 位出错"；施加 X₂ 恢复。注意测量 S₁、S₂ 的电路恰是两个 CNOT + 测量（kp-011 的直接应用），且对 α|000⟩+β|111⟩ 中任意 α、β 都给出同样症状——症状不泄露数据。相位翻转如何办：在 |0⟩/|1⟩ 基不可见，但换基后就是比特翻转——Shor 九比特码用"三组各三比特"同时编出两类症状。表面码把两类检查（X 型与 Z 型稳定子）交织在二维格点上，每个数据比特同时参与两类检查，任意单比特错误留下可由最小配对（matching）算法定位的边界痕迹。2024 年 Google 的里程碑：码距 3→5→7 逐级增大，逻辑错误率逐级减半（0.143%→0.311% 量级的对应改善），首次实测"below threshold"——增大码距真的在赚钱而不是赔钱。
公式或模型
编码与症状：α|0⟩+β|1⟩ → α|000⟩+β|111⟩；S₁ = Z₁Z₂，S₂ = Z₂Z₃。
表面码标度律：PL ≈ A·(p/pth)(d+1)/2（A 为常数）；p = 10⁻³、pth = 10⁻² 时，d=11 即可把逻辑错误率压到 ~10⁻⁹ 以下——但需要数百至上千物理比特。
图示
实例或案例
时间线上的三个硬结果：Shor (1995) 理论上证明纠错可行（打破"噪声必毁量子计算"的悲观预言）；Kitaev (2003) 提出拓扑码（表面码源头），把纠错变成"局域检查的二维材料"；Google (2023, d=5；2024, d=7) 在超导网格上实测逻辑错误率随码距指数下降（d=7 时逻辑比特寿命超过其物理组件）。同期竞速：Quantinuum/微软 2024 的 12 逻辑比特（tesseract 码）、哈佛/QuEra 2024 的 48 逻辑比特（kp-024）——多条路线同时跨过"逻辑优于物理"的门槛。
与其他知识点的关系
kp-020 给出待解决的对象（p ~ 10⁻³）；kp-013 的深度预算在纠错下被"无限延长有效深度"改写；kp-026 讨论纠错后的指标体系与开销；kp-034 的所有时间表预测都以"纠错开销何时可承受"为轴心；kp-012 的 Clifford/T 分层解释了为什么纠错开销的大头在 T 门。
常见误区
- "纠错能修任意错误"：前提是错误率低于阈值、错误近似独立（相关性过强的爆发错误会击穿）、且只有那么多种基矢错误可被稳定子区分。
- "纠错只加一点点比特"：当前估算约 10³ 物理比特/逻辑比特；一百万物理比特的机器大约只有一千个逻辑比特。
- "校验子测量会破坏计算"：它测的是奇偶类联合量，对编码态的投影恰好保持不动——这正是纠错可行而"备份"不可行的原因。
自测题
- 三比特重复码对相位翻转错误有效吗？为什么？
- 测 Z₁Z₂ 为什么不泄露 α、β？
- 用标度律估算：p/p_th = 0.1 时，码距从 5 提到 9，逻辑错误率大约改善多少？
答案要点：无效；Z 型错误不改变 |000⟩/|111⟩ 的奇偶症状，需另加 X 型稳定子（Shor 九比特码的思路）。
答案要点：编码态是 Z₁Z₂ 的 +1 本征态（纠错前的码空间），测量对它无扰动；若发生翻转则落在 −1 子空间，只暴露错误位置。
答案要点：指数因子从 3 升到 5，改善约 (0.1)² = 100 倍。
延伸阅读
P. W. Shor (1995)；A. Y. Kitaev (2003)；Google Quantum AI (2024) "Quantum error correction below the surface code threshold"（本节结论的直接实验来源）。