2. 量子纠错基础

表面码之所以能成为当前量子纠错的主流方案，根源在于它把“量子信息如何被保护”这件事，转化为一组可测量、可判定的稳定子约束。要理解表面码，先要把量子比特、退相干、错误模型、稳定子形式与纠错条件这五个概念串成一条逻辑链：量子比特是信息的载体，退相干是信息失效的物理原因，错误模型是对失效方式的抽象，稳定子形式是检测错误的数学工具，纠错条件则规定了“什么情况下错误可以被纠正”。

量子比特：不是经典比特的简单推广

经典比特只有 0 和 1 两个确定状态，而量子比特的状态是二维复向量空间中的单位向量，写作 |ψ⟩ = α|0⟩ + β|1⟩，其中 α、β 为复振幅，满足 |α|² + |β|² = 1。测量时以 |α|² 的概率得到 0，以 |β|² 的概率得到 1。关键区别在于：未知的 α、β 无法通过单次测量获得，测量会不可逆地破坏叠加态。这意味着量子纠错不能像经典纠错那样“读出并比较”，只能通过间接测量获取错误信息，而不能获取编码态本身的信息。

另一个关键点是不可克隆定理：不存在一个物理过程能复制任意未知量子态。因此经典纠错中“复制三份、多数表决”的思路在量子场景下不成立。量子纠错必须借助纠缠，把单个逻辑量子比特的信息非局域地分散到多个物理量子比特中，使局部错误不直接破坏逻辑信息。

退相干：量子信息失效的物理机制

退相干描述量子系统与环境耦合后，相干性逐渐丢失的过程。它主要分为两类：

• 能量弛豫（T₁ 过程）：|1⟩ 自发衰减到 |0⟩，典型时间常数为 T₁。它改变布居数，属于幅度阻尼。
• 相位退相干（T₂ 过程）：叠加态的相对相位随机化，典型时间常数为 T₂。它不改变布居数，却破坏干涉能力。

一般有 T₂ ≤ 2T₁。以超导量子比特为例，T₁ 约在 50～300 μs，T₂ 约在 30～200 μs；而单比特门时间约 20～50 ns，双比特门约 100～500 ns。这个数量级对比说明：在退相干发生之前，系统只能执行有限次门操作，因此纠错必须足够快、足够频繁。

错误模型：把连续噪声离散化

真实噪声是连续的，但量子纠错理论依赖一个关键事实：任何单量子比特错误都可以展开为四个 Pauli 算子的线性组合。定义：

I = [[1, 0], [0, 1]]    X = [[0, 1], [1, 0]]
Z = [[1, 0], [0, -1]]   Y = [[0, -1], [1, 0]] = iXZ

因此，只要能够纠正 X、Z、Y 三类离散错误，就能纠正任意连续错误。这就是“离散化错误模型”的合理性来源。常见的错误模型包括：

• 比特翻转（X）：|0⟩ 与 |1⟩ 互换，类似经典翻转。
• 相位翻转（Z）：|1⟩ 分量取负，破坏叠加相位。
• 比特-相位翻转（Y）：同时发生 X 与 Z。
• 去极化信道：以概率 p 随机施加 X、Y、Z 之一，以 1−p 保持 I，是最常用的理论噪声模型。
• 幅度阻尼：描述 T₁ 衰减，偏向 |0⟩。

在表面码分析中，通常采用去极化模型作为基准，并假设错误在空间上独立、在时间上马尔可夫。这个假设并不完全真实，但它使阈值定理可以严格证明，也为后续解码器设计提供了统一输入。

稳定子形式：用对易关系描述编码空间

稳定子形式是量子纠错的统一语言。设 S 为 n 量子比特上的一个阿贝尔子群，且 −I ∉ S。编码空间定义为所有满足 g|ψ⟩ = |ψ⟩（对任意 g ∈ S）的态 |ψ⟩ 张成的子空间。S 中的元素称为稳定子，它们相互对易，因此可以被同时测量。

以三量子比特比特翻转码为例，稳定子为：

S = ⟨Z₁Z₂, Z₂Z₃⟩
编码态：|000⟩ 与 |111⟩ 的叠加
逻辑态：|0_L⟩ = |000⟩, |1_L⟩ = |111⟩

若第一个量子比特发生 X 错误，则 Z₁Z₂ 的测量值由 +1 变为 −1，Z₂Z₃ 保持 +1。这一对测量结果 (−1, +1) 就是错误综合征，它唯一标识了错误位置。注意：测量稳定子只得到 ±1，不会泄露 α、β 信息，因此不破坏编码态。

表面码把这一思想推广到二维格点：每个 plaquette 对应一个 Z 型稳定子，每个顶点对应一个 X 型稳定子。稳定子测量结果构成综合征图，解码器据此推断最可能的错误链。

纠错条件：Knill-Laflamme 判据

一个量子纠错码能否纠正错误集合 {E_a}，取决于 Knill-Laflamme 条件：

⟨i_L| E_a† E_b |j_L⟩ = C_ab δ_ij

其中 |i_L⟩、|j_L⟩ 为编码空间的正交基，C_ab 是与 i、j 无关的常数。该条件的直观含义是：不同错误作用在编码态上后，要么彼此正交、可区分，要么对编码空间的影响是均匀的、不泄露逻辑信息。若满足该条件，就存在一个恢复操作把错误纠正回来。

对表面码而言，这一条件转化为：可纠正的错误链必须不形成跨越逻辑边界的非平凡环路。换句话说，当物理错误率低于阈值时，综合征对应的错误链可以被唯一地收缩到边界，逻辑信息得以保留。

把上述内容落到表面码的具体操作上：每个数据量子比特与相邻的辅助量子比特耦合，通过测量 X 型与 Z 型稳定子得到综合征。解码器把综合征映射为最可能的错误链，并施加相应修正。判断纠错是否成功，不是看单次测量结果，而是看逻辑算符的测量值是否发生翻转。若逻辑 X 或逻辑 Z 的测量结果与编码时一致，说明本轮纠错成功；若发生翻转，则出现逻辑错误。阈值定理保证：当物理错误率低于某个临界值（表面码在去极化模型下约为 1% 量级）时，增加码距可以指数级压低逻辑错误率。这正是表面码从“基础概念”走向“可扩展系统”的关键桥梁。