4. 量子信道与错误算符的数学表示
在量子计算中，错误不会像经典比特翻转那样只发生在离散的 0/1 之间，而是以连续旋转、相位漂移、能量泄漏等形式作用在量子态上。要统一描述这些错误，需要引入量子信道这一数学工具。量子信道是密度算符空间上的线性映射，它把输入态 ρ 变为输出态 ρ′，并满足两个基本约束：完全正性与迹保持性。前者保证即使信道只作用在复合系统的一部分上，整体映射仍然合法；后者保证概率总和为 1，即 Tr(ρ′)=Tr(ρ)。
满足这两条约束的映射称为 CPTP 映射（Completely Positive Trace-Preserving map）。它有一个极为重要的等价表示——算符和表示（Operator-Sum Representation，也称 Kraus 表示）：
ρ′ = Σ_k E_k ρ E_k† ， 且 Σ_k E_k† E_k = I其中 {E_k} 称为 Kraus 算符。这个式子说明：任何物理上允许的量子演化，都可以写成若干“算符夹住密度矩阵再求和”的形式。Kraus 算符的个数 K 反映了信道的“噪声通道数”：K=1 时退化为幺正演化，K>1 时表示存在经典不确定性或环境耦合。理解这一点，是分析量子错误模型的基础。
Pauli 信道：离散错误的统一框架
在量子纠错中最常用的是 Pauli 信道。它假设错误以一定概率独立地施加 I、X、Y、Z 四个 Pauli 算符之一。其 Kraus 算符就是 Pauli 矩阵本身，概率满足 p_I+p_X+p_Y+p_Z=1。若只考虑比特翻转，则退化为比特翻转信道：E_0=√(1−p)I，E_1=√p X。若只考虑相位翻转，则 E_0=√(1−p)I，E_1=√p Z。Pauli 信道的价值在于：任意单量子比特错误都可以用 Pauli 算符展开，因此纠错码只需针对 X、Y、Z 设计即可覆盖连续错误。
振幅阻尼与相位阻尼：两类典型退相干
振幅阻尼信道描述能量耗散，例如超导量子比特从 |1⟩ 衰减到 |0⟩。其 Kraus 算符为：
E_0 = [[1, 0], [0, √(1−γ)]]
E_1 = [[0, √γ], [0, 0]]其中 γ 是衰减概率。当 γ=0 时无衰减；γ=1 时 |1⟩ 完全衰减到 |0⟩。该信道会把布洛赫球上的态向 |0⟩ 方向压缩。
相位阻尼信道描述相位信息丢失但能量不变，例如磁场涨落导致的退相干。其 Kraus 算符为：
E_0 = √(1−λ/2) I
E_1 = √(λ/2) Z其中 λ 是相位退相干强度。它使密度矩阵的非对角元按因子 (1−λ) 衰减，而对角元保持不变。这两类信道分别对应“能量错误”和“相位错误”，是量子错误模型中最基本的连续噪声模型。
典型量子错误的算符形式
实际量子计算中常见的错误及其算符形式如下表所示。注意：所有算符都作用在单量子比特子空间上，多比特错误可写成张量积形式。
| 错误类型 | 算符形式 | 物理来源 |
|---|---|---|
| 比特翻转 | X = [[0,1],[1,0]] | 控制脉冲误差、热激发 |
| 相位翻转 | Z = [[1,0],[0,−1]] | 磁场涨落、频率漂移 |
| 比特-相位翻转 | Y = [[0,−i],[i,0]] | 复合旋转误差 |
| 振幅阻尼 | E_0, E_1 如上 | 能量弛豫 T₁ |
| 相位阻尼 | E_0, E_1 如上 | 退相干 T₂ |
| 泄漏错误 | |2⟩⟨1| 等 | 能级泄漏 |
下面这张图把本节的核心关系组织在一起：从 CPTP 映射出发，经算符和表示，分化为 Pauli 信道、振幅阻尼和相位阻尼三条典型路径，并给出各自的 Kraus 算符与物理含义。
从图中可以看出，Pauli 信道、振幅阻尼和相位阻尼虽然物理来源不同，但都统一在算符和表示之下。Pauli 信道适合描述离散门错误，振幅阻尼和相位阻尼则分别刻画能量弛豫与相位退相干这两类连续噪声。在实际分析中，我们通常先通过量子过程层析或随机基准测试估计 Kraus 算符或等效参数（如 γ、λ、p），再据此判断是否需要纠错以及选择何种纠错码。
最后需要强调：Kraus 算符不唯一。同一信道可以有多组不同的 Kraus 算符，它们之间通过幺正变换联系。因此，在比较不同错误模型时，应关注信道对密度矩阵的实际作用，而不是执着于某一组算符形式。理解这一点，才能在后续阈值分析中正确建立错误模型与纠错码之间的对应关系。