[論文レビュー] Critical Ising on the square lattice mixes in polynomial time

Eyal Lubetzky, Allan Sly|arXiv (Cornell University)|Jan 11, 2010

Stochastic processes and statistical mechanics参考文献 43被引用数 4

ひとこと要約

本稿は、正方形格子上の2次元臨界イジング模型におけるグルーバー過程のスペクトルギャップに対する、初めての厳密な多項式上界を確立し、予想されていた臨界遅れの確認に成功した。最近の臨界フォルティン＝カステーレン・表現のスケーリング極限およびマルコフ連鎖解析の進展を活用することで、逆ギャップが側長に対して多項式的であることを証明した。この結果は境界条件に依存しない。

ABSTRACT

The Ising model is widely regarded as the most studied model of spin-systems in statistical physics. The focus of this paper is its dynamic (stochastic) version, the Glauber dynamics, introduced in 1963 and by now the most popular means of sampling the Ising measure. Intensive study throughout the last three decades has yielded a rigorous understanding of the spectral-gap of the dynamics on $\Z^2$ everywhere except at criticality. While the critical behavior of the Ising model has long been the focus for physicists, mathematicians have only recently developed an understanding of its critical geometry with the advent of SLE, CLE and new tools to study conformally invariant systems. A rich interplay exists between the static and dynamic models. At the static phase-transition for Ising, the dynamics is conjectured to undergo a critical slowdown: At high temperature the inverse-gap is O(1), at the critical $β_c$ it is polynomial in the side-length and at low temperature it is exponential in it. A seminal series of papers verified this on $\Z^2$ except at $β=β_c$ where the behavior remained a challenging open problem. Here we establish the first rigorous polynomial upper bound for the critical mixing, thus confirming the critical slowdown for the Ising model in $\Z^2$. Namely, we show that on a finite box with arbitrary (e.g. fixed, free, periodic) boundary conditions, the inverse-gap at $β=β_c$ is polynomial in the side-length. The proof harnesses recent understanding of the scaling limit of critical Fortuin-Kasteleyn representation of the Ising model together with classical tools from the analysis of Markov chains.

研究の動機と目的

• 逆温度βcにおける2次元イジング模型のグルーバー過程における長年の未解決問題である臨界遅れを解消すること。
• 臨界において逆スペクトルギャップに多項式上界を確立し、予想されていた臨界遅れの挙動を確認すること。
• アスペクト比が無限大に発散する長方形および周期的・反強磁性境界条件への拡張を図ること。
• SLEおよびCLEを用いた静的臨界幾何学とイジング模型の動的混合性の間の厳密な接続を提供すること。

提案手法

• イジング模型の臨界フォルティン＝カステーレン（FK）ランダムクラスタ表現を用い、その自己同型不変性およびスケーリング極限の性質を活用する。
• FKモデルにおけるクロスングイベントの確率に基づく空間混合技術を適用し、境界条件への依存を評価する。
• ブロックダイナミクスと再帰的解析を用いて、固定境界条件をもつ小さな領域への問題の還元を行う。
• カップリングの議論を用いて、隣接するブロック内の状態が1ステップで正の確率でカップリング可能であることを示し、ブロックダイナミクスの逆ギャップが有界であることを保証する。
• 単一サイトとブロックダイナミクスの間のスペクトルギャップ関係を適用し、境界条件に依存しない結果を元のグルーバー過程に拡張する。
• トーラスを重なり合うブロックに分割し、1組の周期的境界を持つ条件下で空間混合を適用することで、周期的境界条件への結果の拡張を図る。

実験結果

リサーチクエスチョン

• RQ1 整数格子Z²上における2次元臨界イジング模型のグルーバー過程のスペクトルギャップの漸近的挙動は何か？
• RQ2 臨界において逆スペクトルギャップが、側長に対して多項式的に増加するか、すなわち予想されているように？
• RQ3 現代の自己同型不変系およびSLEのツールを用いて、臨界遅れを厳密に確認できるか？
• RQ4 混合時間は境界条件にどのように依存するか、特に周期的または反強磁性設定の場合には？
• RQ5 多項式上界は、アスペクト比が無限大に発散する長方形へと拡張可能か？

主な発見

• 側長nの有限ボックス上における臨界イジング模型のグルーバー過程の逆スペクトルギャップは、ある絶対定数C > 0に対してn^Cで上から抑えられ、境界条件に依存しない。
• グルーバー過程の全変動混合時間はnの多項式で上から抑えられ、臨界における高速混合を確認した。
• アスペクト比が無限大に発散する長方形では、逆ギャップは短辺の長さに関してのみ多項式的である。
• 逆ギャップがn^{7/4}以上に増加することを示し、予想されている普遍的指数と整合する下界を得た。
• スピン反転変換による対称性のおかげで、任意の境界条件のもとで臨界反強磁性イジング模型に対しても結果が拡張可能である。
• トーラスにおける周期的境界条件に対して、1組の周期的境界を持つ重なり合うブロックに分割することで、逆ギャップに一様な上界を確立した。