量子完美码

完美码指把纠错能力的球填充计数推到极限、令 Hamming 界取等的码。经典世界只有汉明码全族与 Golay 码；量子世界的图景更丰富：五比特码 [5,1,3] 严格饱和且唯一，GF(4) 汉明族 [21,15,3] 等同样严格取等，Gottesman–Steane–CRSS 的 [8,3,3] 以另一种方式达到界的极限，而简并性使"量子 Hamming 界是否对所有码成立"成为经典理论没有的开放问题。Rains 的量子 MDS 理论则把完美性推广到任意字母尺寸。

量子 Hamming 界与两类饱和

非简并码要求每个逻辑态在”≤ t 个错”下的 $1+{\sum }_{j=1}^t{3}^j\left(\genfrac{}{}{0ex}{}{n}{j}\right)$ 个错误子空间相互正交，故

$2^k(1+3n)\le 2^n(t=1),\text{一般地}{\sum }_{j=0}^t{3}^j\left(\genfrac{}{}{0ex}{}{n}{j}\right)\le 2^{n-k}.$

量子完美码有两条饱和路径：

• 严格取等：$2^k(3n+1)=2^n$。$[[5,1,3]]$（$32=32$，见five-qubit-code）与 CRSS 的 GF(4) 汉明族 $[[\frac{4^m-1}{3},\frac{4^m-1}{3}-2m,3]]$（$m=3$ 给 $[[21,15,3]]$，$3n+1=64=2^6$）都精确填满综合征空间Calderbank et al. 1998 (IEEE Trans. Inf. Theory)。
• 达最大整数维：$n=2^j$ 时 $3n+1$ 不是 2 的幂，界允许 $k\le n-j-2$。Gottesman 构造的量子汉明码族 $[[2^j,2^j-j-2,3]]$ 达到这一上限（$j\ge 3$），$n\to \infty$ 时码率 $\to 1$——量子世界对经典汉明码的直接类比Gottesman 1996 (Phys. Rev. A)。最小成员 $[[8,3,3]]$（$25\le 32$，$k=3$ 恰为允许最大值）由 Gottesman、Steane、CRSS 三方独立发现，穷举搜索证明它在加性码中唯一Calderbank et al. 1998 (IEEE Trans. Inf. Theory)。Gottesman 的构造明确以非简并码为目标；其 GF(4) 稳定子的最小重量为 6（高于 $d=3$），是纯码（pure code）。

简并性的挑战

上述计数只对非简并码合法：若两个错误相差一个稳定子元（$E_a^{†}{E}_b\in \mathcal{S}$），它们共享综合征且无需区分，维数账本可以少记（见degeneracy）。于是自然产生一个经典理论没有的问题：简并码能否突破量子 Hamming 界？ Gottesman 证明了对 $t=1$、且简并仅来自”线性无关错误映射到一维子空间”的一类码，界仍然成立；一般情形长期开放Gottesman 1996 (Phys. Rev. A)。这与 Shor 码（简并、$n=9$ 远未触界）形成对照：简并性是量子纠错的结构性红利，也是完美码分类复杂化的根源。

LP 界与唯一性

CRSS 把”证明码不存在”变成机器：由 GF(4) 码与对偶的重量分布 $A_j,A_j^{\prime }$、Krawtchouk 多项式与 MacWilliams 恒等式加上非负性约束构成线性规划（LP 界）。它排除 $n\le 4$ 的一切 $[[n,k,3]]$（$k\ge 1$），并给出 $[[5,1,3]]$ 的最优性——5 比特无可再省；结合穷举，$[[5,1,3]]$ 与 $[[8,3,3]]$ 在各自参数上是唯一的Calderbank et al. 1998 (IEEE Trans. Inf. Theory)。一般的界与最佳已知码的对照见quantum-bounds。

量子 MDS 与任意字母

Rains 把理论推广到 $\alpha$ 能级字母：量子 Singleton 界

$K\le {\alpha }^{n-2d+2}$

取等者称量子 MDS 码Rains 1998 (IEEE Trans. Inf. Theory)。与经典 MDS 的关键差异：量子码必须维持辛自正交，因此”长码存在 ⇒ 短码存在”不再自动成立——经典 MDS 只需研究最大长度，量子 MDS 必须逐长度验证。为此 Rains 引入 puncture code（穿孔码）：其每个码字指定一种合法缩短方式。主要构造结论：

• $((5,\alpha ,3){)}_{\alpha }$ 对所有字母尺寸存在——五比特码的完美性不是二元巧合；由二次剩余码构造，且是纯 MDS 码族 $[[n,1,\frac{p^{\prime }+1}{2}]{]}_p$ 的成员；
• $((6,1,4){)}_{\alpha }$ 对所有字母存在；
• 二元情形除平凡码与这两个族外基本没有其他量子 MDS 码（CRSS 穷举佐证）Rains 1998 (IEEE Trans. Inf. Theory)。

与经典完美码的对照

	经典	量子
完美码分类	Tietäväinen 等：汉明全族、Golay $[23,12,7]$/$[11,6,5]$、平凡码，分类完成	$[[5,1,3]]$、GF(4) 汉明族、$[[2^j,2^j-j-2,3]]$ 族；一般分类未完成
球填充界	对所有码成立	只对非简并码成立；简并码可否越界长期开放
严格取等者	汉明码、Golay 码	$[[5,1,3]]$、$[[21,15,3]]$ 等
特有现象	—	简并性、辛自正交约束、非加性码

非加性码是分类的另一变数：CWS 框架统一了稳定子码与已知的非加性好码，如 $((5,6,2))$、$((9,12,3))$、$((10,18,3))$——后者在某些参数点上比任何加性码都大Cross et al. 2009 (IEEE Trans. Inf. Theory)。经典完美码背景见classical-bounds与hamming-codes。

延伸阅读

• five-qubit-code
• quantum-bounds
• degeneracy
• qudit-codes
• classical-bounds