Coexistence of infinite clusters for percolation and Ising model on $\mathbb{Z}^d$

技術要約：$\mathbb{Z}^d$ 上のパーコレーションおよびイジングモデルにおける無限クラスターの共存

問題設定
本論文は、高次元格子 $\mathbb{Z}^d$ における無限クラスターの共存問題に取り組んでいる。具体的には、超臨界領域において、唯一の無限開クラスター（ボンド・パーコレーションの場合）または「マイノリティ」スピンの集合（マイナス相におけるイジングモデルの場合）が、無限に連結な成分を含むかどうかを調査している。

ボンド・パーコレーションのパラメータ $p > p_c^b(d)$ に対して、$X_p(d)$ を、唯一の無限開クラスターに属するすべての頂点を除去して得られる部分グラフとする。中心となる問いは、[16] で提起されたものであり、$X_p(d)$ が無限連結成分を含むかどうかである。同様に、逆温度 $\beta < \beta_c(d)$ のマイナス相（すべて $-$ 境界条件）におけるイジングモデルについて、プラスのスピンが無限クラスターを形成するかどうかを調査している。

これまでの結果では、非常に高い次元での共存が確立されていた（[16] では $d \ge 19$、[4] および [9] では $d \ge 11$ および $d \ge 10$ へと改善）。イジングモデルについては、Aizenman, Bricont, および Lebowitz [1] が、十分に大きな $d$ に対して共存を証明した。本研究の目的は、これらの次元の閾値を下げ、確率的ドミネーション（stochastic domination）を通じて、より強い形式の共存を示すことである。

手法
著者らは、確率的ドミネーションに基づく戦略を採用している。単に無限成分の存在を証明するのではなく、残された構造（$X_p(d)$ または $+$ スピン）が、超臨界サイト・パーコレーション過程を確率的にドミネートすることを目指している。もしある系が超臨界サイト・パーコレーションをドミネートすれば、それは必然的に一意の無限クラスターを含むことになる。

1. 確率的ドミネーションの枠組み:

   • パーコレーション: 著者らは、ランダム変数の確率的ドミネーションに関する最近の結果である Martineau, Poudevigne, および Rax [29] （定理 3）を利用している。彼らは、ボンド・パーコレーションの構成からサイト・パーコレーションの構成への写像を構築する。主要な技術的ステップは、マーシャル・ホール（Marshall Hall）の結婚定理の拡張を用いた補題 1 であり、これによって無限クラスター内の各頂点に対して、一意に付随する開エッジを割り当て、これにより「ブロッキング」メカニズムを定義する。
   • イジングモデル: イジングモデルについては、Liggett と Steif [26] （定理 4）による確率的ドミネーションの結果を適用する。この定理は、サイト・パーコレーションのドミネーションと、大きなボックスが完全に $-$スピンで満たされる確率の減衰率との関連性を結びつけている。この減衰率は、自由エネルギー$f_{\mathbb{Z}^d}(\beta)$ に関連している。

2. 臨界確率の上限値:
   ドミネートされるパラメータが臨界閾値（$p_c^s(d)$）を超えることを証明するために、著者らは $p_c^b(d), p_c^s(d), \beta_c(d)$ の厳密な上限値を確立する必要がある。

   • 彼らは、「定常ランダムウォーク」を用いた新しい二次のモーメント法を導入している。純粋な指向性パス（空間の多くを検知できない）を用いる従来の戦略とは異なり、彼らの戦略では、パスが一方の座標に沿って定常ランダムウォークを行い、残りの $d-1$ 個の座標に沿って正の方向へのウォークを行うことを許容する。
   • このアプローチにより、2つの独立したパスの交差確率が減少するため、中間次元（$5 \le d \le 10$）における臨界確率のよりタイトな上限が得られる。
   • $\beta_c(d)$ については、Fröhlich, Simon, および Spencer [11] による赤外限界（infrared bounds）を利用し、修正ベッセル関数の性質を用いて明示的な上限値を導出している。

主な貢献と結果

• 定理 1 (ボンド・パーコレーション): 各 $d \ge 9$ に対して、$\epsilon_d > 0$ が存在し、$p \in (p_c^b(d), p_c^b(d) + \epsilon_d)$ のとき、無限開クラスターの補集合 $X_p(d)$ は、パラメータ $\tilde{p} > p_c^s(d)$ を持つ $\mathbb{Z}^d$ 上の超臨界サイト・パーコレーションを確率的にドミネートする。

  • 改善点: これは Bock ら [4] の $d \ge 10$ および [9] の $d \ge 11$ という結果を改善している。
  • 数値的拡張: 著者らは、数値的な推定値（表 3）を用いることで、この結果はおそらくすべての $d \ge 4$ に対して成立すると述べている。

• 定理 2 (イジングモデル): $\mathbb{Z}^d$ 上のイジングモデル（$d \ge 8$）において、$\beta \in [0, \beta_c(d) + \epsilon_d)$ である $\beta$ に対して、マイナス相における $+$ スピンは、超臨界サイト・パーコレーションを確率的にドミネートする $\epsilon_d > 0$ が存在する。

  • 改善点: これは、$d$ が「十分に大きい」ことを要求していた Aizenman ら [1] の結果を改善している。
  • 数値的拡張: 数値的な推定によれば、これはすべての $d \ge 5$ に対して成立することが示唆されている。

• 命題 1 & 2: これらの命題は、核となる確率的ドミネーションのメカニズムを提供している。命題 1 は、$V(\mathbb{Z}^d) \setminus C_\infty$ がパラメータ $(1-p)^{2d}$ のサイト・パーコレーションをドミネートすることを示している（ベースラインの境界）。命題 2 は、自由エネルギーの推定に基づき、イジングモデルのドミネーションを確立している。

• 臨界確率の境界: 本論文は、新しい定常ランダムウォークの二次モーメント法を用いて、$4 \le d \le 15$ における $p_c^b(d)$ および $p_c^s(d)$ の厳密な上限値を提供している（表 2）。これらの境界は、$5 \le d \le 10$ において既存の文献よりも鋭い。

意義と主張
本論文は、ボンド・パーコレーションとイジングモデルの両方において、無限クラスターの共存を証明するための次元の閾値を大幅に下げたと主張している。確率的ドミネーションに焦点を当てることで、著者らは従来の存在証明よりも強い結果を提供している。

著者らは、彼らの手法が臨界確率を効果的に抑える能力に依存していることを明示している。彼らは、解析的な手法が $d \ge 9$（パーコレーション）および $d \ge 8$（イジング）で結果を証明している一方で、数値的な証拠は、共存がおそらくすべての $d \ge 4$（パーコレーション）および $d \ge 5$（イジング）で成立することを示唆していることを認めている。

決定的な点として、著者らは低次元における彼らの手法の限界について謙虚に述べている。彼らは、Remark 3 および Remark 4 において、物理的な共存現象自体はそれらの次元でも起こると予想しているものの、彼らの確率的ドミネーション法は $d=3$（およびイジングの場合はおそらく $d=4$）では失敗すると考えていることを明示している。彼らは、$d=3$ において、無限クラスターの補集合は無限に連結な成分を含む可能性が高いが、超臨界サイト・パーコレーションを確率的にドミネートすることはないと主張している。したがって、本論文の貢献は、あらゆる次元における共存の証明ではなく、高次元における特定の強力な形式の共存を厳密に確立したことにある。