五比特完美码

五比特完美码由 Laflamme、Miquel、Paz 与 Zurek 在 1996 年提出（Phys. Rev. Lett. 77, 198），是纠任意单比特错误的最小量子码：5 个物理比特保护 1 个逻辑比特，恰好饱和量子 Hamming 界——希尔伯特空间被 16 个错误子空间无冗余地填满。它不是 CSS 码，是"真正量子"的第一个范例；其编码线路反向运行即是纠错线路。码率 1/5，至今仍是小系统演示与开销敏感场景的首选小码。

完美性：维数计数的饱和

对 $n$ 比特非简并码，每个逻辑态在”至多单错”下产生 $3n+1$ 个必须相互正交的子空间（每比特三种 Pauli 错共 $3n$ 种，再加无错；两个逻辑态都要容纳），于是Laflamme et al. 1996 (Phys. Rev. Lett.)

$2(3n+1)\le 2^n.$

逐个检验：$n=5$ 时 $32=32$ 恰好饱和，而 Shor 码（$n=9$）与 Steane 码（$n=7$）都严格不取等——5 是能让该不等式成立的最小长度，$[[5,1,3]]$ 因此称”完美码”（perfect code）。16 个正交子空间正好对应 $2^4=16$ 种综合征（无错 + 15 种单错），无一浪费。这也是一般非简并量子 Hamming 界 ${\sum }_{j=0}^t{3}^j\left(\genfrac{}{}{0ex}{}{n}{j}\right)\le 2^{n-k}$ 在 $t=1$ 的特例（一般形式见perfect-quantum-codes与quantum-bounds）。

任意单错的数字化

为什么纠 15 种 Pauli 单错就等于纠”任意”单比特退化？LMPZ 把环境与第 $k$ 比特的一般相互作用展开为 Pauli 基：

$|e⟩|0_L⟩⟶(|e_{+}⟩I+|e_{-}⟩Z_k+|e_{+}^B⟩X_k-i|e_{-}^B⟩Y_k)|0_L⟩,$

四个”环境态”取决于错误过程。纠错条件只要求不同错误的像子空间正交（见knill-laflamme），于是逐位置纠正 $X_k,Y_k,Z_k$ 便自动纠正以任意系数、任意环境态组合出的单比特退化——量子错误的”数字化”论证，Shor 码与五比特码共享这一逻辑Laflamme et al. 1996 (Phys. Rev. Lett.)。

LMPZ 构造

构造从对展开系数 ${\mu }_i$ 的约束出发：正交性要求对每对比特位置 $k,l$，${\mu }_i$ 的模方在”第 $k$ 比特为偶/奇 × 第 $l$ 比特为偶/奇”四个部分均分（原文 Eq.(5)）。这些约束苛刻到”基本上唯一确定”了叠加的支撑集：至少 8 个计算基态，且纯正系数无解——负号是本质的。作者的求解路径本身就是 1995–96 年的典型方法学：从 Steane 码 16 项叠加中删去任意两个比特猜出支撑集，剩余的自由度只有相位符号，由计算机搜索确定Laflamme et al. 1996 (Phys. Rev. Lett.)。所得逻辑态（未归一）：

$|0_L⟩=|b_1⟩|00⟩-|b_3⟩|11⟩+|b_7⟩|10⟩+|b_5⟩|01⟩,$

$|1_L⟩=-|b_2⟩|11⟩-|b_4⟩|00⟩+|b_8⟩|01⟩-|b_6⟩|10⟩,$

其中三粒子”贝尔态”$|b_{2k-1}⟩=|u_k⟩+|v_k⟩$、$|b_{2k}⟩=|u_k⟩-|v_k⟩$，四对基串为

$\{|u_k⟩,|v_k⟩\}=\{|000⟩,|111⟩\},\{|100⟩,|011⟩\},\{|010⟩,|101⟩\},\{|110⟩,|001⟩\}.$

所有满足约束的码彼此等价（比特置换 + 协同变号）。

稳定子、循环结构与编码即译码

在稳定子形式下，五比特码由四个独立生成元给出，标准形为一个五格算符及其循环移位：

$g_1=XZZXI,g_2=IXZZX,g_3=XIXZZ,g_4=ZXIXZ.$

循环结构使其在 CRSS 的 GF(4) 框架中对应 GF(4) 上的汉明码（生成多项式 $g(x)=x^2+\omega x+1$ 整除 $x^5-1$），自正交加性码给出距离 3Calderbank et al. 1998 (IEEE Trans. Inf. Theory)；Rains 进一步把它推广为任意字母尺寸的 $((5,p,3){)}_p$ 族（见perfect-quantum-codes）。

图:五比特码的编码线路——CNOT 与受控旋转的组合,输入 |Q⟩=α|0⟩+β|1⟩ 与四个 |0⟩ 辅助比特(来源:QE008)

编码线路最值得注意的性质是反向运行即纠错线路：任一单错态从右端进入编码器，四个辅助比特的读出 $|a^{\prime }⟩|b^{\prime }⟩|c^{\prime }⟩|d^{\prime }⟩$ 唯一标识 16 种情况之一（原文 Table 1），随后对数据比特做相应 Pauli 修正——此前 Shor/Steane 方案都需要单独设计的译码电路Laflamme et al. 1996 (Phys. Rev. Lett.)。

图:五比特码的纠错线路——就是编码线路的逆向,四个测量结果给出 16 种综合征(来源:QE008)

定位：专用与通用之间

五比特码不是 CSS 码（$X/Z$ 稳定子不可分离），打破 CSS 路线 $K\le n-2\lceil {\log }_2(n+1)\rceil$ 在 $n=5$ 处的下限（对照steane-code）；其非简并完美性在二元码中唯一（LP 界证明，见perfect-quantum-codes）。后续框架把它纳入更大图景：CWS 标准形中它是”5 环图 + 重复码”对Cross et al. 2009 (IEEE Trans. Inf. Theory)。当噪声过程已知且高度结构化（如振幅阻尼）时，更短的专用码可以取代它（见amplitude-damping-codes）；作为对任意单错的通用保护，5 个比特是极限。

延伸阅读

• perfect-quantum-codes
• steane-code
• shor-code
• stabilizer-formalism
• amplitude-damping-codes