Steane 七比特码

Steane 七比特码（1996）是用单个经典 $[7,4,3]$ Hamming 码构造的 CSS 码，参数 $[[7,1,3]]$：7 个物理比特编码 1 个逻辑比特，纠正任意单比特错误。它是”最小优美”的代表——比 Shor 九比特码少两个比特、结构高度对称（对偶包含构造：$C^{\perp }\subseteq C$，$X$ 型与 $Z$ 型稳定子用同一个校验矩阵 $H$），并且 Clifford 门可横贯实现，是容错电路的标准积木。本词条给出从 Hamming 码出发的完整构造推导、症状译码的走查、横贯门的稳定子代数验证与容错症状提取的错误传播分析。

历史脉络

• 经典渊源（1950）：Hamming 码是最早的纠错码之一（Hamming，Bell 实验室，1950），$[7,4,3]$ 版本是完美码——7 比特上全部 128 个向量恰好被 16 个码字的单位球无缝覆盖。
• 量子化（1996）：Steane 在 1996 年的 PRL 中指出，对偶包含的经典码（$C^{\perp }\subseteq C$）天然给出量子码，$[7,4,3]$ Hamming 码正是最小例子；与 Calderbank–Shor 的 CSS 框架同年（CS 在文中注明获知 Steane 的相关工作），常并称 CSS/Steane 构造。Steane 随后的长文（PRA 1996）给出容错症状提取与”编码辅助块”技术。
• 地位：Steane 码是教科书（Nielsen & Chuang 第 10 章）与大量容错演示的标准载体；其”横贯 Clifford + 魔术态补 $T$“的框架（见容错逻辑门实现）至今仍是码切换、纠缠辅助等高级方案的基础参照。

从 Hamming 码到 CSS 构造：完整推导

取 $[7,4,3]$ Hamming 码的校验矩阵，列为全部 7 个非零三元组：

$H=\left(\begin{array}{ccccccc}1& 0& 1& 0& 1& 0& 1\\ 0& 1& 1& 0& 0& 1& 1\\ 0& 0& 0& 1& 1& 1& 1\end{array}\right).$

经典码 $C=\{v:Hv=0\}$ 是 $[7,4]$ Hamming 码（16 个码字，最小距离 3）；其对偶 $C^{\perp }$（$H$ 的行空间）是 $[7,3]$ 单纯形码，非零码字重量全为 4。

对偶包含验证（CSS 构造的前提 $C^{\perp }\subseteq C$，等价于 $H{H}^{\mathsf{T}}=0$，即 $H$ 的行两两正交且偶重量）：三行分别是 $1010101$、$0110011$、$0001111$，重量各为 4；两两内积：$⟨r_1,r_2⟩=1\cdot 0+0\cdot 1+1\cdot 1+0\cdot 0+1\cdot 0+0\cdot 1+1\cdot 1=2\equiv 0$，同理 $r_1\cdot r_3=2$、$r_2\cdot r_3=2$（模 2 均为零）。故 $C^{\perp }\subseteq C$。$■$

量子码定义（CSS 构造 $C_1=C_2=C$ 的特例）：$X$ 型稳定子取 $H$ 的三行、$Z$ 型稳定子取同一个 $H$ 的三行：

$g_1^{(X)}=X_1{X}_3{X}_5{X}_7,g_2^{(X)}=X_2{X}_3{X}_6{X}_7,g_3^{(X)}=X_4{X}_5{X}_6{X}_7,$ $g_1^{(Z)}=Z_1{Z}_3{Z}_5{Z}_7,g_2^{(Z)}=Z_2{Z}_3{Z}_6{Z}_7,g_3^{(Z)}=Z_4{Z}_5{Z}_6{Z}_7.$

6 个生成元互相独立（$2^6$ 维稳定子群），$7-6=1$ 个逻辑比特 ✓。同一 $H$ 出现两次使 $X$ 与 $Z$ 症状完全对称——这是 Steane 码一切优良性质的根源。

码字与逻辑算符

码字是偶码 $C^{\perp }$ 陪集的均匀叠加。$C^{\perp }$ 的 8 个码字（$H$ 行的全部模 2 组合）：

$0000000,1010101,0110011,0001111,1100110,1011010,0111100,1111000,$

（非零者重量全为 4 ✓）。于是

