2. 量子比特与错误模型基础
要理解 Steane 七比特码为什么能纠错，必须先弄清楚它到底在“防”什么。量子纠错与经典纠错最根本的差别在于：经典比特只有一种错误——0 变 1 或 1 变 0；而量子比特的错误既可能发生在计算基上，也可能发生在相位上，还可能两者同时发生。更麻烦的是，量子错误可以是连续的，而纠错码只能处理离散的一组错误。本节就把这套错误语言建立起来，为后续的编码与译码打下基础。
一、从比特翻转到相位翻转
设单个量子比特的基态为 |0⟩ 与 |1⟩。比特翻转（bit-flip）错误由 Pauli-X 算符描述：X|0⟩=|1⟩，X|1⟩=|0⟩。它对应经典意义上的取反。相位翻转（phase-flip）由 Pauli-Z 算符描述：Z|0⟩=|0⟩，Z|1⟩=−|1⟩。注意 Z 作用在计算基上不改变测量概率，只有当量子比特处于叠加态 α|0⟩+β|1⟩ 时，Z 才会把 α|0⟩+β|1⟩ 变成 α|0⟩−β|1⟩，相对相位发生翻转。这正是量子错误难以察觉的根源：相位错误在计算基测量下“隐身”，却会破坏后续干涉与量子算法的正确性。
第三个 Pauli 算符 Y = iXZ，同时包含比特翻转与相位翻转。三个算符满足 X²=Y²=Z²=I，且两两反对易：XY=−YX，YZ=−ZY，ZX=−XZ。反对易关系是 stabilizer 形式纠错的核心——它决定了错误算符与稳定子生成元是否对易，从而决定错误能否被“探测”出来。
二、退相干：能量弛豫与相位退相干
真实量子比特并非孤立系统，与环境的耦合会带来退相干。工程上通常用两个时间常数刻画：能量弛豫时间 T₁ 描述 |1⟩ 衰减到 |0⟩ 的过程，相位退相干时间 T₂ 描述叠加态相对相位的丢失。二者满足 T₂ ≤ 2T₁。一个常见的近似模型是：在时间 t 内，比特翻转概率约为 1−e^(−t/T₁)，纯相位错误概率约为 1−e^(−t/T_φ)，其中 1/T₂ = 1/(2T₁) + 1/T_φ。
举例来说，若某超导量子比特 T₁=40 μs、T₂=30 μs，则可反推 1/T_φ = 1/30 − 1/80 ≈ 0.0208 μs⁻¹，即 T_φ ≈ 48 μs。若一个纠错周期（含制备、门操作与测量）耗时 1 μs，则单周期内比特翻转概率约 2.5%，相位错误概率约 3.3%。这些数量级说明：在真实硬件上，错误并不罕见，纠错码必须能处理多个比特同时出错的情形，而不能只假设“至多一个错误”。
三、去极化噪声：最常用的“最坏情况”模型
去极化噪声（depolarizing noise）是量子纠错分析中最常用的信道模型。对单比特，它以概率 p 施加 X、Y、Z 三者之一（各 p/3），以概率 1−p 保持恒等：
ρ → (1 − p)·ρ + (p/3)·(XρX + YρY + ZρZ)这个模型的价值在于“各向同性”：它不偏向任何一种错误，因此基于它设计的纠错码对未知的错误分布更稳健。在 Steane 码的阈值分析中，常把物理错误率 p 代入去极化模型，估算逻辑错误率随码距的变化。需要注意，去极化噪声与退相干是两种不同层次的描述：前者是离散错误算符的概率混合，后者是连续时间的开放系统演化；在短时间、小错误率下，二者可以近似对应，但不能混为一谈。
四、Pauli 群与错误算符的表示
n 个量子比特上的 Pauli 群 P_n 由所有形如 P = P₁⊗P₂⊗…⊗P_n 的张量积构成，其中每个 P_i ∈ {I, X, Y, Z}，并允许整体相位 ±1、±i。忽略相位后，共有 4ⁿ 个不同的错误算符。这个数字看似庞大，但 stabilizer 码的巧妙之处在于：只需测量少数几个稳定子生成元，就能把 4ⁿ 个错误划分到 2^(n−k) 个“错误综合征”等价类中，每类只需一个代表元来纠正。
在实现层面，错误算符通常用二进制辛表示（symplectic representation）存储：每个 Pauli 算符对应一对 n 位二进制向量 (x|z)，X 记为 (1|0)，Z 记为 (0|1)，Y 记为 (1|1)。两个算符的对易性由辛内积 x·z′ + z·x′ (mod 2) 判定，结果为 0 表示对易，为 1 表示反对易。这一表示让纠错码的编译与译码可以完全用位运算完成，是软件实现 Steane 码时的标准做法。
五、把错误模型落到 Steane 码的语境里
Steane 码是一个 [[7,1,3]] 码，码距 3 意味着它能纠正任意单比特错误。这里的“任意单比特错误”指的就是 7 个位置上、每个位置可能出现的 X、Y、Z 三类错误，共 21 种非恒等错误，加上无错误共 22 种情形。译码器需要把这 22 种情形映射到互不相同的错误综合征上，才能唯一确定错误位置与类型。
在仿真或实现时，一个典型的做法是：先按去极化模型以概率 p 在 7 个比特上独立采样错误算符，得到错误模式 E；再计算 E 与 6 个稳定子生成元的对易关系，得到 6 位综合征；最后查表得到纠正算符。若把 p 设为 0.01，运行 10⁵ 次采样，可以统计逻辑错误率随 p 的变化趋势，并与理论阈值曲线对照。这类实验的关键不是追求某个精确数值，而是验证“物理错误率低于阈值时，逻辑错误率随码距增加而下降”这一核心结论。
最后要强调一个容易混淆的点：错误模型描述的是“物理层面发生了什么”，而 Pauli 群与辛表示描述的是“我们用什么数学语言去刻画和计算它”。前者决定纠错码需要多强，后者决定译码器如何高效实现。把这两层分开理解，后续推导 Steane 码的编码电路与综合征测量时就不会迷失方向。