Shor 九比特码

Shor 九比特码（1995）是历史上第一个完整的量子纠错码：用 9 个物理比特编码 1 个逻辑比特，可纠正任意单比特上的任意错误（$[[9,1,3]]$）。在此之前的想法要么只能纠比特翻转（比特翻转码），要么只能纠相位翻转；Shor 的诀窍是把两者级联。本词条给出它的完整构造推导、全部单比特错误的症状表、退化性的显式计算与历史脉络。

历史脉络

• 不可能性的阴影（1982–1994）：量子不可克隆定理（Wootters–Zurek，1982）一度被解读为”量子纠错不可能”——经典纠错靠复制备份，量子恰恰禁止复制；叠加态还会被测量破坏。
• 破冰（1995）：Shor 意识到纠错不需要克隆，只需要症状（错误与码空间的对易关系）而不需要读取数据本身。他的论文先给出两个三比特码（分别防比特翻转与相位翻转），再级联出九比特码。同年（1996 初发表）Laflamme–Miquel–Paz–Zurek 与 CSS、Steane 把码距/比特数压到 5 与 7。
• 形式化（1996–1998）：Knill–Laflamme 给出纠错可行性的通用判据（见纠错条件）；Gottesman 的稳定子形式（1997）把 Shor 码吸收为一般理论的一个例子；Shor（FOCS 1996）与 Kitaev、Aharonov–Ben-Or、Knill–Laflamme–Zurek（1997–98）独立建立容错计算与阈值定理，九比特码的级联与”猫态辅助测量”思想是其中的原型构造。
• 遗产：级联防不同错误类型的思路被 CSS 码框架化、被表面码的”块内防 X、块间防 Z”几何化；Shor 码至今仍是教科书与教学实验的标准入门码。

构造推导：两级级联

起点是两个互补的三比特重复码：

• 相位重复码 $|\pm ⟩\mapsto |\pm \pm \pm ⟩$：能防单个 $Z$（相位翻转把 ${|+⟩}^{\otimes 3}$ 与 ${|-⟩}^{\otimes 3}$ 张成空间中的一个符号翻掉，可由 $X$ 型校验发现）；
• 比特重复码 $|0/1⟩\mapsto |000/111⟩$：能防单个 $X$（经典奇偶校验发现）。

单独哪一个都不完整：比特码对 $Z$ 全盲（$Z_i$ 把 $|000⟩\leftrightarrow$ 自身、只改 $|111⟩$ 的符号，两个码字都受损且无症状），相位码对 $X$ 同理。级联：先用相位码把逻辑比特编码为三个”符号”，再把每个符号用比特码编码为三比特猫态：

$|0_L⟩=\frac{1}{2\sqrt{2}}(|000⟩+|111⟩{)}^{\otimes 3},|1_L⟩=\frac{1}{2\sqrt{2}}(|000⟩-|111⟩{)}^{\otimes 3}.$

读法：内层结构（每块的 $|000⟩/|111⟩$ 重复）防比特翻转 $X$；外层结构（块间的 $\pm$ 符号重复）防相位翻转 $Z$。任意单比特错误都是 $X^a{Z}^b$（Pauli 展开，见量子纠错）的组合，两层各捕获一半。

编码电路（文本描述，初态 $|\psi ⟩{|0⟩}^{\otimes 8}$）：

1. ${\mathrm{CNOT}}_{1\to 4}$、${\mathrm{CNOT}}_{1\to 7}$：$\alpha {|000⟩}_{(1,4,7)}+\beta {|111⟩}_{(1,4,7)}$（外层符号重复的骨架）；
2. 对 $q_1,q_4,q_7$ 各做 $H$：$\alpha |+++⟩+\beta |---⟩$；
3. 每块内 ${\mathrm{CNOT}}_{1\to 2},{\mathrm{CNOT}}_{1\to 3}$（及第 2、3 块同构）：$|\pm ⟩|00⟩\mapsto |\pm ⟩|\pm \pm ⟩=(|000⟩\pm |111⟩)/\sqrt{2}$。

三步之后恰为 $\alpha |0_L⟩+\beta |1_L⟩$，全部由 CNOT 与 $H$ 组成——编码本身不需要非 Clifford 门。

稳定子推导

9 个物理比特减 1 个逻辑比特 = 8 个独立稳定子生成元。按”块内查 $X$、块间查 $Z$“的直觉直接写出：

$g_1=Z_1{Z}_2,g_2=Z_2{Z}_3,g_3=Z_4{Z}_5,g_4=Z_5{Z}_6,g_5=Z_7{Z}_8,g_6=Z_8{Z}_9(\text{块内 }Z\text{ 宇称}),$ $g_7=X_1{X}_2{X}_3{X}_4{X}_5{X}_6,g_8=X_4{X}_5{X}_6{X}_7{X}_8{X}_9(\text{块间 }X\text{ 宇称}).$

