[論文レビュー] Subcritical phase of $d$-dimensional Poisson-Boolean percolation and its vacant set

Hugo Duminil‐Copin, Aran Raoufi+1 more|arXiv (Cornell University)|May 2, 2018

Stochastic processes and statistical mechanics被引用数 6

ひとこと要約

本稿は、半径分布の弱いモーメント条件（$r^{5d-3}$ の可積分性）の下で、$d$ 次元のポisson-ボーツェの確率的グラフの相転移が鋭いものであることを確立し、$\lambda_c = \tilde{\lambda}_c$ を証明した。また、半径分布の指数的尾部を持つ場合、接続確率の指数的減衰が成立する。証明では、指数的減衰の仮定に依存せずに接続確率に関する微分不等式を導出するための確率的アルゴリズムを用い、同様の鋭さの結果が空集合に対しても拡張可能である。

ABSTRACT

We prove that the Poisson-Boolean percolation on $\mathbb{R}^d$ undergoes a sharp phase transition in any dimension under the assumption that the radius distribution has a $5d-3$ finite moment (in particular we do not assume that the distribution is bounded). More precisely, we prove that: -In the whole subcritical regime, the expected size of the cluster of the origin is finite, and furthermore we obtain bounds for the origin to be connected to distance $n$: when the radius distribution has a finite exponential moment, the probability decays exponentially fast in $n$, and when the radius distribution has heavy tails, the probability is equivalent to the probability that the origin is covered by a ball going to distance $n$. - In the supercritical regime, it is proved that the probability of the origin being connected to infinity satisfies a mean-field lower bound. The same proof carries on to conclude that the vacant set of Poisson-Boolean percolation on $\mathbb{R}^d$ undergoes a sharp phase transition. This paper belongs to a series of papers using the theory of randomized algorithms to prove sharpness of phase transitions.

研究の動機と目的

• 半径分布に対する最小限のモーメント仮定の下で、$\mathbb{R}^d$ におけるポアソン-ボーツェの確率的グラフの鋭い相転移を確立すること。
• 半径分布の $r^{5d-3}$ モーメント条件の下で、臨界パrameter $\lambda_c$ と $\tilde{\lambda}_c$ が一致することを証明し、鋭さを示すこと。
• 指数的尾部と重い尾部を持つ半径分布の両方において、下側臨界領域における接続確率 $\theta_r(\lambda)$ の減衰率を特定すること。
• 半径分布の緊密な台を持つ場合に、ポアソン-ボーツェモデルの空集合に対しても鋭い相転移結果が成り立つことを拡張すること。
• 指数的減衰の仮定なしに接続確率を制御する新しい再スケーリング不等式を構築・適用すること。

提案手法

• 確率的アルゴリズムを用いて接続確率に関する微分不等式を導出し、高次元における鋭さの証明を可能にする。
• 原点をカバーし、$\partial B_r$ と交差するような単一の球の確率を表す関数 $\pi_r^\alpha(\lambda)$ を導入し、接続性の主要な基準として用いる。
• 補題19を用いた再帰的不等式により、$\theta_r^\alpha(\lambda)$ を $\pi_r^\alpha(\lambda)$ で上界で抑え、スケーリングおよび劣加法性を活用する。
• 重い尾部を持つ分布の下で、$\theta_r(\lambda)$ の減衰を、原点をカバーし $\partial B_r$ と交差するような単一の球の確率 $\varphi_r(\lambda)$ と比較することで制御する。
• $r \to \infty$ の極限において、$g(\alpha,r)$ と $f(\alpha,r)$ が連続極限に一様収束することを用いて、重い尾部の場合の漸近的同値性を分析する。
• 空集合への適用のため、ボーツェモデルの補集合における接続性を考察し、双対的な接続イベント $x^* \leftrightarrow y$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 半径分布が $5d-3$ 階のモーメントしか持たない場合、$\mathbb{R}^d$ におけるポアソン-ボーツェの確率的グラフは鋭い相転移を示すか？
• RQ2 半径分布に指数的尾部の仮定を置かずに、$\lambda_c = \tilde{\lambda}_c$ の等式を確立できるか？
• RQ3 半径分布が重い尾部を持つ場合、下側臨界領域における $\theta_r(\lambda)$ の減衰はどのように振る舞うか？
• RQ4 半径分布が緊密な台を持つ場合、ポアソン-ボーツェの確率的グラフの空集合に対しても鋭い相転移が成立するか？
• RQ5 半径の尾部が $r^{-c}$ または $\exp(-c r^\alpha)$ のように減衰する場合、$\theta_r(\lambda)$ と $\varphi_r(\lambda)$ は漸近的に同値となるか？

主な発見

• 積分 $\int_{\mathbb{R}^+} r^{5d-3} d\mu(r) < \infty$ の仮定の下で、臨界パrameterは $\lambda_c = \tilde{\lambda}_c$ を満たし、相転移の鋭さが証明された。
• 指数的尾部減衰（$\mu[r,\infty] \leq \exp(-cr)$）の下で、$\lambda < \tilde{\lambda}_c$ かつ $r \geq 1$ のとき、接続確率は指数的に減衰する：$\theta_r(\lambda) \leq \exp(-c_\lambda r)$。
• 半径尾部が $\mu[r,\infty] = r^{-c}$（$c > 0$）のとき、接続確率 $\theta_r(\lambda)$ は $\varphi_r(\lambda)$ と漸近的に同値である。
• 指数的減衰より遅い尾部（$\mu[r,\infty] = \exp(-c r^\alpha)$、$\alpha \in (0,1)$）のとき、$r \to \infty$ の極限で $\theta_r(\lambda) \sim \varphi_r(\lambda)$ が成り立つ。
• 半径分布が緊密な台を持つ場合、ポアソン-ボーツェの確率的グラフの空集合に対しても鋭い相転移が成立し、$\lambda_c^* = \tilde{\lambda}_c^*$ が成り立つ。
• 確率的アルゴリズムと再スケーリング不等式に基づく証明手法は、指数的減衰の仮定なしに、占有集合および空集合の両方へ適用可能であり、頑健である。