[論文レビュー] 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

ひとこと要約

本稿は、有限型の部分シフトにおける最大化測度およびグラウンドステートを分析するために、max-plus代数を用いたエゴチック最適化における零温度極限を調査する。β → ∞ である逆温度の極限において、Gibbs測度の族 μβ が、max-plusスペクトル理論および部分作用関数のキャリブレーションによって決定される弱収束を示し、一意な周期軌道に台を持つ不変測度に収束することを確立し、熱力学形式における選択問題を解消する。

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.

研究の動機と目的

• 温度がゼロに近づく際のエゴチック最適化における不変測度の選択を理解すること。
• 有限型部分シフトにおける平衡状態の零温度極限における漸近的挙動を分析すること。
• max-plus代数の手法を用いて、最大化測度およびグラウンドステートの明示的解を計算すること。
• Gibbs測度が周期軌道に台を持つ不変測度に収束する性質を特徴づけること。

提案手法

• max-plus代数の枠組みを用いて、平衡状態および最大化測度をトロピカル幾何におけるスペクトル問題の解として再定式化する。
• 部分共動不等式を適用し、Aubry集合を最大化測度の台として定義する。
• キャリブレートされた部分作用関数およびPeierlのバリアを用いて、最小作用経路および選択基準を同定する。
• 移動作用素および大偏差理論を用いて、β → ∞ における測度比の指数的減衰を分析する。
• βに依存する関数 g(β) を用いて、μβ([1])/μβ([2]) の明示的表現を導出し、極限において2次方程式を通じて収束を示す。
• max-plus形式を用いて指数スケールを比較し、分配関数における支配的項を同定することで、g(β) の収束を導く。

実験結果

リサーチクエスチョン

• RQ1 有限型部分シフトにおける平衡状態は、温度がゼロに近づくとどのように振る舞うか？
• RQ2 零温度極限において一意な最大化測度が選ばれる要因は何か？
• RQ3 max-plus代数を用いて、最大化測度およびグラウンドステートの明示的解を計算する方法は何か？
• RQ4 キャリブレートされた部分作用関数およびAubry集合は、極限測度の台を特徴づける際に果たす役割は何か？
• RQ5 Gibbs測度の族 μβ が周期軌道上のDirac測度に収束する条件は何か？

主な発見

• β → ∞ のとき、関数 g(β) は非負の極限に収束し、μβ([1])/μβ([2]) の比が [0, ∞] に一意に定まる極限を持つことが示される。
• 比が ∞ に近づく場合、μβ の極限は δ_{1^∞} に、0 に近づく場合、δ_{2^∞} に収束する。比が有限かつ正の極限を持つ場合、凸結合に収束する。
• 極限測度は、G² - b̃G - c̃ = 0 という2次方程式の解によって一意に決定され、ここで b̃ ∈ {0,1,2,3}、c̃ ∈ {0,1,2,3} であり、G は g(β) の極限である。
• 収束点の集合が区間かつ有限であるため、単一の点に収束することが保証される。
• 分配関数における支配的指数項はmax-plus代数によって同定され、作用値の比較を通じて最大化測度の選択が可能になる。
• 本手法により、極限測度が作用が最小化される周期軌道に台を持つこと、Aubry集合および部分作用関数キャリブレーションと整合することを示し、選択問題が成功裏に解決される。