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

Béla Bollobás, Paul Smith+1 more|arXiv (Cornell University)|Sep 19, 2012

Stochastic processes and statistical mechanics参考文献 23被引用数 4

ひとこと要約

本稿は、初期感染確率 $p_n$ が密度が高い（すなわち $1 - p_n$ がゆっくり減少する）場合に、$d$ 次元の離散トーラス $(\mathbb{Z}/n\mathbb{Z})^d$ における $r$-近傍ブートストラップ・パーコレーションにおけるパーコレーション時間の正確な1点および2点集中結果を確立する。$t = o((\log n / \log \log n)^{1/(d-r+1)})$ のとき、$q_n = 1 - p_n$ が反復和 $m_{d,r}(t)$ によって正確に定まる範囲にある限り、パーコレーション時間は高確率で正確に $t$ である。これは、$r$ が $2 \leq r \leq 2d$ のすべての値に一般化され、極値定理を用いた完全な幾何的特徴付けを提供する。

ABSTRACT

We study the percolation time of the $r$-neighbour bootstrap percolation model on the discrete torus $(\Z/n\Z)^d$. For $t$ at most a polylog function of $n$ and initial infection probabilities within certain ranges depending on $t$, we prove that the percolation time of a random subset of the torus is exactly equal to $t$ with high probability as $n$ tends to infinity. Our proof rests crucially on three new extremal theorems that together establish an almost complete understanding of the geometric behaviour of the $r$-neighbour bootstrap process in the dense setting. The special case $d-r=0$ of our result was proved recently by Bollobás, Holmgren, Smith and Uzzell.

研究の動機と目的

• ブートストラップ・パーコレーションにおけるパーコレーション時間集中に関する先行研究を、$r = d$ の特別な場合に限らない、すべての $r$ から $2$ から $2d$ まで拡張すること。
• 初期集合が密度が高い場合の $d$ 次元トーラス上でのパーコレーション時間の完全な特徴付けを提供すること、特に1点および2点集中を含むこと。
• 密度領域における $r$-近傍ブートストラップ過程の幾何的挙動を完全に記述する3つの新しい極値定理を確立すること。
• 組合せ的および確率的技法を用いて、劣臨界モデル（$r > d$）におけるパーコレーション時間およびパーコレーション発生の鋭い閾値を特定すること。

提案手法

• 著者らは、ブートストラップ過程の中心的となる幾何的構造のサイズを記述する反復和 $m_{d,r}(t) = \sum_{i_0=0}^t \sum_{i_1=0}^{i_0} \cdots \sum_{i_{d-r+1}=0}^{i_{d-r}} \binom{d}{i_{d-r+1}}$ を定義する。
• 特に密度領域において、$r$-近傍モデルにおける最小閉集合を特徴付ける、革新的な極値的手法を用いる。保護された集合のサイズに関する境界を確立する。
• 保護されたサイトの層からなる二部グラフにおける二重数え上げの議論に依拠し、保護された集合のサイズが高々多項式的に増大することを示す。
• 希少事象（例えば、大きな未感染ハイパーキューブの存在）の確率に対する2番目のモーメント法および指数的バウンドを用いて、集中結果を導出する。
• 劣臨界モデル（$r > d$）に対して、$q_n \gg n^{-d/m_{d,r}(2d-r+1)}$ ならば、パーコレーションは高確率で失敗することを示し、これは高確率で大きな未感染 $m$-次元ハイパーキューブが存在することを示唆する。
• 主な技術的革新は、$m_{d,r}(t)$-に基づく閾値を用いて、初期感染確率 $p_n$ を正確に調整し、パーコレーション時間が高確率で正確に $t$ となるようにすることにある。

実験結果

リサーチクエスチョン

• RQ1 $(\mathbb{Z}/n\mathbb{Z})^d$ 上の $r$-近傍ブートストラップ・パーコレーションにおいて、初期感染確率 $p_n$ がどの範囲にあるときにパーコレーション時間が高確率で正確に $t$ となるか。
• RQ2 $t$ が小さい（$o((\log n / \log \log n)^{1/(d-r+1)})$ まで）で $p_n$ が密度が高いとき、パーコレーション時間はどのように集中するか。
• RQ3 劣臨界モデル（$r > d$）において、パーコレーションが高確率で発生するための正確な閾値は何か。
• RQ4 $r$-近傍ブートストラップ過程における極値的幾何的構造は、ダイナミクスおよび完全なパーコレーションまでの時間にどのように制約を加えるか。
• RQ5 すべての $2 \leq r \leq 2d$ に対して、パーコレーション時間の1点集中および2点集中を確立できるか。

主な発見

• $t = o((\log n / \log \log n)^{1/(d-r+1)})$ のとき、$q_n = 1 - p_n$ が $n^{-d}/\omega(n)^{1/m_{d,r}(t)} \leq q_n \leq (n^{-d} \omega(n))^{-1/m_{d,r}(t)}$ を満たす限り、パーコレーション時間は高確率で正確に $t$ である。ここで $\omega(n) \to \infty$ である。
• $q_n^{m_{d,r}(t)} n^d \to c > 0$ のとき、パーコレーション時間は高確率で $\{t, t+1\}$ に属する。これは2点集中を示している。
• 劣臨界モデル（$r \geq d+1$）において、$q_n \gg n^{-d/m_{d,r}(2d-r+1)}$ ならば、パーコレーションは高確率で失敗する。これはこの領域におけるパーコレーションの鋭い閾値を与える。
• $r$-近傍モデルにおける最小保護集合は、$k$-層目で高々 $\binom{2d - r + 1}{k}$ に増大する。これは閉じたコファイニット集合のサイズに対するタイトな境界を確立する。
• 原点が保護されており、$P(B_t)$ が最小であるとき、$P(B_t)$ は $(d,r)$-正規的である。すなわち、次元 $2d - r + 1$ の座標軸に平行なハイパーキューブの平行移動である。
• 劣臨界モデルにおけるパーコレーションの臨界確率は $p_c = 1 - O(n^{-d/m_{d,r}(2d-r+1)})$ を満たす。$q_n = O(n^{-d/m_{d,r}(2d-r+1)})$ ならば $P(d,r,n,p_n) \to 1$ であり、そうでなければ $\to 0$ である。