4. 量子主方程与林德布拉德形式

封闭量子系统的演化由薛定谔方程描述,态矢量在幺正算符作用下保持纯态。但任何真实量子硬件都不可避免地与环境耦合:超导量子比特通过电容、电感与外部电路交换能量,自旋量子比特受到核自旋浴的磁噪声影响,光子通过光纤损耗泄漏。此时系统不再处于纯态,必须用密度矩阵 ρ 描述,其演化也不再是幺正的。量子主方程正是刻画这种开放系统演化的核心工具,而林德布拉德形式(Lindblad form)是其中最通用、最便于工程计算的一类。

从密度矩阵到主方程

密度矩阵 ρ 是系统状态的完备描述:对角元 ρnn 表示布居数(处于能级 n 的概率),非对角元 ρmn(m≠n)表示相干性。对封闭系统,ρ(t)=U(t)ρ(0)U†(t),求导得冯·诺依曼方程 dρ/dt = −(i/ħ)[H, ρ]。当系统与环境耦合时,把总希尔伯特空间分为系统 S 与环境 B,总哈密顿量 H = HS⊗IB + IS⊗HB + Hint。对环境的自由度求偏迹得到约化密度矩阵 ρS = TrB[ρtot]。在玻恩近似(环境记忆时间远短于系统演化时间)、马尔可夫近似(环境关联快速衰减)和久期近似(旋转波近似,忽略快速振荡项)下,约化密度矩阵的演化可写成林德布拉德方程:

dρ/dt = −(i/ħ)[H_S, ρ] + Σ_k γ_k ( L_k ρ L_k† − ½{L_k†L_k, ρ} )

其中:
  H_S   :系统哈密顿量(含环境引起的兰姆位移修正)
  L_k   :跳跃算符(Lindblad 算符),描述第 k 条耗散通道
  γ_k   :对应通道的耗散速率(≥0)
  {A,B} :反对易子 AB + BA

第一项是幺正演化,第二项是耗散项。林德布拉德方程是保迹的(d Tr ρ/dt = 0)且完全正定的,这保证了任意时刻 ρ 都是合法密度矩阵。方程中的超算符 ℒ 定义为 ℒ[ρ] = −(i/ħ)[HS,ρ] + Σk γk𝒟[Lk]ρ,其中 𝒟[L]ρ = LρL† − ½{L†L, ρ} 称为耗散子。ℒ 作用在密度矩阵上,是希尔伯特-施密特空间中的线性算符,称为林德布拉德超算符。把 ρ 按算符基展开成向量,ℒ 就变成一个 N²×N² 的矩阵,主方程化为线性常微分方程组 d|ρ⟩⟩/dt = ℒ|ρ⟩⟩,可直接用矩阵指数或数值积分求解。

林德布拉德主方程:超算符作用与跳跃算符通道 系统 S H_S(含 Lamb 位移) ρ_S = Tr_B[ρ_tot] 能级 / 相干性 环境 B(热浴) H_B,关联函数 C(τ) 玻恩 + 马尔可夫近似 快速衰减记忆 H_int 耦合 林德布拉德超算符 ℒ ℒ[ρ] = −(i/ħ)[H_S, ρ] + Σ_k γ_k ( L_k ρ L_k† − ½{L_k†L_k, ρ} ) 保迹 · 完全正定 · 半群生成元 ρ_S 输入 γ_k 速率 跳跃算符 L_k L = σ₋(能量弛豫) L = σ_z(纯退相位) L = a(谐振子衰减) 物理含义 量子跳跃:态突然坍缩 γ_k:单位时间跳跃概率 无跳跃时非幺正演化 可观测效应 T₁ 能量弛豫时间 T₂ 相干时间 1/T₂ = 1/2T₁ + 1/T_φ

跳跃算符的物理含义

跳跃算符 Lk 是林德布拉德方程中最具物理直觉的部分。考虑一个二能级原子,基态 |g⟩、激发态 |e⟩,与真空电磁场耦合。取 L = σ− = |g⟩⟨e|,γ = Γ(自发辐射速率)。代入方程,对布居数 ρee 求导得 dρee/dt = −Γρee,即激发态布居以速率 Γ 指数衰减,对应能量弛豫时间 T₁ = 1/Γ。对相干项 ρeg,方程给出 dρeg/dt = −(Γ/2)ρeg,相干性衰减速率是布居衰减的一半。这正是 T₂ ≤ 2T₁ 的根源。

