[论文解读] 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$-邻域Bootstrap渗流中渗流时间的精确一阶和二阶集中结果，其中阈值 $2 \leq r \leq 2d$。研究证明，当 $t = o((\log n / \log \log n)^{1/(d-r+1)})$ 时，若 $q_n = 1 - p_n$ 落在由迭代和 $m_{d,r}(t)$ 精确定义的特定范围内，则渗流时间以高概率恰好为 $t$，从而将先前结果推广至所有 $r$ 值，并通过极值定理提供了完整的几何表征。

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.

研究动机与目标

• 将先前关于Bootstrap渗流中渗流时间集中的研究结果从特殊情形 $r = d$ 推广至所有 $2 \leq r \leq 2d$ 的阈值。
• 对 $d$ 维环面上密集初始集合的渗流时间提供完整表征，包括一阶和二阶集中。
• 建立三个新的极值定理，以完全描述 $r$-邻域Bootstrap过程在密集区域中的几何行为。
• 利用组合与概率方法，确定亚临界模型（$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}}$，该式捕捉了Bootstrap过程中核心几何结构的大小。
• 他们采用一种新颖的极值方法，表征 $r$-邻域模型中最小闭集的性质，尤其在密集设定下，建立了对保护集大小的界限。
• 证明依赖于由保护位点分层构成的二分图中的双重计数论证，表明保护集的大小至多以多项式方式增长。
• 通过二阶矩方法及罕见事件（如大未感染超立方体的存在）的概率指数界，推导出集中结果。
• 对于亚临界模型（$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$-邻域Bootstrap渗流中，对于哪些初始感染概率 $p_n$ 范围，渗流时间以高概率恰好为 $t$？
• RQ2 当 $t$ 较小时（至多 $o((\log n / \log \log n)^{1/(d-r+1)})$）且 $p_n$ 密集时，渗流时间如何集中？
• RQ3 在亚临界模型（$r > d$）中，渗流以高概率发生的精确阈值是什么？
• RQ4 在 $r$-邻域Bootstrap过程中，极值几何结构如何约束动力学行为与完全渗流所需时间？
• RQ5 能否对所有 $2 \leq r \leq 2d$ 建立渗流时间的一点和两点集中？

主要发现

• 当 $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)}$，其中 $\omega(n) \to \infty$，则渗流时间以高概率恰好为 $t$。
• 当 $q_n^{m_{d,r}(t)} n^d \to c > 0$ 时，渗流时间以高概率位于 $\{t, t+1\}$，表明存在二阶集中。
• 对于亚临界模型且 $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$。