[论文解读] Hydrodynamic large deviations of TASEP

Jeremy Quastel, Li‐Cheng Tsai|arXiv (Cornell University)|Apr 9, 2021

Stochastic processes and statistical mechanics被引用 15

一句话总结

本文通过利用 [MQR16] 中推导出的 TASEP 转移概率的精确行列式公式，建立了 TASEP 的完整大偏差原理。作者证明了速率函数是某类特殊构造的弱解在稠密类上对 Jensen–Varadhan 熵产生率的下极限，从而解决了强非对称系统水动力极限领域长期存在的一个开放问题。

ABSTRACT

We consider the large deviations from the hydrodynamic limit of the Totally Asymmetric Simple Exclusion Process (TASEP). This problem was studied in Jensen (2000) and Varadhan (2004) and was shown to be related to entropy production in the inviscid Burgers equation. Here we prove the full large deviation principle. Our method relies on the explicit formula of Matetski, Quastel, and Remenik (2016) for the transition probabilities of the TASEP.

研究动机与目标

• 建立 TASEP 的完整大偏差原理，尽管先前的研究已取得部分结果，但该问题长期悬而未决。
• 解决对无粘 Burgers 方程的有界 Kruzhkov 熵产生率的一般弱解证明下界的挑战。
• 证明任意弱解均可通过速率函数中的稠密类“初等解”实现最优逼近。
• 通过可积概率技术（特别是 [MQR16] 中的行列式公式）严格推导出大偏差速率函数。
• 通过将超bolic大偏差与守恒律中的熵产生联系起来，将理解从 Freidlin–Wentzell 理论拓展至更广范围。

提出的方法

• 该方法依赖于 [MQR16] 中推导出的 TASEP 转移概率的精确行列式公式，从而实现精确的渐近分析。
• 作者采用 Plemelj 类型的弗雷德霍姆行列式展开，将其展开为一系列迹的和，以处理算子范数发散的病态情形。
• 通过一种新颖的上下迭代与岛屿分解方法分析迹的渐近行为，从而实现对多点大偏差的控制。
• 证明过程涉及构造一类稠密的“初等解”类，以逼近无粘 Burgers 方程的一般弱解。
• 通过基本耦合论证与指数尾部界，建立了速率函数在初始条件扰动下的稳定性。
• 分析结合了随机矩阵理论、几何测度论与随机 PDE 的工具，尤其关注具有有界熵产生率的解的结构。

实验结果

研究问题

• RQ1 在先前仅知上界与部分下界的情况下，能否证明 TASEP 的完整大偏差原理？
• RQ2 基于 Kruzhkov 熵产生的 Jensen–Varadhan 速率函数是否为无粘 Burgers 方程一般弱解的正确速率函数？
• RQ3 在大偏差设定下，任意无粘 Burgers 方程的弱解是否可被一类特殊构造的“初等解”最优逼近？
• RQ4 在大偏差所需的多点、发散情形下，如何控制弗雷德霍姆行列式渐近行为？
• RQ5 可积性在克服超bolic大偏差中正则性障碍方面起到何种作用？

主要发现

• 建立了 TASEP 的完整大偏差原理，速率函数由某类稠密的初等弱解上对 Jensen–Varadhan 熵产生率的下极限给出。
• 证明了速率函数的下半连续性，这是证明完整大偏差原理的关键技术步骤。
• 本文证明了任意无粘 Burgers 方程的弱解均可通过初等解实现最优逼近，表明速率函数真实捕捉了大偏差行为。
• 该方法通过采用 Plemelj 类型展开与新颖的分解技术，成功克服了弗雷德霍姆行列式渐近分析中的病态情形。
• 通过耦合论证证明了大偏差速率函数在初始条件扰动下的稳定性，确保了结果的鲁棒性。
• 本工作解决了 Varadhan 于 2009 年指出的水动力极限领域的一个关键开放问题，为 TASEP 提供了完整的大型偏差原理。