Supercritical sharpness for Ising double random currents

技術的要約：イジング・ダブル・ランダム・カレントの超臨界鋭敏性

問題提起
本研究は、次元 $d \geq 3$ の格子 $\mathbb{Z}^d$ 上のイジング模型における超臨界領域（$\beta > \beta_c$）を扱う。具体的には、イジング模型のダブル・ランダム・カレント表現によって誘起されるパーコレーション特性を調査する。劣臨界領域（$\beta < \beta_c$ における相関の指数関数的減衰）および、密接に関連するフォルトゥニ・カスタステレイン（FK）ランダム・クラスター模型における超臨界領域については、すでに十分に理解されている。しかし、ダブル・ランダム・カレント測度は、特有の解析的な困難を伴う。特に、それはFK不等式や $\beta$ に関する標準的な単調性を欠いており、そのため、超臨界鋭敏性（マクロなクラスターが極めて高い確率で一意であること）の証明は、FK設定よりも著しく困難である。

先行研究である Duminil-Copin, Goswami, および Raoufi [DCGR20] は、自由・ワイヤード間のエッジ密度の差に対して多項式的な下限を証明するために、高度にテクニカルな**多価写像原理（multi-valued map principle）**を用いて、FK-イジング測度における切断相関の指数関数的減衰および指数関数的混合を確立した。本論文は、ダブル・ランダム・カレント測度そのものに対して、境界条件（ソース）に関して一様に超臨界鋭敏性を証明し、前述の混合結果をその帰結として導出するための、より単純で直接的な証明を提供することを目指している。

手法
著者らは、[DCGR20] で用いられた複雑な多価写像の議論を回避する証明戦略を開発する。代わりに、このアプローチは、ランダム・カレント測度の新しい表現と組み合わせたスプリンクリング（sprinkling）引数に依拠している。証明は以下の3つのステップで進行する：

1. スプリンクリング表現 (Proposition 3.1): 著者らは、各エッジが複製され、「中間点」頂点が追加された修正グラフ $\tilde{\Lambda}$ を導入する。彼らは、ランダム・カレント測度 $P^S_{\Lambda}[\beta]$ が、この修正グラフ $\tilde{\Lambda}[\beta, \beta']$ 上のランダム・カレント測度のベルヌーイ・スプリンクリングとして表現できることを示す。この構成により、$\beta$ に関する単調性の欠如を回避し、モデルを、追加のエッジが小さな確率で独立に開かれる「スプリンクルされた」バージョンに関連付けることが可能となる。

2. 表面次数指数減衰 (Proposition 3.2): [DCGR20] のボックス結合技術に基づき、また [DCLQ21] のソースに関する単調性引数を利用して、修正グラフにおいて、あるボックスがより大きなボックスの境界から断絶される確率に関する表面次数の指数的境界を確立する。このステップにより、境界クラスターが十分に高密度であること（具体的には $\ell_L = o(\log L)$ に対して $\ell_L$-dense であること）を証明する。

3. スプリンクリングによる局所的一意性 (Proposition 3.3): Severo [Sev24] による結果（それ自体が Benjamini および Tassion [BT17] に触発されたもの）を導入し、ある構成が密な境界クラスターの雲を有している場合、独立なベルヌーイ・スプリンクリング（任意の小さな確率）を加えることで、局所的一意性（イベント $U(L)$）が極めて高い確率で保証されることを示す。スプリンクリング表現と密度境界を組み合わせることで、ダブル・ランダム・カレント測度がすべてのソース集合に対して一様に局所的一意性を満たすことを証明する。

主要な貢献と結果
中心的な結果は、ダブル・ランダム・カレント・モデルの超臨界鋭敏性を確立する Theorem 1.1 である：

• $d \geq 3$ かつ $\beta > \beta_c$ のとき、局所的一意性イベント $U(L)$（アニュラス内における一意な交差クラスターの存在）の確率は、スケール $L \to \infty$ とともに、すべての偶数ソース集合 $A, B$ に対して一様に 1 に収束する。
• 収束は指数的である：$\inf_{A,B} P^{A,B}_{\Lambda_{10L}}[U(L)] \geq 1 - e^{-cL}$。

この主定理から、著者らは以下の系を導出する：

• 切断相関の指数減衰 (Corollary 1.3): $\beta > \beta_c$ のとき、切断された二点関数は指数関数的に減衰する：$\langle \sigma_0; \sigma_x \rangle^+_\beta \leq e^{-c|x|}$。
• イジング模型の指数混合 (Corollary 1.5): イジング測度 $\nu^+_\beta$ は、大きな距離で離れたイベントに対して指数混合を示す。
• パーコレーション表現の指数比混合 (Corollary 1.7): 無限体積ランダム・カレント測度 $P_\beta$ および FK-イジング測度 $\phi_\beta$ は、ともに指数比混合特性を満たす。これは、任意の境界条件を持つ有限体積測度と無限体積測度との間のラドン＝ニコディム微分が、1 に指数関数的に速く収束することを意味する。

意義と主張
本論文の主要な意義は、ダブル・ランダム・カレント・モデルにおける超臨界鋭敏性の証明の簡略化にあると主張している。「高度にテクニカルな多価写像原理」であった [DCGR20] を「単純なスプリンクリング引数」に置き換えることで、著者らはこれらの結果へのよりアクセスしやすい経路を提供している。

さらに、本研究はダブル・ランダム・カレント測度に対して直接的に超臨界鋭敏性を確立しており、これは [DCGR20] では得られていなかった結果である。この直接的な結果は、相関の指数減衰および混合特性を導出するための基礎となる。著者らは、FK-イジングモデルの結果は既知であるが、彼らのアプローチは**比混合（ratio mixing）**を直接的に導出するものであるのに対し、先行研究 [DCGR20] は比混合ではない命題から比混合を導出するために追加の抽象的な定理を必要としたことを指摘している。また、本論文は、平面的なケース（$d=2$）についても、双対性と高温展開の議論を通じて議論が拡張可能であることに触れているが、主な焦点は $d \geq 3$ に置かれている。