[논문 리뷰] Large deviations for subcritical bootstrap percolation on the random graph

Omer Angel, Brett Kolesnik|arXiv (Cornell University)|2017. 05. 18.

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

한 줄 요약

이 논문은 에르되시-레니 랜덤 그래프 위에서의 초임계 부트스트랩 퍼콜레이션에 대해 큰 편차 비율 함수를 유도하며, 작은 초기 집합이 예상치 않게 많은 수의 정점에 전파되는 희귀 사건의 지수 감쇠 비율을 정량화한다. 이는 탐색 과정의 역동성에 대한 변분 접근법을 통해 그러한 편차를 일으키는 최소비용 경로를 규명한다.

ABSTRACT

We study atypical behavior in bootstrap percolation on the Erdős-Rényi random graph. Initially a set $S$ is infected. Other vertices are infected once at least $r$ of their neighbors become infected. Janson et al. (2012) locates the critical size of $S$, above which it is likely that the infection will spread almost everywhere. Below this threshold, a central limit theorem is proved for the size of the eventually infected set. In this note, we calculate the rate function for the event that a small set $S$ eventually infects an unexpected number of vertices, and identify the least-cost trajectory realizing such a large deviation.

연구 동기 및 목표

• 에르되시-레니 랜덤 그래프 위에서의 초임계 부트스트랩 퍼콜레이션에서 작은 초기 집합이 예상치 않게 큰 전파를 일으키는 비정상적 행동을 분석하기 위해.
• 큰 편차 이론을 사용하여 이러한 희귀 사건의 꼬리 확률을 정량화하기 위해.
• 최종적으로 감염된 집합의 크기에 큰 편차를 일으키는 데 최적(최소비용)의 경로를 규명하기 위해.
• 중앙극한정리와 같은 일반적인 행동을 넘어서, 랜덤 네트워크에서 희귀하고 영향력이 큰 전파 사건을 특성화하기 위해.

제안 방법

• 정점들이 정확히 $ r-1 $개의 감염된 이웃을 가진 경우에만 한 번에 한 개씩 감염되는 순차적 탐색 과정으로 부트스트랩 퍼콜레이션을 모델링한다.
• 더 이상 감염될 수 없을 때까지 정지하는 최종 안정 상태로 이루어진 감염된 집합 $ I_* $ 를 정의한다.
• asymptotic 분석을 통해 $ n \to \infty $ 일 때, $ |I_*| \neq \beta \vartheta $ 인 사건에 대한 비율 함수 $ \theta(\beta) = \frac{1}{\theta} \tilde{\log} P(S_0, \beta) $ 를 유도한다.
• 큰 편차를 일으키는 최소비용 경로를 규명하기 위해 변분 기법을 적용하며, 이는 이항 확률과 포아송 근사에 기반한 역동성 분석을 포함한다.
• 단위 크기 $ \Delta x_i \sim \vartheta / (\log \vartheta)^2 $ 를 갖는 이산화된 탐색 과정을 사용하며, 감염 가능 정점 수의 증분 $ \Delta \pi $ 에 대한 점근적 표현을 유도한다.
• 지수 모멘트 한계와 로그 스케일링을 사용하여, 희귀 사건의 확률에 대한 경계를 설정하며, 작은 초기 집합이 큰 감염을 유도할 수 있는 평균 수를 추정한다.

실험 결과

연구 질문

• RQ1 초임계 부트스트랩 퍼콜레이션에서 작은 초기 집합이 예상치 않게 많은 수의 정점에 감염시키는 사건의 확률이 감소하는 비율은 무엇인가?
• RQ2 최종 감염 집합 크기에 큰 편차를 일으키는 최소비용 경로의 구조는 어떠한가?
• RQ3 $ \xi(\alpha, \beta) $ 비율 함수는 $ \beta $ 의 함수로 어떻게 행동하는가? 그리고 이는 희귀한 감염 확산의 기하학적 특성에 대해 무엇을 드러내는가?
• RQ4 임계 감염 확산의 임계 조건은 여전히 초임계 영역에서 큰 편차 원리에 의해 특성화될 수 있는가?
• RQ5 최소 크기의 전염성 집합은 $ \mathcal{G}_{n,p} $ 에서 얼마이며, 이는 큰 편차 행동과 어떻게 관련되는가?

주요 결과

• $ \beta \neq \varphi_\alpha $ 인 경우에 대해 $ \xi(\alpha, \beta) $ 의 큰 편차 비율 함수를 명시적으로 유도하였으며, $ \beta \leq \alpha $, $ \alpha < \beta \leq 1 $, 또는 $ \beta > 1 $ 인지에 따라 조각별 표현을 갖는다.
• $ \beta \leq \alpha $ 인 경우, 비율 함수는 $ \xi(\alpha, \beta) = -\frac{\beta^r}{r} + (\beta - \alpha_r)\left[1 + \log\left(\frac{\beta^r}{r(\beta - \alpha_r)}\right)\right] $ 로 주어지며, 감염 부족의 비용을 반영한다.
• $ \alpha < \beta \leq \alpha $ 인 경우, 비율 함수는 $ \xi(\alpha, \beta) = \frac{\alpha}{r} - (r-2)(\beta - \alpha) + (r-1)\log\left(\frac{\beta^\beta}{\alpha^{\alpha_r}}\right) $ 로 주어지며, 중간 정도의 편차 비용을 반영한다.
• $ \beta > 1 $ 인 경우, 비율 함수는 일정하다: $ \xi(\alpha, \beta) = \xi(\alpha, 1) $, 이는 $ \beta = 1 $ 에서의 임계 조건이 尾행동을 지배함을 시사한다.
• 비율 함수 $ \xi(\alpha, \beta) $ 는 $ [\alpha_r, \varphi_\alpha) $ 에서 증가하고 $ (\varphi_\alpha, 1] $ 에서 감소하며, $ \beta = \varphi_\alpha $ 에서 유일한 최댓값을 가지며, 이때 $ \xi(\alpha, \varphi_\alpha) = 0 $ 이다. 이는 중심극한정리와 일치한다.
• 최소 전염성 집합 크기의 하한이 확립되었다: 고확률로 크기가 $ t_\delta = (1-\delta)r\vartheta / \log(n/\vartheta) $ 인 집합은 $ \vartheta/(1-1/r)^2 $ 보다 많은 감염을 일으킬 수 없다. 이는 지수 모멘트 추정과 $ \alpha = 0 $ 에서의 비율 함수를 사용하여 도출되었다.