[논문 리뷰] Neighbourhood family percolation

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

Stochastic processes and statistical mechanics인용 수 4

한 줄 요약

이 논문은 임의의 국소 업데이트 규칙과 랜덤 초기 구성이 있는 $\mathbb{Z}^d$ 위에서 두 상태, 결정론적, 단조적인 세포 오토마타인 $\mathbb{Z}$-보팅 퍼콜레이션을 소개하고 분석한다. 이는 두 차원에서 초임계, 임계, 초임계 클래스로 모델을 분류하며, 임계 모델의 경우 $(\mathbb{Z}/n\mathbb{Z})^2$에서 퍼콜레이션의 임계 확률이 \/log n)^{-\Theta(1)}$임을 증명하고 초임계 모델의 경우 $n^{-\Theta(1)}$임을 보이며, 대칭성 가정 없이도 일반적인 이론을 수립한다.

ABSTRACT

In this paper we study in complete generality the family of two-state, deterministic, monotone, local, homogeneous cellular automata in $\mathbb{Z}^d$ with random initial configurations. Formally, we are given a set $\mathcal{U}=\{X_1,\dots,X_m\}$ of finite subsets of $\mathbb{Z}^d\setminus\{\mathbf{0}\}$, and an initial set $A_0\subset\mathbb{Z}^d$ of `infected' sites, which we take to be random according to the product measure with density $p$. At time $t\in\mathbb{N}$, the set of infected sites $A_t$ is the union of $A_{t-1}$ and the set of all $x\in\mathbb{Z}^d$ such that $x+X\in A_{t-1}$ for some $X\in\mathcal{U}$. Our model may alternatively be thought of as bootstrap percolation on $\mathbb{Z}^d$ with arbitrary update rules, and for this reason we call it $\mathcal{U}$-bootstrap percolation. In two dimensions, we give a classification of $\mathcal{U}$-bootstrap percolation models into three classes -- supercritical, critical and subcritical -- and we prove results about the phase transitions of all models belonging to the first two of these classes. More precisely, we show that the critical probability for percolation on $(\mathbb{Z}/n\mathbb{Z})^2$ is $(\log n)^{-\Theta(1)}$ for all models in the critical class, and that it is $n^{-\Theta(1)}$ for all models in the supercritical class. The results in this paper are the first of any kind on bootstrap percolation considered in this level of generality, and in particular they are the first that make no assumptions of symmetry. It is the hope of the authors that this work will initiate a new, unified theory of bootstrap percolation on $\mathbb{Z}^d$.

연구 동기 및 목표

• $\mathbb{Z}^d$에서 임의의 국소 업데이트 규칙을 가진 보팅 퍼콜레이션을 연구하기 위한 일반적이고 대칭성 가정이 없는 프레임워크를 개발하는 것.
• 두 차원에서의 모든 $\mathbb{Z}$-보팅 퍼콜레이션 모델을 초임계, 임계, 초임계의 세 가지 보편적 유형으로 분류하는 것.
• 초임계 및 임계 유형의 모든 모델에서 유한계 $(\mathbb{Z}/n\mathbb{Z})^2$에서의 퍼콜레이션에 대한 임계 확률을 규명하는 것.
• 업데이트 규칙의 대칭성이나 규칙성에 대한 가정 없이도 첫 번째 종합적인 보팅 퍼콜레이션 이론을 수립하는 것.

제안 방법

• 모델은 $\mathbb{Z}^d \setminus \{\mathbf{0}\}$의 유한 부분집합들로 이루어진 가족 $\mathcal{F} = \{X_1, \dots, X_m\}$으로 정의되며, 이는 이웃 구성의 형태를 나타낸다.
• 초기 감염은 확률 $p$를 가진 제품 측도를 통해 발생하며, 각 위치가 독립적으로 확률 $p$로 감염된 상태로 설정된다.
• 역동성은 결정론적으로 진행되며, 각 시간 단계에서 어떤 $X_i \in \mathcal{F}$의 이동이 이전 단계에서 완전히 감염된 경우 해당 위치가 감염된다.
• 과정은 단조적이다: 한 번 감염된 위치는 항상 감염된 상태를 유지하며, 감염된 위치의 집합은 시간이 지남에 따라 증가한다.
• 분석은 토러스 $(\mathbb{Z}/n\mathbb{Z})^2$에서의 퍼콜레이션에 대한 임계 확률 $p_c(n)$에 집중되며, 이는 전체 감염이 일어나기 시작하는 임계값으로 정의된다.
• 초임계, 임계, 초임계 유형으로의 분류는 두 차원에서 업데이트 가족 $\mathcal{F}$의 기하학적 및 조합적 성질에 기반한다.

실험 결과

연구 질문

• RQ1 $\mathbb{Z}$-보팅 퍼콜레이션에서 유한한 두 차원 토러스 $(\mathbb{Z}/n\mathbb{Z})^2$에서의 퍼콜레이션에 대한 임계 확률은 무엇인가?
• RQ2 다양한 업데이트 가족 $\mathcal{F}$ 유형에 따라 임계 확률은 $n$에 대해 어떻게 척도가 붙는가?
• RQ3 대칭성을 가정하지 않고도 $\mathbb{Z}$-보팅 퍼콜레이션 모델의 일반적 분류를 수립할 수 있는가?
• RQ4 초임계, 임계, 초임계 모델은 퍼콜레이션 임계값 측면에서 어떻게 구별되는가?
• RQ5 임계 및 초임계 유형의 모델에서 임계 확률의 渐近적 행동은 어떠한가?

주요 결과

• 두 차원에서 $\mathbb{Z}$-보팅 퍼콜레이션의 임계 유형에 속하는 모든 모델에 대해 $(\mathbb{Z}/n\mathbb{Z})^2$에서의 임계 확률은 \/log n)^{-\Theta(1)}$이다.
• 초임계 유형에 속하는 모든 모델에 대해 $(\mathbb{Z}/n\mathbb{Z})^2$에서의 임계 확률은 $n^{-\Theta(1)}$이다.
• 초임계, 임계, 초임계 유형으로의 분류는 두 차원에서 업데이트 가족 $\mathcal{F}$의 기하학적 및 조합적 구조에 의해 결정된다.
• 결과들은 대칭성 가정 없이도 보팅 퍼콜레이션에서의 계면 전이 행동을 처음으로 규명한 것으로, 보편성의 관점에서 중요한 성과이다.
• 이 프레임워크는 이전의 모델들을 통합하고 일반화하며, $\mathbb{Z}^d$에서의 보팅 퍼콜레이션에 대한 새로운 종합적 이론의 기초를 마련한다.