[论文解读] Finite-time thermodynamic uncertainty relation do not hold for discrete-time Markov process

Naoto Shiraishi|arXiv (Cornell University)|Jun 3, 2017

Advanced Thermodynamics and Statistical Mechanics参考文献 6被引用 10

一句话总结

本文证明，适用于连续时间马尔可夫跳跃过程的有限时间热力学不确定度关系，并不适用于离散时间马尔可夫链。通过构建一个具有两条独立跃迁路径的两状态系统，并解析计算电流涨落与熵产生，作者展示了在特定参数下该不确定度关系被破坏，从而证明该关系的有效性关键依赖于连续时间，无法推广至离散时间动力学。

ABSTRACT

Discrete-time counterpart of thermodynamic uncertainty relation (conjectured in P. Pietzonka, et.al., arXiv:1702.07699 (2017)) with finite time interval is considered. We show that this relation do not hold by constructing a concrete counterexample to this. Our finding suggests that the proof of thermodynamic uncertainty relation with finite time interval, if true, should strongly rely on the fact that the time is continuous.

研究动机与目标

• 研究适用于连续时间马尔可夫跳跃过程的有限时间热力学不确定度关系是否适用于离散时间马尔可夫链。
• 识别连续时间与离散时间随机动力学之间影响热力学不确定度关系有效性的根本差异。
• 构建一个具体的反例，证明不确定度关系在离散时间系统中的失效。
• 阐明依赖于涨落定理或离散时间技术的证明方法无法建立连续时间不确定度关系，因为这些方法在两种设定下均适用。

提出的方法

• 通过将时间积分量和跃迁率替换为步数和跃迁概率，形式化离散时间版本的热力学不确定度关系。
• 定义一个两状态马尔可夫链，其中状态A与B之间存在两条独立的跃迁路径，每条路径的跃迁概率由参数y参数化。
• 计算稳态分布、每步的熵产生率以及通过路径1从A到B的平均电流。
• 利用X=1、0和-1的精确概率，计算t=2步内时间积分电流X的方差。
• 计算不确定度关系左侧：(Var[X] × σ) / (J² × t)，并与下界2进行比较。
• 识别出不等式被违反的参数范围（特别是3 ≤ y ≤ 3.21067），从而证伪了离散时间版本。

实验结果

研究问题

• RQ1 为连续时间马尔可夫跳跃过程推导出的有限时间热力学不确定度关系，是否也适用于离散时间马尔可夫链？
• RQ2 是否可以在一个离散时间系统中构造出反例，使得尽管满足相同的热力学约束，不确定度关系仍被违反？
• RQ3 时间连续性在热力学不确定度关系有效性中起到什么作用？
• RQ4 涨落定理及相关技术是否足以在离散时间设定中证明不确定度关系？
• RQ5 为何现有针对连续时间系统的证明在应用于离散时间马尔可夫链时会失效？

主要发现

• 当t=2且y∈[3, 3.21067]时，离散时间版本的热力学不确定度关系被违反，此时左侧表达式为(3 - 5/y) × 2 × ln 2 < 2。
• 电流的方差为Var[X] = (3y - 5)/y²，每步的熵产生率为σ = (1/y) × ln 2。
• 平均电流为J = 1/(2y)，乘积(Var[X] × σ) / (J² × t)的值为(3 - 5/y) × 2 × ln 2，当y ≤ 3.21067时小于2。
• 该反例明确表明，即使在稳态条件下，不确定度关系在离散时间马尔可夫链中也不成立。
• 该违反表明，任何对有限时间不确定度关系的一般性证明，必须依赖于连续时间动力学特有的性质。
• 该结果排除了使用适用于连续和离散时间马尔可夫过程的方法（如涨落定理）来证明原始不确定度关系的可能性。