稳定子码

稳定子码用 $n$ 个物理量子比特上的一个交换 Pauli 算符子群 $S$（不含 $-I$）定义：码空间是 $S$ 中所有算符的 $+1$ 公共本征态空间。若 $S$ 由 $n-k$ 个独立生成元张成，则码空间维数为 $2^k$，即编码 $k$ 个逻辑量子比特，记作 $[[n,k,d]]$ 码（$d$ 为码距）。

辛几何表示

每个 Pauli 算符（差相位）对应一对二元向量 $(\mathbf{x}|\mathbf{z})\in {\mathbb{F}}_2^{2n}$：$x_i=1$ 表示该位置有 $X$ 或 $Y$，$z_i=1$ 表示有 $Z$ 或 $Y$。两个 Pauli 对易当且仅当辛内积为零：

$⟨(\mathbf{x}|\mathbf{z}),({\mathbf{x}}^{\prime }|{\mathbf{z}}^{\prime })⟩=\mathbf{x}\cdot {\mathbf{z}}^{\prime }+\mathbf{z}\cdot {\mathbf{x}}^{\prime }(\mathrm{mod}2).$

于是”交换子群”就是一个 ${\mathbb{F}}_2^{2n}$ 中的自正交子空间，稳定子码的构造与分类完全变成经典线性代数。

症状与纠错

错误检测极其简洁：错误 $E$ 与每个生成元 $g_j$ 要么对易（症状 $+1$）要么反对易（症状 $-1$）：$g_{j}E=(-1{)}^{s_j}E{g}_j$。$n-k$ 次测量给出症状向量 $\mathbf{s}\in {\mathbb{F}}_2^{n-k}$；纠错条件化为”症状能区分待纠错误（或它们在码空间上作用相同）“的群论检验。实际操作中，解码就是查表/图匹配：症状 → 最可能的错误陪集 → 施加恢复。

逻辑算符是正规化子 $N(S)$ 中不属于 $S$ 的元素（模 $S$ 的陪集）：它们与所有稳定子对易、因而保持码空间，却作用于逻辑态上。码距 $d$ = 最小重量非平凡逻辑算符的重量。

代表性稳定子码

码	参数	特色
五比特码	$[[5,1,3]]$	纠单错的最小码，完美码
Steane 码	$[[7,1,3]]$	CSS 构造，容错 Clifford 门友好
Shor 码	$[[9,1,3]]$	首个码，级联构造，退化码
表面码	$[[\sim d^2,1,d]]$	拓扑、近邻、高阈值
量子 LDPC 码	常数权重校验	低开销方向

退化与非退化：非退化码中不同错误映射到正交子空间（$C_{ab}=c{\delta }_{ab}$）；退化码（如 Shor 码）中不同的物理错误可以在码空间上起相同作用（相差一个稳定子），同症状同效应——退化性让某些码”免费”纠掉一部分重量更大的错误。

要点

• Gottesman–Knill 定理：仅用 Clifford 门、Pauli 测量与稳定子初态的电路可经典多项式模拟——因此通用容错计算还需魔术态蒸馏注入非 Clifford 资源。
• Clifford 门在稳定子码上的作用= $N(S)$ 上的共轭作用，天然可经典追踪——这是容错电路分析与模拟（stim 等工具）的基础。
• 稳定子形式也是描述退相干与 Pauli 噪声（见量子噪声模型）、以及线路切割/隐形传态型 Clifford+T 编译的通用语言。

关联词条

• 概念：量子纠错、Pauli 矩阵、纠错条件、魔术态蒸馏
• 算法：量子线路模型 的容错化基础

参考文献

• D. Gottesman. Stabilizer Codes and Quantum Error Correction. PhD thesis, Caltech (1997). arXiv:quant-ph/9705052 —— 稳定子理论的原始文献。
• Nielsen & Chuang.《量子计算与量子信息》§10.5（稳定子码）.
• D. Gottesman. The Heisenberg Representation of Quantum Computers. Proc. XXII Int. Colloq. Group Theoretical Methods in Physics (1999). arXiv:quant-ph/9807006 —— Gottesman–Knill 定理。