$|0_L⟩=\frac{1}{\sqrt{8}}{\sum }_{v\in C^{\perp }}|v⟩,|1_L⟩=\overline{X}|0_L⟩=\frac{1}{\sqrt{8}}{\sum }_{v\in C^{\perp }}|v+1⟩,$

$1=1111111$ 是陪集代表（$C\setminus C^{\perp }$ 中重量 7 的陪集）。逻辑算符取 $\overline{X}=X^{\otimes 7}$、$\overline{Z}=Z^{\otimes 7}$；最轻逻辑算符重量为 3（如 $X_1{X}_2{X}_3\in C\setminus C^{\perp }$ 型链），故码距 3。

症状译码：逐位走查

$X_i$ 型错误与包含第 $i$ 比特的 $Z$ 型稳定子反对易：症状 = $H$ 的第 $i$ 列。$Z_i$ 型错误走对称的 $X$ 套路，症状同为第 $i$ 列。以 $H$ 的列为准逐列读出：

$i$	1	2	3	4	5	6	7
$X_i$ 的症状（$g^{(Z)}$ 三位）	100	010	110	001	101	011	111

这正是经典 Hamming 译码：读出的三位症状直接就是出错位置的编号。$X$ 与 $Z$ 各走一套、互不干扰（CSS 分治），$Y_i=i{X}_i{Z}_i$ 两套症状同时亮。与 Shor 码的”块级退化症状”对比：Steane 码非退化，21 个单比特 Pauli 错误（$X/Z/Y$ × 7 个位置）症状两两不同，$C$ 矩阵是单位阵的倍数。

横贯 Clifford 门：稳定子代数验证

Steane 码的三个杀手锏是 Clifford 门全部可横贯实现（逐位作用、单错不成倍扩散；其中横贯 $S^{\otimes 7}$ 实现的是 ${\overline{S}}^{†}$，见下）。逐一验证：

逻辑 $H=H^{\otimes 7}$。$H$ 门共轭交换 Pauli：$HXH=Z$、$HZH=X$。于是 $H^{\otimes 7}{g}_i^{(X)}(H^{\otimes 7}{)}^{†}=g_i^{(Z)}$，反之亦然——稳定子群整体不变，码空间自映射。且 $H^{\otimes 7}\overline{X}(H^{\otimes 7}{)}^{†}=\overline{Z}$，正是逻辑 Hadamard 的定义行为 ✓。

逻辑 CNOT = 逐位 CNOT。CSS 码通性：CNOT 共轭下 $X\otimes I\to X\otimes X$、$I\otimes X\to I\otimes X$、$Z\otimes I\to Z\otimes I$、$I\otimes Z\to Z\otimes Z$。控制块的 $g_i^{(X)}$ 映到 $g_i^{(X)}\otimes g_i^{(X)}$（仍为两块稳定子之积）、$g_i^{(Z)}$ 映到 $g_i^{(Z)}\otimes I$，目标块对称——联合码空间不变 ✓。错误传播也友好：控制比特的 $X$ 错误传到目标块对应比特各一个（两块各 1 个物理错，均可纠），$Z$ 错误不传播。

逻辑 $S^{†}=S^{\otimes 7}$。$S$ 共轭：$SX{S}^{†}=Y$、$SZ{S}^{†}=Z$。于是 $S^{\otimes 7}{g}_i^{(X)}{S}^{†\otimes 7}=Y^{\otimes \mathrm{supp}(g_i^{(X)})}$：生成元支撑集上 $Y^{\otimes 4}=(iXZ{)}^{\otimes 4}=i^4(XZ{)}^{\otimes 4}=X^{\otimes 4}{Z}^{\otimes 4}=g_i^{(X)}{g}_i^{(Z)}$（$i^4=1$，偶重量使相位恰好抵消）——仍在稳定子群内 ✓。对逻辑算符：$\overline{X}=X^{\otimes 7}$ 是奇重量，$Y^{\otimes 7}=i^7{X}^{\otimes 7}{Z}^{\otimes 7}=-i\overline{X}\overline{Z}$，即 $S^{\otimes 7}$ 把 $\overline{X}\mapsto -i\overline{X}\overline{Z}$——恰是逻辑 $S^{†}$ 的行为（$S^{†}\overline{X}{S}^{††}$ 方向核对：$\overline{X}\mapsto \overline{Y}$ 型共轭与 $\overline{Z}\overline{X}$ 一致；Gottesman 论文原话是 “performs an encoded $P^{†}$”）。也就是说横贯 $S^{\otimes 7}$ 精确给出 ${\overline{S}}^{†}$，要 $\overline{S}$ 就再补一个逻辑 $\overline{Z}$ 修正。$■$