若再加入纯退相位通道,取 L = σz = |e⟩⟨e| − |g⟩⟨g|,速率 γφ。此时布居数不受影响(因为 σz 对角),但相干项获得额外衰减 dρeg/dt = −(Γ/2 + γφ)ρeg。总相干时间满足 1/T₂ = 1/(2T₁) + 1/Tφ,其中 Tφ = 1/γφ 是纯退相位时间。这个关系式是量子硬件表征中最常用的公式之一:测得 T₁ 和 T₂ 后,可反推纯退相位贡献,判断噪声主要来自能量弛豫还是相位扰动。

跳跃算符的“跳跃”图像来自量子轨迹方法:把主方程 unravel 成随机量子跳跃过程。系统在两次跳跃之间按有效非厄米哈密顿量 Heff = HS − (i/ħ/2)Σk Lk†Lk 连续演化,在时间 dt 内发生第 k 类跳跃的概率为 γk⟨ψ|Lk†Lk|ψ⟩dt,跳跃后态变为 Lk|ψ⟩/‖Lk|ψ⟩‖。对大量轨迹求平均即回到主方程的 ρ(t)。这一图像对理解单次测量、反馈控制和量子纠错中的错误传播非常直观。

从微观模型推导退相干率

林德布拉德方程中的 γk 并非唯象参数,可以从系统-环境微观哈密顿量推导。以超导量子比特受电路阻抗噪声为例,设 Hint = ħ g σx ⊗ B(t),其中 B(t) 是环境算符。在玻恩-马尔可夫近似下,耗散速率由环境噪声谱在系统跃迁频率处的值决定:

γ_↓ = (g²/ħ²) S(ω_q)     (能量弛豫,ω_q 为比特频率)
γ_φ = (g²/ħ²) S(0)        (纯退相位,低频噪声贡献)

其中 S(ω) = ∫ dτ e^{iωτ} ⟨B(τ)B(0)⟩ 为环境噪声功率谱密度。

这个结果说明:弛豫率取决于噪声谱在比特频率 ωq 处的分量,而退相位率取决于零频附近的低频噪声。对 1/f 噪声,S(0) 发散,因此纯退相位往往是超导量子比特的主要退相干来源。工程上通过屏蔽、滤波、降低电路阻抗来压低 S(ωq) 和 S(0),从而提升 T₁ 和 T₂。

实用判断:若测得 T₂ 接近 2T₁,说明噪声以能量弛豫为主,退相位贡献小;若 T₂ 远小于 2T₁,则纯退相位占主导,应重点排查低频磁通噪声、电荷噪声或临界电流波动。

数值求解示例

以二能级系统为例,取 HS = (ħωq/2)σz,ωq/2π = 5 GHz,T₁ = 40 μs,Tφ = 60 μs。则 Γ = 1/T₁ = 2.5×104 s−1,γφ = 1/Tφ ≈ 1.67×104 s−1。构造跳跃算符 L₁ = σ−(速率 Γ),L₂ = σz/√2(速率 2γφ,注意归一化使相干衰减为 γφ)。将 ρ 拉直为 4 维向量,构建 4×4 超算符矩阵 ℒ,用 scipy.linalg.expm 计算 ρ(t) = exp(ℒt)ρ(0)。初始态取 |+⟩ = (|g⟩+|e⟩)/√2,观察 ρeg(t) 的模按 exp(−t/T₂) 衰减,T₂ = 1/(1/2T₁ + 1/Tφ) ≈ 1/(1.25×104 + 1.67×104) ≈ 34.3 μs。布居数 ρee(t) 按 exp(−t/T₁) 衰减至 0。数值结果与解析公式一致,验证了超算符构造的正确性。

核心要点:林德布拉德方程把开放系统演化分解为幺正部分与耗散部分;跳跃算符 Lk 描述具体耗散通道,γk 是通道速率;T₁、T₂、Tφ 与 γk 通过 1/T₂ = 1/(2T₁) + 1/Tφ 紧密关联;微观推导把 γk 与噪声谱 S(ω) 联系起来,为噪声工程提供定量依据。