稳定子形式

稳定子形式（stabilizer formalism）由 Daniel Gottesman 在 1997 年的博士论文中系统建立，是量子纠错码的通用群论语言：一个码不再用码字列表描述，而是用一组两两对易的 Pauli 算符——稳定子群——的公共 +1 本征空间定义。Shor 码、CSS 码、五比特码、后来的表面码与绝大多数 qLDPC 码全部落在这个框架内，纠错条件、码距离、逻辑算符与编码线路都能从群的结构直接读出。它与 Knill–Laflamme 条件的关系，类似坐标表示与不变表示的关系。

图:用辅助比特与受控 Pauli 门把任意态投影到稳定子生成元的 ±1 本征空间——测得辅助比特即得该生成元的本征值(综合征比特),同时数据态被投影(来源:QE016)

Pauli 群的结构

$n$ 比特 Pauli 群定义为

${\mathcal{G}}_n=\{\pm 1,\pm i\}\times \{I,X,Y,Z{\}}^{\otimes n},$

即带上整体相位的 $n$ 重 Pauli 张量积，阶 $|{\mathcal{G}}_n|=4^{n+1}$。单比特情形 ${\mathcal{G}}_1$ 同构于四元数群 $Q_8$（Gottesman 论文原文的观察）。群的中心是 $Z({\mathcal{G}}_n)=\{\pm 1,\pm i\}$；把相位商掉后

${\mathcal{G}}_n/Z({\mathcal{G}}_n)\cong {\mathbb{F}}_2^{2n},$

每个 Pauli 元素对应一个二元向量 $(\mathbf{x}|\mathbf{z})$：第 $i$ 比特上是 $X$ 则 $x_i=1$，是 $Z$ 则 $z_i=1$，是 $Y=XZ$ 则两者皆 1（不计相位）Gottesman 1997 (PhD thesis)。

辛内积与对易判据

两个 Pauli 元素何时对易？逐比特验证：$XZ=-ZX$，而 $XI=IX$、$ZI=IZ$、$XZ$ 与 $ZX$ 差一个 $-1$。对 $E=X^{\mathbf{x}}{Z}^{\mathbf{z}}$ 与 $F=X^{{\mathbf{x}}^{\prime }}{Z}^{{\mathbf{z}}^{\prime }}$，逐位交换产生的相位是 $(-1{)}^{x_i{z}_i^{\prime }+z_i{x}_i^{\prime }}$，因此

$EF=(-1{)}^{⟨E,F⟩}FE,⟨E,F⟩=\mathbf{x}\cdot {\mathbf{z}}^{\prime }+\mathbf{z}\cdot {\mathbf{x}}^{\prime }(\mathrm{mod}2).$

这个 $⟨E,F⟩$ 就是 ${\mathbb{F}}_2^{2n}$ 上的辛内积（symplectic inner product）：$E,F$ 对易当且仅当辛内积为 0，反对易当且仅当为 1。整部稳定子理论——“生成元必须两两对易”的构造约束、综合征的产生、CSS 码的正交性条件——都是这条判据的推论。

稳定子与码空间

取 ${\mathcal{G}}_n$ 的一个阿贝尔子群 $S$ 且 $-I\notin S$（否则没有非零向量是全体生成元的 +1 本征向量），设其独立生成元为 $g_1,\dots ,g_m$。码空间定义为

$T=\{|\psi ⟩:M|\psi ⟩=|\psi ⟩,\forall M\in S\},$

即所有生成元 +1 本征空间的交。每个厄米的、对易的、独立的生成元把希尔伯特空间对半切（$\pm 1$ 本征空间各占一半），$m$ 个生成元连切 $m$ 刀，故

$\dim T=2^{n-m}⟹k=n-m,$

码编码 $k$ 个逻辑比特，记作 $[[n,k]]$Gottesman 1997 (PhD thesis)。上图就是”切空间”的物理实现：辅助比特经受控 $g_i$ 门读出本征值，把数据态投影到对应分支。

综合征与正规化子

错误 $E\in {\mathcal{G}}_n$ 作用后，每个生成元与它的对易关系给出一个比特：

$g_{i}E=(-1{)}^{s_i}E{g}_i,s(E)=(s_1\dots s_m)\in {\mathbb{F}}_2^m.$

$s(E)$ 就是综合征，只依赖 $E$ 的陪集而与逻辑态无关——这正是”测错误不测信息”的代数表达。两个错误 $E_a,E_b$ 在码上不可区分，当且仅当它们给出相同综合征；用辛内积展开可得充要条件：

$s(E_a)=s(E_b)⟺E_a^{†}{E}_b\in N(S),$

其中 $N(S)=\{M\in {\mathcal{G}}_n:MS=SM\}$ 是 $S$ 的正规化子（normalizer）。换言之：乘积 $E_a^{†}{E}_b$ 与所有生成元对易，因而要么它本身在 $S$ 内（两个错误在码上完全等价，简并），要么它是一个不可检测的逻辑算符。$N(S)/S\cong {\mathbb{F}}_2^{2k}$（模去简并冗余），逻辑算符 $\overline{X},\overline{Z}$ 就从这里取代表元Gottesman 1997 (PhD thesis)。

距离与纠错条件（稳定子版本）

由上可知：错误可被纠正，当且仅当一切权重 $\le t$ 的错误对 $(a,b)$ 满足"$E_a^{†}{E}_b\in N(S)\Rightarrow E_a^{†}{E}_b\in S$"（可区分或简并等价）。于是自然定义码距离

$d=\min \{\mathrm{wt}(E):E\in N(S)\setminus S\},$

即最小权重的非平凡逻辑算符的权重；纠错能力 $t=\lfloor (d-1)/2\rfloor$。若 $N(S)=S\cdot \{\pm 1,\pm i\}$（无非平凡逻辑算符低于距离），码称为纯码（pure code），此时无简并。这套判据是 Knill–Laflamme 条件 在 Pauli 错误集上的特化：$P{E}_a^{†}{E}_{b}P=c_{ab}P$ 中的 $c_{ab}$ 在稳定子情形退化为”是否落在 $S$“的二元判断Knill & Laflamme 1997 (PRA)。

推广与边界

• 编码定理：把 $m\times 2n$ 生成元矩阵经 ${\mathbb{F}}_2$ 高斯消元化成标准形后，任何 $[[n,k]]$ 稳定子码都可由 Clifford 线路编码，规模 $O(n^2)$ 门——详见encoding-circuits。
• Gottesman–Knill 定理：稳定子初态 + Clifford 门 + Pauli 测量的计算可被经典多项式模拟，因此通用量子计算必须注入非 Clifford 资源（魔法态蒸馏的动机，见magic-state-distillation）。
• 向上推广：把 ${\mathbb{F}}_2^{2n}$ 换成 ${\mathbb{Z}}_p^{2n}$ 得 qudit 稳定子码（见qudit-codes）；把部分生成元降格为规范算符得子系统码（见subsystem-codes）；CSS 码是其最常用子类（见css-codes）。

稳定子表格（tableaux）操作与逐步推导的教科书式展开，推荐 Roffe 的入门综述Roffe 2019 (Contemporary Physics)。

延伸阅读

• css-codes
• knill-laflamme
• code-parameters
• degeneracy
• syndrome-extraction
• qudit-codes