[論文レビュー] Some New Results on the Kinetic Ising Model in a Pure Phase

T. Bodineau, Fabio Martinelli|ArXiv.org|Feb 8, 2002

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

ひとこと要約

本稿は、$d \geq 2$次元におけるプラス境界条件下の運動的イジング模型において、H.T. ユウにインspiredされた新しいテスト関数を用いて、スペクトルギャップおよび対数ソボレフ定数の多項式的下界を確立する。$d=2$では逆スペクトルギャップが$N$（対数補正を含む）以上に増加し、対数ソボレフ定数が$N^2$に比例することを証明し、2次元におけるスピン自己相関関数の伸びた指数的減衰の予想を支持する。

ABSTRACT

We consider a general class of Glauber dynamics reversible with respect to the standard Ising model in $\bbZ^d$ with zero external field and inverse temperature $\gb$ strictly larger than the critical value $\gb_c$ in dimension 2 or the so called ``slab threshold'' $\hat \b_c$ in dimension $d \geq 3$. We first prove that the inverse spectral gap in a large cube of side $N$ with plus boundary conditions is, apart from logarithmic corrections, larger than $N$ in $d=2$ while the logarithmic Sobolev constant is instead larger than $N^2$ in any dimension. Such a result substantially improves over all the previous existing bounds and agrees with a similar computations obtained in the framework of a one dimensional toy model based on mean curvature motion. The proof, based on a suggestion made by H.T. Yau some years ago, explicitly constructs a subtle test function which forces a large droplet of the minus phase inside the plus phase. The relevant bounds for general $d\ge 2$ are then obtained via a careful use of the recent $\bbL^1$--approach to the Wulff construction. Finally we prove that in $d=2$ the probability that two independent initial configurations, distributed according to the infinite volume plus phase and evolving under any coupling, agree at the origin at time $t$ is bounded from below by a stretched exponential $\exp(-\sqrt{t})$, again apart from logarithmic corrections. Such a result should be considered as a first step toward a rigorous proof that, as conjectured by Fisher and Huse some years ago, the equilibrium time auto-correlation of the spin at the origin decays as a stretched exponential in $d=2$.

研究の動機と目的

• 純相におけるイジング模型のGlauberダイナミクスにおけるスペクトルギャップおよび対数ソボレフ定数の厳密な下界を確立すること。
• 相共存領域における界面運動によって駆動される緩和の遅さのメカニズムを理解すること。
• フィッシャーとフーズが提唱した、$d=2$においてスピン自己相関関数が伸びた指数的に減衰するという予想の数学的基盤を提供すること。
• ドロップレット収縮のダイナミクスにおいて平均曲率運動のヒューリスティクスの妥当性を1次元の玩具モデルを通じて検証すること。

提案手法

• H.T. ユウの提案にインspiredされた、プラス相内に大きなマイナス相のドロップレットを強制する微妙なテスト関数の構築。
• $d=2$から一般の$d \geq 2$への結果の拡張のため、${\mathbb{L}}^{1}$–アプローチによるWulff構成の応用。
• 1次元の誕生・死滅過程によるドロップレット体積の時間発展をモデル化し、ハーディー型不等式を用いて逆スペクトルギャップおよび対数ソボレフ定数の鋭い下界を導出。
• ドロップレット体積$x$における平衡測度$\mu(x) \propto \exp(-x^{(d-1)/d})$を考察。誕生率$b(x) \propto x^{(d-1)/d}$、詳細つり合いから導かれる死滅率を用いる。
• Poincaréおよび対数ソボレフ不等式の変分公式を用い、テスト関数による有界化を通じて、系サイズ$N$における多項式的スケーリングを抽出。
• 玩具モデルのダイナミクスと平均曲率運動を比較。ドリフト項が$\sim -x^{2\alpha - 1}$（$\alpha = (d-1)/d$）に比例し、曲率駆動の収縮と整合的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $d=2$において、大きなボックスにプラス境界条件が課されたイジング模型のGlauberダイナミクスの逆スペクトルギャップの漸近的挙動は何か？
• RQ2 $d \geq 2$次元において、対数ソボレフ定数は系サイズ$N$に対してどのようにスケーリングするか？
• RQ3 Glauberダイナミクス下でのドロップレット収縮のダイナミクスは、相共存領域において、平均曲率運動と厳密に結びつけることができるか？
• RQ4 フィッシャーとフーズの予想に従い、$d=2$において原点におけるスピン自己相関関数は伸びた指数的に減衰するか？
• RQ5 1次元の誕生・死滅過程は、ドロップレット体積の時間発展を、スペクトルギャップおよび対数ソボレフ定数のスケーリングを再現するようにモデル化できるか？

主な発見

• $d=2$において、逆スペクトルギャップは、ある$k>0$に対して$cN / (\log N)^k$より大きい下界で抑えられ、系サイズ$N$に比例して緩和時間が少なくとも線形に増加することを示唆する。
• $d \geq 2$の任意の次元において、対数ソボレフ定数は$cN^2 / (\log N)^k$より大きい下界で抑えられ、平均曲率駆動の界面運動と整合的である。
• $d \geq 3$において、逆スペクトルギャップは$N$に依存しない定数で上界が与えられ、$d=2$と比較してより速い緩和を示唆する。
• 1次元の玩具モデルにおいて、対数ソボレフ定数は$\Theta(N^2)$、逆スペクトルギャップは$d=2$において$\Theta(N)$に比例し、主結果と一致する。
• 2つの独立した配置が時刻$t$において原点で一致する確率は、対数補正を除き$\exp(-\sqrt{t})$より大きい下界で抑えられ、$d=2$におけるスピン自己相関関数の伸びた指数的減衰を支持する。
• テスト関数の構築により、大規模なドロップレットを形成するエネルギー的コストをうまく捉え、平衡相分離推定から多項式的下界を導出可能であることを示した。