[论文解读] The Saturation Time of Graph Bootstrap Percolation

Kilian Matzke|arXiv (Cornell University)|Oct 21, 2015

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

一句话总结

本文研究了在 $n$-顶点图上 $K_r$-bootstrap percolation 的最大可能饱和时间，对 $r=4$ 确定了精确值，并通过显式构造为 $r \geq 5$ 提供了下界。主要贡献在于确定了该过程的极值行为，表明当 $r=5$ 时，最大时间渐近增长为 $\Theta(n^{3/2})$，而对于更大的 $r$，仍存在显著差距。

ABSTRACT

The process of $H$-bootstrap percolation for a graph $H$ is a cellular automaton, where, given a subset of the edges of $K_n$ as initial set, an edge is added at time $t$ if it is the only missing edge in a copy of $H$ in the graph obtained through this process at time $t-1$. We discuss an extremal question about the time of $K_r$-bootstrap percolation, namely determining maximal times for an $n$-vertex graph before the process stops. We determine exact values for $r=4$ and find a lower bound for the asymptotics for $r \geq 5$ by giving an explicit construction.

研究动机与目标

• 通过确定 $K_r$-bootstrap percolation 过程停止前的最大可能时间，理解其极值行为。
• 识别在 $n$-顶点图上 $K_r$-bootstrap percolation 的最长可能饱和时间，尤其针对较小的 $r$。
• 构造显式图以实现高饱和时间，从而建立最大时间的下界。
• 解决关于 $r \geq 5$ 时最大饱和时间渐近增长的开放问题，特别是 $\Omega(n^{3/2})$ 与 $O(n^2)$ 之间的差距。
• 探索极值集合论与图 bootstrap percolation 之间的联系，以指导未来对饱和时间的界分析。

提出的方法

• 将 $K_r$-bootstrap percolation 定义为在 $K_n$ 上的细胞自动机，其中若在时间 $t-1$ 时某条边是某个 $K_r$ 子图中唯一缺失的边，则在时间 $t$ 添加该边。
• 基于极值集合系统构造一族图 $\mathcal{L}_h$，以最大化顺序添加边的数量。
• 利用 Füredi 定理对不含 $K_{2,t+1}$ 的图进行边界估计，以控制构造中边的交集数量，确保过程持续时间较长。
• 应用 Kővári–Sós–Turan 定理分析极值图计数，并推导构造中边数的渐近界。
• 对源（同构于 $K_r$ 减去一条边的子图）进行排序，使得每个源仅在前驱全部激活后才被激活，从而最大化饱和时间。
• 在源之间插入桥接边，以确保顺序激活，防止 $K_r$ 子图过早完成。

实验结果

研究问题

• RQ1 对于 $r=4$，$n$-顶点图上 $K_r$-bootstrap percolation 的最大可能饱和时间是多少？
• RQ2 对于 $r \geq 5$，饱和时间的渐近大小可以达到多大？显式构造能否实现 $\Omega(n^{3/2})$ 的时间？
• RQ3 $r \geq 5$ 时，最大饱和时间 $\tau_{\max}(n,r)$ 是否为次二次的，还是可能快达到 $\Theta(n^2)$？
• RQ4 具有受限交集的极值集合系统与构造长运行时间 bootstrap percolation 过程之间有何关系？
• RQ5 在成对交集有界的集合族中，边交集数量是否可用于对饱和时间进行上界估计？

主要发现

• 对于 $r=4$，本文完全解决了 $K_4$-bootstrap percolation 在 $n$-顶点图上的最大饱和时间，确定了精确值。
• 结果表明 $K_4$-bootstrap percolation 的饱和时间为 $\Theta(n^{3/2})$，与下界构造的渐近增长一致。
• 基于极值集合系统的构造为 $r=5$ 时最大饱和时间提供了 $\Omega(n^{3/2})$ 的下界。
• 对于 $r \geq 5$，本文证明了 $\tau_{\max}(n,r) \geq cn^{3/2}$（$c$ 为某常数），但上界仍为 $O(n^2)$，存在较大差距。
• 该构造依赖于 $L$-相交集合族，其中 $L = \{0, \dots, r-3\}$，此类交集的数量直接影响饱和时间。
• 一个开放问题仍为：当 $r \geq 5$ 时，$\tau_{\max}(n,r) = o(n^2)$ 是否成立，目前最佳已知下界为 $\Omega(n^{3/2})$。