3. 稳定子码与CSS码

在量子纠错中，稳定子码是最重要的一类编码框架。它的核心思想是：不直接描述码空间中的每一个码字，而是用一组相互对易的Pauli算符来“稳定”码空间。设稳定子群 S 由 n 个物理量子比特上的Pauli算符组成，若一个量子态 |ψ⟩ 满足对所有 s ∈ S 都有 s|ψ⟩ = |ψ⟩，则 |ψ⟩ 属于该稳定子码的码空间。稳定子群是Abel群，且 −I 不在其中，这是保证码空间非空且非平凡的前提。

稳定子群通常由 n−k 个独立生成元 g₁, …, g_n−k 生成，编码 k 个逻辑量子比特。每个生成元都是Pauli算符的乘积，例如 X⊗X⊗I、Z⊗Z⊗I 等。生成元之间必须两两对易，且彼此独立。码空间维数为 2^k，即所有满足 g_i|ψ⟩ = |ψ⟩ 的态构成一个 2^k 维子空间。逻辑算符则是与所有稳定子对易、但不属于稳定子群的Pauli算符，它们负责在码空间内实现逻辑操作。逻辑算符分为逻辑X和逻辑Z，二者反对易，且与稳定子群对易。

CSS码是一类特殊的稳定子码，由Calderbank、Shor和Steane提出。它的生成元可以分成两组：一组只含X型Pauli算符，另一组只含Z型Pauli算符。这种结构使得CSS码可以借助经典线性码来构造。具体来说，若有两个经典线性码 C₁ 和 C₂，满足 C₂^⊥ ⊆ C₁，则可以用 C₁ 构造X型稳定子，用 C₂^⊥ 构造Z型稳定子，得到一个CSS码。其编码参数为 [[n, k, d]]，其中 k = dim C₁ − dim C₂^⊥，d 为最小距离。

下面以Steane码为例，说明CSS码的编码与解码过程。Steane码是 [[7,1,3]] 码，由经典 [7,4,3] Hamming码构造。取 C₁ = C₂ = [7,4,3] Hamming码，其校验矩阵 H 的列为所有非零3位二进制向量。由于 C₂^⊥ ⊆ C₁ 成立（Hamming码是自对偶的补），可以构造出6个稳定子生成元：3个X型和3个Z型。编码1个逻辑量子比特，最小距离为3，可纠正任意单比特错误。

编码时，将逻辑态 |0⟩_L 和 |1⟩_L 分别映射到码空间中的两个正交态。具体地，|0⟩_L 是 C₁ 中所有码字的等权叠加，|1⟩_L 是 C₁ 中所有码字加上一个固定陪集的等权叠加。编码电路可以用Hadamard门和CNOT门实现，将4个辅助比特与3个数据比特纠缠，最终得到7比特的编码态。

解码时，首先测量6个稳定子生成元，得到6位错误症候。若症候全为0，说明没有错误；若症候非零，则根据症候查表找到对应的单比特错误位置和类型。例如，若X型症候为(1,0,1)，Z型症候为(0,1,1)，则对应第5个量子比特发生Y错误。施加相应的Pauli修正后，系统恢复到码空间。最后，通过测量逻辑算符 X̄ 和 Z̄ 读取逻辑信息。逻辑算符可以选为 X̄ = X₁X₂X₃X₄X₅X₆X₇，Z̄ = Z₁Z₂Z₃Z₄Z₅Z₆Z₇，它们与所有稳定子对易且彼此反对易。

在实际实现中，稳定子测量通常使用辅助量子比特和CNOT门序列。对于每个生成元，准备一个辅助比特在 |0⟩ 态，然后按照生成元中非恒等Pauli算符的位置施加CNOT或受控相位门，最后测量辅助比特。测量结果即为该生成元的本征值（0对应+1，1对应−1）。所有生成元的测量结果构成错误症候。解码器根据症候和预先计算的错误表，确定最可能的错误并施加修正。

CSS码的一个重要优势是X型和Z型错误可以独立解码。由于X型稳定子只检测Z型错误，Z型稳定子只检测X型错误，因此可以分别处理比特翻转和相位翻转。这种分离简化了解码器的设计，也使得CSS码在容错量子计算中具有广泛的应用。Steane码、Shor码和表面码都可以纳入CSS框架。理解稳定子群、生成元、逻辑算符和CSS构造，是掌握量子纠错编码的基础。