State convertibility and fluctuation theorems from a dynamical reference: majorization meets martingales

技术摘要：基于动力学参考系的态可转换性与涨落定理

问题陈述
本文旨在解决统计力学碎片化的问题，即大偏差理论、信息论、热力学资源理论以及随机涨落关系等不同框架，在处理系统分布相对于参考态的分布时，往往处于孤立状态。历史上，态可转换性（确定变换 $k(t_1) \to k(t_2)$ 是否可能）一直受制于主序关系（针对均匀参考系）或热力学主序关系（针对吉布斯参考系）。这些准则依赖于构建并比较状态相关的洛伦兹曲线，这一过程受限于固定的平衡参考系，且在操作上要求极高。此外，现有的涨落定理通常假设一个已知的、静态的或稳态的参考（例如吉布斯分布），这使得如何处理任意的、随时间变化的参考分布 $g(t)$，以及如何量化当假设的参考与真实的物理演化发生偏离时的误差，成为了一个悬而未决的问题。

方法论
作者通过引入“父分布”（parent distribution）形式化方法统一了这些迥异的概念。他们不再直接比较人口向量，而是将系统状态 $k(t)$ 与参考状态 $g(t)$ 映射为一个实值相对人口分布：
$$\kappa_j(t) := \frac{k_j(t)}{g_j(t)}$$
该相对人口定义了一个父分布 $p_\kappa(x; t) = \sum_j g_j(t) \delta(x - \kappa_j(t))$，它代表了从参考系系综 $g(t)$ 中采样时，抽取特定偏差的概率。

利用这一映射，作者将态可转换性问题重新表述为一个一维凸序问题。他们利用鞅理论（martingale theory）建立了一种双射关系：即存在一个保持参考动力学不变（$Tg(t_1) = g(t_2)$）的列随机转移矩阵 $T$，等价于在时刻 $t_1$ 和 $t_2$ 的父分布之间存在一个鞅耦合（martingale coupling）。

核心贡献与结果

1. $g(t)$-主序与鞅耦合（定理 1）：
   本文确立了：与参考动力学 $g(t)$ 相容的变换 $k(t_1) \to k(t_2)$ 存在的充要条件是其关联的父分布之间存在鞅连接。

   • 该条件等价于凸序关系 $p_\kappa(\cdot; t_1) \succeq_{cx} p_\kappa(\cdot; t_2)$。
   • 这将主序关系和热力学主序关系推广到了任意的、随时间变化的参考系，用一维凸序比较取代了基于排序的洛伦兹曲线比较，且该比较可通过鞅的存在性来判定。从物理意义上看，这意味着可容许的变换对应于相对人口分布随时间的集中（变窄）过程。

2. 参考泛化的涨落定理（定理 2）：
   通过定义参考相对惊异度（reference-relative surprisal）$s_j(t) = -\ln(k_j(t)/g_j(t))$ 及其关联的熵增 $\Delta s = s_{j_2}(t_2) - s_{j_1}(t_1)$，作者推导出了对于任何与参考动力学相容的转移矩阵 $T$ 都成立的精确积分涨落定理：
   $$\mathbb{E}_\Pi [e^{-\Delta s}] = 1$$
   其中期望值是对过程的物理联合律进行的。通过詹森不等式（Jensen's inequality），该结果恢复了标准的第二定律不等式 $\mathbb{E}_\Pi[\Delta s] \geq 0$。这一结果将积分涨落定理从随机热力学扩展到了任意的动力学参考系。

3. 认证参考不匹配（定理 3）：
   作者讨论了实际场景中假设的参考 $g(t)$ 与真实的参考演化 $g_{\text{true}}(t)$ 不一致的情况。他们证明了观测到的涨落定理违反程度 $\mathbb{E}_\Pi [e^{-\Delta s}] - 1$，提供了一个经过认证的、模型无关的 $\chi^2$-散度下界，用于衡量真实参考与假设参考之间的差异：
   $$D_{\chi^2}(g_{\text{true}}(t_2) \parallel g(t_2)) \geq \frac{(\mathbb{E}_\Pi [e^{-\Delta s}] - 1)^2}{\sum_j k_j^2(t_2)/g_j(t_2)}$$
   该界限不需要对真实的动力学进行独立的特征化。分母作为一个可调的诊断工具：将探测态 $k(t_2)$ 集中在疑似存在误差的微观态上可以强化该界限，而均匀扩散则会稀释该界限。在小偏差极限下，该界限可以认证假设轨迹与真实轨迹之间的 Rao–Fisher 距离的下界。

说明实例
该框架在驱动的两能级系统中得到了演示，该系统具有随时间变化的能隙。

• 当参考系为真实的传播态时，涨落定理精确成立。
• 当参考系为瞬时吉布斯态（仅在绝热极限下有效的近似）时，对于有限的驱动速度，涨落定理会发生违反。
• 这种违反的幅度作为一个定量的度量，反映了非绝热滞后（non-adiabatic lag），能够在无需预先知道真实动力学的情况下，认证瞬时平衡态与真实非平衡动力学之间的不匹配程度。

意义与主张
本文声称提供了一个“共同结构”，允许一个单一的、任意的、且可能是随时间变化的参考 $g(t)$ 同时统一以下内容：

• 涨落率（大偏差理论）。
• 信息含义（信息论）。
• 态可转换性（资源理论）。
• 轨迹统计（随机涨落关系）。

通过将这些问题压缩为相对人口的统计问题，这项工作将态可转换性转化为一个鞅问题，并将涨落关系的失效转化为一种诊断工具。作者强调，这种方法提供了一种模型无关的方法，用于量化复杂系统（如驱动的介观器件或量子处理器）中的参考误差，在这些系统中，准备或表征真实的参考态是非常昂贵或不可能实现的。这项工作并非提出新的实验装置，而是提供了一个理论框架，用于解释现有的非平衡过程测量结果。