Maximum Cluster Diameter in Non-Critical Bond Percolation

技術要約：非臨界結合パーコレーションにおける最大クラスター直径

問題設定
本論文は、$d$次元整数格子 $\mathbb{Z}^d$ ($d \geq 2$) 上の独立（ベルヌーイ）結合パーコレーションにおける、有限連結成分の幾何学的特性を調査するものである。対象とする領域は非臨界領域 ($p \neq p_c$) である。無限クラスターの存在と一意性、臨界値、および相関の減衰については既に確立されているが、非臨界領域における有限クラスターの幾何学的量に関する鋭い漸近挙動については、理解が進んでいない。具体的には、本論文は、辺の長さ $2n+1$ のボックス $B_n$ 内に含まれる有限クラスターの最大直径 $R_n$ の挙動を扱う。直径は $\ell_\infty$ ノルムを用いて測定される。本研究は、$n \to \infty$ における $R_n$ のほとんど確実な（almost sure）漸近成長率の決定、この典型的なサイズからの偏差に関する大偏差原理の確立、および大きな直径を持つクラスターの空間的広がり（頂点数）の分析に焦点を当てている。

手法
解析は、非臨界領域における連結確率の指数関数的減衰に基づいている。著者は、以下の通り定義される減衰率 $\xi(p)$ を利用する：
$$\xi(p) = \lim_{n \to \infty} \left\{ -\frac{1}{n} \log P_p(0 \leftrightarrow \partial B_n, |C_0| < \infty) \right\}$$
ここで、$\xi(p) = \phi(p)$ ($p < p_c$ の場合) および $\xi(p) = \sigma(p)$ ($p > p_c$ の場合) である。直径のスケーリングを支配する定数は $\kappa(p) = d/\xi(p)$ と定義される。

証明には、有限クラスターの最大体積に関する van der Hofstad と Redig の手法を、直径へと拡張した技術が用いられている。主な手法論的ステップは以下の通りである：

1. ボレル・カンテリ集合およびブールの不等式： ほとんど確実な収束の確立、および事象の和の確率の上限を求めるために使用される。
2. 離散化と独立性： 下界の証明および大偏差原理を証明するために、ボックス $B_n$ を、互いに十分に離れた小さなサブボックスのグリッド（$A_n$）に分割する。これにより、これらのサブボックス内におけるクラスターが特定の直径を持つという事象が独立であることを保証し、積の推定を可能にする。
3. 分散解析： 大きな直径を持つクラスターの頂点数の漸近挙動については、チェビシェフの不等式を用いる。これには、相関の指数関数的減衰を利用するために、頂点間の距離に基づいて共分散項を分割しながら、カウント変数 $S_n(\rho)$ の分散の詳細な推定を行うプロセスが含まれる。
4. 境界条件： 本論文では、自由境界条件 ($R_n^{(fb)}$) とゼロ境界条件（$B_n$ の外部の結合を強制的に閉じたもの、 $R_n^{(zb)}$）を区別し、それらが漸近的に等価であることを証明する。

主要な結果
本論文は、4つの主要な定理を確立している：

• 定理 2.1 (ほとんど確実な収束)： $p \neq p_c$ のとき、最大直径 $R_n$ は以下を満たす：
  $$\frac{R_n}{\log n} \to \kappa(p) \quad (n \to \infty \text{ のとき、ほとんど確実に})$$
  これは、最大直径がボックスのサイズに対して対数的に成長し、そのレートが次元でスケールされた相関長さの減衰の逆数によって決定されることを裏付けている。

• 定理 2.2 (境界条件の等価性)： 自由境界条件における最大直径とゼロ境界条件における最大直径の差は、漸近的に消失する：
  $$\lim_{n \to \infty} P_p(R_n^{(zb)} \neq R_n^{(fb)}) = 0$$

• 定理 2.3 (大偏差原理)： 任意の $\rho > \kappa(p)$ に対して、最大直径が $\rho \log n$ を超える確率は、$\log n$ に関して指数関数的に減衰する。具体的には、レート関数 $\varsigma(\rho)$ が存在し、以下で与えられる：
  $$\varsigma(\rho) = \lim_{n \to \infty} -\frac{1}{\log n} \log P_p(R_n > \rho \log n) = \xi(p)\rho - d$$
  これは、典型的なスケールよりも著しく大きなクラスターが観測されることの稀少性を定量化している。

• 定理 2.4 (頂点数の漸近挙動)： $S_n(\rho)$ を、$B_n$ 内の直径が $\rho \log n$ を超える有限クラスターに属する頂点の数とする（ここで $0 < \rho < \kappa(p)$）。本論文は、$S_n(\rho)$ がその期待値の周りに集中することを証明する：
  $$\frac{S_n(\rho)}{E_p[S_n(\rho)]} \xrightarrow{P_p} 1$$
  さらに、そのような頂点の期待数は以下のスケールを持つ：
  $$n^{d - \xi(p)\rho - \varepsilon} \leq E_p[S_n(\rho)] \leq n^{d - \xi(p)\rho + \varepsilon}$$

意義と主張
本論文は、非臨界パーコレーションにおける有限クラスターの幾何学に関する理解の空白を埋めるものであると主張している。クラスターのサイズや半径の裾の挙動については広く研究されてきたが、最大直径に関する鋭い漸近挙動はこれまで未知であった。これらの結果は、最大の有限クラスターの空間的広がりを精密に特徴付け、この幾何学的量を連結性の指数関数的減衰率に直接結びつけるものである。

著者は、最大クラスターの体積に関する先行研究（van der Hofstad および Redig）の枠組みを直径へと拡張したと述べている。また、本論文は、化学的（グラフ）距離で測定される直径にもこれらの結果が拡張できる可能性を示唆しており、化学的距離のレート関数に関する Dembin および Nakajima の最近の研究を引用しているが、この拡張は本テキスト内では証明されていない。本研究は厳密に理論的なものであり、実験的な応用や将来の物理モデルを提案することなく、厳密な確率的境界と漸近極限に焦点を当てている。