为什么量子纠错是必需的
量子信息比经典信息脆弱得多。一个量子比特一旦与环境发生哪怕微弱的相互作用，叠加态就开始泄漏信息、相干性衰退（退相干）；直接读取或复制量子态又分别受测量塌缩与不可克隆定理限制。在 1995 年之前，这三条常被并列为”量子计算不可能”的论据。
Shor 的九比特码打破了这一悲观预期Shor 1995 (PRA)。关键观察是：纠错不需要知道逻辑态是什么。编码态 遇到错误后，需要测量的只是”发生了哪类错误”——即错误综合征（syndrome），它是错误算符的本征值而非逻辑态的函数；测完综合征再做条件恢复， 全程不被触碰。同理，多数表决式的”克隆”从来不是量子纠错的必要组件：量子纠错用纠缠编码替代复制编码，把一个逻辑比特散布在多个物理比特的联合态里。上图的表面码就是这个思想的最成功实现： 格子约 个物理比特只编码 1 个逻辑比特，但任何局域错误都只激发出局域的检查子，可被逐一识别Terhal 2015 (RMP)。
物理比特、逻辑比特与综合征空间
“用 个含噪物理比特装 1 个干净逻辑比特”有一个干净的教学表述。Knill–Laflamme–Zurek 把 7 比特 Steane 码的希尔伯特空间分解为Knill, Laflamme & Zurek 1998 (Proc. R. Soc. A)：
其中 是 2 维的抽象（逻辑）比特， 是 64 维的综合征空间；编码态写成 。任意单比特错误只作用于 而不碰 ——纠错就是测量 并将其重置回 。物理比特与逻辑比特的分野、以及”错误作用于哪个因子”的严格判据，正是Knill–Laflamme 纠错条件的内容。
纠错的三个环节
一个完整的纠错方案由三部分组成，分别对应本站三个理论词条：
- 编码：选定码空间并把待保护的态制备进去（见encoding-circuits）。码的选择由参数 刻画（见code-parameters）。
- 综合征提取：反复测量一组对易的可观测量（稳定子），把错误压缩成经典比特串（见syndrome-extraction）。错误被抽象成 Pauli 误差模型（见error-models）。
- 恢复：由综合征经译码器推断最可能的错误并施加逆操作（见decoding-overview）。
只把错误率压低一次是不够的：纠错线路自身也会出错。让整个流程在自身含噪时仍然可靠的理论是容错（fault tolerance），其顶点是threshold-theorem——只要物理错误率低于某个常数阈值，任意长度的量子计算都能以可控开销实现。2024 年 Google Willow 实验首次在超导硬件上观测到”码距增大、逻辑错误率指数下降”的低于阈值行为Acharya et al. 2024 (Nature)。
码族地图
本站其余词条按码族与主题组织，主线如下：
| 脉络 | 代表词条 | 一句话定位 |
|---|---|---|
| 形式框架 | stabilizer-formalism、css-codes、knill-laflamme | 一切小码与大多数实用码的统一语言 |
| 经典底座 | linear-codes、ldpc-classical | CSS 构造与 qLDPC 译码的经典来源 |
| 小码与早期码 | shor-code、steane-code、five-qubit-code | 历史奠基与完美码 |
| 拓扑码 | toric-code、surface-code、color-codes | 2D 局域硬件的主流路线 |
| qLDPC 码 | qldpc-overview、good-quantum-codes | 高码率低开销的构造革命 |
| 玻色子码 | bosonic-qec-overview、cat-codes、gkp-codes | 用谐振子自由度编码 |
| Floquet 与动态码 | floquet-codes-overview | 测量序列本身定义码 |
| 容错与硬件 | ft-overview、google-willow、qec-2026-state-of-art | 从定理到工程 |
对各条路线的开销与瓶颈的系统比较见 Campbell–Terhal–Vuillot 的容错路线图综述Campbell et al. 2017 (Nature)；面向初学者的线路级图解见 Devitt 等的入门综述Devitt et al. 2013 (Rep. Prog. Phys.)。