[論文レビュー] Dynamic Monopolies in Reversible Bootstrap Percolation

Clemens Jeger, Ahad N. Zehmakan|arXiv (Cornell University)|May 5, 2018

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

ひとこと要約

本稿は、$d$-次元トーラス $\mathbb{T}_n^d$ 上の逆可換 $r$-ブートストラップ永続化における動的独占の未解決問題を解決し、すべての $r \in [1, 2d]$ に対して、単調なダイナモの最小サイズのタイトな漸近的境界を提供する。$r$ が小さい場合（$1 \leq r \leq d$）、最小単調ダイナモサイズは $\frac{2}{r}\binom{d}{r-1}n^{r-1} \pm \Theta(n^{r-2})$ であり、$r$ が大きい場合（$d+1 \leq r \leq 2d$）は $2(1 - \frac{d}{r})n^d \pm \Theta(n^{d-1})$ である。これは先行研究を一般化し、長年の予想を解決する。

ABSTRACT

We study an extremal question for the (reversible) $r-$bootstrap percolation processes. Given a graph and an initial configuration where each vertex is active or inactive, in the $r-$bootstrap percolation process the following rule is applied in discrete-time rounds: each vertex gets active if it has at least $r$ active neighbors, and an active vertex stays active forever. In the reversible $r$-bootstrap percolation, each vertex gets active if it has at least $r$ active neighbors, and inactive otherwise. We consider the following question on the $d$-dimensional torus: how many vertices should be initially active so that the whole graph becomes active? Our results settle an open problem by Balister, Bollobás, Johnson, and Walters and generalize the results by Flocchini, Lodi, Luccio, Pagli, and Santoro.

研究の動機と目的

• Balister, Bollobas, Johnson, and Walters が提起した、$d$-次元トーラス上の逆可換 $r$-ブートストラップ永続化における単調ダイナモの最小サイズに関する未解決問題を解決すること。
• Flocchini らの先行研究を一般化し、逆可換 $r$-ブートストラップ永続化における動的独占についての結果を拡張すること。
• すべての $r \in [1, 2d]$ に対して、最小単調ダイナモサイズのタイトな漸近的境界を提供すること。
• $\mathbb{T}_n^d$ 上のマジョリティモデルにおける単調ダイナモの最小サイズの完全な特徴付けを確立し、文献における空白を埋めること。

提案手法

• 構造的頂点集合 $S$ と $H$ を用いて、単調な永続化を保証する活性頂点の明示的構成を行う。
• 数学的帰納法と偶奇に基づく議論を用いて、活性集合 $B_j$ が交互なラウンドでトーラス全体に伝搬することを示す。
• 辺数と最小次数に関する組合せ的およびグラフ理論的境界を適用し、ダイナモサイズの下界を導出する。
• $2d$-正則グラフおよびトーラス上の近傍構造の性質を活用して、タイトな漸近的境界を証明する。
• 整数係数の線形合同式を用いて定義される新しい頂点集合 $S$ を導入し、近傍数の制御と安定性の確保を図る。
• 構造的構成と極値グラフ論的議論を統合し、すべての $r$-範囲に対して上界と下界を同時に証明する。

実験結果

リサーチクエスチョン

• RQ1 $1 \leq r \leq d$ の場合、$d$-次元トーラス $\mathbb{T}_n^d$ 上の逆可換 $r$-ブートストラップ永続化における単調な動的独占の最小サイズは何か？
• RQ2 $d+1 \leq r \leq 2d$ の場合、$d$-次元トーラス $\mathbb{T}_n^d$ 上の逆可換 $r$-ブートストラップ永続化における単調な動的独占の最小サイズは何か？
• RQ3 $d$-次元トーラス上でのマジョリティモデルにおける単調ダイナモの最小サイズは何か？
• RQ4 逆可換 $r$-ブートストラップ永続化における単調ダイナモの境界は、標準的 $r$-ブートストラップ永続化のそれとどのように比較できるか？
• RQ5 逆可換 $r$-ブートストラップ永続化における単調ダイナモサイズの未解決問題が、すべての $r$ に対して完全に解決可能か？

主な発見

• $r$ が小さい場合（$1 \leq r \leq d$）、逆可換 $r$-ブートストラップ永続化における $\mathbb{T}_n^d$ 上の最小単調ダイナモサイズは $\frac{2}{r}\binom{d}{r-1}n^{r-1} \pm \Theta(n^{r-2})$ であり、これは上界と一致し、先行研究における空白を埋める。
• $r$ が大きい場合（$d+1 \leq r \leq 2d$）、最小単調ダイナモサイズは $2(1 - \frac{d}{r})n^d \pm \Theta(n^{d-1})$ であり、Balister らが提起した未解決問題を解決する。
• $\mathbb{T}_n^d$ 上のマジョリティモデルにおける最小単調ダイナモサイズは $(1 - \frac{d}{d+2})n^d \pm \Theta(n^{d-1})$ であり、一般の $d \geq 1$ に対して初めてタイトな漸近的境界を提供する。
• マジョリティモデルにおける下界 $(1 - \frac{d}{d+2})n^d$ は、$2d$-正則グラフにおける次数および辺数の議論により証明される。
• 活性集合 $S \cup H$ の構成により、単調な永続化が保証され、漸近的に最適なサイズに達する。$|S| \leq (1 - \frac{d}{d+2})n^d + \Theta(n^{d-1})$ が成り立つ。
• 本稿は、逆可換 $r$-ブートストラップ永続化における単調ダイナモの境界が漸近的にタイトであり、特定の $r$ および $d$ に対する先行結果を一般化することを確立する。