CSS 码

CSS 码（Calderbank–Shor–Steane）从两个经典线性码 $C_1,C_2$ 构造，条件是 $C_2^{\perp }\subseteq C_1$：码字为 $C_1$ 中陪集 $v+C_2^{\perp }$ 的均匀叠加，得到 $[[n,k_1+k_2-n,d]]$ 量子码（$d\ge \min (d_1,d_2)$）。结构上，$X$ 型错误由 $C_1$ 的校验矩阵检测、$Z$ 型错误由 $C_2$ 的校验矩阵检测——两类症状测量彼此分离且都是经典式的。

构造的算术

设 $H_1,H_2$ 分别是 $C_1,C_2$ 的校验矩阵。取

• $Z$ 型稳定子生成元：$H_1$ 的每一行（行中 1 的位置放 $Z$）——它检测 $X$ 型错误，症状恰是 $C_1$ 的经典校验子；
• $X$ 型稳定子生成元：$H_2$ 的每一行（同理放 $X$）——它检测 $Z$ 型错误，症状恰是 $C_2$ 的经典校验子。

嵌套条件保证这两组生成元互相对易：$H_2$ 的行属于 $C_2^{\perp }\subseteq C_1$，而 $H_1$ 的行张成 $C_1^{\perp }$，两两点积为零（即 $H_1{H}_2^{\mathsf{T}}=0$）。逻辑算符：$X$ 型由 $C_1\setminus C_2^{\perp }$ 中的向量给出，$Z$ 型由其对偶 $C_2\setminus C_1^{\perp }$ 给出。最省事的对偶情形 $C_2=C_1=C$（$C$ 对偶包含：$C^{\perp }\subseteq C$）给出自对偶包含码，一个经典码同时管两类错误——Steane 码取的就是 $[7,4,3]$ Hamming 码（$k=4+4-7=1$）。

为什么这一构造重要

• 症状测量是经典式的：$X$ 症状与 $Z$ 症状分别就是两个经典码的校验，可直接沿用经典解码器。
• 横贯 CNOT：对两块码字逐位做 CNOT，码空间映射回码空间且恰好实现逻辑 CNOT——这一”免费”的容错双比特门是 CSS 结构最实用的红利（Steane 码 还额外有横贯 $H$、$S$，凑齐 Clifford 层）。
• 容错症状提取（Steane 型）：用码字本身的均匀叠加作辅助块提取症状，横贯 CNOT 使辅助块上的单个物理错误至多向数据传播一个物理级错误（码可纠正）或造成一次可复测剔除的症状污染，而不会像裸辅助那样成倍扩散——这是阈值定理证明中容错电路构造的支柱之一。
• 经典码的现代成果可直接迁移：量子 LDPC 码多为 CSS 或其推广；Reed–Muller、BCH 等家族给出整套参数选择（15-to-1 魔术态蒸馏用的 $[[15,1,3]]$ 量子 Reed–Muller 码也是 CSS 码）。

关联词条

• 概念：稳定子码、量子纠错、阈值定理、Steane 码

参考文献

• A. R. Calderbank, P. W. Shor. Good Quantum Error-Correcting Codes Exist. Phys. Rev. A 54, 1098 (1996). arXiv:quant-ph/9512032
• A. M. Steane. Simple Quantum Error-Correcting Codes. Phys. Rev. A 54, 4741 (1996). arXiv:quant-ph/9605021
• Nielsen & Chuang.《量子计算与量子信息》第 10 章（CSS 构造与 Steane 型症状提取）.