[논문 리뷰] Burning the plane: densities of the infinite Cartesian grid

Anthony Bonato, Karen Gunderson외 1명|arXiv (Cornell University)|2018. 06. 14.

Markov Chains and Monte Carlo Methods참고 문헌 21인용 수 7

한 줄 요약

이 논문은 시간이 지남에 따라 성장하는 무한 카르테시안 격자에서의 타는 밀도를 조사하며, 크기가 $ (2cn+1)^2 $ 인 격자에 대해 $[1/(2c^2), 1]$ 범위의 모든 밀도가 달성 가능하다는 것을 보여준다. 더 빠르게 성장하는 격자에 대해서는 $ \Theta(n^{3/2}) $ 에서 임계값이 결정되며, 이 이상으로 성장하면 양의 타는 밀도를 달성할 수 없고, 이는 0 밀도로 이어진다.

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 어떤 성장 속도 이상에서는 활성화 정점 선택에 관계없이 타는 밀도가 반드시 0이 되는 임계값이 존재하는가?
• RQ4 각 새로운 활성화 정점이 이미 타는 정점에 인접해 있는 연결된 타는 시퀀스는 일반적인 시퀀스와 동일한 밀도를 달성할 수 있는가?
• RQ5 격자의 구조적 특성, 예를 들어 종횡비나 차원 수는 달성 가능한 타는 밀도에 어떤 영향을 미치는가?

주요 결과

• 크기가 $ (2cn+1)^2 $ 인 격자에 대해서는 적절한 활성화 정점 시퀀스 선택을 통해 $[1/(2c^2), 1]$ 범위의 모든 밀도가 달성 가능하다.
• 격자 크기가 $ \omega(n^{3/2}) $ 로 성장할 경우, 활성화 정점 선택에 관계없이 타는 밀도는 항상 0이다.
• 격자가 $ \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 $ 이다. 따라서 양의 밀도가 보장되지 않는다.