[論文レビュー] Mixing time and local exponential ergodicity of the East-like process in $\mathbf Z^d$

Paul Chleboun, Alessandra Faggionato+1 more|arXiv (Cornell University)|Jan 9, 2015

Markov Chains and Monte Carlo Methods参考文献 25被引用数 4

ひとこと要約

本稿は、d次元整数格子 ℤ^d 上のエースト様過程について、局所的指数的混合性および長さLのボックス内での線形スケールの混合時間（T_mix ∼ L）を確立する。フロントの伝播を分析し、スペクトルギャップの推定値を用いた逐次的条件付き確率の議論により、初期状態が平衡分布から離れている場合の全 Variation 距離が (log L)^{5d} のオーダーの時間後に指数的に減少することを証明する。これにより、側辺長Lの有限ボックス内での混合時間T_mixはLに比例することが示される。

ABSTRACT

The East process, a well known reversible linear chain of spins, represents the prototype of a general class of interacting particle systems with constraints modeling the dynamics of real glasses. In this paper we consider a generalization of the East process living in the d-dimensional lattice and we establish new progresses on the out- of-equilibrium behavior. In particular we prove a form of (local) exponential ergodicity when the initial distribution is far from the stationary one and we prove that the mixing time in a finite box grows linearly in the side of the box.

研究の動機と目的

• d次元格子上におけるエースト様過程の非平衡的挙動を理解すること。
• 初期分布が定常分布から大きく離れている場合の局所的指数的混合性を確立すること。
• 有限体積のエースト様過程 [1,L]^d における混合時間の特定。
• 1次元エースト過程の結果を高次元へと拡張し、特に低温領域（q ≈ 0）における挙動を明らかにすること。

提案手法

• ボックス [1,L]^d 内の頂点に ℓ¹-ノルムに基づく順序を導入し、マルコフ的更新経路を定義する。
• 順序付きシーケンスにおけるスピンの条件付き期待値を用いた、全 Variation 距離のテレスコピック和分解を適用する。
• 局所的平衡性および混合性を用いて、連続する条件付きステップ間の期待値の差を抑え込むための鍵となる補題（補題5.4）を用いる。
• コロナリー4.2を用いて、各サイトから距離 O((log L)^2) の範囲内にゼロスピン（空席）が存在することを保証し、局所的緩和を高速化する。
• マルコフ性を活用して、プロセスを2段階に分割する：空席が十分に存在する「良い集合」Ω̂_Λ に到達する段階、およびその後の定常分布への高速収束段階。
• スペクトルギャップ推定値および指数的尾部バウンドを用いて、テレスコピック和の各項が全 Variation 距離誤差に O(e^{-(log L)^2}) の寄与をもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 初期状態が非平衡から始まる場合、ℤ^d 上のエースト様過程は局所的指数的混合性を示すか？
• RQ2 側辺長Lの有限ボックス内での混合時間T_mixの漸近的スケーリングは何か？
• RQ3 d次元エースト様過程における空席フロントの伝播はどのように進行するか？また、中心極限定理を満たすか？
• RQ4 1次元の場合と同様に、d次元設定でも混合時間はO(L)で抑えられるか？
• RQ5 局所的制約および近隣の空席の存在が、平衡への収束をどのように加速させるか？

主な発見

• 有限体積のエースト様過程 [1,L]^d における混合時間T_mixは、O(L)で上界が与えられ、側辺長Lに対して線形スケーリングが成立する。
• プロセスは局所的指数的混合性を達成する：任意の初期状態が『良い集合』Ω̂_Λ 内にある場合、全 Variation 距離は時間T = (log L)^{5d} 後に指数的に減少する。
• 十分に大きなLに対して、時間O(L)経過後、初期状態に依存せず、確率7/8以上で良い集合Ω̂_Λ に到達する。
• 十分に大きなLに対して、時間T = (log L)^{5d} 後の全 Variation 距離はε < 1で一様に有界であり、初期状態に依存せずに迅速な収束が保証される。
• 証明は、各サイトから距離O((log L)^2)の範囲内に空席が存在することに依存しており、これにより局所的緩和が高速化され、テレスコピック和の議論が可能になる。
• 情報伝播の有限速度に基づく下界議論により、T_mixの上界が定数倍を除いてタイトであることが示されている。