跳到正文
EN

9.10

量子纠错入门

不能克隆、不能偷看，却仍能纠错：三比特码用「只问奇偶、不问内容」的合唱测量抓出错误，稳定子把这招系统化，表面码和阈值定理把它推向工程。

建议先掌握

学完本节你应该能

  • 说清量子纠错面对的三重困境：不可克隆、测量塌缩、错误连续
  • 手算三比特比特翻转码全流程：编码、症状测量、查表纠正
  • 解释「测症状不泄露数据」的机制，以及连续错误如何被测量数字化
  • 鸟瞰稳定子形式与表面码，陈述阈值定理的内容与量级

Shor 算法要求万亿次门操作几乎零差错，而真实硬件单门错误率在 10−310^{-3} 量级——中间隔着九个数量级。经典计算机跨过这道坎靠的是纠错： 备三份，少数服从多数。可这条老路在量子世界看起来处处此路不通。 本节要展示的，是本书中最漂亮的绝处逢生之一。

三重死局

把经典「三副本多数表决」搬到量子态 ∣χ⟩=α∣0⟩+β∣1⟩\ket{\chi}=\alpha\ket{0}+\beta\ket{1} 上， 立刻撞上三堵墙：

  1. 不能备份：复制 ∣χ⟩\ket{\chi} 三份需要克隆机，9.5 节已证不存在；
  2. 不能查看：表决前得读出每份的值,可测量会把 α,β\alpha,\beta 塌成 0 或 1， 为了防错先把数据毁了；
  3. 错误还连续：经典比特只会 0↔1 翻转,而 qubit 的错误是 Bloch 球上 任意小的转动——转 0.010.01 弧度也是错，难道要为每个角度备一张纠正表？

看起来量子信息注定裸奔。1995 年 Shor 与 Steane 各自找到了那扇暗门， 钥匙有两把：用纠缠代替复制,用「只问关系不问内容」的测量代替查看。

三比特比特翻转码：全流程手算

先解决简化版问题：假设信道只会以概率 pp 独立地对每个 qubit 施加 XX（比特翻转）， 暂不管相位。

编码——纠缠，而非克隆。 用两个 CNOT 把 ∣χ⟩\ket{\chi} 铺到三个 qubit 上：

|χ⟩ ──●──●──      α|0⟩+β|1⟩
      │  │
|0⟩ ──⊕──┼──  ⟹   α|000⟩ + β|111⟩
         │
|0⟩ ─────⊕──
∣χˉ⟩=α∣000⟩+β∣111⟩(9.10.1)\ket{\bar\chi}=\alpha\ket{000}+\beta\ket{111}\tag{9.10.1}

注意这不是三份拷贝 ∣χ⟩⊗3\ket{\chi}^{\otimes3}（那要求克隆）， 而是一个 GHZ 型纠缠态：一份数据摊在三方的关联里——9.3 节「信息住在关联里」 第一次从障碍变成了盾牌。

症状测量：只问奇偶，不问内容基础~8 min

第 1 步：列出病历。 单比特翻转的四种情形（pp 不大时多比特同时翻可忽略）：

错误受损态
无α∣000⟩+β∣111⟩\alpha\ket{000}+\beta\ket{111}
X1X_1α∣100⟩+β∣011⟩\alpha\ket{100}+\beta\ket{011}
X2X_2α∣010⟩+β∣101⟩\alpha\ket{010}+\beta\ket{101}
X3X_3α∣001⟩+β∣110⟩\alpha\ket{001}+\beta\ket{110}

第 2 步：设计不伤数据的检查。 不许测单个 qubit（会塌缩 α,β\alpha,\beta）， 但可以测两两奇偶：算符 Z1Z2Z_1Z_2 问「第 1、2 位相同还是相反」， Z2Z3Z_2Z_3 问「第 2、3 位」。关键核对——以无错态为例：

Z1Z2(α∣000⟩+β∣111⟩)=α(+1)(+1)∣000⟩+β(−1)(−1)∣111⟩=+1⋅∣χˉ⟩(9.10.2)Z_1Z_2\big(\alpha\ket{000}+\beta\ket{111}\big) =\alpha(+1)(+1)\ket{000}+\beta(-1)(-1)\ket{111} =+1\cdot\ket{\bar\chi}\tag{9.10.2}

