CSS 码

CSS 码由 Calderbank 与 Shor、Steane 在 1996 年独立提出，是把经典编码理论接入量子世界的第一座桥：取两个满足对偶包含关系的经典线性码，用其中一个的码字叠出量子码字，X 错误与 Z 错误便分别化为两个基上的经典译码问题。这一构造证明了"好量子码存在"（码率与相对距离可同时渐近为正），也是今天几乎全部 qLDPC 码的模板——超图积、双变量自行车码都是 CSS 型。Steane 七比特码是其最著名的实例。

构造定理

设 ${\mathcal{C}}_1,{\mathcal{C}}_2$ 为 ${\mathbb{F}}_2^n$ 上的经典线性码，${\mathcal{C}}^{\perp }=\{v:v\cdot c=0\forall c\in \mathcal{C}\}$ 为对偶码（$\dim \mathcal{C}+\dim {\mathcal{C}}^{\perp }=n$）。Calderbank–Shor 原文定理的陈述是：若 ${\mathcal{C}}_1$ 与 ${\mathcal{C}}_2^{\perp }$ 都是 $[n,n-k,d]$ 线性码且

$\{0\}\subset {\mathcal{C}}_2\subset {\mathcal{C}}_1\subset {\mathbb{F}}_2^n,$

则由此构造的量子码 ${\mathcal{Q}}_{{\mathcal{C}}_1,{\mathcal{C}}_2}$ 纠 $t=\lfloor (d-1)/2\rfloor$ 个错Calderbank & Shor 1996 (PRA)。现代教科书常用的对称形式是：CSS 条件 = ${\mathcal{C}}_Z^{\perp }\subseteq {\mathcal{C}}_X$ 与 ${\mathcal{C}}_X^{\perp }\subseteq {\mathcal{C}}_Z$ 同时成立（每个码把对方的对偶含进来）。用校验矩阵说最直接：取 $H_X$ 为 ${\mathcal{C}}_X$ 的校验矩阵、$H_Z$ 为 ${\mathcal{C}}_Z$ 的校验矩阵，CSS 条件等价于

$H_X{H}_Z^{\mathsf{T}}=0.$

这正是稳定子形式中辛正交判据的样子：把 $g_i^X$（第 $i$ 行 $H_X$，支撑为 X 型）与 $g_j^Z$（第 $j$ 行 $H_Z$，支撑为 Z 型）写成 $(\mathbf{x}|\mathbf{z})$ 向量，二者的辛内积恰是 $H_X$ 第 $i$ 行与 $H_Z$ 第 $j$ 行的逐点内积——所以 $H_X{H}_Z^{\mathsf{T}}=0$ 就是”X 型生成元与 Z 型生成元两两对易”，CSS 码是一类稳定子码，其稳定子可以全部选成纯 X 型或纯 Z 型。

码字与正交性推导

对每个陪集 $v+{\mathcal{C}}_2\in {\mathcal{C}}_1/{\mathcal{C}}_2$ 定义量子码字

$|v+{\mathcal{C}}_2⟩=\frac{1}{\sqrt{|{\mathcal{C}}_2|}}{\sum }_{w\in {\mathcal{C}}_2}|v+w⟩,v\in {\mathcal{C}}_1.$

正交性：设 $H_{{\mathcal{C}}_2}$ 为 ${\mathcal{C}}_2$ 的校验矩阵，则 $H_{{\mathcal{C}}_2}(v+w)=H_{{\mathcal{C}}_2}v$ 与陪集代表无关，不同陪集的态是互不相交计算基组上的均匀叠加，直接计算内积

$⟨v+{\mathcal{C}}_2|v^{\prime }+{\mathcal{C}}_2⟩=\frac{1}{|{\mathcal{C}}_2|}{\sum }_{w,w^{\prime }\in {\mathcal{C}}_2}⟨v+w|v^{\prime }+w^{\prime }⟩={\delta }_{v-v^{\prime }\in {\mathcal{C}}_2},$

末步用了 $v-v^{\prime }\in {\mathcal{C}}_1$ 时 $(v+{\mathcal{C}}_2)\cap (v^{\prime }+{\mathcal{C}}_2)\ne \varnothing ⟺v-v^{\prime }\in {\mathcal{C}}_2$。因此码空间维数为陪集个数

$\dim \mathcal{Q}=\frac{2^{\dim {\mathcal{C}}_1}}{2^{\dim {\mathcal{C}}_2}}=2^{\dim {\mathcal{C}}_1-\dim {\mathcal{C}}_2}⟹k=\dim {\mathcal{C}}_1-\dim {\mathcal{C}}_2.$

