量子级联码把”用码保护量子比特”这件事自相似地重复:外层码的每个物理比特再用内层码编码,层级 的块规模 。Knill 与 Laflamme 在 1996 年证明,只要存储误差不超过常数 、门误差不超过 ,层级恢复就能把单比特误差压在 以内、存任意久传任意远——这是阈值定理的直接前身。错误率按 逐层递减的机制,至今是理解容错开销的标准图像。
级联结构与分层恢复
级联(concatenation)的配方:取内码 (如 ),把 的每个物理比特再用 编码,如此嵌套 层。形式化地,KL96 把码与恢复写成
为码空间、 为综合征空间、 为余空间;-纠错条件要求任意 比特非平凡算符作用后,与环境的纠缠只进入 ——逻辑信息原封不动Knill & Laflamme 1996 (arXiv)。

误差递推:设每物理比特错误率为 。一个一级块发生”逻辑错误”,一阶意义上需要块内两个物理错误同时出现(单个错误会被本层恢复纠正),故一级逻辑错误率 (常数 计入恢复线路自身的门误差)。下一层同理:
只要 ,误差随层数双指数下降,而块规模仅以 多项式增长——用多项式开销换指数可靠性的全部来源。双指数抑制的完整推导见threshold-theorem。
KL96 存储定理
Knill–Laflamme 主定理(针对存储与传输,不含计算):若存储/信道单元误差幅度 、运算误差幅度 ,其中
则以层级恢复实现的存储/传输可把单比特误差压在 以内,与存储时长或传输距离无关,额外量子比特开销 ( 依赖运算精度)Knill & Laflamme 1996 (arXiv)。对比此前最优的 Shor 方案需要随步数 polylog 趋零的门误差,KL96 第一次证明常数错误率就够了。传承链因此是:Forney 1966 的经典级联(见concatenated-classical)→ KL96 量子级联存储 → Aharonov–Ben-Or、Knill–Laflamme–Zurek、Gottesman 的完整容错计算与阈值定理(见threshold-theorem)。
级联族与内码选择
任何小码都可作内码,选择决定常数 与容错门集合:
- (见five-qubit-code):块最小、编码浅,但缺乏横向门,恢复线路贵;
- Steane 码(见steane-code):横向 Clifford 齐备,是级联容错设计的经典基元;
- Shor/Bacon–Shor 型(见shor-code、bacon-shor):偏置噪声下可裁剪结构,Aliferis–Preskill 的级联方案在偏置噪声下显著抬升阈值Aliferis & Preskill 2008 (Phys. Rev. A);
- 异构级联:Chamberland–Jochym-O’Connor–Laflamme 把 Steane (外)与 15 比特 Reed–Muller 码(内)级联为 105 比特码,并针对两块 CNOT 横传行为的差异设计防护,据该文使级联码阈值提升约 25%Chamberland et al. 2016 (Phys. Rev. Lett.)(RM 码内层同时解决非 Clifford 门,见quantum-reed-muller)。
纯化的对偶视角
与”编码—纠错”并行的另一条早期路线是纠缠纯化(entanglement purification):Bennett–Brassard–Popescu–Schumacher–Smolin–Wootters 的 recurrence 协议对共享的含噪 EPR 对做双边操作+测量+丢弃,把保真度 的混态对迭代蒸馏成近纯 singlet,再用隐形传态模拟无噪信道Bennett et al. 1996 (Phys. Rev. Lett.)。CRSS 后来指出:单向经典通信的纯化协议与量子纠错码一一等价——Shor/Steane 的编码路线与 Bennett 的纯化路线是同一枚硬币的两面Calderbank et al. 1998 (IEEE Trans. Inf. Theory)。这段历史脉络见qec-history。