[論文レビュー] Majority bootstrap percolation on the random graph G(n,p)

Sigurður Örn Stefánsson, Thomas Vallier|arXiv (Cornell University)|Mar 24, 2015

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

ひとこと要約

本稿は、 Erdős–Rényi 隨機グラフ $G_{n,p}$ における多数派ブートストラップ永続化を研究しており、頂点はその隣接頂点の半数を超えて活性化されている場合に活性化される。永続化（ほとんどすべての頂点が活性化される）が発生するのは、初期活性集合が $\frac{1}{2}n$ を超える場合に限られ、$A(0) = \frac{1}{2}n + o(n)$ の鋭い閾値を示している。$p \ll \frac{1}{n}$ の場合、顕著な活性化の拡散は発生せず、一方 $p \gg \frac{1}{n}$ の場合、$A(0) \approx \frac{1}{2}n$ で段階的転移が発生する。結果は一般の $\alpha \in (0,1)$ を用いた割合ブートストラップ永続化へと拡張可能である。

ABSTRACT

Majority bootstrap percolation on the random graph $G_{n,p}$ is a process of spread of "activation" on a given realisation of the graph with a given number of initially active nodes. At each step those vertices which have more active neighbours than inactive neighbours become active as well. We study the size $A^*$ of the final active set. The parameters of the model are, besides $n$ (tending to $\infty$), the size $A(0)=A_0(n)$ of the initially active set and the probability $p=p(n)$ of the edges in the graph. We prove that the process cannot percolate for $A(0) = o(n)$. We study the process for $A(0) = θn$ and every range of $p$ and show that the model exhibits different behaviours for different ranges of $p$. For very small $p \ll \frac{1}{n}$, the activation does not spread significantly. For large $p \gg \frac{1}{n}$ then we see a phase transition at $A(0) \simeq \frac{1}{2}n$. In the case $p= \frac{c}{n}$, the activation propagates to a significantly larger part of the graph but (the process does not percolate) a positive part of the graph remains inactive.

研究の動機と目的

• 多数派ブートストラップ永続化における、活性化がほとんどすべての頂点に広がる条件を理解すること。
• 完全またはほぼ完全な永続化を引き起こす初期活性集合サイズ $A(0)$ の臨界閾値を特定すること。
• エッジ確率 $p = p(n)$ の異なる範囲における段階的転移行動を特徴づけること。
• 一般の活性化閾値 $\alpha \in (0,1)$ を用いた割合ブートストラップ永続化へと結果を拡張すること。

提案手法

• 分岐過程の近似とカップリングの議論を用いて、活性化頂点の確率的時間発展を分析する。
• 二項確率変数の集中不等式と尾確率の境界を用いて、各ステップにおける頂点活性化確率を推定する。
• 確率的支配技術を適用して、活性化ラウンド後に非活性のまま残る頂点数の上限を求める。
• 確率的技法と極限定理を用いて、$n \to \infty$ の下での最終的活性集合サイズ $A^*$ の漸近的境界を導出する。
• $A(0)$ が $\frac{1}{2}n$ および $\sqrt{n/p}$ に対してどのように振る舞うかを分析することで、永続化の鋭い閾値を確立する。
• 初期集合サイズ $A(0) = \theta n$ の固定値と、確率 $q(n)$ でランダムに活性化される場合の両方を検討し、漸近的挙動において等価であることを示す。

実験結果

リサーチクエスチョン

• RQ1 多数派ブートストラップ永続化における、初期活性集合 $A(0)$ の臨界サイズは何か？
• RQ2 エッジ確率 $p$ は、特に $p \ll \frac{1}{n}$、$p = \frac{c}{n}$、$p \gg \frac{1}{n}$ の範囲で、活性化の拡散にどのように影響するか？
• RQ3 有限の $x$ に対して $A(0) = \frac{1}{2}n + x\sqrt{n/p}$ のとき、プロセスは永続化するか？
• RQ4 $p = \frac{c}{n}$ のとき、最終的活性集合サイズ $A^*$ の漸近的挙動は何か？ また、$n - o(n)$ に達するか？
• RQ5 一般の活性化閾値 $\alpha \in (0,1)$ を用いた割合ブートストラップ永続化へと結果を拡張可能か？

主な発見

• $p = o(1/n)$ の場合、プロセスは亜臨界的である：顕著な活性化の拡散は発生せず、高確率で $A^* = A(0) + o_p(n)$ である。
• $p \gg 1/n$ の場合、$A(0) \approx \frac{1}{2}n$ で鋭い段階的転移が発生し、$A(0) > \frac{1}{2}n + o(\sqrt{n/p})$ のとき $A^* = n - o_p(n)$ である。
• $p = \frac{c}{n}$ のとき、活性化は正の分数 $\theta^* n$（$\theta < \theta^* < 1$）にまで広がるが、完全な永続化には至らない。
• 永続化の臨界閾値は $A_c = \frac{1}{2}n + o_p(n)$ であり、遷移ウィンドウのサイズは $\sqrt{n/p}$ のオーダーである。
• $A(0) = \frac{1}{2}n + x\sqrt{n/p}$ のとき、$n \to \infty$ の下で永続化確率が非退化極限 $\phi(x) \in (0,1)$ に収束すると予想されるが、未解決のままである。
• 割合ブートストラップ永続化において、$\alpha = \frac{1}{2}$ が普遍的閾値として現れ、超立方体やグローバルカスケードモデルの結果と整合的である。