[论文解读] Comment on "Inferring broken detailed balance in the absence of observable currents"

Gili Bisker, Ignacio A. Martínez+2 more|arXiv (Cornell University)|Feb 4, 2022

Complex Systems and Time Series Analysis被引用 6

一句话总结

本文回應了對其2019年關於從非平衡隨機過程的等待時間分佈推斷熵產生的論文的批評。文章澄清，關鍵結果——使用粗粒化軌跡與其時間反轉之間的Kullback-Leibler散度作為物理熵產生的下界——僅在粗粒化與時間反轉可交換時成立。作者透過反例證明，非交換的粗粒化程序即使在平衡系統中亦可能產生表觀不可逆性，強調了軌跡簡化中時間非局部性的重要作用。

ABSTRACT

In this reply, we resolve the apparent discrepancy raised in the "Comment on Inferring broken detailed balance in the absence of observable currents" [arXiv:2112.08978v1]. We stress that the non-instantaneous transition paths originate from the choice of a decimation process non-local in time, in contrast to the decimation process described in our original work, which commutes with time-reversal. Therefore, the example using such a non-local decimation procedure, which indeed gives rise to spurious time-irreversibility, does not invalidate our main result, which was rigorously derived and proven mathematically. We hope this reply highlights the subtlety of the different choices for decimating time series data which is pivotal for a correct understanding of the thermodynamics of small systems.

研究动机与目标

• 解決關於其2019年方法從等待時間分佈推斷熵產生有效性的爭議。
• 澄清基於粗粒化軌跡與其時間反轉之間Kullback-Leibler散度（KLD）的熵產生下界，取決於粗粒化與時間反轉是否可交換。
• 展示非時間局部的軌跡簡化程序即使在平衡系統中亦可能產生人為不可逆性。
• 糾正Hartich與Godec（2021）評論中的誤解，該評論曾認為其工作與Wang與Qian（2007）之間存在矛盾。
• 強調基於KLD的熵產生下界在局部、可交換粗粒化下依然有效，此點在原始工作中雖未明確說明但已隱含假設。

提出的方法

• 作者分析一個包含四個狀態（A, B, C, b）的動力學網絡，其中狀態b不可觀測，以構造反例，反駁其方法失效的主張。
• 他們比較兩種粗粒化程序：將B與b合併為單一狀態（時間上局部，與時間反轉可交換），以及基於抵達A、B、C時間的程序（時間上非局部，與時間反轉不可交換）。
• 他們應用前向與時間反轉軌跡之間的Kullback-Leibler散度（KLD）來量化可區分性，並推斷熵產生。
• 他們利用數學性質：KLD在資料轉換下不會增加：D(p_X || q_X) ≥ D(p_f(X) || q_f(X)) 對任意函數f成立，此性質是熵產生下界成立的基礎。
• 他們證明，只有當f(ΘX) = Θf(X)，即粗粒化與時間反轉可交換時，粗粒化軌跡與其時間反轉之間的KLD才是物理熵產生的合法下界。
• 他們以一則軌跡為例，顯示前向與反向路徑的等待時間不同（例如，從B到C下坡需2單位時間，從B到A上坡僅需1單位時間），證明即使微觀層級處於平衡，粗粒化過程仍表現出不可逆性。

实验结果

研究问题

• RQ1 粗粒化軌跡與其時間反轉之間的KLD是否能提供物理熵產生的合法下界？
• RQ2 在何種條件下粗粒化能保持與時間反轉的可交換性？此條件為何至關重要？
• RQ3 非時間局部的軌跡簡化程序是否可能在平衡系統中產生人為不可逆性？
• RQ4 為何Hartich與Godec的反例並未推翻Martínez等人（2019）的原始結果？
• RQ5 不同粗粒化程序如何影響前向與反向軌跡的可區分性？

主要发现

• 只有當粗粒化程序與時間反轉可交換時，粗粒化軌跡與其時間反轉之間的KLD才是物理熵產生的合法下界。
• Hartich與Godec（2021）的反例並未推翻原始結果，反而揭示非交換粗粒化可能在平衡系統中產生表觀不可逆性。
• 當粗粒化在時間上是局部的（例如，將B與b合併），簡化與時間反轉可交換， resulting軌跡仍保持可逆，如對稱等待時間所示。
• 當粗粒化在時間上是非局部的（例如，基於抵達A、B、C的時間），簡化與時間反轉不可交換，導致等待時間不對稱，進而使粗粒化軌跡表現出表觀不可逆性。
• 數學不等式 D(p_X || q_X) ≥ D(p_f(X) || q_f(X)) 確保粗粒化不會增加可區分性，從而支持熵產生下界的合理性。
• 原始論斷在Martínez等人（2019）中依然有效，但粗粒化與時間反轉可交換的條件在當時雖隱含假設，未來應用中應明確陳述。