Statistics of non-conserved observables in Lindblad master equations

技术摘要：林德布拉德（Lindblad）主方程中非守恒可观测量的统计特性

问题陈述
在封闭量子系统中，守恒律严格受可观测量 $O$ 与哈密顿量 $H$ 的对易关系（$[H, O] = 0$）所支配，这确保了期望值 $\langle O \rangle$ 对于所有初始态保持不变。然而，在通过马尔可夫环境描述的开量子系统中，这一条件并不充分。耗散项会破坏哈密顿量守恒律，导致原本守恒的量发生演化。虽然期望值的损失已得到充分理解，但对完整统计分布（特别是二阶矩 $\langle O^2 \rangle$ 和方差 $\text{Var}(O)$）的影响则需要更细致的分析。本文探讨了塌缩算符如何修改那些由哈密顿量守恒但并非由完整开放系统动力学守恒的可观测量统计特性。

方法论
作者利用伴随林德布拉德形式（adjoint Lindblad formalism）推导了可观测量 $O$ 的一阶矩和二阶矩演化的基本表达式。

1. 伴随生成元： 从标准密度矩阵 $\rho$ 的林德布拉德主方程出发，通过伴随生成器 $\mathcal{L}^\dagger$ 表示期望值的时变率：
   $$\frac{d}{dt}\langle O \rangle = \langle \mathcal{L}^\dagger(O) \rangle$$
   其中 $\mathcal{L}^\dagger(O) = i[H, O] + \mathcal{D}^\dagger(O)$，且 $\mathcal{D}^\dagger$ 代表耗散贡献。
2. 矩方程： 该形式被扩展至二阶矩 $\langle O^2 \rangle$ 和方差 $\text{Var}(O) = \langle O^2 \rangle - \langle O \rangle^2$。本文推导了方差产生率 $\Pi_O(t)$，定义为：
   $$\Pi_O(t) = \langle \mathcal{L}^\dagger(O^2) \rangle - 2\langle O \rangle \langle \mathcal{L}^\dagger(O) \rangle$$
   对于哈密顿量守恒的可观测量（$[H, O]=0$），该产生率完全由耗散部分 $\mathcal{D}^\dagger$ 产生。
3. 解析模型： 推导出的公式被应用于四个特定的解析模型，以展示不同的动力学行为：
   • 单比特振幅阻尼模型。
   • 具有局部衰减的双比特交换模型。
   • 动量扩散模型。
   • 具有不同耦合类型的 Jaynes–Cummings 模型。

主要贡献与结果

• 均值与方差守恒的区别： 本文确立了期望值的守恒并不意味着可观测量完整统计特性的守恒。文中识别出三种不同的情形：

  1. 完全守恒： $\mathcal{L}^\dagger(O) = 0$ 且 $\mathcal{L}^\dagger(O^2) = 0$。均值和方差均保持不变。
  2. 均值漂移： $\mathcal{L}^\dagger(O) \neq 0$。均值发生变化，通常伴随着方差的变化。
  3. 均值守恒下的方差产生： $\mathcal{L}^\dagger(O) = 0$ 但 $\mathcal{L}^\dagger(O^2) \neq 0$。均值保持不变，但涨落随之增长。

• 解析示例：

  • 单比特振幅阻尼： 对于 $O=\sigma_z$ 且塌缩算符为 $L=\sigma_-$ 的情况，均值 $\langle \sigma_z \rangle$ 向基态衰减。由于 $\sigma_z^2 = I$，二阶矩是平凡的，其方差演化仅源于均值的衰减。
  • 双比特交换模型： 在哈密顿量守恒总激发数 $N$，但存在局部衰减算符 $L_j = \sigma_-^{(j)}$ 的情况下，均值 $\langle N \rangle$ 会衰减。至关重要的是，即使系统初始处于 $N$ 的本征态（零方差），耗散动力学也会在系统于不同激发扇区之间转换时（$|11\rangle \to |10\rangle/|01\rangle \to |00\rangle$）动态地产生非零方差。
  • 动量扩散： 对于哈密顿量为 $H=p^2/2m$ 且具有位置耦合耗散器 $L \propto x$ 的粒子，均值动量是守恒的 ($\mathcal{L}^\dagger(p)=0$)，但方差线性增长 ($\mathcal{L}^\dagger(p^2) \neq 0$)。这明确展示了一个一阶矩被保持而分布却在展宽的案例。
  • Jaynes–Cummings 模型： 本文对比了关于总激发数 $N$ 的两种情景：
    • 退相干耦合： 如果环境通过 $N$ 本身进行耦合，则 $N$ 和 $N^2$ 都是守恒的 ($\mathcal{L}^\dagger(N)=\mathcal{L}^\dagger(N^2)=0$)。环境破坏了 $N$ 扇区之间的相干性，但不对 $N$ 的统计特性产生影响。
    • 耗散耦合： 标准的光子丢失（$L_a=a$）和原子衰减（$L_\sigma=\sigma_-$）会破坏 $N$ 的均值和二阶矩的守恒性。

• 与涨落-耗散定理的关系： 方差产生项 $\Pi_O(t)$ 被确定为连接耗散漂移与涨落产生的自然对象。在热力学模型中，该形式回归了标准的涨落-耗散平衡，即引起阻尼的同一环境耦合同时也确定了平衡态的方差。

意义与主张
本文声称提供了一种用于诊断开放系统中哈密顿量守恒可观量的瞬态统计特性的“简单且具操作性”的方法。其主要意义在于隔离了伴随生成器的耗散部分在产生涨落方面的作用，且该作用独立于均值的漂移。

作者强调，这项工作并非是对不变算符或平稳子空间的新分类，而是对严格的林德布拉德对称性理论的补充，侧重于解析透明的模型。此外，本文在林德布拉德源项与理想化的波函数坍缩模型之间建立了类比。它表明，虽然在坍缩模型中（或通过林德布拉德算符）局部守恒律可能在单次事件层面被违反，但在统计平均后可能仍然成立。在这种背景下，二阶矩和方差成为了携带底层随机非守恒事件信息的载体，即便均值表现为守恒。