[論文レビュー] 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]$ の任意の密度が達成可能であることを示している。グリッドの成長が速い場合には、$ \Theta(n^{3/2}) $ が正の炎拡散密度が達成可能かどうかを決定する閾値となり、$ \omega(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 $ 以内に炎に包まれた頂点数を分析することで、炎拡散密度の下界を確立する。
• $ d $-次元グリッドに一般化する際、成長率 $ f(n) = \Theta(n^{(d+1)/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} $ であっても、ある次元で非常に細いグリッドでは、1次元モデルに類似し、閾値が $ n^2 $ となるため、正の密度が保証されない。