[論文レビュー] Sharp threshold for $K_4$-percolation

Brett Kolesnik|arXiv (Cornell University)|May 24, 2017

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

ひとこと要約

本稿は、Erdős–Rényi 確率的グラフ $\mathcal{G}_{n,p}$ における $K_4$-percolation の鋭い閾値を確立し、$p \sim 1/\sqrt{3n\log n}$ のとき、高確率でpercolationが発生することを証明している。構造的分解（3-コアを用いた）と確率的尾部推定を組み合わせることで、より大きなpercolating部分グラフが指数的に起こりにくくなることを示し、以前の研究で定数要因の範囲でのみ閾値が特定されていたのを改善した。

ABSTRACT

We locate the critical threshold $p_c$ at which it becomes likely that the complete graph $K_n$ can be obtained from the Erdős-Rényi graph ${\cal G}_{n,p}$ by iteratively completing copies of $K_4$ minus an edge. This refines work of Balogh, Bollobás and Morris that bounds the threshold up to multiplicative constants.

研究の動機と目的

• Erdős–Rényi 確率的グラフ $\mathcal{G}_{n,p}$ における $K_4$-percolation の正確な鋭い閾値を特定し、以前の研究で定数要因の範囲でのみ閾値が特定されていたのを改善すること。
• $K_4$-percolation が主に小さな初期構造（例えば1本の辺）によって駆動されているのか、それともより大きな複雑な部分グラフによって駆動されているのかを解明すること。
• 最小次数が3以上の（3-コアである）percolating 部分グラフが、臨界閾値未満では指数的に起こりにくくなることを示すこと。
• 3-コアの組み合わせ的数え上げと2近傍ブートストラップpercolationからの尾部確率推定を組み合わせることで、正確な漸近的閾値を確立すること。

提案手法

• percolating グラフを、次数2の頂点を反復的に削除することで得られるコア部分グラフに分解する。コアの最小次数が ≥3 であれば、それを3-コアと呼ぶ。
• グラフ $G$ が $K_4$-percolate するための必要十分条件は、そのコアが、2-近傍ブートストラップによってpercolationを引き起こす「種の辺」であるか、または3-コアであると示される。
• サイズ $q$ のpercolating 3-コアの数に対する組み合わせ的上界 $(2/e)^q q! q^q$ を導出する。
• 2-近傍ブートストラップpercolationからの尾部確率推定を適用し、サイズ $q$ の与えられた集合が $\mathcal{G}_{n,p}$ で少なくとも $k$ 個の頂点を感染させる確率を評価する。
• サイズ $k=\beta\log n$ のpercolating 部分グラフで、3-コアのサイズ $q \leq (3/2)\log n$ のものの期待値を、関数 $\mu(\alpha,\beta)$ を用いて評価する。この関数は臨界閾値未満で負であることが示される。
• 別個の議論により、$q \geq (3/2)\log n$ の大きな3-コアの存在が、巨視的成分の不確実な合体を要請するため、高確率で存在しないことが示される。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{G}_{n,p}$ が $K_4$-percolate する可能性が高まる漸近的閾値 $p_c(n,K_4)$ は何か？
• RQ2 3-コアがpercolationの主な要因であるのか、それともプロセスはより小さな初期構造によって駆動されているのか？
• RQ3 percolating 部分グラフの期待数は $p$ とともにどのように変化するか？ また、閾値未満でその非存在を示すために、その数を抑えられるか？
• RQ4 2-近傍ブートストラップpercolationからの尾部推定を、$K_4$-percolation における大規模なpercolation確率を制御するために適応できるか？

主な発見

• $K_4$-percolation の鋭い閾値は $p_c(n,K_4) \sim 1/\sqrt{3n\log n}$ であり、臨界確率の漸近的場所が解明された。
• サイズ $k=\beta\log n$ のpercolating 部分グラフで、3-コアのサイズ $q \leq (3/2)\log n$ のものの期待値は $n^{\mu+o(1)}$ で抑えられ、ここで $\mu(\alpha,\beta) = 3/2 + \beta\log(\alpha\beta) - \alpha\beta^2/2$ であり、この指数は閾値未満で負である。
• $p = \sqrt{\alpha/(n\log n})$ で $\alpha < 1/3$ のとき、$\langle \mathcal{G}_{n,p} \rangle_{K_4}$ の最大クリークのサイズは $(\beta_* + o(1))\log n$ であり、ここで $\mu(\alpha,\beta_*) = 0$ である。これは閾値の挙動を確認する。
• $q \geq (3/2)\log n$ の3-コアの存在は、高確率で除外される。このような構造が存在するには、巨視的成分の不確実な合体が必要であり、それは不確実である。
• 解析により、種の辺（2-近傍ブートストラップを介して）がpercolationの主なメカニズムであることが確認され、臨界閾値未満ではより大きな3-コアは顕著に寄与しない。