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

Béla Bollobás, Paul Smith외 1명|arXiv (Cornell University)|2012. 09. 19.

Stochastic processes and statistical mechanics참고 문헌 23인용 수 4

한 줄 요약

이 논문은 초기 감염 확률 $p_n$ 가 조밀한 경우(즉, $1 - p_n$ 가 천천히 감소함)에, 모든 임계값 $2 \leq r \leq 2d$ 에 대해 $d$-차원 이산 토러스 $(\mathbb{Z}/n\mathbb{Z})^d$ 상에서 $r$-이웃 보트스트랩 퍼콜레이션의 퍼콜레이션 시간에 대해 정확한 한점 및 두점 집중 결과를 확립한다. $t = o((\log n / \log \log n)^{1/(d-r+1)})$ 인 경우, $q_n = 1 - p_n$ 가 반복 합 $m_{d,r}(t)$ 에 의해 정확히 결정된 범위에 있을 때, 퍼콜레이션 시간은 거의 확실히 정확히 $t$ 임을 증명한다. 이는 이전 결과를 모든 $r$ 에 확장하며, 극값 정리들을 통한 완전한 기하학적 특성화를 제공한다.

ABSTRACT

We study the percolation time of the $r$-neighbour bootstrap percolation model on the discrete torus $(\Z/n\Z)^d$. For $t$ at most a polylog function of $n$ and initial infection probabilities within certain ranges depending on $t$, we prove that the percolation time of a random subset of the torus is exactly equal to $t$ with high probability as $n$ tends to infinity. Our proof rests crucially on three new extremal theorems that together establish an almost complete understanding of the geometric behaviour of the $r$-neighbour bootstrap process in the dense setting. The special case $d-r=0$ of our result was proved recently by Bollobás, Holmgren, Smith and Uzzell.

연구 동기 및 목표

• 이전의 보트스트랩 퍼콜레이션에서의 퍼콜레이션 시간 집중 결과를 $r = d$ 의 특수 케이스 외에도 모든 $r$ 에 대해 일반화하기 위해.
• 조밀한 초기 집합을 가진 $d$-차원 토러스에서 퍼콜레이션 시간에 대한 완전한 특성화를 제공함으로써, 한점 및 두점 집중을 포함한다.
• 밀도가 높은 영역에서의 $r$-이웃 보트스트랩 과정의 기하학적 행동을 완전히 묘사하는 세 가지 새로운 극값 정리를 수립하기 위해.
• 조합 및 확률적 방법을 사용하여, 초임계 모델($r > d$)에서 퍼콜레이션 시간 및 퍼콜레이션 발생에 대한 날카운 임계값을 규명하기 위해.

제안 방법

• 저자들은 보트스트랩 과정에 핵심적인 기하학적 구조의 크기를 기록하는 반복 합 $m_{d,r}(t) = \sum_{i_0=0}^t \sum_{i_1=0}^{i_0} \cdots \sum_{i_{d-r+1}=0}^{i_{d-r}} \binom{d}{i_{d-r+1}}$ 를 정의한다.
• 특히 조밀한 설정에서, $r$-이웃 모델의 최소 닫힌 집합을 특성화하기 위해 새로운 극값 접근법을 사용하여, 보호된 집합의 크기의 상한을 확립한다.
• 보호된 집합의 크기가 최대 다항식 수준으로 증가함을 보이는 이중 세는 기법을 이용한 이중 그래프의 층 구조에서의 이중 세는 방식에 기반한 증명.
• 희귀 사건(예: 큰 감염되지 않은 초입방체의 존재)의 확률에 대한 지수적 상한과 두 번째 모멘트 방법을 사용하여 집중 결과를 도출한다.
• 초임계 모델($r > d$)의 경우, $q_n \gg n^{-d/m_{d,r}(2d-r+1)}$ 이면 퍼콜레이션이 거의 확실히 실패함을 증명하며, 이는 큰 감염되지 않은 $m$-차원 초입방체가 거의 확실히 존재하기 때문이다.
• 핵심적인 기술적 혁신은 $m_{d,r}(t)$-기반 임계값을 사용하여 初기 감염 확률 $p_n$ 을 정밀하게 校정함으로써, 퍼콜레이션 시간이 거의 확실히 정확히 $t$ 가 되도록 하는 것이다.

실험 결과

연구 질문

• RQ1 $(\mathbb{Z}/n\mathbb{Z})^d$ 상에서 $r$-이웃 보트스트랩 퍼콜레이션에서, 초기 감염 확률 $p_n$ 이 어떤 범위일 때 퍼콜레이션 시간이 거의 확실히 정확히 $t$ 가 되는가?
• RQ2 초기 감염 확률 $p_n$ 이 조밀할 때, $t$ 가 작을 경우(최대 $o((\log n / \log \log n)^{1/(d-r+1)})$ 까지) 퍼콜레이션 시간은 어떻게 집중되는가?
• RQ3 초임계 모델($r > d$)에서 퍼콜레이션이 거의 확실히 발생하기 위한 정확한 임계값은 무엇인가?
• RQ4 $r$-이웃 보트스트랩 과정의 극값 기하학적 구조는 다이내믹스와 전체 퍼콜레이션까지의 시간을 어떻게 제약하는가?
• RQ5 모든 $2 \leq r \leq 2d$ 에 대해 한점 및 두점 집중이 퍼콜레이션 시간에 대해 성립하는가?

주요 결과

• 모든 $t = o((\log n / \log \log n)^{1/(d-r+1)})$ 에 대해, $q_n = 1 - p_n$ 이 $n^{-d}/\omega(n)^{1/m_{d,r}(t)} \leq q_n \leq (n^{-d} \omega(n))^{-1/m_{d,r}(t)}$ 를 만족할 경우, 퍼콜레이션 시간은 거의 확실히 정확히 $t$ 이다. 여기서 $\omega(n) \to \infty$ 이다.
• 만약 $q_n^{m_{d,r}(t)} n^d \to c > 0$ 이면, 퍼콜레이션 시간은 거의 확실히 $\{t, t+1\}$ 에 속해 있으며, 이는 두점 집중을 의미한다.
• 초임계 모델에서 $r \geq d+1$ 이면, $q_n \gg n^{-d/m_{d,r}(2d-r+1)}$ 이면 퍼콜레이션이 거의 확실히 실패하며, 이는 이 영역에서 퍼콜레이션에 대한 날카운 임계값을 제공한다.
• $r$-이웃 모델에서 최소 보호 집합의 크기는 $k$-번째 층에서 최대 $\binom{2d - r + 1}{k}$ 만큼 증가하며, 이는 닫힌 cofinite 집합의 크기에 대한 날카운 상한을 제공한다.
• 원점이 보호되어 있고 $P(B_t)$ 가 최소일 경우, $P(B_t)$ 는 $(d,r)$-표준적이다. 즉, 차원 $2d - r + 1$ 인 좌표축에 맞춰진 초입방체의 이동이다.
• 초임계 모델에서 퍼콜레이션의 임계 확률는 $p_c = 1 - O(n^{-d/m_{d,r}(2d-r+1)})$ 를 만족하며, $q_n = O(n^{-d/m_{d,r}(2d-r+1)})$ 이면 $P(d,r,n,p_n) \to 1$ 이고, 그렇지 않으면 $\to 0$ 이다.