2. 量子纠错码基础与容错逻辑门

在容错量子计算中，量子纠错码是抵御噪声的第一道防线，而容错逻辑门则决定了纠错之后能否真正执行有意义的计算。本节围绕稳定子码的形式化描述、表面码与颜色码的结构差异、逻辑泡利算符的构造，以及容错门与横向门的概念展开，为后续的容错实现与资源评估建立理论框架。

稳定子码的形式化描述

稳定子码的核心思想是：不直接存储量子态，而是用一组相互对易的泡利算符来"定义"编码子空间。设 S 为 n 个量子比特上的阿贝尔泡利群子群，若编码子空间 C 满足对任意 s ∈ S 和 |ψ⟩ ∈ C 都有 s|ψ⟩ = |ψ⟩，则称 S 为该码的稳定子群。稳定子群由 n−k 个独立生成元生成，对应 k 个逻辑量子比特，编码子空间维数为 2^k。

以最简单的三量子比特比特翻转码为例，其稳定子生成元为 Z₁Z₂ 与 Z₂Z₃，共 2 个独立生成元，编码 1 个逻辑比特。当错误发生时，测量稳定子得到的本征值组合称为错误综合征。例如 X₁ 错误会使 Z₁Z₂ 的本征值翻转为 −1，而 Z₂Z₃ 保持 +1，综合征 (−1, +1) 唯一指向第 1 个比特出错。这种"测量不破坏逻辑信息、只暴露错误位置"的特性，正是稳定子码可工程化的关键。

需要强调的是，稳定子测量本身必须容错：若测量电路中的辅助比特发生错误，可能把错误传播到数据比特上。因此实际实现中常采用"猫态"或"旗标"辅助比特方案，确保单点故障不会导致不可纠正的多比特错误。

表面码与颜色码的结构对比

表面码（Surface Code）是目前实验进展最快的拓扑码。以旋转表面码为例，数据比特位于方格顶点，测量比特位于面心和边心，分别测量 X 型与 Z 型稳定子。每个稳定子涉及 4 个数据比特，码距 d 对应方格阵列的边长，可纠正 ⌊(d−1)/2⌋ 个错误。其逻辑错误率随 d 增大呈指数下降，阈值约在 0.5%～1%（取决于噪声模型与解码器）。

颜色码（Color Code）则把量子比特放在三色可着色的蜂窝状晶格顶点上，每个面同时测量 X 型和 Z 型稳定子，且稳定子支撑的比特数为偶数。颜色码的显著优势是支持横向 Clifford 门，即只需对每个物理比特施加相同的单比特门即可实现逻辑门，无需额外的晶格手术或魔态注入。代价是其稳定子权重较高、解码更复杂，且阈值通常低于表面码。

逻辑泡利算符

逻辑算符是稳定子群中心化子中不属于稳定子群本身的元素。对 k 个逻辑比特，存在 2k 个逻辑泡利算符 X̄ᵢ、Z̄ᵢ，满足 {X̄ᵢ, Z̄ᵢ} = 0 且与所有稳定子对易。在表面码中，逻辑 X̄ 对应贯穿整个晶格的一条 X 型链，逻辑 Z̄ 对应一条 Z 型链；两条链的交叉奇偶性决定了它们是否反对易。

逻辑算符的"链"表示直接决定了容错性：一条逻辑链越长（码距越大），需要同时发生的错误越多才能翻转逻辑态，因此逻辑错误率越低。在资源评估时，逻辑算符的最小权重就是码距 d，这是估算逻辑错误率 p_L ≈ (p/p_th)^{(d+1)/2} 的核心参数。

容错门与横向门

容错的定义是：当电路中任意一个物理组件发生故障时，该故障在纠错后最多只在一个逻辑比特上造成可纠正的错误。这要求门操作不能把单比特错误"放大"成多比特错误。横向门（Transversal Gate）是最典型的容错门：对逻辑比特 i 的第 j 个物理比特施加 U，即 Ū = U^{⊗n}。由于每个物理比特独立操作，单点故障不会跨逻辑比特传播。

然而，Eastin–Knill 定理指出：不存在能横向实现通用量子门集合的量子纠错码。实践中通常横向实现 Clifford 门（如 H、S、CNOT），而非 Clifford 门（如 T 门）需借助魔态注入与蒸馏。下表给出常见码的横向门能力对比（示例性归纳，具体以所选码的构造为准）：

本节知识的结构关系

下图把稳定子码、逻辑算符、码结构与容错门之间的依赖关系组织为一张结构关系图，帮助在后续实现与评估中快速定位各概念的从属与支撑关系。