量子纠错

量子纠错（QEC）通过把信息分散编码到多个物理量子比特的纠缠态中，使局部噪声可以被检测并纠正而不破坏被保护的信息。它之所以可行依赖于两个结构性事实：噪声是局部的（作用在少数比特上），而纠错信息是全局的（储存在联合态中）。

与经典纠错相比，量子情形有三重困难：不可克隆定理禁止复制未知态；量子测量会坍缩被保护的态；错误是连续的（任意旋转）而不仅是比特翻转。解决方案是只测量错误（症状），不测量信息：症状测量（syndrome measurement）提取错误发生位置的信息，保持码空间内的逻辑态不被扰动。

错误的数字化

连续错误如何被离散纠错处理？关键一步是数字化论证：任意单比特错误算符都可按 Pauli 基展开

$E=aI+bX+cY+dZ,$

作用到码字上后，症状测量把这个连续的叠加坍缩为有限个离散分支（$I$ 或某个 Pauli $P$）之一——测量者只获得”发生了哪类 Pauli”的信息，对系数 $a,b,c,d$ 一无所知，因此被保护的叠加不受影响。纠错只需对付 $I,X,Y,Z$ 有限集合，这就是量子纠错能用经典式离散逻辑运行的原因（在比特翻转码条目中有完整算例）。

纠错的完整闭环

一个运行中的纠错系统按以下循环工作：

1. 编码：把 $k$ 个逻辑比特织入 $n$ 个物理比特的纠缠态（$n\gg k$）；
2. 症状提取：反复测量一组稳定子（对易可观测量），获得经典症状比特串；
3. 解码：经典算法（如最小权重匹配、BP+OSD）从症状推断最可能的错误；
4. 纠正/记录：施加恢复 Pauli，或只把错误记入软件账本（Pauli frame）；
5. 每个逻辑门也以容错方式实施（错误不会在一个门内成倍扩散），循环往复直到计算结束。

码族图景

码	参数	定位
比特翻转码	$[[3,1,1]]$	只纠 $X$ 错误的教学原型
Shor 九比特码	$[[9,1,3]]$	首个纠任意单比特错误的码（级联构造、退化码）
Steane 七比特码	$[[7,1,3]]$	最小优美的 CSS 码，容错 Clifford 友好
五比特码	$[[5,1,3]]$	纠单比特错误的最小可能码（满足量子 Hamming 界）
稳定子码	一般 $[[n,k,d]]$	统一框架（上述各码都是其特例）
表面码	$[[d^2,1,d]]$ 级	近邻、阈值约 1%，工程主流
量子 LDPC 码	常数率	低开销候选，需少量远程连接

从纠错到容错

能纠错 ≠ 能容错计算：门本身也会错，且坏门会把错误扩散到整个码块。阈值定理解决这一层——只要物理错误率低于阈值，递归纠错下任意长计算都可容错。框架内的两大支柱是容错症状提取（防止测量辅助比特的错误污染数据）与非 Clifford 门的魔术态蒸馏。理论之外，码距与逻辑量子比特条目解释为什么”一个逻辑比特”要花成百上千个物理比特。

关联词条

• 概念：退相干、量子噪声模型、纠错条件、稳定子码
• 硬件：量子计算硬件实现、NISQ 时代（无纠错的当下）

参考文献

• P. W. Shor. Scheme for Reducing Decoherence in Quantum Computer Memory. Phys. Rev. A 52, R2493 (1995). doi:10.1103/PhysRevA.52.R2493 —— 第一个量子纠错码。
• E. Knill, R. Laflamme. Theory of Quantum Error-Correcting Codes. Phys. Rev. A 55, 900 (1997). doi:10.1103/PhysRevA.55.900
• Nielsen & Chuang.《量子计算与量子信息》第 10 章（量子纠错）.
• B. M. Terhal. Quantum Error Correction for Quantum Memories. Rev. Mod. Phys. 87, 307 (2015). arXiv:1302.3428
• D. A. Lidar, T. A. Brun (eds.). Quantum Error Correction. Cambridge University Press (2013).