两个分支同为本征值 +1+1：整个受损态是 Z1Z2Z_1Z_2 的本征态， 测量读出 +1+1 而态纹丝不动。再核对 X1X_1 的情形：

Z1Z2(α∣100⟩+β∣011⟩)=α(−1)(+1)∣100⟩+β(+1)(−1)∣011⟩=−1⋅(原态)(9.10.3)Z_1Z_2\big(\alpha\ket{100}+\beta\ket{011}\big) =\alpha(-1)(+1)\ket{100}+\beta(+1)(-1)\ket{011} =-1\cdot(\text{原态})\tag{9.10.3}

又是本征态，读数 −1-1。测量有结果、态无扰动——因为四种受损态 都是这两个奇偶算符的本征态，投影测量「投」了个寂寞。

第 3 步：查表纠正。 两个读数（症状，syndrome）四种组合，恰好指认四种情形：

Z1Z2Z_1Z_2Z2Z3Z_2Z_3诊断处方
+1+1+1+1无错不动
−1-1+1+1第 1 位翻了施 X1X_1
−1-1−1-1第 2 位翻了施 X2X_2
+1+1−1-1第 3 位翻了施 X3X_3

施药后态精确回到 α∣000⟩+β∣111⟩\alpha\ket{000}+\beta\ket{111}。全程没有任何人知道 α,β\alpha,\beta 是多少——症状只说「哪里与众不同」，绝口不提「内容是什么」。 这正是绕过测量塌缩的机关：把「数据信息」与「错误信息」分装在正交的问题里， 只提取后者。

这份保险划算吗？ 编码后仍出错 = 至少两位同时翻转：

p逻辑=3p2(1−p)+p3=3p2−2p3(9.10.4)p_{\text{逻辑}}=3p^2(1-p)+p^3=3p^2-2p^3\tag{9.10.4}

p=0.1p=0.1 时 p逻辑=0.028p_{\text{逻辑}}=0.028——错误率降到约四分之一； 只要 p<12p<\tfrac12，编码就是净赚，且 pp 越小赚得越狠（p2p^2 对 pp）。

从三比特到稳定子：一门语言

三比特码防 XX 不防 ZZ：相位翻转把 α∣000⟩+β∣111⟩\alpha\ket{000}+\beta\ket{111} 变成 α∣000⟩−β∣111⟩\alpha\ket{000}-\beta\ket{111}，两个奇偶检查全亮绿灯，错误溜之大吉。 对策不难想：ZZ 错误在 Hadamard 旋转后的基（∣±⟩\ket{\pm}）里就是 XX 错误， 再套一层三比特码即可。Shor 1995 年的九比特码就是这么两层嵌套（内层纠 XX， 外层纠 ZZ），第一次证明了任意单比特错误皆可纠。

把这套打法提炼成通用语言，就是稳定子形式：一个码由一组互相对易的 Pauli 串算符 {Si}\{S_i\}（稳定子）定义,码空间是它们共同的 +1+1 本征空间：

Si∣χˉ⟩=+∣χˉ⟩∀i(9.10.5)S_i\ket{\bar\chi}=+\ket{\bar\chi}\quad\forall i\tag{9.10.5}

三比特码的稳定子就是 Z1Z2Z_1Z_2 与 Z2Z3Z_2Z_3。纠错循环从此有了标准节拍： 反复测所有稳定子 → 读症状 → 推断错误 → 纠正。 错误算符 EE 若与某个 SiS_i 反对易，该稳定子读数变 −1-1，症状亮灯—— 设计好的码让不同错误点亮不同的灯组合。nn 个物理 qubit、 n−kn-k 个独立稳定子，剩下 2k2^k 维码空间编码 kk 个逻辑 qubit； 能纠的错误重量由码距 dd 决定：纠 ⌊(d−1)/2⌋\lfloor(d-1)/2\rfloor 个。

鸟瞰表面码与阈值定理

