[論文レビュー] Percolation without FKG

Vincent Beffara, Damien Gayet|arXiv (Cornell University)|Oct 29, 2017

Stochastic processes and statistical mechanics参考文献 12被引用数 10

ひとこと要約

本稿は、正の相関性（FKG条件）を要件としない離散的確率模型におけるRusso-Seymour-Welsh（RSW）境界を確立する。正確な相関制御に基づく有限スケール基準を導入することで、正の相関性に依存しない。著者らは、三角格子上の高負温度における反強磁性イジング模型と、振動する相関関数を有する離散ガウス模型に対して、ボックスクロージング性を証明し、FKG条件を満たさない模型へとRSW理論を拡張する。

ABSTRACT

We prove a Russo-Seymour-Welsh theorem for large and natural perturbative families of discrete percolation models that do not necessarily satisfy the Fortuin-Kasteleyn-Ginibre condition of positive association. In particular, we prove the box-crossing property for the antiferromagnetic Ising model with small parameter, and for certain discrete Gaussian fields with oscillating correlation function.

研究の動機と目的

• FKG条件による正の相関性を満たすモデルに限らない、Russo-Seymour-Welsh（RSW）理論の拡張。
• 負の相関または振動する相関を有する離散的確率模型におけるボックスクロージング性の確立。
• 正の相関性に依存せず、相関制御に基づく推移的推定をスケール間で伝播する有限スケール基準の開発。
• 反強磁性イジング模型と、振動する相関関数を有する離散ガウス模型という2つの主要モデルへのこの手法の適用。
• ボックスクロージング性を持つ基準モデルの摂動が、適切な非相関仮定のもとでこの性質を保つことの示唆。

提案手法

• 正の相関性に依存せず、相関の制御に基づくボックスクロージング性を保証する有限スケール基準を導入。
• 摂動的議論を用いる：基準モデルがボックスクロージング性を満たすならば、十分に制御された相関を有する近傍モデルに対しても同様の性質が成立する。
• 相関関数の減衰と振動的挙動が所定の技術的条件を満たすことを確認することで、離散ガウス模型に基準を適用。
• 三角格子上の反強磁性イジング模型に対しては、有限範囲モデルへのカップリングを構築し、分岐過程による影響の減衰を評価。
• 振動する相関関数の原型として滑らかなランダム波モデルを用い、そのような場が所定の減衰および振動条件を満たすことを示す。
• 局所的収束とカップリング技術を活用し、無限体積測度と誤差が制御された有限範囲近似を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 正の相関性（FKG条件）を満たさない確率模型に対し、Russo-Seymour-Welsh（RSW）ボックスクロージング性を確立できるか？
• RQ2 三角格子上の反強磁性イジング模型は、負の相関性を有するが、大きな長方形に対して一様に正のクロージング確率を示すか？
• RQ3 相関関数が振動的かつゆっくり減衰する離散ガウス模型に対し、RSW型境界を拡張できるか？
• RQ4 ボックスクロージング性を満たす基準モデルの小さな摂動に対しても、その性質が安定するか（FKG条件が成立しない場合でも）？
• RQ5 相関制御に基づく有限スケール基準が、正の相関性に代えてRSW境界の証明に用いられるか？

主な発見

• 三角格子上の高負温度における反強磁性イジング模型はボックスクロージング性を満たし、大規模な長方形に対して一様に正のクロージング確率を示す。
• 臨界ベルヌーイ確率模型の摂動であり、振動する相関関数を有する離散ガウス模型は、RSW性質を満たす。これは、従来のFKGまたは正の相関に依存する手法では適用できない。
• 本稿では、正の相関性に依存せず、相関の精密制御に基づく有限スケール基準を構築し、スケール間でクロージング推定を伝播させる。
• イジング模型に対しては、境界条件の影響が距離とともに指数的に減衰することを証明し、誤差が制御された有限範囲近似の構築を可能にする。
• 滑らかなランダム波モデル（古典的ランダム波モデルの近似）を含め、相関減衰が少なくとも d > 10 のオーダーであるモデルへも本手法は適用可能。
• 影響の減衰は、θ(n,ℓ) ≤ Cn²(N tanh β₀N)^{ℓ/2} として定量的に評価され、β₀が十分に大きい場合には指数的減衰を示す。