[論文レビュー] Entropy decay in the Swendsen-Wang dynamics

Antonio Blanca, Pietro Caputo+3 more|arXiv (Cornell University)|Jul 14, 2020

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

ひとこと要約

この論文は、強い空間混合（SSM）下で、Z^d 上のイジング模型およびポッツ模型におけるスウェンセン＝ワンのダイナミクスの混合時間 O(log n) を確立した。これは、スピン・エッジ空間におけるエントロピーの新規因数分解を用いて、修正された対数ソボレフ不等式を証明することで達成された。この結果は、以前の O(n) 界を改善し、d=2 の高温領域において普遍的に適用可能である。

ABSTRACT

We study the mixing time of the Swendsen-Wang dynamics for the ferromagnetic Ising and Potts models on the integer lattice ${\mathbb Z}^d$. This dynamics is a widely used Markov chain that has largely resisted sharp analysis because it is non-local, i.e., it changes the entire configuration in one step. We prove that, whenever strong spatial mixing (SSM) holds, the mixing time on any $n$-vertex cube of ${\mathbb Z}^d$ is $O(\log n)$, improving on the previous best known bound of $O(n)$. SSM is a standard condition corresponding to exponential decay of correlations with distance between spins on the lattice and is known to hold in $d=2$ dimensions throughout the high-temperature (single phase) region. Our result follows from a modified log-Sobolev inequality, which expresses the fact that the dynamics contracts relative entropy at a constant rate at each step. The proof of this fact utilizes a new factorization of the entropy in the joint probability space over spins and edges that underlies the Swendsen-Wang dynamics. This factorization leads to several additional results, including mixing time bounds for a number of natural local and non-local Markov chains on the joint space, as well as for the standard random-cluster dynamics.

研究の動機と目的

• Z^d 上のイジング模型およびポッツ模型におけるスウェンセン＝ワンのダイナミクスの、鋭い O(log n) 混合時間界の確立。
• スウェンセン＝ワンのダイナミクスに起因する非局所性の課題を克服し、正確な混合時間解析を可能にする。
• 非局所的ダイナミクスの解析を可能にするために、スピン・エッジ確率空間における新しいエントロピー因数分解の開発。
• 標準的なランダムクラスターダイナミクスや、他の局所的および非局所的マルコフ連鎖を含む関連ダイナミクスへの結果の拡張。
• 強い空間混合がスウェンセン＝ワンのダイナミクスの高速混合を示すことを示し、統計力学における長年の未解決問題を解決すること。

提案手法

• スウェンセン＝ワンのダイナミクスに根ざすスピンとエッジの結合確率空間における相対エントロピーの新規因数分解を導入する。
• 因数分解を用いて、1ステップあたりの相対エントロピーが一定レートで収縮することを保証する修正対数ソボレフ不等式を導出する。
• 強い空間混合が成立する限り、修正対数ソボレフ定数がゼロから離れていることを証明し、これにより O(log n) 混合時間が得られることを示す。
• エントロピー因数分解技術を用いて、標準的なランダムクラスターダイナミクスを含む複数のダイナミクスの混合時間解析を実施する。
• スウェンセン＝ワンの非局所的性質を活かし、スピンとエッジの結合構造を用いて相関の減衰を制御する。

実験結果

リサーチクエスチョン

• RQ1 強い空間混合が Z^d 上に成立する場合、スウェンセン＝ワンのダイナミクスは O(log n) 時間で混合するか？
• RQ2 スピン・エッジ空間における新しいエントロピー因数分解を用いて、スウェンセン＝ワンのダイナミクスに対して修正対数ソボレフ不等式を確立できるか？
• RQ3 強い空間混合とスウェンセン＝ワンのような非局所的マルコフ連鎖の混合時間の関係は何か？
• RQ4 新しいエントロピー因数分解技術は、結合配置空間上の他のマルコフ連鎖へどのように拡張できるか？
• RQ5 この手法を用いて、ランダムクラスターダイナミクスおよび関連モデルの混合時間界を導出できるか？

主な発見

• 強い空間混合が成立する限り、Z^d の任意の n 頂点を持つ立方体上でのスウェンセン＝ワンのダイナミクスは O(log n) ステップで混合する。
• O(log n) 混合時間は、同じダイナミクスに対して以前に知られていた最良の O(n) 界を改善する。
• 修正対数ソボレフ不等式が確立され、SSM 下では相対エントロピーが1ステップあたり一定レートで収縮することが示された。
• スピン・エッジ空間における新しいエントロピー因数分解は、非局所的ダイナミクスの解析を可能にし、エントロピー収縮の一般枠組みを提供する。
• この手法により、標準的なランダムクラスターダイナミクスを含む、局所的および非局所的マルコフ連鎖の混合時間界が得られた。
• この結果は、SSM が成立することが知られている d=2 次元における強磁性イジング模型およびポッツ模型の高温領域に適用可能である。