2. Pauli群与稳定子形式

在上一节中，我们已经看到稳定子码的核心思想：不去直接描述码空间中的每一个量子态，而是用一组能够“稳定”这些态的算符来间接刻画码空间。要把这一思想变成可计算、可验证的数学工具，就必须先建立Pauli矩阵的代数结构。本节从单比特Pauli矩阵出发，经过张量积构造多比特Pauli算符，再引入Pauli群及其中心，最终给出稳定子群、稳定子空间的定义，并推导码空间维数与生成元独立性条件。

一、单比特Pauli矩阵与基本代数

单比特Pauli矩阵定义为：

I = [[1, 0], [0, 1]]
X = [[0, 1], [1, 0]]
Y = [[0, -i], [i, 0]]
Z = [[1, 0], [0, -1]]

它们满足三条关键性质。第一，每个Pauli矩阵都是酉矩阵且自逆：P² = I。第二，任意两个不同Pauli矩阵反对易：XY = -YX，XZ = -ZX，YZ = -ZY。第三，Pauli矩阵的乘积（忽略相位）仍在集合 {I, X, Y, Z} 内，例如 XY = iZ。这三条性质意味着Pauli矩阵在乘法下构成一个群——这正是后面Pauli群的来源。

需要特别强调相位约定。Y矩阵的定义中带有虚数单位i，因此两个Pauli算符相乘时会产生±1或±i的相位因子。在稳定子理论中，我们通常只关心算符之间的对易/反对易关系，而相位不影响这一判断，但相位会影响群元素的精确表示。后文统一采用上述标准定义，不再另行说明。

二、张量积与多比特Pauli算符

n比特系统的Pauli算符由单比特Pauli矩阵的张量积构成。例如两比特的X⊗Z表示第一个比特作用X、第二个比特作用Z。一般地，n比特Pauli算符写作P = P₁⊗P₂⊗…⊗Pₙ，其中每个Pᵢ ∈ {I, X, Y, Z}。总共有4ⁿ个这样的张量积算符（含相位前），它们构成n比特Pauli群的基础。

张量积的关键性质是：两个多比特Pauli算符的对易关系由各比特位置上对易关系的乘积决定。具体地，若P = ⊗Pᵢ，Q = ⊗Qᵢ，则PQ = (∏PᵢQᵢ)，而PᵢQᵢ = ±QᵢPᵢ。因此P与Q对易当且仅当在所有比特位置上反对易的次数为偶数。这一“逐位统计反对易次数”的规则，是后续判断稳定子生成元是否兼容的核心工具。

三、Pauli群及其中心

n比特Pauli群𝒫ₙ定义为所有形如 iᵏP₁⊗…⊗Pₙ 的算符集合，其中k ∈ {0,1,2,3}，Pᵢ ∈ {I,X,Y,Z}。加入相位因子iᵏ是为了让集合在乘法下封闭——因为两个Pauli张量积相乘可能产生±i因子。𝒫ₙ的阶为4ⁿ⁺¹。

𝒫ₙ的中心Z(𝒫ₙ)是与群中所有元素都对易的元素集合。可以验证，中心恰好是 {±I, ±iI}，即所有全局相位算符。中心元素作用在任何态上都只产生一个全局相位，不改变物理状态，因此在稳定子码的讨论中通常被“模掉”——我们关心的是Pauli算符在投影希尔伯特空间上的作用，而非其精确相位。

四、稳定子群与稳定子空间

设S是𝒫ₙ的一个子群。若S中所有元素相互对易（即S是阿贝尔群），且−I ∉ S，则称S为一个稳定子群。条件−I ∉ S是必要的：若−I ∈ S，则要求S稳定某个态|ψ⟩意味着−|ψ⟩ = |ψ⟩，即|ψ⟩ = 0，不存在非零解。

给定稳定子群S，稳定子空间V_S定义为所有被S中每个算符固定的态：

V_S = { |ψ⟩ : g|ψ⟩ = |ψ⟩, ∀g ∈ S }

由于S中元素相互对易且均为酉算符，它们可以同时对角化，V_S就是这些算符公共的+1本征子空间。稳定子码的码空间就是V_S。

五、码空间维数与生成元独立性

设稳定子群S由m个相互独立的生成元 g₁, g₂, …, gₘ 生成（“独立”指没有生成元可写成其余生成元的乘积）。每个生成元是一个对合算符（g² = I），其+1本征子空间维数为2ⁿ⁻¹。m个独立对易对合算符的公共+1本征子空间维数为：

dim V_S = 2ⁿ / 2ᵐ = 2ⁿ⁻ᵐ

因此编码k个逻辑比特的稳定子码满足 k = n − m，即需要m = n − k个独立稳定子生成元。这就是稳定子码的“计数公式”。

生成元的独立性条件可以更精确地表述：m个生成元独立，当且仅当它们对应的2n维二元辛向量（将I,X,Y,Z映射为二元对）在GF(2)上线性无关。实际操作中，一个常用的检验方法是：将每个生成元写成n位X部分和n位Z部分的二元串，检查这m个2n位向量是否满秩。若秩小于m，则存在冗余生成元，实际稳定子群维数小于2ᵐ，码空间维数会大于预期。

此外，稳定子群S的阶为|S| = 2ᵐ（因为每个生成元贡献一个独立的±1本征值选择）。这也从群论角度印证了维数公式：V_S是2ᵐ个算符的公共+1本征空间，维数为2ⁿ/2ᵐ。

六、一个具体例子：三比特重复码的稳定子

以三比特比特翻转码为例，码字为 |000⟩ 与 |111⟩ 的叠加。其稳定子群由两个生成元生成：g₁ = Z₁Z₂，g₂ = Z₂Z₃。验证：Z₁Z₂ 作用在 |000⟩ 上得 +|000⟩，作用在 |111⟩ 上得 (−1)(−1)|111⟩ = +|111⟩，故稳定；Z₂Z₃ 同理。两生成元对易（都是Z型，逐位统计反对易次数为0，偶数）。−I ∉ S。因此 n = 3，m = 2，k = 3 − 2 = 1，码空间维数为2，恰好编码1个逻辑比特。

若错误地加入第三个生成元 g₃ = Z₁Z₃，注意 g₃ = g₁g₂，并非独立生成元。此时m名义上为3，但实际秩仍为2，码空间维数仍为2¹ = 2，而非2⁰ = 1。这说明独立性检验不可省略：冗余生成元不会缩小码空间，只会让“m = n − k”的计数失效。

七、实践中的检验流程

在构造稳定子码时，建议按以下顺序操作。第一步，列出候选生成元，每个写成n位X串与n位Z串的拼接。第二步，逐对检查对易性：统计两向量在相同位置上“一个为X或Y、另一个为Z或Y”的次数，若为偶数则对易。第三步，将所有2n位向量组成矩阵，在GF(2)上做高斯消元求秩，确认秩等于生成元个数。第四步，确认−I不在群中（等价于不存在生成元的乘积等于−I，可通过检查生成元集合的辛积结构判断）。第五步，由k = n − m计算码空间维数，并与预期编码比特数比对。

本节建立的Pauli群语言，把“码空间”这一看似抽象的量子对象，转化为“一组对易算符的公共+1本征空间”这一可计算的结构。码空间维数由生成元个数直接决定，生成元独立性由GF(2)秩判定，对易性由逐位符号统计判定——这三条构成了后续所有稳定子码构造与校验算符设计的代数基础。