1. 量子纠错与LDPC码导论

量子计算的核心困难并不只在“把量子门做准”，更在于量子态一旦与环境耦合，就会发生退相干，信息会以连续、微小且不可克隆的方式流失。经典纠错可以复制比特、随时测量，而量子纠错必须面对三个额外约束：不能克隆未知量子态、测量会破坏叠加、错误是连续的而不是离散的。稳定子形式正是为绕开这些约束而生的语言：它用一组相互对易的Pauli算符描述“合法码空间”，把纠错问题转化为“测量哪些稳定子、得到什么综合征、据此施加什么恢复操作”。

退相干与错误模型：从物理噪声到Pauli信道

一个量子比特的退相干通常由两类过程刻画：能量弛豫（T1）和相位退相干（T2）。在Bloch球图像中，T1使态矢量向|0⟩收缩，T2使赤道面上的相位信息模糊。若只考虑短时间、小错误，任意单比特错误都可以近似展开为Pauli算符的线性组合：

E = aI + bX + cY + dZ，且 |a|²+|b|²+|c|²+|d|² = 1

纠错码并不需要“知道”a、b、c、d的连续值，只要能把X、Y、Z三类离散错误纠正，连续错误就会被“数字化”为Pauli错误。这就是量子纠错中最重要的简化：离散化错误模型。实际建模时，常用独立Pauli信道：每个量子比特以概率p发生X、Y、Z之一，或以概率1−p保持不变。若p较小，则主导项是单比特错误；当p增大到阈值附近，双比特错误开始主导，纠错失败率迅速上升。

稳定子形式：用对易算符定义码空间

设S为n量子比特上的Abel群，由一组相互对易的Pauli算符生成。码空间定义为所有被S中每个元素+1特征值固定的态：

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

若S有n−k个独立生成元，则码空间维数为2^k，即编码k个逻辑量子比特。错误E作用后，测量稳定子生成元g_i会得到±1结果；若E与g_i反对易，则结果为−1，否则为+1。所有测量结果组成综合征s(E)。纠错的任务就是根据s(E)判断最可能的错误并施加恢复。稳定子形式的关键优势是：测量稳定子不会破坏码空间中的逻辑信息，因为逻辑态被所有稳定子+1固定。

CSS码：把X错误和Z错误分开处理

CSS码是一类特殊稳定子码，其稳定子生成元可以分成两组：一组只含X和I，另一组只含Z和I。这样X型稳定子用于检测Z错误，Z型稳定子用于检测X错误，两类错误可以独立解码。CSS码的构造直接来自两个经典线性码C₁和C₂，满足C₂⊂C₁。其校验矩阵H_X和H_Z满足正交条件：

H_X · H_Z^T = 0  (mod 2)

这个正交条件是CSS码的“生命线”：它保证X型稳定子与Z型稳定子对易，从而稳定子群是Abel群。常见的Shor码、Steane码都是CSS码。CSS码的优点是解码可以借用经典码的成熟算法，缺点是码率与距离受两个经典码的约束。

经典LDPC码：稀疏校验矩阵与Tanner图

经典LDPC码由稀疏校验矩阵H定义，H中非零元素比例很低。若H是m×n矩阵，码长n，校验方程数m，则码率R≥1−m/n。稀疏性带来两个好处：解码复杂度与H中非零元素数成正比；Tanner图上的置信传播迭代收敛快。

Tanner图是LDPC码的二分图表示：左侧是变量节点（对应码字比特），右侧是校验节点（对应校验方程），若H_{ji}=1，则变量节点i与校验节点j相连。解码时，变量节点把“我可能是0还是1”的置信度沿边传给校验节点，校验节点根据“与我相连的变量节点异或应为0”更新置信度，再传回变量节点。迭代若干轮后，每个变量节点根据总置信度判决。若所有校验方程满足，则解码成功；否则继续迭代或宣告失败。

量子LDPC码：定义与核心优势

量子LDPC码是把经典LDPC的稀疏思想搬到量子稳定子框架中：稳定子生成元的权重（作用非恒等算符的量子比特数）和每个量子比特参与的稳定子数都保持常数或随码长缓慢增长。更准确地说，若稳定子生成元集合的Tanner图中，每个节点的度有界，且码距随码长增长，则称为量子LDPC码。CSS型量子LDPC码要求H_X和H_Z都稀疏且满足正交条件。

量子LDPC码的核心优势有三点。第一，稀疏性带来低复杂度解码：综合征测量和置信传播的复杂度与稳定子生成元数量线性相关，而不是随码长平方增长。第二，高码率与有限码距：在相同物理量子比特数下，量子LDPC码可以编码更多逻辑量子比特，同时保持一定的纠错能力。第三，与容错架构兼容：稀疏稳定子意味着每个稳定子只涉及少数量子比特，测量电路深度浅，适合在二维或三维近邻连接架构上实现。

从经典到量子：一个可对照的示例

取经典(7,4)Hamming码，其校验矩阵H为3×7，每列权重2，每行权重4。若直接构造CSS码，需要两个经典码C₁和C₂满足C₂⊂C₁。一个经典做法是取C₁为[7,4,3]Hamming码，C₂为C₁的对偶码[7,3,4]。此时H_X和H_Z可以分别取C₁和C₂的校验矩阵，并验证正交条件。得到的量子码编码1个逻辑量子比特，码距3，可纠正任意单比特错误。这个例子说明：量子LDPC码的构造不是凭空发明，而是从经典稀疏校验矩阵出发，通过CSS框架“量子化”而来。