[論文レビュー] Mixing times of critical 2D Potts models

Cannon, Sarah, Levin, David A.+1 more|arXiv (Cornell University)|Jul 7, 2016

Theoretical and Computational Physics参考文献 44被引用数 11

ひとこと要約

本稿は、トーラス上の臨界2次元q状態ポットス模型におけるガウバーおよびスウェンセン＝ワング動的過程の混合時間挙動を確立し、q=3では多項式的逆スペクトルギャップ、q=4では準多項式的、q>4では指数的であることを示している。さらに、自由境界条件または単色境界条件の下で、大規模なqに対してスウェンセン＝ワング動的過程の混合時間はexp(no(1))であることが証明され、トーラス上での指数的挙動とは対照的であり、臨界定域における境界条件感受性が顕著に現れている。

ABSTRACT

We give the first polynomial upper bound on the mixing time of the edge-flip Markov chain for unbiased dyadic tilings, resolving an open problem originally posed by Janson, Randall, and Spencer in 2002. A dyadic tiling of size n is a tiling of the unit square by n non-overlapping dyadic rectangles, each of area 1/n, where a dyadic rectangle is any rectangle that can be written in the form [a2^{-s}, (a+1)2^{-s}] x [b2^{-t}, (b+1)2^{-t}] for a,b,s,t nonnegative integers. The edge-flip Markov chain selects a random edge of the tiling and replaces it with its perpendicular bisector if doing so yields a valid dyadic tiling. Specifically, we show that the relaxation time of the edge-flip Markov chain for dyadic tilings is at most O(n^{4.09}), which implies that the mixing time is at most O(n^{5.09}). We complement this by showing that the relaxation time is at least Omega(n^{1.38}), improving upon the previously best lower bound of Omega(n*log n) coming from the diameter of the chain.

研究の動機と目的

• 2次元ポットス模型における臨界定域βc(q)におけるガウバーおよびスウェンセン＝ワング動的過程の混合時間を特定する長年の未解決問題を解明すること。
• 特に周期的、自由、および単色境界条件を比較することで、臨界定域における境界条件の役割を明確にすること。
• q ∈ (1, ∞) の全範囲にわたって、ガウバーおよびスウェンセン＝ワング動的過程の逆スペクトルギャップに対する鋭い上界を確立し、連続的相転移（q ≤ 4）と不連続的相転移（q > 4）の違いを明確にすること。
• イジング模型（q=2）におけるRSW型推定と動的解析をq=3およびq=4へ拡張し、q=4でその推定が破綻する場合の対処法を提示すること。

提案手法

• エドワーズ＝ソーカルカップリングを用いてポットス模型をランダムクラスターモデル（FKモデル）に関連付け、FK動的過程による解析を可能にする。
• FKモデルに対するRSW型推定を適用し、最近の交差確率に関する結果を用いてq=3へ拡張。単調性および条件付き独立性を用いて混合時間の上界を評価する。
• 遮断動的過程およびブロック動的過程を用いて、システムを管理可能な部分領域（例：上半分および下半分）に分解し、カップリングおよび全変動距離を用いた再帰的上界評価により混合時間を制御する。
• FKモデルの自己双対性と比較技術を活用し、異なる初期状態および境界条件の下での定常分布への距離を評価する。
• 指数的モーメントの上界と、まれな事象（例：長い双対交差）に対する和集合の上界を用いて、カップリング議論における誤差項を制御する。
• 逆スペクトルギャップとL2混合時間との関係を用いて、スペクトルギャップ不等式および混合時間の上界を適用する。

実験結果

リサーチクエスチョン

• RQ1 トーラス上での3状態ポットス模型におけるガウバー動的過程の混合時間は何か？
• RQ2 RSW推定が失敗するq=4におけるスウェンセン＝ワング動的過程の混合時間はどのように振る舞うか？
• RQ3 q>4の臨界定域において、混合時間の遅れ（critical slowdown）は自由または単色境界条件のもとでも持続するか？また、トーラス上とはどのように異なるか？
• RQ4 非周期的境界条件のもとでは臨界定域における動的挙動がより速くなる可能性はあるか？もしあるならば、どの程度速くなるか？
• RQ5 q>4におけるガウバーおよびスウェンセン＝ワング動的過程の逆スペクトルギャップは、系サイズnに対してどのようにスケーリングするか？これは相転移の性質にどのような含意を持つのか？

主な発見

• トーラス上での3状態ポットス模型において、ガウバー動的過程の逆スペクトルギャップはnO(1)以下であり、多項式的混合時間であることが示された。
• トーラス上での4状態ポットス模型において、ガウバー動的過程の逆スペクトルギャップはnO(log n)以下であり、準多項式的混合時間であることが示された。
• q>4の相共存領域において、トーラス上でのガウバーおよびスウェンセン＝ワング動的過程の逆スペクトルギャップはnに関して指数的であり、臨界定域での遅れが確認された。
• 自由または単色境界条件の下で大規模なq>4に対して、スウェンセン＝ワング動的過程の逆スペクトルギャップはexp(no(1))以下であり、指数的未満の混合時間であることが示された。
• q>4における臨界定域での混合時間の遅れが境界条件に敏感であることが確認され、周期的境界条件とは異なり、非周期的境界条件では著しく速い混合が達成されることを示した。
• 本稿では、すべてのq∈(1,4]におけるFKモデル上でのガウバー動的過程に対して一致する上界を確立し、イジング模型を超える動的解析のフレームワークを提供した。