[论文解读] On the Quantum Jarzynski Identity

Gavin E. Crooks|ArXiv.org|Jun 13, 2007

Advanced Thermodynamics and Statistical Mechanics参考文献 26被引用 34

一句话总结

本文通过使用厄米映射超算符测量环境中的热量流动，以一种新颖的方式推导出量子Jarzynski等式，避免了对功的直接测量。通过在时间演化超算符上叠加能量投影映射，该方法实现了对量子功分布的紧凑且非扰动的表示，从而在离散和连续时间极限下精确地得出量子Jarzynski等式。

ABSTRACT

In this note, we will discuss how to compactly express and prove the Jarzynski identity for an open quantum system with dissipative dynamics. We will avoid explicitly measuring the work directly, which is tantamount to continuously monitoring the system, and instead measure the heat flow from the environment. We represent the measurement of heat flow with Hermitian map superoperators that act on the system density matrix. Hermitian maps provide a convenient and compact representation of sequential measurement and correlation functions.

研究动机与目标

• 提供一种非扰动的、基于测量的量子Jarzynski等式推导方法，避免对功进行连续监测。
• 通过作用于系统密度矩阵的厄米映射超算符，表示来自环境的热量流动。
• 为具有耗散动力学的开放量子系统中的功的玻尔兹曼加权平均建立紧凑的迹基形式化方法。
• 通过利用系统-环境能量交换而非直接测量功，将Jarzynski等式推广至开放量子系统。
• 证明量子Jarzynski等式自然地从包含能量投影映射的超算符乘积的嵌套结构中涌现。

提出的方法

• 使用厄米映射超算符 $\mathcal{R}_t = e^{-\frac{\beta}{2}H_t}\cdot e^{-\frac{\beta}{2}H_t}$ 在初始和最终时刻投影系统能量。
• 通过超算符 $\mathcal{R}^{-1}_t \mathcal{S}_t \mathcal{R}_t$ 表示热量流动的测量，其中 $\mathcal{S}_t$ 是系统的时序演化超算符。
• 将玻尔兹曼加权功平均构造为 $\left\langle e^{-\beta W}\right\rangle = \operatorname{tr}\left[\mathcal{R}_{\tau} \left(\prod_t \mathcal{R}^{-1}_t \mathcal{S}_t \mathcal{R}_t\right) \mathcal{R}^{-1}_0 \rho^{\text{eq}}_0\right]$。
• 应用平衡密度矩阵 $\rho^{\text{eq}}_t = e^{\beta F_t - \beta H_t}$ 和配分函数 $Z(t) = \operatorname{tr} e^{-\beta H_t}$，以实现乘积的嵌套化简。
• 证明超算符乘积坍缩为 $Z(\tau)/Z(0) = e^{-\beta \Delta F}$，从而恢复量子Jarzynski等式。
• 通过Lindblad形式将结果推广至连续时间：$\left\langle e^{-\beta W}\right\rangle = \operatorname{tr}\left[\mathcal{R}(t) \exp\left\{\int_0^\tau R(t)^{-1}\mathcal{L}(t)\mathcal{R}(t) dt\right\} \mathcal{R}(0)^{-1} \rho^{\text{eq}}_0\right]$。

实验结果

研究问题

• RQ1 如何在开放量子系统中不直接测量功的情况下推导出量子Jarzynski等式？
• RQ2 在量子非平衡热力学中，能否将环境的热量流动用作功的代理？
• RQ3 厄米映射超算符在表示量子动力学中序列测量与关联函数方面起什么作用？
• RQ4 为何使用能量投影映射 $\mathcal{R}_t$ 能够实现量子功平均的紧凑且非扰动的表述？
• RQ5 在何种条件下，超算符乘积 $\mathcal{R}_{\tau} \prod_t (\mathcal{R}^{-1}_t \mathcal{S}_t \mathcal{R}_t) \mathcal{R}^{-1}_0$ 会坍缩为 $e^{-\beta \Delta F}$？

主要发现

• 通过使用厄米映射超算符测量热量流动，推导出量子Jarzynski等式，避免了对功的直接测量及其带来的量子反作用。
• 玻尔兹曼加权功平均被表达为 $\left\langle e^{-\beta W}\right\rangle = \operatorname{tr}\left[\mathcal{R}_{\tau} \left(\prod_t \mathcal{R}^{-1}_t \mathcal{S}_t \mathcal{R}_t\right) \mathcal{R}^{-1}_0 \rho^{\text{eq}}_0\right]$，该表达式紧凑地编码了完整的非平衡动力学。
• 由于 $\mathcal{R}_t$ 和 $\rho^{\text{eq}}_t$ 的结构，超算符乘积发生嵌套化简，得出 $Z(\tau)/Z(0) = e^{-\beta \Delta F}$，即精确的量子Jarzynski等式。
• 该方法在离散和连续时间下均有效，连续极限以包含生成元 $\mathcal{L}(t)$ 的Lindblad形式表达。
• 该形式化方法确保除系统-环境耦合外无额外扰动，保持了动力学的物理一致性。
• 该方法为通过可测量的热量流动，从非平衡量子过程中严格计算自由能差提供了一个非微扰的框架。