[论文解读] Ergodic optimization, zero temperature limits and the max-plus algebra

Alexandre Baraviera, Renaud Leplaideur+1 more|arXiv (Cornell University)|May 10, 2013

Mathematical Dynamics and Fractals参考文献 89被引用 39

一句话总结

本文利用极大-加法代数研究有限型子移位中的遍历优化在零温极限下的行为，分析最大化测度与基态。结果表明，当逆温 β → ∞ 时，吉布斯测度族 μβ 弱收敛于唯一一个支撑在周期轨道上的不变测度，其收敛性由极大-加法谱理论与次动作校准决定，从而解决了热力学形式体系中的选择问题。

ABSTRACT

Lecture notes of a course at the Brazilian Mathematical Colloquium. We review some basic notions in ergodic theory and thermodynamic formalism, as well as introductory results in the context of max-plus algebra, in order to exhibit some properties of equilibrium measures when temperature goes to zero.

研究动机与目标

• 理解当温度趋近于零时，遍历优化中不变测度的选择机制。
• 分析在有限型子移位中，零温极限下平衡态的极限行为。
• 应用极大-加法代数技术，计算最大化测度与基态的显式解。
• 表征吉布斯测度收敛于支撑在周期轨道上的不变测度的性质。

提出的方法

• 利用极大-加法代数框架，将平衡态与最大化测度重新表述为热带几何中谱问题的解。
• 应用次上同调不等式，并将奥布里集定义为最大化测度的支撑集。
• 采用校准次动作与艾伯勒势垒，识别最小作用路径与选择准则。
• 利用转移算子与大偏差理论，分析当 β → ∞ 时测度比的指数衰减。
• 推导出 μβ([1])/μβ([2]) 的显式表达式，以依赖于 β 的函数 g(β) 表示，并在极限下通过二次方程实现收敛。
• 应用极大-加法形式体系比较指数尺度，识别配分函数中的主导项，从而实现 g(β) 的收敛。

实验结果

研究问题

• RQ1 当温度趋近于零时，有限型子移位中的平衡态行为如何？
• RQ2 在零温极限下，什么决定了唯一最大化测度的选择？
• RQ3 如何利用极大-加法代数计算最大化测度与基态的显式解？
• RQ4 校准次动作与奥布里集在表征极限测度支撑集方面起什么作用？
• RQ5 在何种条件下，吉布斯测度族 μβ 收敛于周期轨道上的狄拉克测度？

主要发现

• 当 β → ∞ 时，函数 g(β) 收敛于一个非负极限，意味着比值 μβ([1])/μβ([2]) 在 [0, ∞] 中具有明确定义的极限。
• 若该比值趋于 ∞，则 μβ 的极限为 δ_{1^∞}；若趋于 0，则极限为 δ_{2^∞}；若极限为有限正数，则为凸组合。
• 极限测度由二次方程 G² - b̃G - c̃ = 0 的解唯一确定，其中 b̃ ∈ {0,1,2,3}，c̃ ∈ {0,1,2,3}，G 为 g(β) 的极限。
• 由于极限点集既是区间又为有限集，故必为单点集，从而保证了 g(β) 的收敛性。
• 通过极大-加法代数识别出配分函数中的主导指数项，从而可通过比较作用值实现对最大化测度的选择。
• 该方法成功解决了选择问题，表明极限测度支撑于作用值最小的周期轨道上，与奥布里集及次动作校准一致。