真实硬件还有一条硬约束：qubit 排在芯片上，只能跟邻居互动。 表面码（surface code）是为此而生的明星方案，鸟瞰三笔：

  • 布局：qubit 铺成二维棋盘，数据 qubit 与测量辅助 qubit 相间； 每个稳定子只涉及相邻四个数据 qubit（一类查 XX 奇偶、一类查 ZZ 奇偶）， 全部检查都是本地的。
  • 纠错画面：错误在棋盘上留下成对的「亮灯」端点,像雪地里的脚印； 解码器（经典算法）把亮灯配对、猜出错误链。只有当错误连成横贯棋盘的长链 （长度约 dd，即棋盘边长）才伤到逻辑信息——大棋盘让这事指数难发生。
  • 性价比：容忍高达约 1%1\% 的物理错误率（阈值极宽松，对硬件友好）， 代价是数据密度低：一个逻辑 qubit 约需 d2d^2 量级、 实用参数下成百上千个物理 qubit。9.9 节「数千逻辑 ⇒ 数百万物理」 的换算就是这么来的。

撑起这一切的是阈值定理：

只要物理错误率 pp 低于某个阈值 pthp_{\text{th}}（依赖于码与噪声模型， 表面码约 10−210^{-2}），通过增大码距即可把逻辑错误率压到任意低： p逻辑∼(p/pth)(d+1)/2p_{\text{逻辑}}\sim(p/p_{\text{th}})^{(d+1)/2}， 而资源开销只随目标精度多项式增长。

这条定理是整个量子计算产业的地基：它宣告「足够好」是有限的门槛, 不是无限的苛求。2023–2024 年，Google 与哈佛/QuEra 等团队先后演示了 「码距增大、逻辑错误率确实下降」的关键节点——纠错从定理走进了数据。

本节关键公式

  • 三比特编码

    α∣0⟩+β∣1⟩ ↦ α∣000⟩+β∣111⟩\alpha\ket{0}+\beta\ket{1}\ \mapsto\ \alpha\ket{000}+\beta\ket{111}

    GHZ 型纠缠，不是三份拷贝——不违反不可克隆

  • 症状测量

    Z1Z2, Z2Z3: 读数 (±1,±1) 定位错误Z_1Z_2,\ Z_2Z_3:\ \text{读数}\ (\pm1,\pm1)\ \text{定位错误}

    只问奇偶不问内容；测量同时把连续错误数字化

  • 逻辑错误率

    p逻辑=3p2−2p3<p  (p<12)p_{\text{逻辑}}=3p^2-2p^3<p\ \ (p<\tfrac12)

    p = 0.1 时降至 0.028；错误率按 p² 压低

  • 稳定子码

    Si∣χˉ⟩=+∣χˉ⟩,ESi=−SiE⇒症状亮灯S_i\ket{\bar\chi}=+\ket{\bar\chi},\quad ES_i=-S_iE\Rightarrow\text{症状亮灯}

    n 物理 − (n−k) 稳定子 = k 逻辑；纠 ⌊(d−1)/2⌋ 个错

  • 阈值定理

    p<pth ⇒ p逻辑∼(p/pth)(d+1)/2p<p_{\text{th}}\ \Rightarrow\ p_{\text{逻辑}}\sim(p/p_{\text{th}})^{(d+1)/2}

    表面码 p_th ≈ 1%；开销随精度多项式增长

自测共 4 题

  1. 1.

    编码态 α∣000⟩ + β∣111⟩ 为什么不违反不可克隆定理？

  2. 2.

    症状测量为什么不会破坏叠加系数 α、β？

  3. 3.

    物理翻转概率 p = 0.1。三比特码保护下，逻辑错误率 3p² − 2p³ 是多少？

    允许 0% 相对误差
  4. 4.

    关于表面码与阈值定理，正确的是？（多选）

    多选题

接下来

整章我们都在跟一个若隐若现的反派过招：错误、退相干、噪声。 纠错告诉我们怎么打赢它，却始终没问过一句——它到底是谁？ 为什么放着不动的 qubit 会自己出错？为什么错误偏爱 ZZ（相位）方向？ 为什么「测量」和「噪声」长得这么像？ 回答这些问题需要跳出「孤立系统 + 幺正演化」的舒适区， 让环境正式登场：系统不再拥有自己的态矢量,只剩密度矩阵； 演化不再幺正，而是 Lindblad 方程。下一章——开放量子系统： 噪声从哪里来，以及量子世界如何在我们眼前变得经典。

全站第 74 / 106 节 · 用 ← → 翻页