横贯性容错的原因是结构性的：逐位作用时一个物理门出错只影响一个物理比特，不会把单错扇出成多错（对照：容错逻辑门实现中 Eastin–Knill 定理保证这样的好事凑不出通用集——$T$ 门必须另想办法，靠魔术态蒸馏注入）。

Steane 型症状提取：错误传播的计数论证

症状测量若用裸辅助比特（$|0⟩$）直接与数据逐比特受控作用，辅助制备/门错误会被拷贝成整条生成元链上的多比特错误——症状提取自身就不容错。Steane 的方案是用编码后的辅助块：

1. 辅助块（另一个 Steane 码字）制备为 $(|0_L⟩+|1_L⟩)/\sqrt{2}$；
2. 辅助为控制、数据为目标（或对称地）做横贯 CNOT（7 个物理 CNOT）；
3. 横贯测量辅助块的 $\overline{X}$（全部比特测 $X$ 后按码距纠错再读逻辑值）。

传播分析（防扩散计数论证）：设受控方向为”数据 $Z$ 症状 → 辅助 $X$ 症状”。数据比特上的单个 $Z$ 错误经横贯 CNOT 不扩散（只改变辅助测得的一个逻辑症状，恰是要提取的信息）。辅助比特 $j$ 上的 $X$ 错误会传播到数据块的第 $j$ 比特——恰好一个物理级错误（码可纠正）。辅助比特 $j$ 上的 $Z$ 错误不影响控制作用（横贯 CNOT 下 $Z$ 不传播），至多污染辅助自身的读出、被辅助块的纠错吸收。归纳每个门位置的单错：要么停留为单比特错误，要么表现为一次可复测剔除的症状污染，绝不成倍扩散——这正是阈值定理证明中”容错症状提取”的原型构造。为对抗辅助制备的残留错误，实用中辅以”两次提取取一致”或猫态方案（Shor 型），见量子纠错。

关联词条

• 构造背景：CSS 码、稳定子码、Shor 九比特码
• 容错应用：容错逻辑门实现、魔术态蒸馏、阈值定理
• 概念：量子纠错、码距与逻辑量子比特

参考文献

• R. W. Hamming. Error Detecting and Error Correcting Codes. Bell Syst. Tech. J. 29, 147 (1950). —— Hamming 码之源。
• A. M. Steane. Error Correcting Codes in Quantum Theory. Phys. Rev. Lett. 77, 793 (1996). —— 七比特码的发现。
• A. M. Steane. Simple Quantum Error-Correcting Codes. Phys. Rev. A 54, 4741 (1996). arXiv:quant-ph/9605021 —— CSS 框架细化与容错症状提取。
• A. M. Steane. Multiple Particle Interference and Quantum Error Correction. Proc. R. Soc. Lond. A 452, 2551 (1996). arXiv:quant-ph/9601029
• A. R. Calderbank, P. W. Shor. Good Quantum Error-Correcting Codes Exist. Phys. Rev. A 54, 1098 (1996). arXiv:quant-ph/9512032 —— CSS 构造。
• D. Gottesman. Stabilizer Codes and Quantum Error Correction. PhD thesis, Caltech (1997). arXiv:quant-ph/9705052 —— 稳定子形式。
• P. W. Shor. Fault-Tolerant Quantum Computation. Proc. 37th IEEE FOCS, 56 (1996). arXiv:quant-ph/9605011
• E. Knill, R. Laflamme. Theory of Quantum Error-Correcting Codes. Phys. Rev. A 55, 900 (1997). arXiv:quant-ph/9604034
• D. P. DiVincenzo, P. W. Shor. Fault-Tolerant Error Correction with Efficient Quantum Codes. Phys. Rev. Lett. 77, 3260 (1996).
• Nielsen & Chuang.《量子计算与量子信息》第 10 章（Steane 码、横贯门与容错症状提取）.