3. 量子纠错基本框架

量子纠错的核心任务，是把一个逻辑量子比特“藏”进更大的希尔伯特空间里，使得环境造成的局部错误不会直接破坏逻辑信息。理解这一框架，需要依次回答四个问题：信息被编码到哪里、错误如何被探测、恢复操作凭什么有效、以及一个码字空间最多能容纳多少错误。本节围绕这四个问题展开，并给出可计算的判据与界限。

一、编码子空间：把逻辑态嵌入物理态

设物理系统由 n 个量子比特组成，其希尔伯特空间维数为 2n。一个编码 C 是 2n 维空间中的一个子空间，维数记为 2k，其中 k 是逻辑量子比特数。编码过程用一个等距映射（编码电路）Uenc 实现：

|0_L> = U_enc |0...0>
|1_L> = U_enc |1...0>
任意逻辑态 |ψ_L> = α|0_L> + β|1_L>

编码子空间 C = span{|0L⟩, |1L⟩, …} 必须满足一个关键性质：任意两个不同的逻辑态在物理空间中的内积，与它们在逻辑空间中的内积完全一致。也就是说，编码是保内积的，逻辑信息不会因为“嵌入”而失真。以最简单的三量子比特重复码为例，|0L⟩ = |000⟩，|1L⟩ = |111⟩，它只能纠正比特翻转，不能纠正相位翻转，这正说明编码子空间的结构决定了它能对抗哪类错误。

二、错误探测与恢复：从错误症状到纠正操作

量子错误不能像经典纠错那样直接“读出”每个比特再比对，因为测量会破坏叠加态。标准做法是引入辅助量子比特，测量一组稳定子（stabilizer）算符，得到错误症状（syndrome），而不获取逻辑态本身的信息。

以三量子比特比特翻转码为例，稳定子为 Z1Z2 和 Z2Z3。若发生 X1 错误，两个稳定子的测量结果分别为 −1 和 +1，对应症状 (1,0)；若发生 X2，症状为 (−1,−1)，即 (1,1)；若发生 X3，症状为 (+1,−1)，即 (0,1)。恢复操作就是根据症状表施加对应的 X 门。整个过程可概括为：

量子纠错三阶段：编码 → 症状提取 → 恢复 编码子空间 |ψ_L⟩ = α|0_L⟩+β|1_L⟩ n 物理比特，k 逻辑比特 环境错误 E 比特翻转 / 相位翻转 退相干 / 泄漏 症状提取 测量稳定子 S_i 得到 syndrome 向量 恢复操作 查表施加 R R·E |ψ_L⟩ = |ψ_L⟩ 三量子比特比特翻转码症状表（示例） 错误 E Z₁Z₂ 测量 Z₂Z₃ 测量 恢复 R X₁ −1 +1 X₁ X₂ −1 −1 X₂

症状提取的关键在于：测量结果只反映“发生了哪类错误”，不泄露 α 和 β。这是量子纠错与经典纠错最本质的区别，也是稳定子形式体系被广泛采用的原因。

三、Knill-Laflamme 条件：可纠错的数学判据

一个码能否纠正错误集合 {Ea}，由 Knill-Laflamme 条件判定。设 P 为到编码子空间 C 的投影算符，则对任意两个码字 |i⟩、|j⟩ 和任意错误 Ea、Eb，必须满足：

⟨i| E_a† E_b |j⟩ = C_{ab} δ_{ij}

其中 Cab 是与 i、j 无关的常数矩阵。这个条件的直观含义是：不同错误作用在码字上，要么把码字送到彼此正交的子空间（可区分），要么对同一码字产生相同比例的影响（可统一修正）。它同时排除了两种失败情形：两个错误把不同码字映射到同一个非正交状态，或者错误在码字内部造成不可恢复的形变。

以三量子比特重复码为例，错误集合 {I, X1, X2, X3} 满足 Knill-Laflamme 条件，因为每个错误把 |000⟩ 和 |111⟩ 送到四个互相正交的子空间。但若把 X1X2 也加入错误集合，条件不再成立，因为 X1X2|000⟩ = |110⟩ 与 X3|111⟩ = |110⟩ 发生碰撞，无法区分。

四、纠错与检错界限：t 与 d 的关系

设码的最小距离为 d，即任意两个码字之间至少相差 d 个单比特错误。则：

  • 检错能力：可检测最多 d − 1 个错误。因为少于 d 个错误不可能把一个码字变成另一个码字。
  • 纠错能力：可纠正最多 t = ⌊(d − 1)/2⌋ 个错误。这是“错误球”互不重叠的条件：每个码字周围半径 t 的错误球两两不相交。

例如 d = 3 时，t = 1，只能纠正单比特错误；d = 5 时，t = 2，可纠正双比特错误。这个界限是“最坏情况”保证，实际码在特定噪声模型下可能表现更好，但设计时必须以最坏情况为底线。

五、量子 Hamming 界：码字空间能装多少错误

量子 Hamming 界给出了一个码能够纠正 t 个错误时，物理比特数 n 与逻辑比特数 k 必须满足的必要条件。对非简并码，有：

2^k · Σ_{j=0}^{t} C(n,j) · 3^j ≤ 2^n

其中 3j 来自每个位置上有三种可能的 Pauli 错误（X、Y、Z），C(n,j) 是从 n 个位置中选 j 个位置的方式数。左边表示“所有码字及其半径 t 内的错误球”所占的总维数，右边是物理空间总维数。若左边超过右边，说明错误球必然重叠，无法保证唯一恢复。

以 n = 5、t = 1 为例，左边为 2k·(1 + 5·3) = 2k·16，右边为 32，因此 2k ≤ 2，即 k ≤ 1。这正是五量子比特码能编码 1 个逻辑比特的原因。若尝试 n = 4、t = 1，左边为 2k·13，右边为 16，2k ≤ 1.23，只能取 k = 0，说明 4 个物理比特无法在纠正单比特错误的同时编码任何逻辑信息。Hamming 界因此成为判断“某个 (n, k, t) 组合是否可能”的第一道筛选工具。

学习提示：Knill-Laflamme 条件是“码是否合格”的判据，Hamming 界是“参数是否可能”的判据，两者一个管结构、一个管容量，配合使用可以快速排除大量不可行方案。
常见误区：不要混淆“检错”与“纠错”。检错只需发现错误存在，纠错还必须定位并修正。一个码可能能检测 d − 1 个错误，但只能纠正 ⌊(d − 1)/2⌋ 个错误，两者不是同一个能力。

综合来看，量子纠错的基本框架可以概括为：用编码子空间把逻辑信息分散到多个物理比特上，用稳定子测量提取不泄露逻辑信息的错误症状，用 Knill-Laflamme 条件验证码的纠错能力，用纠错界限和 Hamming 界约束参数选择。这四者共同构成了后续所有具体码型（如 Shor 码、Steane 码、表面码）的分析基础。

← 上一章 📖 返回目录 下一章 →