退相干与噪声:量子计算的真正敌人
一句话定义
退相干(decoherence)是量子系统因与环境发生非受控纠缠而丧失叠加与干涉能力的过程,宏观上用两个时间刻画:T₁(能量弛豫,|1⟩ 衰回 |0⟩)与 T₂(相位失谐,叠加态的相对相位信息流失)。
为什么重要
前面所有模块的推导都假设"完美的酉演化与理想测量",真实硬件上这条假设的寿命以微秒计。退相干解释了 NISQ 的全部限制:深度预算从哪来(kp-013)、变分算法为何浅(kp-019)、纠错为何是必经之路(kp-025)、各平台为何在"门快"与"态干净"间取舍(kp-021–024)。可以说,模块 05 的每一页都是本知识点的展开。
前置知识
kp-005(测量与投影)。本节顺势引入密度矩阵 ρ 的最小版本——只为描述"不知道处于哪个纯态",不展开量子信道理论。
核心概念
- 密度矩阵:混合态记 ρ = Σipi|ψi⟩⟨ψi|;纯态是其特例 ρ = |ψ⟩⟨ψ|。测量概率 Tr(Pρ) 推广了 |⟨b|ψ⟩|²。
- T₁(弛豫):激发态能量泄漏给环境;对基态编码的比特,表现为"1 慢慢变 0"。
- T₂(失谐):环境"偷测"了比特,相位信息变成经典随机量——叠加退化为混合,干涉能力消失。
- 关系:T₂ ≤ 2T₁(相位噪声包含弛豫贡献)。
- 噪声账本:门错误率(单比特 ~10⁻⁴–10⁻³、双比特 ~10⁻³–10⁻²)、读出错误(%~10⁻²)、串扰与漂移;典型超导参数 T₁ ~ 100–300 μs、单门 20–40 ns。
直观类比
两支音叉同时敲响,本应持续共鸣(相干);但房间里有无数细微的空气扰动不断轻撞音叉,每撞一次,两支音叉的相对步调就随机偏移一点——几秒后共鸣消失,只剩各自模糊的嗡嗡声。退相干不是音叉"坏了"(能级还在),而是关于相位的那部分信息泄漏进了环境:环境成了偷看的旁观者,而偷看等价于测量(kp-005)。
原理与机制
把环境纳入描述就能看清机制:系统+环境整体仍按酉演化(量子力学没破),但我们对环境做迹掉(partial trace)后,系统的有效描述从纯态变成了混合态。以最简模型为例:初态 (|0⟩+|1⟩)/√2 与环境作用后变为 (|0⟩|E₀⟩+|1⟩|E₁⟩)/√2;只要 |E₀⟩≠|E₁⟩,系统侧描述 ρ 的非对角元(相干项)就是 ½⟨E₁|E₀⟩,随时间衰减——非对角元正是干涉的载体,它消失即"叠加失效"。两个通道分离出 T₁(对角元向基态弛豫)与 T₂(非对角元衰减),工程上分别对应能级寿命与相位稳定度。对计算的意义写在 kp-013 的预算式里:深度 d 的电路在时间 d·tgate 内累积错误 ≈ d·tgate/T₂ 加上门错误;两条红线(相干时间、门错误率)共同把"可跑深度"压到 10²–10³ 门量级——这就是 NISQ 的"N"(Noisy)与"I"(Intermediate)的全部来源。
公式或模型
混合态:ρ = Σi pi|ψi⟩⟨ψi|,Tr ρ = 1。
相干项衰减:ρ₀₁(t) = ρ₀₁(0)·e−t/T₂;激发布居 ρ₁₁(t) = ρ₁₁(0)·e−t/T₁。
深度预算:F ≈ e−d·tgate/T₂·(1−pgate)Ngates。
图示
实例或案例
以 2023–2024 年典型超导处理器为参照:T₁≈150 μs、单门 25 ns、单/双比特门错误率约 0.05%/0.5%。跑 200 门深度的电路:时间 5 μs ≪ T₁,能量尚好;但 200 个门各 0.5% 级错误(双比特为主)叠加,总保真度约 (0.995)¹⁰⁰ ≈ 0.6 量级——结果直方图里"信号"与"噪声"平分秋色。这就是 kp-019 变分实验普遍只有统计性结论、以及 kp-025 纠错势在必行的定量背景。
与其他知识点的关系
kp-005 的"测量扰动"在这里被环境执行;kp-013 的预算公式来自本节参数;kp-021–024 的平台差异本质是 T₁/T₂/门错误率的不同组合;kp-025 的阈值定理回答"噪声多低才救得回来";kp-034 的路线图分歧大多围绕"压噪声 vs 上纠错"的节奏。
常见误区
- "退相干=比特坏了":能级结构与门仍在工作,损失的是相干性;冷却重启后 T₁/T₂ 照旧。
- "只要隔离得更好就能无限延长相干时间":材料缺陷、控制线热噪声、宇宙射线都会注入噪声;隔离能改善数量级但无法归零,最终需要纠错兜底(kp-025)。
- "噪声是随机的所以平均一下就没了":非对角元的丢失是不可逆的信息泄漏;重复实验能估出概率分布,但不能恢复单次相干信息。
自测题
- T₁ = 100 μs、单门 20 ns,跑 2000 层深度的电路,仅按 T₁ 估算的能量保真度?
- 为什么 T₂ ≤ 2T₁?
- 用密度矩阵语言说明"叠加退化为混合"发生在哪里。
答案要点:总时长 40 μs,F ≈ e−0.4 ≈ 0.67;再叠加门错误与 T₂ 后明显更低。
答案要点:弛豫(T₁ 过程)本身也破坏相位相干,T₂ 的倒数是"纯失谐率 + 1/(2T₁)"之和,故上限 2T₁。
答案要点:非对角元 ρ₀₁ 衰减到 0;对角概率不变但相干性(干涉能力)消失——这正是与经典掷硬币不可区分的状态。
延伸阅读
J. Preskill (2018)(NISQ 术语与噪声现实的开山综述);M. A. Nielsen、I. L. Chuang《Quantum Computation and Quantum Information》第 8 章。