2. 量子噪声与错误表征
量子比特并不孤立。它与环境耦合、被控制脉冲扰动、受测量反作用影响,都会让理想态偏离预期。要设计纠错码,第一步不是急着编码,而是把"错误"本身说清楚:它是什么算符、以多大概率发生、如何用统一数学语言描述。本节围绕比特翻转、相位翻转、去极化信道、振幅阻尼、错误算符与 Kraus 表示,以及错误离散化原理展开。
一、从比特翻转到相位翻转
经典比特只有一种错误:0 变 1 或 1 变 0。量子比特则有两类基本错误。第一类是比特翻转,由 Pauli-X 算符描述:
X|0⟩ = |1⟩, X|1⟩ = |0⟩
X = [[0, 1],
[1, 0]]
第二类是相位翻转,由 Pauli-Z 算符描述。它不改变 |0⟩ 和 |1⟩ 的测量概率,却把叠加态的相对相位取反:
Z|0⟩ = |0⟩, Z|1⟩ = -|1⟩
Z(α|0⟩ + β|1⟩) = α|0⟩ - β|1⟩
相位错误在计算基下"看不见",但在 X 基或干涉实验中会显现。例如 |+⟩ = (|0⟩+|1⟩)/√2 经 Z 作用后变成 |−⟩ = (|0⟩−|1⟩)/√2,两者在 X 基测量下结果相反。这说明纠错必须同时覆盖两类错误,而不能只盯住比特翻转。
两类错误组合还有 Y = iXZ,它同时引入比特翻转和相位翻转。{I, X, Y, Z} 构成单量子比特 Pauli 群,是描述离散错误的完备基。
二、去极化信道
去极化信道是最常用的噪声模型之一。它以概率 p 施加一个非平凡 Pauli 错误,以概率 1−p 保持原态。对单量子比特,其 Kraus 算符为:
E0 = √(1 - 3p/4) · I
E1 = √(p/4) · X
E2 = √(p/4) · Y
E3 = √(p/4) · Z
这里 p 是"发生任意错误"的总概率,X、Y、Z 各占 p/4。去极化信道的一个重要性质是各向同性:无论输入态指向 Bloch 球哪个方向,输出态都沿同一方向收缩,收缩因子为 1−p。它不偏向某一类错误,因此常被用作纠错码性能分析的基准信道。
三、振幅阻尼信道
振幅阻尼描述能量耗散,例如超导量子比特从 |1⟩ 自发衰减到 |0⟩。设衰减概率为 γ,其 Kraus 算符为:
E0 = [[1, 0],
[0, √(1-γ)]]
E1 = [[0, √γ],
[0, 0]]
E0 保留原态但压缩 |1⟩ 分量,E1 把 |1⟩ 映射到 |0⟩。与去极化不同,振幅阻尼是有方向、非对称的:它只把 |1⟩ 往 |0⟩ 拉,不反向。若初始态为 |1⟩,经过时间 t 后处于 |0⟩ 的概率为 1−e^(−t/T₁),其中 T₁ 是能量弛豫时间。这类错误不能简单用 Pauli 信道等价,需要专门处理,或通过"Pauli 旋转"把非 Pauli 噪声转化为等效 Pauli 噪声。
四、错误算符与 Kraus 表示
一般量子噪声用完全正定保迹映射(CPTP map)描述。任何这样的映射都可写成 Kraus 形式:
ρ' = Σ_k E_k ρ E_k†, 约束 Σ_k E_k† E_k = I
Kraus 算符 {E_k} 刻画了噪声的每一种作用方式,约束条件保证概率守恒。去极化信道有 4 个 Kraus 算符,振幅阻尼有 2 个。Kraus 表示不是唯一的:同一信道可用不同算符组表示,只要它们张成相同的算符空间。这一点对纠错至关重要——我们关心的是错误作用的空间,而非具体算符形式。
五、错误离散化原理
真实噪声是连续的,但量子纠错码通常只针对离散 Pauli 错误设计。二者如何衔接?答案是错误离散化。
考虑一个连续错误算符 E = aI + bX(忽略归一化)。若纠错码能纠正 X 错误,则测量综合征时,系统会以 |a|² 的概率投影到 I 分支、以 |b|² 的概率投影到 X 分支,随后被相应纠正。也就是说,连续错误在综合征测量下"坍缩"为离散 Pauli 错误,只要码能处理这些 Pauli 错误,就能处理原连续错误。
更一般地,任意单量子比特错误都可展开为 I、X、Y、Z 的线性组合。若码能纠正其中任意一个 Pauli 错误,则连续错误被离散化后同样可纠。这就是量子纠错码只需针对 Pauli 错误设计、却能应对连续噪声的根本原因。
六、错误表征的实践要点
在实际建模中,需要把物理噪声参数映射到信道模型。以超导量子比特为例,典型流程如下:
- 测量 T₁ 得到能量弛豫时间,用振幅阻尼信道拟合,γ = 1 − e^(−t_gate/T₁)。
- 测量 T₂ 得到退相干时间,结合 T₁ 推算纯相位退相干率,用相位阻尼信道描述。
- 测量门保真度,用去极化信道近似残余错误,p ≈ 1 − F。
- 将各信道组合,得到单门或双门的等效错误模型。
例如,某超导量子比特 T₁ = 40 μs,单门时长 t_gate = 40 ns,则 γ ≈ 1 − e^(−0.001) ≈ 0.001。若门保真度 F = 99.9%,则去极化参数 p ≈ 0.001。这些数值属于示例假设,实际应以器件标定为准。
得到信道模型后,可进一步计算等效 Pauli 错误率,输入纠错码的阈值分析或解码器。错误表征的精度直接决定纠错方案的可行性判断。
总结来看,比特翻转与相位翻转是两类基本错误,去极化信道提供各向同性的基准模型,振幅阻尼刻画能量耗散的非对称过程,Kraus 表示统一描述所有 CPTP 噪声,而错误离散化原理则把连续噪声与离散 Pauli 纠错码连接起来。掌握这套表征体系,是后续学习纠错码结构与阈值分析的前提。