[논문 리뷰] Positivity of the time constant in a continuous model of first passage percolation

Jean-Baptiste Gouéré, Marie Théret|arXiv (Cornell University)|2016. 10. 19.

Stochastic processes and statistical mechanics참고 문헌 21인용 수 9

한 줄 요약

이 논문은 ℝᵈ (d ≥ 2)에서 연속적인 제1통과 퍼콜레이션 모형에서 시간 상수 μ의 양성성을 확립한다. 여기서 외부에서는 이동 속도가 1이고, 불리안 무작위 집합 Σ 내부에서는 속도가 무한대이다. 반경 분포에 대해 거의 최적의 모멘트 조건이 만족될 경우, μ > 0이 되는 것은 유일하게 기저 푸아송 과정의 강도 λ가 임계 임계값 𝜆̂_c 이하일 때이다. 이는 연속 퍼콜레이션에서 무한 연결성의 시작을 나타낸다.

ABSTRACT

We consider a non trivial Boolean model $\\Sigma$ on ${\\mathbb R}^d$ for $d\\geq 2$. For every $x,y \\in {\\mathbb R}^d$ we define $T(x,y)$ as the minimum time needed to travel from $x$ to $y$ by a traveler that walks at speed $1$ outside $\\Sigma$ and at infinite speed inside $\\Sigma$. By a standard application of Kingman sub-additive theorem, one easily shows that $T(0,x)$ behaves like $\\mu \\|x\\|$ when $\\|x\\|$ goes to infinity, where $\\mu$ is a constant named the time constant in classical first passage percolation. In this paper we investigate the positivity of $\\mu$. More precisely, under an almost optimal moment assumption on the radii of the balls of the Boolean model, we prove that $\\mu\ extgreater{}0$ if and only if the intensity $\\lambda$ of the Boolean model satisfies $\\lambda \ extless{} \\widehat{\\lambda}\\_c$, where $ \\widehat{\\lambda}\\_c$ is one of the classical critical parameters defined in continuum percolation.

연구 동기 및 목표

• 연속적인 제1통과 퍼콜레이션 모형에서 시간 상수 μ가 엄격히 양수일 조건을 규명하는 것.
• 시간 상수 μ의 양성과 연속 퍼콜레이션에서의 임계 강도 임계값 𝜆̂_c 간의 관계를 연결하는 것.
• 무한 속도 영역을 가진 무작위 매질이 존재할 때 지오데식 이동 시간이 거리에 따라 선형적으로 증가하는 조건을 확립하는 것.
• 반경 분포의 모멘트 조건에 기반한 선형 시간 성장에 대한 정밀한 기준을 제공하는 것.

제안 방법

• 푸아송 분포를 가진 무작위 구를 이용해 불리안 모형 Σ를 구성하는 연속적인 제1통과 퍼콜레이션 모형을 정의한다. 이 구들의 반경은 i.i.d.이다.
• x에서 y로의 통과 시간 T(x,y)를 정의하며, Σ 외부에서는 속도가 1이고 내부에서는 속도가 무한대이다.
• 킹만의 하향적 에르고딕 정리(ergodic theorem)를 적용하여 T(0,nx)/n이 거의 확실히 및 L¹ 수렴으로 정수적 한계 μ로 수렴함을 증명한다.
• 등방성과 균일성의 논리를 활용하여 μ가 방향에 무관하며 단위 구 위에서 균일 수렴함을 도출한다.
• 시간 상수와 불리안 모형 내에서의 무한 경로 존재성 간의 관계를 통해 μ > 0 ⇔ λ < 𝜆̂_c의 동치성을 확립한다.
• 반경 분포에 대한 모멘트 조건 ∫rᵈν(dr) < ∞을 통해 비자명성(즉, Σ = ℝᵈ 거의 확실하게가 아님)을 보장하고, 퍼콜레이션 결합 기법의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 ℝᵈ에서 연속적인 제1통과 퍼콜레이션 모형에서 시간 상수 μ가 엄격히 양수일 조건은 무엇인가?
• RQ2 μ의 양성은 연속 퍼콜레이션에서의 임계 강도 𝜆̂_c와 어떻게 관련이 있는가?
• RQ3 강도 λ가 임계 임계값 𝜆̂_c 이하일 경우 시간 상수 μ는 양수이고, 그 외에는 0인가?
• RQ4 반경 분포에 대한 어떤 모멘트 조건이 시간 상수 양성 기준의 타당성을 보장하는가?
• RQ5 모델 가정 하에 ℝᵈ 전역에서 방향에 관계없이 시간 상수 μ를 균일하게 특성화할 수 있는가?

주요 결과

• 시간 상수 μ는 푸아송 과정의 강도 λ가 임계 임계값 𝜆̂_c 이하일 때에만 엄격히 양수이다.
• 임계 임계값 𝜆̂_c는 sup{λ > 0 : lim_{r→∞} P(S(r) ↔ S(2r)) = 0}로 정의되며, ↔는 Σ 내에서의 연결성을 나타낸다.
• 모형의 등방성 덕분에 시간 상수 μ는 방향에 무관하며, 단위 구 전역에서 균일하게 μ > 0가 성립한다.
• 수렴 T(0,nx)/n → μ는 n → ∞일 때 거의 확실히 및 L¹ 수렴으로, x ∈ S(1) 전역에서 균일하게 성립한다.
• 조건 ∫rᵈν(dr) < ∞는 자명성(즉, Σ = ℝᵈ 거의 확실하게)을 방지하고 국소적 공의 수가 유한함을 보장하기 위해 필수적이고 충분하다.
• 결과적으로 날카로운 계면 전이가 확립된다: μ > 0 iff λ < 𝜆̂_c이며, 이는 제1통과 퍼콜레이션과 연속 퍼콜레이션 임계성 간의 연관성을 설정한다.