[論文レビュー] The time of bootstrap percolation for dense initial sets

Béla Bollobás, Cecilia Holmgren+2 more|arXiv (Cornell University)|May 17, 2012

Stochastic processes and statistical mechanics参考文献 29被引用数 7

ひとこと要約

本稿は、初期感染確率 $p$ が 1 に近い場合の $d$ 次元トーラス $\mathbb{T}_n^d$ におけるブートストラップパーコレーションの完了までの時間を分析する。スティン・チェン法と極値組合せ論を用いて、$t = o(\log n / \log \log n)$ のとき、パーコレーションに向けた鋭い閾値を確立し、特定の $p(n)$ の範囲ではパーコレーション時間が 1 つまたは 2 つの連続する値に集中することを示した。また、原点付近の未感染サイトの数に対する正確なポアソン収束を示した。

ABSTRACT

In r-neighbour bootstrap percolation on the vertex set of a graph G, vertices are initially infected independently with some probability p. At each time step, the infected set expands by infecting all uninfected vertices that have at least r infected neighbours. We study the distribution of the time t at which all vertices become infected. Given t = t(n) = o(log n/log log n), we prove a sharp threshold result for the probability that percolation occurs by time t in d-neighbour bootstrap percolation on the d-dimensional discrete torus T_n^d. Moreover, we show that for certain ranges of p = p(n), the time at which percolation occurs is concentrated either on a single value or on two consecutive values. We also prove corresponding results for the modified d-neighbour rule.

研究の動機と目的

• 初期感染確率 $p$ が 1 に近いとき、$d$ 次元トーラスにおける $r$-近傍ブートストラップパーコレーションの完全パーコレーションまでの時間分布を理解すること。
• 密度の高い初期集合のもとで、$t = o(\log n / \log \log n)$ のとき、パーコレーションが時間 $t$ までに完了する確率の鋭い閾値を確立すること。
• 特定の $p(n)$ の範囲において、パーコレーション時間 $T$ が 1 つまたは 2 つの連続する値に集中する条件を分析すること。
• $d$-近傍ルールの修正版に一般化し、$2 \leq r \leq d$ の $r$-近傍モデルへの一般化を検討すること。

提案手法

• スティン・チェン法を用いて、$q_n = 1 - p_n \leq C n^{-d/(2t+1)}$ の条件下で、時間 $t$ における未感染サイト数のポアソン収束を証明する。
• 極値組合せ論を応用し、半径 $t$ の球内に原点を保護する $m_t(d,d) + k$ 個の未感染サイトの配置の数を抑え、$g_t(k) = O(t^{O(k)})$ を示す。
• $T$ をすべての頂点が感染する最小の時刻として定義し、$t = o(\log n / \log \log n)$ のときの $\mathbb{P}_{p_n}(T \leq t)$ を研究する。
• $B_t^d$ 内の最小集合および標準集合の構造を分析し、保護されたサイト数の下界を導出し、感染プロセスの尾部挙動を制御する。
• 特定の $p_n = 1 - n^{-d/m_{t,d}}$ の下で、$t = o(\log n / \log \log n)$ のとき、パーコレーション時間 $T$ が 1 つまたは 2 つの値に集中することを確立する。
• $(d,r)$-標準集合を導入し、$r$-近傍ブートストラップパーコレーションに一般化することで、類似の集中および閾値結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 初期感染確率 $p$ が 1 に近いとき、$\mathbb{T}_n^d$ における $d$-近傍ブートストラップパーコレーションが $t = o(\log n / \log \log n)$ の時点で完了する確率の鋭い閾値は何か？
• RQ2 $p(n)$ が 1 に近い特定の範囲にあるとき、パーコレーション時間 $T$ はどのように集中するか？ また、どのような条件下で 1 つまたは 2 つの連続する値に集中するか？
• RQ3 標準 $d$-近傍モデルの結果は、$2 \leq r \leq d$ の $r$-近傍ブートストラップパーコレーションに拡張可能か？
• RQ4 極値的配置、特に標準的および最小集合が、完全パーコレーションまでの時間を制御する役割を果たすか？
• RQ5 パーコレーション時間の鋭い閾値および集中結果は、$t = o(\log n / \log \log n)$ よりも大きな $t$、例えば $t = o(\log n)$ に対しても拡張可能か？

主な発見

• $t = o(\log n / \log \log n)$ のとき、パーコレーションが時間 $t$ までに完了する確率は、$p_n$ に関して鋭い閾値を示す。
• $q_n \leq C n^{-d/(2t+1)}$ の条件下で、時間 $t$ における未感染サイト数は全 Variation 距離で平均 $\mu_n = (1+o(1))dn^d q_n^{2t+1}$ のポアソン分布に収束する。
• $p_n$ が特定の範囲にあるとき、パーコレーション時間 $T$ は $q_n = 1 - p_n$ の減衰率に応じて 1 つの値または 2 つの連続する値に集中する。
• $B_t^d$ 内で原点を保護する $m_t(d,d) + k$ 個の未感染サイトの配置の数 $g_t(k)$ は、$t$ の指数に依存しない $O(t^{O(k)})$ である。
• $2 \leq r \leq d$ の $r$-近傍ブートストラップパーコレーションでは、$(d,r)$-標準集合を用い、$m_t(d,r)$ を保護集合の最小サイズとして定義し、類似の結果が成り立つ。
• 著者らは、$t = o(\log n)$ の範囲でも鋭い閾値および集中結果が成り立つと予想している。