Percolation without FKG

技術要約：FKGなしのパーコレーション

問題提起
本論文は、二次元統計力学の理論における根本的な空白、すなわち、正の相関（Fortuin-Kasteleyn-Ginibre; FKG）条件を満たさないモデルに対するボックス交差特性（BXP）、別名ルッソ・セイヤー・ウェルシュ（RSW）定理の証明について扱っている。

標準的なBXPの証明は、増加事象が正に相関することを保証するFKG不等式に大きく依存している。この性質は、基本ブロックから長い長方形の交差を構成したり、純粋な相を定義したりするために極めて重要である。BXPはベルヌーイ・パーコレーションや正の相関を持つモデル（強磁性イジングモデルなど）については確立されているが、反強磁性イジングモデルや特定の負の相関を持つ連続モデルのように、正の相関を欠くモデルについては未だ証明されていない。著者らは、ドメイン・マルコフ特性と高速な無相関性（decorrelation）を示す離散パーコレーションモデルのクラスに対して、BXPを確立することを目的としている。具体的には、周期的な平面三角分割上の高温（小さな $\beta$）反強磁性イジングモデルを対象としている。

手法
著者らは、FKG不等式の代わりに、トポロジカルな手術、精密な相関制御、および繰り込みスキームを組み合わせた新しい証明戦略を開発している。彼らの手法の核となる構成要素は以下の通りである：

1. トポロジカルな手術とランダム・クアッド（Random Quads）： 増加事象を結合するために正の相関に頼る代わりに、著者らは「クアッド」（格子上のパスによって定義される四角形）に関する幾何学的操作を利用する。彼らは、異なる幾何学的形状の交差確率を関連付けるために、クアッドの「シェービング（削ぎ落とし）」とパスの連結に関する補題を用いている。
2. 振動と無相関性（Oscillation and Decorrelation）： 証明では、「振動」（$\delta(Q) = \pi^+(Q) - \pi^-(Q)$）という指標を導入しており、これは異なる境界条件の下での交差確率の変化を表している。著者らは、モデルが「十分に無相関である」、つまり境界条件の影響が急速に減衰する（具体的には $\alpha(\ell, L) \leq C L^2 \ell^{-2-\gamma}$）と仮定している。これにより、振動を制御し、大きなスケールにおいて交差確率が安定することを示すことができる。
3. スケール帰納法（繰り込み）： 中心となる議論は、スケール帰納スキームである。著者らは、半径 $r$ と $R$ のアニュラスス（環状領域）を横切るクアッドの交差確率の上限を表す量 $\beta(r, R)$ を定義する。彼らは、「最後のスケール」補題（補題35）を証明し、もしモデルがあるスケール $R$ まで「良好（good）」であり（$\beta$ に関するべき乗則の境界を満たす）、かつ十分な無相関性を備えているならば、スケール $2R$ まで「良好」であり続けることを示している。この伝播は、無相関性によって、大きなアニュラススにおける交差の確率が、振動の推定によって制御されるデュアル回路（dual circuit）の確率によって、1から離れていることが保証されることに依拠している。
4. 補間議論： イジングモデルにこれらの結果を適用するために、著者らは連続性議論を用いる。彼らは、臨界ベルヌーイ・パーコレーション（BXPが既知である）とターゲットとなるモデル（小さな $\beta$ の反強磁性イジング）を補間する一連のモデルを検討する。ドメイン・マルコフ特性とスペシフィケーションの連続性により、「良好」という性質がパラメータに関して開集合であることを示すことで、既知のケースからターゲットとなるモデルへとBXPを拡張する。

主な貢献と結果

• 定理1（イジングモデル）： 著者らは、面心正方格子上のイジングモデルにおいて、逆温度 $\beta \in (-\beta_0, \beta_0)$ となる $\beta_0 > 0$ が存在し、そのすべての $\beta$ に対してイジング測度がボックス交差特性を満たすことを証明している。その結果、このモデルはパーコレーションを起こさない。すなわち、一定のスピンを持つクラスターはほとんど確実に有限である。
• 一般フレームワーク（定理43）： 著者らは、一パラメータ・ファミリーのモデル $(P_u)$ に関する一般的な定理を確立している。このファミリーが、一意性、対称性、双対性、ドメイン・マルコフ特性、連続性、および一様な無相関性を含む条件を満たし、かつベースとなるモデル $P_0$（臨界ベルヌーイ・パーコレーション）がBXPを満たすならば、$P_0$ の近傍においてすべてのモデルがBXPを満たし、パーコレーションを起こさない。
• スケール帰納（定理37）： あるスケールまで「良好」であり（交差確率の特定のべき乗則の減衰を満たす）、かつ十分に無相関であるモデルは、より大きなすべてのスケールにおいても「良好」であり続けるという厳密な証明が提供されている。これにより、FKGの代わりに定量的な無相関性の推定を用いることで、FKGの必要性が排除される。
• 多項式減衰： 著者らは、「良好」かつ十分に無相関なこれらのモデルにおいて、原点から距離 $R$ までの接続の確率は多項式的（$R^{-c}$）に減衰することを実証しており、無限クラスターの不在を裏付けている。

意義と主張
本論文は、標準的な統計力学の設定（無限体積における固定モデル）において、FKG不等値を利用せずにボックス交差特性を証明した最初の証明であると主張している。

• FKGの障壁の打破： 本研究は、正の相関がBXPによって特徴付けられる臨界挙動の存在に厳密に必要ではないことを示している。代わりに、ドメイン・マルコフ特性と高速な無相関性の組み合わせがあれば、推定値をスケール間で伝播させるのに十分である。
• 普遍クラス： これらの結果は、高温イジングモデル（強磁性および反強磁性の両方）が、BXPの存在およびパーコレーションの不在に関して、ベルヌーイ・パーコレーションと同じ普遍クラスに属していることを示唆している。
• 限界と謙虚さ： 著者らは、BXPは証明されたものの、他の帰結（正確な普遍指数やインターフェースのタイトネスなど）も同様の議論によって導かれることが予想されるが、本論文には含まれていないことを明記している。また、彼らの現在のアプローチは摂動的であり、連続性議論を利用するためにモデルが積測度に近いこと（小さな $\beta$）に依存していることも述べている。彼らは、これらの結果を非摂動的な領域や、より少ない対称性を持つモデル（正方格子のボンド・パーコレーションなど）へ拡張することは、現在の手法の範囲を超えた未解決の問題であると認めている。

要約すると、本論文は、正の相関を持たない依存パーコレーションモデルを分析するための堅牢な枠組みを確立し、それを反強磁性イジングモデルに適用することに成功し、より広いクラスのモデルにおける臨界指数の普遍性に関する今後の調査への基礎を築いている。