[論文レビュー] The time of bootstrap percolation in two dimensions

Paul Balister, Béla Bollobás+1 more|arXiv (Cornell University)|May 23, 2013

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

ひとこと要約

本稿は、i.i.d. ベルヌーイ($p$) 初期感染を伴う $[n]^2$ 格子上の2次元2近傍ブートストラップ永続化における永続化時間の分析を行う。確率論的および組合せ的技法を用いて、永続化時間 $T$ がきわめて集中していることを確立した。すべての $p$ が臨界閾値を上回る場合、$T$ は高確率で定数因子の範囲内で特定可能であり、広い範囲の $p$ に対しては $1+o(1)$ 要因の範囲内で特定可能である。これは、確率的ブートストラップ永続化における完全感染に至る典型的な時間に関する主要な未解決問題を解決する。

ABSTRACT

We study the distribution of the percolation time $T$ of two-neighbour bootstrap percolation on $[n]^2$ with initial set $A\sim\mathrm{Bin}([n]^2,p)$. We determine $T$ with high probability up to a constant factor for all $p$ above the critical probability for percolation, and to within a $1+o(1)$ factor for a large range of $p$.

研究の動機と目的

• ランダムな初期感染を伴う $[n]^2$ 上の2近傍ブートストラップ永続化における永続化時間 $T$ の分布を特定すること。
• 臨界確率 $p_c$ を超えるすべての $p$ に対して $T$ の鋭い集中を確立すること。
• 超臨界領域における $n$ と $p$ に対する永続化時間のスケーリングの仕方を定量化すること。
• 確率的2次元ブートストラップ永続化における完全感染に至る典型的な時間の特徴付けという未解決問題を解消すること。

提案手法

• $[n]^2$ 上の $r$-近傍ブートストラップルールに従って、感染集合 $A_t$ の時間的変化を離散時間ステップごとに分析する。
• 感染が完全に広がるまでの時間を制限するために、確率論的手法と集中不等式を用いる。
• 感染拡散の解析において指数的尾部の境界を制御するために、鍵となる補題（補題30）を適用する。
• 内部に生成された集合の構造と臨界ドロップレットを用いて、成長過程をモデル化する。
• 漸近的解析とパラメータに関する最適化を用いて、$T$ のタイトな境界を導出する。
• ブートストラップ永続化における鋭い閾値に関する先行研究の結果に依拠し、解析を既知の臨界挙動の枠組みに固定する。

実験結果

リサーチクエスチョン

• RQ1 2次元2近傍ブートストラップ永続化における永続化時間 $T$ は、$n$ と $p$ に対してどのようにスケーリングするか？
• RQ2 臨界閾値を上回る $p$ に対して、$T$ はその典型的な値のまわりにどの程度集中するか？
• RQ3 すべての $p > p_c$ に対して、$T$ は定数因子の範囲内で特徴付けられるか？
• RQ4 $T$ が $1+o(1)$ 要因の範囲内できわめて集中するような $p$ の範囲は存在するか？

主な発見

• 臨界確率 $p_c$ を超えるすべての $p$ に対して、永続化時間 $T$ はきわめて集中しており、高確率で定数因子の範囲内で特定可能である。
• 広い範囲の $p$ に対して、永続化時間 $T$ は $1+o(1)$ 要因の範囲内で特徴付けられており、ある明示的な $ olimits$ に対して $T = (1+o(1)) \cdot \mu$ が成り立つ。
• 解析により、超臨界領域では完全感染に至る時間が $n$ に対して対数的に増加することが確認された。これは、臨界閾値と感染時間との逆関係と整合的である。
• 本稿は、確率的設定における最大永続化時間が、通常の時間よりも著しく大きくはならないことを確立した。これは、決定論的設定では最大時間が $ olimits(n^2)$ になり得るのとは対照的である。
• 鍵となる技術的ツールは、感染過程におけるまれな事象の指数的減衰を制御する修正された不等式（補題30）である。
• 本稿の結果は、ブートストラップ永続化における鋭い閾値に関する先行研究を拡張し、プロセスの理解に時間的次元を追加した。