验证它们固定码空间：块内 $Z_i{Z}_{i+1}$ 对 $|000⟩\pm |111⟩$ 均作用为 $+1$（两种基矢宇称都为偶），故对 $|0_L⟩,|1_L⟩$ 的每个分支都是 $+1$。块间 $g_7$ 把前两块各自 $|000⟩\leftrightarrow |111⟩$ 互换：对 $(|000⟩\pm |111⟩{)}^{\otimes 3}$ 的每个分支，交换两块不改变项（对称张量积），作用 $+1$。八元互相独立（无一是其他之积），恰当地生成 $2^8$ 阶稳定子群。$■$

逻辑算符：需要与全部 $g_i$ 对易、但不属于稳定子的最轻 Pauli。

• 取 $\overline{X}=Z_1{Z}_4{Z}_7$（每块第一比特各一个 $Z$）：与所有块内 $Z$ 型生成元对易（同为 $Z$），与 $g_7,g_8$ 对易（每个 $Z_i$ 与 6 比特 $X$ 链恰好交叠 1 处，反对易偶数次）；作用上，它把每块的符号各翻一次，$|0_L⟩\leftrightarrow |1_L⟩$ ✓。
• 取 $\overline{Z}=X_1{X}_2{X}_3$（整块翻转）：与块内 $Z$ 生成元各反对易 2 次（对易），与 $g_7$ 反对易 3 次、与 $g_8$ 对易（$X_1{X}_2{X}_3$ 与 $g_7$ 交叠 3、与 $g_8$ 交叠 0）；作用上它使 $|1_L⟩$ 得 $(-1{)}^3=-1$、$|0_L⟩$ 不变 ✓。

两者重量都是 3，且不存在更轻的逻辑算符（重量 2 的 $Z_1{Z}_2$ 等是稳定子；$X_1{X}_2$ 不与全部生成元对易——与 $g_2=Z_2{Z}_3$ 反对易——故不是逻辑算符），故码距 $d=3$。（“重”表示 $\overline{X}=Z^{\otimes 9}$、$\overline{Z}=X^{\otimes 9}$ 亦成立——九比特全链同样对易稳定子并翻转/定号逻辑态。）

完整症状表

测量 8 个生成元（$+1/-1$），以”反对易 = 1”记症状位（$g_1\dots g_8$ 顺序）。27 个单比特 Pauli 错误的症状：

错误	症状	错误	症状	错误	症状
$X_1$	10000000	$Z_1$	00000010	$Y_1$	10000010
$X_2$	11000000	$Z_2$	00000010	$Y_2$	11000010
$X_3$	01000000	$Z_3$	00000010	$Y_3$	01000010
$X_4$	00100000	$Z_4$	00000011	$Y_4$	00100011
$X_5$	00110000	$Z_5$	00000011	$Y_5$	00110011
$X_6$	00010000	$Z_6$	00000011	$Y_6$	00010011
$X_7$	00001000	$Z_7$	00000001	$Y_7$	00001001
$X_8$	00001100	$Z_8$	00000001	$Y_8$	00001101
$X_9$	00000100	$Z_9$	00000001	$Y_9$	00000101

读表：

• $X_i$ 被 $g_1$–$g_6$（块内 $Z$ 宇称）精确定位到单个比特：每块的校验子恰是经典三比特重复码的两位奇偶（块内第 1/2/3 比特分别给 10/11/01 模式）。
• $Z_i$ 只被 $g_7,g_8$ 捕获，症状精确到哪个块（三选一）而非哪个比特——这是退化性的直接体现（下节）。
• $Y_i=i{X}_i{Z}_i$ 的症状是两者之并，27 个错误映射到 21 个不同症状，全部可区分到”可纠正的等价类”。

纠错流程：反复测量八个生成元 → 查表得等价类 → 施加该类任一代表（如 $Z_2$ 类里施加 $Z_1$ 即可）→ 逻辑态恢复。测量本身用猫态辅助比特间接完成（Shor 原文与 DiVincenzo–Shor 的容错症状提取：辅助制备 $({|0⟩}^{\otimes n}+{|1⟩}^{\otimes n})/\sqrt{2}$，与数据逐比特受控作用后测量，使辅助上的单错至多污染一个症状位），这是容错症状测量的原型。

退化性：Knill–Laflamme 矩阵的显式计算

