[論文レビュー] Rapid mixing of Swendsen-Wang and single-bond dynamics in two dimensions

Mario Ullrich|arXiv (Cornell University)|Feb 28, 2012

Markov Chains and Monte Carlo Methods参考文献 15被引用数 14

ひとこと要約

本稿は、ランダムクラスターモデルにおけるスウェンセン＝ワング（SW）ダイナミクスのスペクトルギャップに対する多項式上界を、単一結合（ヒートバス）ダイナミクスのスペクトルギャップに基づいて確立し、SWの高速混合が単一結合ダイナミクスの高速混合と同値であることを証明する。主な結果は、2次元正方格子上のイジング模型における、臨界でない全温度範囲で初めて高速混合の証明がなされたことである。

ABSTRACT

We prove that the spectral gap of the Swendsen-Wang dynamics for the random-cluster model on arbitrary graphs with m edges is bounded above by 16 m log m times the spectral gap of the single-bond (or heat-bath) dynamics. This and the corresponding lower bound imply that rapid mixing of these two dynamics is equivalent. Using the known lower bound on the spectral gap of the Swendsen-Wang dynamics for the two dimensional square lattice $Z_L^2$ of side length L at high temperatures and a result for the single-bond dynamics on dual graphs, we obtain rapid mixing of both dynamics on $\Z_L^2$ at all non-critical temperatures. In particular this implies, as far as we know, the first proof of rapid mixing of a classical Markov chain for the Ising model on $\Z_L^2$ at all temperatures.

研究の動機と目的

• 一般のグラフにおけるランダムクラスターモデルのスウェンセン＝ワングダイナミクスと単一結合ダイナミクスの高速混合の等価性を確立すること。
• 2次元正方格子上のイジング模型における、臨界でない全温度範囲での高速混合を証明する長年の未解決問題を解決すること。
• グラフ構造に依存せずエッジ数にのみ依存するスペクトルギャップ比較を提供し、格子モデルへの応用を可能にすること。
• 双対性と既知の単一結合ダイナミクスの結果を活用し、双対モデルを介して低温領域への高速混合の拡張を図ること。

提案手法

• エッジ数 $m$ を用いて、スウェンセン＝ワングダイナミクスのスペクトルギャップに対する上界を、単一結合ダイナミクスのスペクトルギャップに基づき導出。要因は $16m\log m$ である。
• 拡大された状態空間上でマルコフ連鎖比較技術を用い、両ダイナミクスを $(\sigma, A)$ 状態の共同分布として表現する。
• 双対性の応用：元のグラフと双対グラフにおけるSWダイナミクスのスペクトルギャップは等しく、温度領域をまたがる混合結果の転送が可能になる。
• 高温領域における $\mathbb{Z}_L^2$ 上の単一結合ダイナミクスの既知のスペクトルギャップ下界を、双対性を介して低温領域へ拡張する。
• 双対グラフ上での単一結合ダイナミクスの遷移行列が同一固有値を持つことを利用し、スペクトルギャップの等価性を保証する。
• 単一結合ダイナミクスの既存のスペクトルギャップ下界と上界を組み合わせることで、$\mathbb{Z}_L^2$ 上のSWダイナミクスがすべての非臨界温度で高速混合することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフにおけるランダムクラスターモデルのスウェンセン＝ワングダイナミクスと単一結合ダイナミクスの高速混合は同値か？
• RQ2 エッジ数にのみ依存する要因で、スウェンセン＝ワングダイナミクスのスペクトルギャップを単一結合ダイナミクスのスペクトルギャップで上界で抑えられるか？
• RQ3 混合性の等価性は、2次元イジング模型のすべての非臨界温度にまで拡張可能か？
• RQ4 双対性を用いて、2次元格子における高温から低温への高速混合結果の転送は可能か？
• RQ5 臨界温度におけるスウェンセン＝ワングの直接的高速混合証明は可能か、それとも単一スピンダイナミクスより本質的に遅いか？

主な発見

• 任意の $m$ 個のエッジを持つグラフに対して、スウェンセン＝ワングダイナミクスのスペクトルギャップは、単一結合ダイナミクスのスペクトルギャップの $16m\log m$ 倍以下に抑えられる。
• スペクトルギャップ比のタイトな上界と下界のおかげで、一般のグラフ上ではスウェンセン＝ワングダイナミクスの高速混合が単一結合ダイナミクスの高速混合と同値であることが保証される。
• 2次元正方格子 $\mathbb{Z}_L^2$ において、スウェンセン＝ワングダイナミクスはすべての非臨界温度で高速混合する。
• この結果により、$\mathbb{Z}_L^2$ 上のイジング模型における古典的マルコフ連鎖の、すべての非臨界温度における高速混合の初の証明が得られた。
• 双対グラフ $\mathbb{Z}_L^{2*}$ 上のスウェンセン＝ワングダイナミクスのスペクトルギャップは、元のグラフと等しいため、温度領域をまたがる混合結果の転送が可能になる。
• 木構造の例から、スペクトルギャップ比の上界が対数的要因を除いてタイトであることが示された。