[論文レビュー] Random cluster dynamics for the Ising model is rapidly mixing

Heng Guo, Mark Jerrum|ArXiv.org|Apr 30, 2016

Markov Chains and Monte Carlo Methods被引用数 5

ひとこと要約

本稿は、$ q=2 $ におけるランダムクラスターモデルのGlauberダイナミクスが多項式時間で混合することを証明し、フェロ磁性体イジング模型に対するSwendsen-Wangアルゴリズムの混合時間に対する最初の厳密な多項式上界を確立した。この結果は、ランダムクラスターモデルと偶数部分グラフモデルの間の比較技法の新しい拡張に依拠しており、標準的でない分析に抵抗するカップリングを用いたGrimmettとJansonによるものである。

ABSTRACT

We show that the mixing time of Glauber (single edge update) dynamics for the random cluster model at $q=2$ is bounded by a polynomial in the size of the underlying graph. As a consequence, the Swendsen-Wang algorithm for the ferromagnetic Ising model at any temperature has the same polynomial mixing time bound.

研究の動機と目的

• ランダムクラスターモデルのGlauberダイナミクスが $ q=2 $ のとき、多項式時間で混合することの上界を確立すること。
• フェロ磁性体イジング模型に対するSwendsen-Wangアルゴリズムの効率性に関する長年の未解決問題を解消すること。
• ランダムクラスターモデルと偶数部分グラフモデルの間のマコフ連鎖の比較技法を、非可逆的かつ非対称な遷移確率を持つ、標準的手法では分析困難なカップリングに対応できるように拡張すること。
• 特に $ q \in (0,2) $ の領域において、$ 0 \leq (x-1)(y-1) < 2 $ の領域におけるトゥッテ多項式の近似の複雑さに関する基礎的洞察を提供すること。

提案手法

• Sinclairのフレームワークに従い、混在時間の解析に適応された、混在度の境界を伴う標準的パス法を用いる。
• GrimmettとJansonが発見したランダムクラスターモデルと偶数部分グラフ構成の間のカップリングを用いて、異なるモデル間のダイナミクスを関連付ける。
• 非可逆的かつ非対称な遷移確率を持つ動的過程に対応できるよう、既存のマコフ連鎖間の比較技法を拡張する。
• ランダムクラスターモデルのパスの重みの境界を、偶数部分グラフモデルにおける既知の境界に翻訳することで、その境界を確立する。
• メトロポリスの拒否確率を用いたエッジ部分集合上の遅延Glauberダイナミクスを定義してマコフ連鎖を構築する。
• ランダムクラスターダイナミクスの混在度を、補助的連鎖としてのwormモデルと偶数部分グラフモデルを用いて境界付ける。

実験結果

リサーチクエスチョン

• RQ1 ランダムクラスターモデルのGlauberダイナミクスが $ q=2 $ のとき、多項式時間で混合するか？
• RQ2 フェロ磁性体イジング模型に対するSwendsen-Wangアルゴリズムが多項式時間で混合するかを示せるか？
• RQ3 カップリングが可逆的ではなく、標準的な詳細釣合条件を満たさない状況において、マコフ連鎖間の比較技法を拡張することは可能か？
• RQ4 ランダムクラスターモデルの混合時間は $ q=2 $ のときどの程度か？ また、$ 0 \leq (x-1)(y-1) < 2 $ の領域におけるトゥッテ多項式の近似の複雑さとどのように関係するか？
• RQ5 ランダムクラスターダイナミクスの混在度は、偶数部分グラフダイナミクスとの関係を通じて境界付けられるか？

主な発見

• Glauberダイナミクスのランダムクラスターモデルの混合時間は、$ \tau_{\varepsilon}(P_{RC}) \leq 8n^{4}m^{2}(m\ln(1-p)^{-1} + \ln\varepsilon^{-1}) $ で有界であり、多項式混合を示した。
• フェロ磁性体イジング模型に対するSwendsen-Wangアルゴリズムは、Glauberダイナミクスよりも速いか、少なくともそれ以上に速く混合するため、多項式時間で混合する。
• ランダムクラスターダイナミクスの混在度は $ 8m^{2}n^{4} $ で有界であり、標準的パス法を用いて多項式混合時間の上界を得ることが可能になった。
• 著者らは、ランダムクラスターモデルと偶数部分グラフ構成の間のカップリングを含む、標準的でない設定においてもマコフ連鎖間の比較技法を成功裏に拡張した。
• 本結果は、1990年代初頭から未解決であった、Swendsen-Wangアルゴリズムの混合時間に対する最初の厳密な多項式上界を提供した。
• 解析により、イジング模型における相転移が存在するにもかかわらず、$ q=2 $ におけるランダムクラスターモデルがGlauberダイナミクスによる効率的なサンプリングを可能にすることが確認された。