Active Jarzynski and Crooks Relations for Driven Jump-Diffusions

技术摘要：驱动跳跃-扩散过程中的活跃 Jarzynski 与 Crooks 关系

问题陈述
现代统计物理学试图量化外部驱动与内部涨落如何共同支配热力学不可逆性。虽然经典的随机热力学成功描述了耦合到遵循微观可逆性和细致平衡的热浴系统，但这一范式对于经历不连续、非高斯跃迁的活跃系统（例如自驱动胶体、分子马达、转录爆发）失效了。

在驱动的活跃跳跃-扩散过程中，三个相互交织的挑战阻碍了标准涨落定理的直接应用：

1. 缺乏共同稳态： 时变协议往往无法提供一个单一的时间无关稳态作为热力学基准。
2. 熵分解： 机械协议功 ($W$) 必须与连续及跳跃诱导的活跃耗散（家务熵，$\Delta s_{act}$）区分开来。
3. 路径测度奇异性： 轨迹比较必须考虑跳跃率的不对称性。被禁止的反向跳跃可能导致正向与反向路径测度之间呈现奇异性，从而破坏标准的功涨落对称性。

方法论
作者通过引入一种双规范框架（dual-gauge framework），建立了驱动马尔可夫跳跃-扩散过程（涵盖无限活性 Lévy 过程）的精确有限时间涨落关系。其核心方法论创新包括：

• 瞬时稳态 (ISS)： 系统相对于一个移动的热力学参考系进行分析，即在每个冻结协议值下定义的 ISS $\pi_t$。这分离了瞬态状态弛豫与由稳态电流维持的耗散。
• 共轭对偶动力学： 作者构建了一个对偶过程 ($P_\pi$)，该过程保留了冻结的 ISS 密度 $\pi_t$，但反转了其稳态电流（包括扩散通量和跳跃通量）。对于共同的初始分布，原始路径测度 ($P$) 与对偶路径测度 ($P_\pi$) 的对数比即为活跃熵产生 $\Delta s_{act}$。
• 指数规范倾斜： 为了纳入机械功，作者对路径测度应用了指数规范变换。通过以 $e^{-W}$ 对轨迹进行加权并将其与对偶动力学进行比较，他们推导出了路径概率之间的精确关系。
• 路径反转与协议反转： 该框架仔细区分了直接路径反转（时间反转算符 $\Theta$）与物理协议反转（运行时间反向参数的实验）。这种区分对于在存在跳跃不对称性的情况下恢复熵产生至关重要。

主要贡献与结果

1. 轨迹级分解：
   在时间间隔 $[0, T]$ 内的总熵产生 $\Delta s_{tot}$ 可分解为：
   $$\Delta s_{tot} = W + \Delta s_{act} - \Delta F + \Delta s_{rel}$$
   其中 $W$ 是机械功，$\Delta s_{act}$ 是活跃家务热，$\Delta F$ 是平衡自由能差，$\Delta s_{rel}$ 是与演化密度与 ISS 之间的 Kullback–Leibler 散度相关的弛豫项。

2. 活跃 Jarzynski 等式：
   当 ISS 具有 Gibbs 形式 $\pi_t(x) = Z_t^{-1} e^{-H(t,x)}$ 时，作者推导出一个精确的有限时间关系：
   $$\langle e^{-(W + \Delta s_{act})} \rangle_{\pi_0} = e^{-\Delta F}$$
   该等式将活跃家务熵 $\Delta s_{act}$ 与机械功 $W$ 一并纳入。它与传统的 Jarzynski 等式（$\langle e^{-W} \rangle_{\pi_0} = e^{-\Delta F}$）共存，后者在活跃贡献消失或被忽略时成立。该推导依赖于 Gibbs 密度在冻结对偶动力学下的平稳性。

3. 活跃 Crooks 关系：
   通过将正向路径与协议反转实验的反向记录进行比较，作者建立了：
   $$\frac{p_F(w)}{p_R(-w)} = \frac{e^{w - \Delta F}}{\langle e^{-\Delta s_{act}} \mid W = w \rangle_{\pi_0}}$$
   此处，正向 ($p_F$) 与反向 ($p_R$) 功分布之间的不对称性受条件指数平均活跃耗散的控制。该因子量化了自主活跃涨落如何使功统计偏离经典的 Crooks 关系。

4. 通过示例验证：
   该理论通过一个受手性活跃漂移和 Poisson 跳跃影响的二维过阻尼粒子在谐振势中的运动进行了说明。

   • 在固定势场中，活跃熵会累积（$\langle \Delta s_{act} \rangle > 0$）但不产生自由能变化，然而指数平均值 $\langle e^{-\Delta s_{act}} \rangle = 1$。
   • 在周期性刚度协议下，活跃 Jarzynski 与机械 Jarzynski 关系均被证明同时成立。
   • 在特定的对称情况下，条件活跃因子等于 1，尽管存在非零的平均活跃熵，仍能恢复经典的 Crooks 关系。

意义
该论文声称为以下领域提供了严谨的框架：

• 恢复自由能差： 它使得在存在非保守活跃驱动的情况下，重建具有 Gibbs 瞬时稳态的驱动跳跃-扩散过程的自由能差成为可能。
• 表征活跃不可逆性： 它提供了一种通过轨迹统计来量化隐藏的家务耗散的方法，并将其与机械功区分开来。
• 统一热力学： 该双规范框架在系综层面和轨迹层面统一了缺乏细致平衡的非平衡态热力学。

作者指出，这些结果可直接应用于光学捕获的活跃胶体、工程化微泳者（具有 run-and-tumble 或 Lévy 飞行运动学）以及活跃粘弹性介质中的单分子操控。这项工作并非提出新的实验装置，而是为解释现有活跃物质系统中有限时间轨迹测量提供了理论工具。