[논문 리뷰] Competition between growths governed by Bernoulli Percolation

Olivier Garet, Régine Marchand|arXiv (Cornell University)|2005. 07. 07.

Stochastic processes and statistical mechanics참고 문헌 19인용 수 6

한 줄 요약

이 논문은 $ℤ^d$에서 두 감염이 서로 다른 확률 $p$와 $q$를 가진 초임계 베르누이 퍼콜레이션을 통해 확산되는 경쟁적 성장 과정을 연구한다. 커플링 추론과 퍼콜레이션에서의 화학적 거리 성질을 이용하여, 두 감염이 동시에 무한히 성장할 수 있는 공존(coexistence)은 $p < \min\{q, \overrightarrow{p_c}\}$인 경우에만 최대 가 SCHäffer 수만큼의 값에서만 가능하다는 것을 증명한다. 이는 한 감염이 더 약할 경우 공존이 희귀함을 지지하는 추측을 뒷받对方한다.

ABSTRACT

We study a competition model on $\mathbb{Z}^d$ where the two infections are driven by supercritical Bernoulli percolations with distinct parameters $p$ and $q$. We prove that, for any $q$, there exist at most countably many values of $p

연구 동기 및 목표

• 초임계 베르누이 퍼콜레이션에 의해 지배되는 두 경쟁 감염이 $ℤ^d$에서 동시에 무한히 성장할 수 있는 조건을 조사하는 것.
• 한 감염의 전파 확률이 다른 감염보다 작을 경우 공존이 불가능하다는 추측을 해결하는 것, 유일하게 가산적인 매개변수 집합을 제외한 나머지는 불가능하다는 바탕으로.
• 경쟁 동역학을 가진 제1통과 퍼콜레이션 모델에서의 공존을 분석하기 위한 엄밀한 확률론적 프레임워크를 수립하는 것.
• 리처드슨 모델과 같은 대칭 모델에서의 공존 결과를 비대칭이며 비대칭적으로 매개변수화된 퍼콜레이션 과정으로 확장하는 것.

제안 방법

• 저자들은 각 활성 지점이 이웃을 고정된 확률 $p$와 $q$로 독립적으로 감염시키는 마코프 과정으로 경쟁을 모델링한다.
• 다른 전파 속도를 가진 과정을 비교하기 위해 커플링 기법을 사용하여, $p$가 클수록 감염된 클러스터가 확률적으로 더 크다는 것을 보였다.
• 핵심 도구로 초임계 퍼콜레이션에서의 화학적 거리와 큰 클러스터 발생 확률의 지수 꼬리 바ounds를 사용하였다.
• 성장률의 경계는 渐近적 형태 결과와 하향적 에르고딕 정리에 기반하여 설정되었다.
• 약한 감염과 강한 감염의 무한한 성장에 해당하는 사건 $\mathcal{G}^1_{p,q}$와 $\mathcal{G}^2_{p,q}$를 정의하였다.
• 모순과 측도론적 추론을 통해, 두 사건이 동시에 발생하는 $p$의 집합은 최대 가산 수여야 한다는 것을 보였다.

실험 결과

연구 질문

• RQ1 서로 다른 베르누이 퍼콜레이션 과정에 의해 지배되는 두 경쟁 감염이 $ℤ^d$에서 동시에 무한히 성장할 수 있는 조건은 무엇인가?
• RQ2 두 감염 모두 임계 임계값 $p_c$를 초과하더라도, 한 감염의 전파 확률이 다른 감염보다 엄격히 작을 경우 공존가능한가?
• RQ3 공존을 허용하는 매개변수 쌍 $(p,q)$의 집합이 비가산일 수 있는가, 아니면 항상 가산적인가?
• RQ4 방향성 있는 퍼콜레이션 임계값 $\overrightarrow{p_c}$는 비대칭 모델에서 공존 가능성에 어떤 제약을 끼치는가?
• RQ5 다른 전파 속도를 가진 과정의 커플링이 대부분의 매개변수 값에서 공존 불가능성을 증명하는 데 어떤 역할을 하는가?

주요 결과

• 공존—두 감염이 동시에 무한히 성장하는 것—은 $q > p_c$일 때 $p < \min\{q, \overrightarrow{p_c}\}$인 경우에만 최대 가산 수의 값에서만 가능하다.
• 임의의 고정된 $q > p_c$에 대해, 두 감염이 모두 무한히 성장하는 $p < \min\{q, \overrightarrow{p_c}\}$의 집합은 르베그 측도가 0이며 최대 가산 수이다.
• 증명에서 $p < q < \min(r, \overrightarrow{p_c})$이면 $\mathbb{P}(\mathcal{G}^1_{p,r} \cap \mathcal{G}^2_{q,r}) = 0$임을 보였으며, 이는 이러한 경우 강한 감염이 지배한다는 것을 의미한다.
• 저자들은 $\mathcal{G}^1_{p,q} \cap \mathcal{G}^2_{p,q}$가 유리수 끝점을 가진 임의의 구간 $[r,s]$에서 최대 하나의 $p$ 값에서만 발생할 수 있음을 입증하여, 공존 매개변수의 희박성을 강조하였다.
• 결과는 감염이 비대칭적으로 매개변수화될 경우 공존은 가산 집합을 제외하고는 불가능하다는 추측을 지지한다.
• 분석은 임계값 $\overrightarrow{p_c}$가 날카로운 경계로 작용한다는 것을 확인한다: $p$와 $q$가 모두 $\overrightarrow{p_c}$를 초과하면 공존이 가능하지만, $p < \overrightarrow{p_c}$이면 공존은 최대 가산 수의 $p$를 제외하고는 실패한다.