Non-perturbative finite connectivities in supercritical Bernoulli percolation on $\mathbb{Z}^d$ with $d\geq 3$

技術要約：$\mathbb{Z}^d$ ($d \ge 3$) における超臨界ベルヌーイ・パーコレーションにおける非摂動的な有限連結性

問題設定
本研究は、ベルヌーイ・パーコレーション理論における長年の未解決問題、すなわち、次元 $d \ge 3$ の格子 $\mathbb{Z}^d$ 上の超臨界領域 ($p > p_c$) において、離れた2点間が「有限な」クラスターによって連結される確率に関する鋭いオルンシュタイン・ゼルニケ（Ornstein–Zernike, OZ）漸近挙動を確立することを目的としている。

OZ漸近挙動（指数的な減衰と $\|x\|^{-(d-1)/2}$ 次の多項式前因子によって特徴付けられる）は、劣臨界パーコレーションや、劣臨界および高温領域における様々なスピンモデル（Isingモデル、FKパーコレーションなど）においては確立されているが、超臨界における有限連結性のケースは未解決のままであった。超臨界相におけるこれまでの結果は、以下に限定されていた：

• 軸方向のみ（Braga, Procacci, Sanchis; Campanino, Gianfelice）。
• $p=1$ に十分近い方向。
• 点対平面の漸近挙動（Fribergh, Hammond）。
• $d=2$ における異なる漸近領域（Campanino, Ioffe, Louidor）。

超臨界相における特有の課題は、無限クラスターが連結性を支配しており、有限クラスターが稀なイベントであることである。有限連結性の証明には、標準的な劣臨界解析で使用される「既約連結と非制限連結の間の質量の分離（separation of masses）」という手法に依存することなく、これらの有限クラスターの幾何学的構造を制御する必要がある。

手法
本証明は、再生構造から導出された「先験的な体積制御」と、有限な超臨界連結への「現代的な粗視化フレームワークの適応」という2つの主要な要素を組み合わせたものである。

1. 先験的な体積制御 (Theorem 1.1):
   著者らは、[2] で開発された再生構造を利用して、離れた点間を連結する有限クラスターの体積に対する境界を導出している。クラスターを「ストリング（既約成分）」へと分解し、傾斜測度（tilted measure）を適用することで、有限クラスターが $0$と$x$を連結する場合、その体積は線形スケール$K|x|$を超えない可能性が高いことを確立している。具体的には、接続の体積が$|C_0| > K|x|$ となる確率は、距離に対して「伸長指数的（stretched-exponential）」な裾を持つことを証明し、接続の指数的なコストを維持している。この結果は、クラスター分解の「実効的なランダムウォーク増分」が伸長指数的な裾を持つという事実に依拠している。

2. 適応された粗視化と既約クラスター:
   第2の要素は、[10] の粗視化および既約クラスターのフレームワークを超臨界の設定に適応させたものである。

   • スケルトン構成: すべての有限クラスターに対して、スケルトン（有向木）が関連付けられる。このアルゴリズムは、クラスター内の「ボックス」を選択することで、バックボーン（幹）と枝を定義する。
   • エネルギー推定: 著者らはスケルトンのエネルギー推定を行い、ボックスをクラスターから切り離すためのコストが、確率を制御するのに十分であることを示している。
   • 質量ギャップとコーンポイント: 劣臨界解析との決定的な違いは、自然な質量の分離が存在しないことである。著者らは、有限クラスターが局所的にコーン（円錐）内に閉じ込められている頂点である「コーンポイント」を正の密度で持つことを示すことで、この問題を回避している（これは指数誤差の範囲内での議論である）。これは、先験的な体積制御が、クラスターが局所的に頻繁に密に連結されることを防いでいることを示すことで達成される。
   • ランダムウォーク表現: クラスターは、既約成分（後方既約、前方既約、および既約）へと分解される。この分解により、連結関数 $G_p(x)$ は、既約成分の重みに従う増分を持つ有向ランダムウォークを含む再生方程式として表現できる。

主要な結果

• Theorem 1.1 (体積制御): 定数 $K, C, c > 0$ が存在し、任意の $x \in \mathbb{Z}^d \setminus \{0\}$ に対して次が成立する：
  $$P_p(0 \leftrightarrow x, K\|x\| < |C_0| < \infty) \le C \exp\left\{-\xi_p(x) - c\|x\|^{\frac{d-1}{2d}}\right\}.$$
  これは、有限クラスターの体積が高い確率で線形に抑えられることを確立しており、伸長指数的な補正を伴う。
• Theorem 1.2 (鋭いOZ漸近挙動): 連続関数 $\Psi_p: S^{d-1} \to (0, \infty)$ が存在し、$\|x\| \to \infty$ において一様に次が成立する：
  $$P_p(0 \leftrightarrow x, |C_0| < \infty) = \frac{\Psi_p(x/\|x\|)}{\|x\|^{(d-1)/2}} e^{-\xi_p(x)} (1 + o_{\|x\|\to\infty}(1)).$$
  これにより、有限連結の確率は、レート $\xi_p(x)$ で指数的に減衰し、多項式前因子が $\|x\|^{-(d-1)/2}$ のオーダーであることが確認され、オルンシュタイン・ゼルニケの形式と一致することが示された。

意義と主張
本論文は、$\mathbb{Z}^d$ ($d \ge 3$) の最近接ベルヌーイ・パーコレーションにおいて、特定の方向や $p=1$ 近傍だけでなく、全 超臨界領域においてOZ漸近挙動を確立することにより、「最後のリメインング・アセミティクス（残された漸近挙動）」を解決したと主張している。

著者らは、自らの議論が、従来の劣臨界解析の前提条件であった「既約連結と非制限的な有限連結の間の質量の分離」を必要としないことを強調している。代わりに、体積境界（Theorem 1.1）と修正された粗視化構成を組み合わせることで、実効的なランダムウォーク増分に対して必要な伸長指数的な裾を実現している。これにより、鋭い漸近挙動を導出するための標準的な局所中心極限定理の手法を適用することが可能となっている。

本研究は、現代的なオルンシュタイン・ゼルニケ理論を、無限クラスターが存在する領域へと拡張するものである。体積が制御されている限り、有限クラスターは劣臨界相と同じ普遍的なスケーリング挙動を示すことを実証している。著者らは、彼らのフレームワークが、一般的な有限範囲モデル、依存パーコレーション（FKパーコレーションなど）、およびIsingモデルやPottsモデルの低温共分散への拡張を示唆していると述べているが、これらは現在の論文の結果ではなく、将来の研究の方向性として提示されている。