[论文解读] 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$-Bootstrap 渗透中动态独占集的开放问题，为所有 $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 和 Walters 提出的关于可逆 $r$-Bootstrap 渗透在 $d$-维环面中单调动态独占集最小大小的开放问题。
• 推广并扩展 Flocchini 等人关于可逆 $r$-Bootstrap 渗透中动态独占集的先前结果。
• 为所有 $r \in [1, 2d]$ 提供最小单调动态独占集大小的紧致渐近界。
• 在 $\mathbb{T}_n^d$ 上对多数模型中的单调动态独占集最小大小进行完整表征，填补了文献中的空白。

提出的方法

• 通过结构化的顶点集 $S$ 和 $H$ 构造活跃顶点的显式配置，以确保单调渗滤。
• 使用归纳法和基于奇偶性的论证，证明活跃集 $B_j$ 在交替轮次中在环面上传播。
• 应用图论和组合学中的边数与最小度数的界，推导出动态独占集大小的下界。
• 利用环面中 $2d$-正则图及其邻域结构的性质，证明紧致渐近界。
• 引入一种基于模线性形式定义的新顶点集 $S$，以控制邻居数量并确保稳定性。
• 结合结构构造与极值图论论证，为所有 $r$ 范围证明上界与下界。

实验结果

研究问题

• RQ1 在 $d$-维环面 $\mathbb{T}_n^d$ 上，可逆 $r$-Bootstrap 渗透中，当 $1 \leq r \leq d$ 时，单调动态独占集的最小大小是多少？
• RQ2 在 $d$-维环面 $\mathbb{T}_n^d$ 上，可逆 $r$-Bootstrap 渗透中，当 $d+1 \leq r \leq 2d$ 时，单调动态独占集的最小大小是多少？
• RQ3 在 $d$-维环面 $\mathbb{T}_n^d$ 上，多数模型中单调动态独占集的最小大小是多少？
• RQ4 可逆 $r$-Bootstrap 渗透中单调动态独占集的界与标准 $r$-Bootstrap 渗透中的界相比如何？
• RQ5 此前在可逆 $r$-Bootstrap 渗透中关于单调动态独占集大小的开放问题能否对所有 $r$ 完全解决？

主要发现

• 当 $r$ 较小时（$1 \leq r \leq d$），在 $\mathbb{T}_n^d$ 上可逆 $r$-Bootstrap 渗透中，单调动态独占集的最小大小为 $\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$-Bootstrap 渗透中单调动态独占集的界是渐近紧致的，并推广了针对特定 $r$ 和 $d$ 的先前结果。