[논문 리뷰] The time of bootstrap percolation for dense initial sets

Béla Bollobás, Cecilia Holmgren외 2명|arXiv (Cornell University)|2012. 05. 17.

Stochastic processes and statistical mechanics참고 문헌 29인용 수 7

한 줄 요약

이 논문은 초기 감염 확률 $p$가 1에 가까울 때 $d$-차원 토러스 $ℤ_n^d$에서 부트스트랩 퍼콜레이션을 완료하는 데 걸리는 시간을 분석한다. 스테인-첸 방법과 극값 조합론을 사용하여, $t = o(\log n / \log \log n)$일 때 퍼콜레이션에 대한 날카로운 임계값을 확립하며, 특정한 $p(n)$ 구간에서 퍼콜레이션 시간이 한 개 또는 두 개의 연속된 값에 집중됨을 보이고, 원점 근처의 미감염된 점들에 대한 정확한 포isson 수렴을 제시한다.

ABSTRACT

In r-neighbour bootstrap percolation on the vertex set of a graph G, vertices are initially infected independently with some probability p. At each time step, the infected set expands by infecting all uninfected vertices that have at least r infected neighbours. We study the distribution of the time t at which all vertices become infected. Given t = t(n) = o(log n/log log n), we prove a sharp threshold result for the probability that percolation occurs by time t in d-neighbour bootstrap percolation on the d-dimensional discrete torus T_n^d. Moreover, we show that for certain ranges of p = p(n), the time at which percolation occurs is concentrated either on a single value or on two consecutive values. We also prove corresponding results for the modified d-neighbour rule.

연구 동기 및 목표

• 초기 감염 확률 $p$가 1에 가까울 때 $d$-차원 토러스에서 $r$-이웃 부트스트랩 퍼콜레이션의 완전한 퍼콜레이션까지의 시간 분포를 이해하는 것.
• 밀도 높은 초기 집합 하에서 $t = o(\log n / \log \log n)$일 때 퍼콜레이션이 완료될 확률에 대한 날카로운 임계값을 확립하는 것.
• 특정한 $p(n)$ 범위에서 퍼콜레이션 시간이 한 개 또는 두 개의 연속된 값에 집중되는 방식을 분석하는 것.
• 수정된 $d$-이웃 규칙으로의 분석을 확장하고, $2 \leq r \leq d$인 $r$-이웃 모델로의 일반화를 탐색하는 것.

제안 방법

• 스테인-첸 방법을 사용하여, 조건 $q_n = 1 - p_n \leq C n^{-d/(2t+1)}$ 하에서 시간 $t$에 미감염된 점들의 수가 포isson 분포로 수렴함을 증명한다.
• 극값 조합론을 적용하여 반지름 $t$인 구 안에 원점을 보호하는 $m_t(d,d) + k$개의 미감염된 점들의 구성 수를 극한으로 제한하며, $g_t(k) = O(t^{O(k)})$임을 보인다.
• 모든 정점가 감염되는 최소 시간 $T$를 정의하고, $t = o(\log n / \log \log n)$일 때 $\mathbb{P}_{p_n}(T \leq t)$를 연구한다.
• $B_t^d$ 내의 최소 및 표준 집합의 구조를 분석하여 보호된 점들의 수에 대한 하한을 도출하고 감염 과정의 尾행동을 제어한다.
• 특정 조건에서 $p_n = 1 - n^{-d/m_{t,d}}$일 때, $t = o(\log n / \log \log n)$이면 퍼콜레이션 시간 $T$가 한 값 또는 두 개의 연속된 값에 집중됨을 증명한다.
• $(d,r)$-표준 집합을 도입하고, 유사한 집중 및 임계값 결과를 유도함으로써 결과를 $r$-이웃 부트스트랩 퍼콜레이션으로 일반화한다.

실험 결과

연구 질문

• RQ1 초기 확률 $p$가 1에 가까울 때, $\mathbb{T}_n^d$에서 $d$-이웃 부트스트랩 퍼콜레이션이 $t = o(\log n / \log \log n)$일 때 완료될 확률에 대한 날카로운 임계값은 무엇인가?
• RQ2 특정 범위의 $p(n)$에서 퍼콜레이션 시간 $T$는 어떻게 집중되며, 어떤 조건에서 한 개 또는 두 개의 연속된 값에 집중되는가?
• RQ3 표준 $d$-이웃 모델에 대한 결과는 $2 \leq r \leq d$인 $r$-이웃 부트스트랩 퍼콜레이션으로 확장될 수 있는가?
• RQ4 특히 표준 집합과 최소 집합을 포함한 극값 구성이 완전한 퍼콜레이션까지의 시간을 제어하는 데 어떤 역할을 하는가?
• RQ5 퍼콜레이션 시간에 대한 날카로운 임계값 및 집중 결과는 $t = o(\log n)$와 같은 더 큰 $t$ 값으로도 확장되는가?

주요 결과

• $t = o(\log n / \log \log n)$일 때, 퍼콜레이션이 시간 $t$ 이내에 완료될 확률은 $p_n$에 대해 날카로운 임계값을 보인다.
• 조건 $q_n \leq C n^{-d/(2t+1)}$ 하에서, 시간 $t$에 미감염된 점들의 수는 전체 변동 거리에서 평균 $\mu_n = (1+o(1))dn^d q_n^{2t+1}$인 포isson 분포로 수렴한다.
• 특정한 $p_n$ 범위에서 $q_n = 1 - p_n$의 감쇠 속도에 따라, 퍼콜레이션 시간 $T$는 한 값 또는 두 개의 연속된 값에 집중된다.
• $B_t^d$ 내에서 원점을 보호하는 $m_t(d,d) + k$개의 미감염된 점들의 구성 수는 $g_t(k) = O(t^{O(k)})$임을 만족하며, 지수부에서 $t$에 무관하다.
• $2 \leq r \leq d$인 $r$-이웃 부트스트랩 퍼콜레이션에 대해서는 $(d,r)$-표준 집합으로 일반화되며, 보호된 집합의 최소 크기는 $m_t(d,r)$이다.
• 저자들은 날카로운 임계값 및 집중 결과가 $t = o(\log n)$까지 확장될 것이라 추측한다. 이는 기존의 $o(\log n / \log \log n)$ 범위를 초월한 유효 범위를 확장한다.