两类错误的分工

设发生 X 型错误 $e$：$|v+{\mathcal{C}}_2⟩\mapsto |v+e+{\mathcal{C}}_2⟩$，错误把陪集移动了 $e$。测量 Z 型生成元 $g^Z$（即用 $H_Z$ 做奇偶校验）给出经典综合征 $H_{Z}e$——bit-flip 错误在 Z 基下的纠错就是经典线性码 ${\mathcal{C}}_1$ 的译码，能纠的范围由商码 ${\mathcal{C}}_1/{\mathcal{C}}_2$ 的距离 $d({\mathcal{C}}_1/{\mathcal{C}}_2)$ 决定。对偶地，Z 型错误在 Hadamard 共轭的 X 基中扮演 bit-flip 的角色，由 ${\mathcal{C}}_2^{\perp }/{\mathcal{C}}_1^{\perp }$ 的结构纠正。于是 CSS 码的距离是两个商码距离的较小者：

$d=\min (d({\mathcal{C}}_1/{\mathcal{C}}_2),d({\mathcal{C}}_2^{\perp }/{\mathcal{C}}_1^{\perp })).$

两类错误互不干扰的原因仍在辛正交：X 型错误与 Z 型生成元反对易、与 X 型生成元对易，综合征天然分成互不相干的两半Calderbank & Shor 1996 (PRA)。

Steane 七比特码全程

取 $\mathcal{C}=[7,4,3]$ 汉明码。它的对偶 ${\mathcal{C}}^{\perp }=[7,3,4]$ 是 simplex 码且 ${\mathcal{C}}^{\perp }\subseteq \mathcal{C}$（弱自对偶包含，全 1 向量 $⟨⟨1^7⟩⟩\subseteq \mathcal{C}$）。取 ${\mathcal{C}}_1=\mathcal{C}$、${\mathcal{C}}_2={\mathcal{C}}^{\perp }$，CSS 条件自动满足，得 $[[7,1,3]]$ 码——Steane 码Steane 1996 (Proc. R. Soc. A)：

• 码字：$|\bar{0}⟩=\frac{1}{\sqrt{8}}{\sum }_{c\in {\mathcal{C}}_{\text{even}}}|c⟩$（$\mathcal{C}$ 的偶重量码字），$|\bar{1}⟩$ 为其逐位取反，均在 ${\mathcal{C}}_1$ 的陪集结构内；
• 双基纠错：Steane 的原始视角是”多粒子干涉”——码字同时用 Z 基与 X 基（Hadamard 共轭）表达，汉明码的自对偶包含保证两个基中的”合法字”都落在汉明码内，因此同一套经典奇偶校验线路在两个基中各跑一遍，即可纠任意单比特错误（含相位错、含与环境纠缠的错误，原文 Theorem 6：纠错后残余效应从 $O(ϵ)$ 压到 $O({ϵ}^2)$）；
• 最小性：$n=7$ 是弱自对偶构造达到 $d=3$ 的最短长度。

图:Steane $[[7,1,3]]$ 码逻辑 $\Vert \bar{0}⟩$ 的制备线路——从全零态出发经受控门生成 8 个偶重量码字的均匀叠加(来源:QE016)

图:Steane 码的纠错线路,X 错与 Z 错分别在 Z 基和 X 基中跑同一套汉明校验(来源:QE016)

意义、局限与延续

CSS 构造的价值在于量子译码的经典化：只要两个成员码有快速经典译码算法，量子码就继承它（Steane 码直接继承汉明码的查表译码）。其代价是构造自由度受限——对偶包含条件排除了多数经典码，随机经典码渐近达不到量子 GV 界的要求，因此 1996–2020 年间 CSS 码的码率—距离权衡长期落后于存在性下界，直到 qLDPC 时代超图积等方法绕开”随机码不可用”的障碍（见qldpc-overview）。基于 CSS 框架的渐近好码最终在 2021 年出现Panteleev & Kalachev 2021 (arXiv)，而 Calderbank–Shor 原文的量子 Gilbert–Varshamov 论证（好码存在性）见quantum-bounds。实例词条：steane-code、shor-code（可视为级联 CSS 的思想前身）、surface-code（CSS 型拓扑码）。

延伸阅读

• stabilizer-formalism
• steane-code
• linear-codes
• hamming-codes
• qldpc-overview
• quantum-bounds