[論文レビュー] Existence of an unbounded vacant set for subcritical continuum percolation

Daniel Ahlberg, Vincent Tassion+1 more|arXiv (Cornell University)|Jun 9, 2017

Stochastic processes and statistical mechanics参考文献 8被引用数 2

ひとこと要約

本稿では、半径分布の2階モーメントが有限である2次元ポアソンボレル確率的透過において、空隙成分が非有界であるための臨界強度が、占有成分のそれと等しいことを確立する。著者らは、再正規化技術を避ける新しいペイエルズ型の議論を用いて、長距離の占有的接続がないならば、非一様に非有界な空隙成分がほとんど確実に存在することを証明し、最小限のモーメント仮定のもとで長年の未解決問題を解決した。

ABSTRACT

We consider the Poisson Boolean percolation model in $\mathbb{R}^2$, where the radii of each ball is independently chosen according to some probability measure with finite second moment. For this model, we show that the two thresholds, for the existence of an unbounded occupied and an unbounded vacant component, coincide. This complements a recent study of the sharpness of the phase transition in Poisson Boolean percolation by the same authors. As a corollary it follows that for Poisson Boolean percolation in $\mathbb{R}^d$, for any $d\ge2$, finite moment of order $d$ is both necessary and sufficient for the existence of a nontrivial phase transition for the vacant set.

研究の動機と目的

• R²における下位連続透過において、最小限のモーメント条件下で空隙と占有透過閾値が一致するか否かという未解決問題を解明すること。
• 任意の次元 d ≥ 2 において、空隙集合における非自明な相転移が生じるための半径分布の有限2階モーメントが、必要かつ十分であることを確立すること。
• 強い相関除去仮定を必要としない、ペイエルズ型の議論に基づく新しい証明技法を提供すること。
• 半径分布に有限d階モーメントがある場合、最小限のモーメント条件下で高次元における相転移の鋭さ結果を空隙集合へと拡張すること。

提案手法

• 大球 B(0, L) を取り囲む半径が減少する球の系列（ネックレス）が、原点回りの占有的ループに対応することを示すため、ペイエルズ型の議論を導入し、その出現確率を評価する。
• ネックレスを、その和集合が B(0, L) を無限遠と分離し、任意の1つの球を取り除いても連結性を保つような、半径が減少する球の系列として定義する。
• 双対的定式化を用いる：B(0, L) が空隙集合において無限遠と接続されていない確率は、B(0, L) を取り囲む占有的ループ（すなわちネックレス）の出現確率に等しい。
• ネックレスの出現確率を、2の累乗スケールにおける2番目に大きな球の半径についての和集合に分解するため、dyadic スケールへの和集合を用いる。
• ポアソン尾部確率の境界と幾何的推定を用いて、特定のサイズおよび位置制約を満たす球の期待数を制御する。
• 有限2階モーメント条件（H2）を活用し、大半径における尾部積分 ∫ z² μ(dz) の和がスケールが増加するにつれて消えることを保証する。

実験結果

リサーチクエスチョン

• RQ1 半径分布の2階モーメントが有限であるという条件下で、2次元ポアソンボレル透過における空隙集合の臨界閾値が、占有集合のそれと一致するか？
• RQ2 有限2階モーメント条件（H2）は、R²における空隙集合における非自明な相転移の必要かつ十分条件か？
• RQ3 強い相関除去仮定に依存しないペイエルズ型の議論を、連続透過モデルに適応可能か？
• RQ4 半径分布に有限d階モーメントがある場合、d ≥ 2次元において、閾値の一致は高次元へと拡張可能か？
• RQ5 2階モーメント条件は、下位状態における非有界空隙成分の存在を保証するために果たす役割は何か？

主な発見

• 有限2階モーメント条件（H2）のもとで、2次元ポアソンボレル透過における空隙集合と占有集合の臨界閾値は一致し、λ⋆c = λc が成り立つ。
• R²における空隙集合における非自明な相転移が生じるための有限2階モーメント条件（H2）は、必要かつ十分である。
• 高次元 d ≥ 2 において、有限d階モーメント条件（Hd）は、空隙成分が小強度で非有界に存在するための必要かつ十分条件である。すなわち、λ⋆c ∈ (0, ∞) である。
• 本証明では、ボックスの通過確率がサイズが増加するにつれて消えるならば、H2のもとで非有界空隙成分がほとんど確実に存在することを示した。
• 著者らは、従来の再正規化に基づく証明で用いられる強い相関除去仮定を回避する新しいペイエルズ型の議論を構築した。
• L → ∞ のとき、∑j≥j₀ p(3j) は有限2階モーメントのおかげで0に近づくため、ネックレスの出現確率の減衰が保証され、証明が完成する。