[論文レビュー] percolation on finite graphs

Itaï Benjamini|ArXiv.org|Jun 4, 2001

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

ひとこと要約

本稿は、有限の推移的グラフにおける確率誘導（percolation）における巨大連結成分の出現を調査し、グラフサイズが増大する際、高確率で一意の巨大成分が形成される条件を確立している。弱い測度集中と対数的直径の下で、超臨界的確率誘導（p = p_G + ε）が、線形サイズの一意な成分を生じることを証明しており、ランダムグラフおよび無限グラフの確率誘導理論からの知見を、有限の推移的構造へと拡張している。

ABSTRACT

The asymptotic study of percolation on finite transitive graphs is considered. Several questions and very few answers regarding percolation on finite graphs are presented.

研究の動機と目的

• 有限の推移的グラフにおける確率誘導の相転移を理解すること、特に巨大連結成分の出現を目的とする。
• 無限グラフにおける確率誘導とランダムグラフの間のギャップを、中間的な有限の推移的グラフを研究することで埋める。
• 巨大成分の閾値が鋭く、1から離れている条件を確立すること。
• 無限グラフに収束する有限の推移的グラフの系列における成分サイズおよび閾値の漸近的挙動を調査すること。
• 有限の推移的設定におけるグラフ幾何（直径、拡張性、等周性）と確率誘導閾値の関係を調査すること。

提案手法

• 弱い測度集中条件を用いる：大規模な集合 A_n, B_n に対して、G_n 内で距離が diameter(G_n) の o( ) である。
• 短いパスが多数存在することを示すパス数え上げの議論を適用する。
• これらのパスのすべてが開いていない確率を、p = p_G + ε におけるパスの開閉の独立性を用いて推定する。
• FKG不等式と群論的議論（例えば、ケイリー図形における語長の上限）を用いて、接続確率の下界を得る。
• 無限グラフにおける確率誘導およびランダムグラフ理論の技術を適応する。これには、等周定数や指数的交差尾（EIT）性質が含まれる。
• p^G_α を、サイズ α|G| の成分が確率 1/2 で存在する閾値として定義し、その漸近的挙動を研究する。

実験結果

リサーチクエスチョン

• RQ1 有限の推移的グラフにおいて、弱い測度集中、対数的直径、有界次数の下で、|G| → ∞ のとき、超臨界的確率誘導（p = p_G + ε）が高確率で一意の巨大成分を生じる条件は何か？
• RQ2 異なる α ∈ (0,1) に対する確率誘導閾値 p^G_α の漸近的挙動はどのように振る舞い、互いに離れているか？
• RQ3 直径が diam(G) < |G| / log|G| を満たす幾何的制約の下で、サイズ |G|/2 の成分の閾値 p^G は 1 から離れていると保証できるか？
• RQ4 有限の推移的グラフにおける確率誘導確率は、極限の無限グラフにおける無限クラスタ確率に収束するか？
• RQ5 臨界において最大成分の漸近的サイズは何か？また、臨界エローズ＝レニイグラフで観察される n^{2/3} スケーリングに従うか？

主な発見

• 弱い測度集中、対数的直径、有界次数の下で、任意の ε > 0 および C > 0 に対して、n → ∞ のとき、P_{p^G + ε}(サイズ ≥ C|G| の一意の成分) → 1 である。
• 直径が diam(G) < |G| / log|G| を満たす場合、サイズ |G|/2 の成分の閾値 p^G は 1 から離れていることが示され、鋭い幾何的条件であると示唆される。
• ケイリー図形では、2つの頂点が同じ大規模成分に属する確率は、(Cq/2)^{6/qC} で下から抑えられる。ここで q は頂点がサイズ ≥ C|G| の成分に属する確率である。
• n → ∞ のとき、p^G_n_α → p_c(G) であるという予想は、3-正則木 T_3 に収束する系列に対して成り立つ。ここで p_c(T_3) = 1/2 である。
• 超立方体 {0,1}^d では、巨大成分の閾値は 1/d である。これは、極限の無限グラフの臨界確率に収束するという予想を支持する。
• k-正則グラフで p = (k-1)^{-1} のとき、臨界における最大成分のサイズは、O(n^{2/3}) であると予想される。これは、臨界ランダムグラフにおける n^{2/3} スケーリングと類似している。