[论文解读] Burning the plane: densities of the infinite Cartesian grid

Anthony Bonato, Karen Gunderson+1 more|arXiv (Cornell University)|Jun 14, 2018

Markov Chains and Monte Carlo Methods参考文献 21被引用 7

一句话总结

本文研究了随时间增长的无限笛卡尔网格中的燃烧密度，表明对于大小为 $ (2cn+1)^2 $ 的网格，区间 $[1/(2c^2), 1]$ 内的任意密度均可实现。对于增长更快的网格，存在一个 $ Θ(n^{3/2}) $ 的阈值，决定是否可能实现正的燃烧密度，其中 $ ω(n^{3/2}) $ 的增长会导致燃烧密度为零。

ABSTRACT

Graph burning is a discrete-time process on graphs, where vertices are sequentially burned, and burned vertices cause their neighbours to burn over time. We consider extremal properties of this process in the new setting where the underlying graph is also changing at each time-step. The main focus is on the possible densities of burning vertices when the sequence of underlying graphs are growing grids in the Cartesian plane, centred at the origin. If the grids are of height and width $2cn+1$ at time $n$, then all values in $\left [ \frac{1}{2c^2} , 1 ight ]$ are possible densities for the burned set. For faster growing grids, we show that there is a threshold behaviour: if the size of the grids at time $n$ is $ω(n^{3/2})$, then the density of burned vertices is always $0$, while if the grid sizes are $Θ(n^{3/2})$, then positive densities are possible. Some extensions to lattices of arbitrary but fixed dimension are also considered.

研究动机与目标

• 分析在确定性图燃烧过程中，无限增长的笛卡尔网格序列中被烧毁顶点的渐近比例。
• 确定随着网格随时间扩展时，实现正燃烧密度的条件。
• 探讨网格增长速率在决定燃烧密度是否存在及其数值中的作用。
• 将结果推广至高维格点，并考察结构特征对可实现密度的影响。

提出的方法

• 在无限嵌套增长的网格序列 $ G_n = [-n,n]^2 $ 上定义一种动态图燃烧过程，其中图在每个时间步扩展。
• 引入一个激活顶点序列 $ \underline{v} $，允许跳过激活（用 $ \bullet $ 表示），并确保新激活的顶点尚未被烧毁。
• 当极限存在时，将燃烧密度定义为 $ \delta(\underline{G}, \underline{v}) = \lim_{n\to\infty} |B_n| / |V(G_n)| $。
• 通过在区间 $ N_i $ 上递归构造激活序列，利用网格的扩展速率实现期望的密度。
• 通过分析在时间 $ N_i $ 内被烧毁的顶点数量，结合几何增长和邻域扩展，建立燃烧密度的下界。
• 通过分析增长速率 $ f(n) = \Theta(n^{(d+1)/d}) $，将结果推广至 $ d $-维网格，表明这是实现正密度的阈值。

实验结果

研究问题

• RQ1 当图随时间增长时，在无限笛卡尔网格中可实现的被烧毁顶点密度有哪些？
• RQ2 网格的增长速率如何影响实现正燃烧密度的可能性？
• RQ3 是否存在一个增长速率阈值，超过该阈值后，无论怎样选择激活点，燃烧密度必然为零？
• RQ4 连通的燃烧序列（即每个新激活点与一个已烧毁的顶点相邻）能否实现与一般序列相同的密度？
• RQ5 网格的结构特征（如纵横比或维度）如何影响可实现的燃烧密度？

主要发现

• 对于大小为 $ (2cn+1)^2 $ 的网格，通过适当选择激活序列，区间 $[1/(2c^2), 1]$ 内的所有密度均可实现。
• 当网格大小以 $ \omega(n^{3/2}) $ 的速率增长时，无论怎样选择激活点，燃烧密度始终为零。
• 当网格以 $ \Theta(n^{3/2}) $ 的速率增长时，正燃烧密度是可能的，其下限密度的下界为 $ \lambda_2 / 3^3 = \lambda_2 / 27 $。
• 在 $ d $-维网格中，实现正燃烧密度的阈值增长速率为 $ \Theta(n^{(d+1)/d}) $，并通过递归构造得出类似的密度下界。
• 燃烧密度的存在性无法保证；对于某些非光滑增长函数（如 $ f(n) = 2^{\lfloor \log n \rfloor} $），密度会振荡且不收敛。
• 即使增长速度超过二次方（如 $ n^{2+\varepsilon} $），若网格在某一维上很“细”，则正密度也无法保证，因为此时其行为类似于一维模型，其阈值为 $ n^2 $。