Steane 七比特码

Steane 七比特码（1996）是用单个经典 $[7,4,3]$ Hamming 码构造的 CSS 码，参数 $[[7,1,3]]$：7 个物理比特编码 1 个逻辑比特，纠正任意单比特错误。它是”最小优美”的代表——比 Shor 九比特码少两个比特、结构高度对称（对偶包含构造：$C^{\perp }\subseteq C$，$X$ 型与 $Z$ 型稳定子用同一个校验矩阵 $H$）。

编码与稳定子

取 Hamming 码校验矩阵（列向量为全部 7 个非零三元组）。码字是偶码 $C^{\perp }=[7,3]$（单纯形码，码字重量全为 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⟩.$

6 个稳定子生成元：$H$ 的三行放 $X$、同一 $H$ 的三行放 $Z$。逻辑算符取 $\overline{X}=X^{\otimes 7}$、$\overline{Z}=Z^{\otimes 7}$。$X$ 与 $Z$ 错误各自走一套经典 Hamming 译码（症状即校验 $Hv$），完全对称——经典 Hamming 码是完美码，这一对称性贯穿码的整个容错结构。

容错 Clifford 门：杀手锏

Steane 码的稳定子对称性让三个 Clifford 门都能横贯（逐位作用、错误不成倍扩散）实现：

• 逻辑 $H$ = $H^{\otimes 7}$（码空间在 Hadamard 下自映射，$X\leftrightarrow Z$ 稳定子互换）；
• 逻辑 CNOT = 逐位 CNOT（CSS 码通性）；
• 逻辑 $S$ 亦可横贯实现（相位约定上可能是逆，补一个逻辑修正即可）。

于是整个 Clifford 层无需消耗额外资源即可容错，$T$ 门再由魔术态蒸馏注入——这套”Steane 框架”是容错电路构造与阈值定理证明中的标准积木（横贯 Clifford 的完备性限制见 Eastin–Knill 定理：任何码都凑不出横贯的通用集）。

Steane 型症状提取

症状测量用编码后的辅助块（而非裸辅助比特）：辅助制备成 $(|0_L⟩+|1_L⟩)/\sqrt{2}$，经横贯 CNOT 从数据块拷贝症状，再测量辅助。横贯作用使辅助块上的单个物理错误至多向数据块传播一个物理级错误（码可纠正）或造成一次可复测剔除的症状污染，而不会像裸辅助那样把错误扩散到整个数据块——这一”防扩散”设计正是容错症状提取思想的源头。

关联词条

• 概念：CSS 码、稳定子码、量子纠错、魔术态蒸馏

参考文献

• 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 框架与容错症状提取。
• Nielsen & Chuang.《量子计算与量子信息》第 10 章（Steane 码与横贯门）.