Near-critical Ornstein--Zernike theory for the planar random-cluster model

技術要約：平面ランダムクラスターモデルにおける近臨界オルンシュタイン–ゼルニケ理論

問題設定
本論文は、パラメータ $q \in [1, 4)$ における二次元ランダムクラスターモデル（FKパーコレーション）の相関構造に関する厳密な理解を扱う。具体的には、パラメータ $p$ が臨界値 $p_c(q)$ に接近する場合に一様に成立する、二点関数 $G(x) = \phi_p[0 \leftrightarrow x]$ の漸近公式の導出を目的としている。

古典的なオルンシュタイン–ゼルニケ（OZ）理論は、劣臨界相（$p < p_c$）における相関の指数関数的減衰を、前因子 $n^{-1/2}$（ここで $n = \|x\|$）を伴って記述する。しかし、先行研究（例：[CIV08]）による厳密な導出は、相関長さ $\xi_p$ よりも小さいスケールでの有限エネルギー引数に依存していた。その結果、これらの結果は $p \nearrow p_c$ において一様ではなかった。課題は、二点関数が指数関数的減衰（劣臨界）から代数的減衰（臨界）へと遷移するクロスオーバー、すなわち $\|x\|$ が相関長さ $\xi_p$ に匹敵するか、あるいはそれを超える場合を特徴付けることである。

手法
著者らは、従来の「ダイヤモンド分解」や「スケルトン・カルキュラス」を用いた手法ではなく、パーコレーション・クラスターの逐次的な探索に基づく新しいアプローチを開発している。核心となる手法は以下の通りである：

1. スケール依存的な探索： 平面を、方向 $\vec{w}$ に直交するハイパープレーンによって、特性長さ $L(p)$（これは相関長さ $\xi_p$ と同等である）の間隔でスライスする。
2. マルコフ更新過程（MRP）： クラスターを左から右へと探索する。クラスターと各ハイパープレーンとの交わりがプロセス $(X_t)$ を定義する。著者らは、クラスターが遠方の半平面まで生存することを条件としたとき、このプロセスが**キルド・マルコフ更新過程（KMRP）**として振る舞うことを証明する。
3. 円錐接続と混合性： 長距離の接続が高確率で固定された開口角を持つ円錐内に閉じ込められることを確立することが、重要な技術的要素である（命題 3.7）。これは、近臨界領域に適応されたRSW（Russo–Seymour–Welsh）推定と、特定の「更新前（pre-renewal）」時刻においてクラスターの「未来」を「過去」から独立してサンプリングすることを可能にする混合特性（補題 3.8）に基づいている。
4. 質量ギャップと指数的裾： 更新過程が「質量ギャップ（mass-gap）」を持つことを示し、これにより生存確率が指数関数的に減衰すること、および更新間時間が指数的な裾を持つことを保証する。これにより、ランダムウォークや更新過程に対する標準的な極限定理の適用が可能となる。

主要な貢献と結果

1. 一様なオルンシュタイン–ゼルニケ漸近式（定理 1.1）：
   主たる結果は、$p < p_c$ かつ $\|x\| \ge \xi_p(\vec{v})$ に対して有効な、一様な二点関数の漸近公式である：
   $$\phi_p[0 \leftrightarrow \lfloor n\vec{v} \rfloor] \asymp \pi_1(\xi_p(\vec{v}))^2 \sqrt{\frac{\xi_p(\vec{v})}{n}} e^{-\frac{n}{\xi_p(\vec{v})}}$$
   ここで、$\pi_1(R)$ は臨界一腕確率（one-arm probability）である。この公式は二つの挙動を融合させている：

   • 項 $e^{-n/\xi_p}$ と前因子 $n^{-1/2}$ は、古典的な劣臨界OZ挙動を表す。
   • 項 $\pi_1(\xi_p)^2$ は、$p_c$ への接近による近臨界的な増強を捉えている。
     この結果は、劣臨界領域と近臨界領域の両方の記述を統一するものである。

2. 逆相関長さの厳密な凸性（定理 4.9）：
   解析により、逆相関長さ $\xi_p(\cdot)$ およびその双対であるウルフ形状（Wulff shape）が厳密に凸であり、微分可能な境界を持つことが確立される。これは、先行研究で使用された摂動論を回避し、探索方向 $\vec{w}$ と条件付きクラスターのドリフト方向との間の写像の可逆性から導かれる。

3. 不変原理（定理 4.10）：
   遠方の点または半平面へと接続することを条件とした、リスケールされたクラスターが、ブラウン運動（またはブラウン橋）に法則の意味で収束することを証明する。これにより、相関長さのスケールにおけるクラスターの形状に関する厳密な幾何学的記述が提供される。

4. キルド・マルコフ更新過程の枠組み：
   クラスターの探索を、質量ギャップを持つKMRPとして定式化する。この枠組みは、モデル固有の幾何学的議論（円錐への閉じ込め、混合性）と、更新過程の一般的な確率論的解析を分離しており、同様の問題に対するモジュール的なアプローチを提供する。

意義と主張
著者らは、本研究が $q \in [1, 4)$ の平面ランダムクラスターモデルにおいて、$p \nearrow p_c$ となる際の$p$ に関して一様なオルンシュタイン–ゼルニケ漸近式の最初の厳密な導出を提供すると主張している。

• 手法の転換： クラスターを静的な分解（ダイヤモンドやスケルトン）によって構築する従来のアプローチとは異なり、本論文は動的な探索戦略を採用している。これにより、相関長さが発散するスケールにおける有限エネルギー引数の限界を回避している。
• 近臨界クロスオーバー： 本論文は、二点関数がいかにして指数関数的減衰から代数的減衰へと切り替わるかを明示的に特徴付けており、臨界項 $\pi_1(\xi_p)^2$ が古典的なOZ挙動からの逸脱の源であることを特定している。
• 汎用性： 証明はRSW推定への依存により $d=2$ に限定されているが（$q=4$ や $q>4$ では同様の方法で確立されていない）、著者らは、固定された $p < p_c$ における高次元での既存の結果を再証明するために、この戦略を適応できる可能性を示唆している。

本論文は、$q=4$ の挙動を解決しようとするものではなく、$q=4$ の場合は対数補正が含まれる可能性が高いこと、また $q>4$ は導出された一様なOZ挙動とは相容れない一次相転移を示すことに注意を向けている。結果は、平面パーコレーションモデルにおける相関減衰の統一的な視点を提供する、近臨界領域へのOZ理論の厳密な拡張として提示されている。