取错误基 $\{X_1,\dots ,X_9,Z_1,\dots ,Z_9\}$，计算 $C_{ab}=⟨{\psi }_L|E_a^{†}{E}_b|{\psi }_L⟩$（纠错条件中 KL 条件的码空间投影形式）：

• $X$ 扇区：$E_a^{†}{E}_b=X_a{X}_b$，对 $a\ne b$ 不属于稳定子，在码空间上期望为 $0$；故 $C^{(X)}=I_9$。
• $Z$ 扇区（同块）：$Z_a^{†}{Z}_b=Z_a{Z}_b\in S$（如 $Z_1{Z}_2=g_1$），在码空间上作用 $+1$，故同块内 $C_{ab}=1$： $C^{(Z_1,Z_2,Z_3)}=\left(\begin{array}{ccc}1& 1& 1\\ 1& 1& 1\\ 1& 1& 1\end{array}\right),$ 第二、三块同理。

$C$ 矩阵不是单位阵的倍数——码是退化的（degenerate）。直观含义：$Z_1$、$Z_2$、$Z_3$ 在码空间上作用完全相同（$Z_1{Z}_2\in S$），解码器无需分辨它们，症状表里三者共享一行。退化性是量子码独有的余量：存在重量低于码距、却不可侦测也无害的错误——如 $Z_1{Z}_2\in S$（重量 2 < 3），它在码空间上作用平凡，既不破坏逻辑态、也不要求解码器把它与恒等区分开；经典码的最轻不可侦测错误恰为 $d$，没有这个自由度。它同时带来编码理论上的麻烦（性能界更难证明），Shor 码因此成为”第一个也是最著名的退化码”。

与后续码的关系

• Steane 七比特码（1996）用更少比特（7 对 9）达到同样”纠任意单比特错误”的能力，且是非退化的、Clifford 门全部可横贯（$S$ 横贯实现的是 ${\overline{S}}^{†}$，补一个逻辑修正即得全套）——工程上几乎全面占优；
• CSS 码框架把两者统一为”经典码 × 经典码”的构造论，Shor 码是其特例（两个重复码的级联）；
• 表面码的二维布局把”块内 $Z$ 校验 + 块间 $X$ 校验”几何化为棋盘交替的稳定子斑块——级联容错思想的拓扑化版本；
• 九比特码在近年离子阱、超导的小型演示中仍被用作教学与基准码。

关联词条

• 概念：量子纠错、比特翻转码、稳定子码、纠错条件、码距与逻辑量子比特
• 后继：Steane 七比特码、CSS 码、表面码、容错逻辑门实现

参考文献

• W. K. Wootters, W. H. Zurek. A Single Quantum Cannot Be Cloned. Nature 299, 802 (1982).
• P. W. Shor. Scheme for Reducing Decoherence in Quantum Computer Memory. Phys. Rev. A 52, R2493 (1995). —— 历史首篇，两个三比特码与九比特级联。
• P. W. Shor. Fault-Tolerant Quantum Computation. Proc. 37th IEEE FOCS, 56 (1996). arXiv:quant-ph/9605011 —— 猫态辅助的容错症状测量。
• D. P. DiVincenzo, P. W. Shor. Fault-Tolerant Error Correction with Efficient Quantum Codes. Phys. Rev. Lett. 77, 3260 (1996). —— 容错症状提取的一般化。
• R. Laflamme, C. Miquel, J. P. Paz, W. H. Zurek. Perfect Quantum Error Correcting Code. Phys. Rev. Lett. 77, 198 (1996). arXiv:quant-ph/9602019 —— 五比特码。
• A. R. Calderbank, P. W. Shor. Good Quantum Error-Correcting Codes Exist. Phys. Rev. A 54, 1098 (1996). arXiv:quant-ph/9512032 —— CSS 框架。
• A. M. Steane. Error Correcting Codes in Quantum Theory. Phys. Rev. Lett. 77, 793 (1996). —— 七比特码。
• E. Knill, R. Laflamme. Theory of Quantum Error-Correcting Codes. Phys. Rev. A 55, 900 (1997). arXiv:quant-ph/9604034
• D. Gottesman. Stabilizer Codes and Quantum Error Correction. PhD thesis, Caltech (1997). arXiv:quant-ph/9705052
• D. Aharonov, M. Ben-Or. Fault-Tolerant Quantum Computation with Constant Error. Proc. 29th ACM STOC, 176 (1997). arXiv:quant-ph/9611025
• E. Knill, R. Laflamme, W. H. Zurek. Resilient Quantum Computation: Error Models and Thresholds. Proc. R. Soc. Lond. A 454, 365 (1998). arXiv:quant-ph/9702058
• Nielsen & Chuang.《量子计算与量子信息》第 10 章（九比特码的完整症状分析与编码电路）.