[논문 리뷰] Existence of an unbounded vacant set for subcritical continuum percolation

Daniel Ahlberg, Vincent Tassion외 1명|arXiv (Cornell University)|2017. 06. 09.

Stochastic processes and statistical mechanics참고 문헌 8인용 수 2

한 줄 요약

이 논문은 반경 분포의 유한한 두 번째 모멘트 조건 하에서 두 차원 푸아송 불리언 퍼콜레이션에서, 비어 있는 구성요소가 무한히 연결되는 것과 차지된 구성요소가 무한히 연결되는 것의 임계 강도가 동일하다는 것을 증명한다. 레노멀라이제이션 기법을 피하는 새로운 페일러스 유형의 추론을 통해, 장거리 차지된 연결이 존재하지 않으면 거의 확실하게 비어 있는 무한한 구성요소가 존재함을 증명하며, 최소한의 모멘트 조건 하에서 오랫동안 남아 있던 질문을 해결한다.

ABSTRACT

We consider the Poisson Boolean percolation model in $\mathbb{R}^2$, where the radii of each ball is independently chosen according to some probability measure with finite second moment. For this model, we show that the two thresholds, for the existence of an unbounded occupied and an unbounded vacant component, coincide. This complements a recent study of the sharpness of the phase transition in Poisson Boolean percolation by the same authors. As a corollary it follows that for Poisson Boolean percolation in $\mathbb{R}^d$, for any $d\ge2$, finite moment of order $d$ is both necessary and sufficient for the existence of a nontrivial phase transition for the vacant set.

연구 동기 및 목표

• R²에서의 하위임계 연속 퍼콜레이션에서 반경 분포의 최소한의 모멘트 조건 하에 비어 있는 집합과 차지된 집합의 퍼콜레이션 임계점이 일치하는지 여부를 해결하는 것.
• 반경 분포의 유한한 두 번째 모멘트가 임의의 차원 d ≥ 2에서 비어 있는 집합의 비자명한 단계 전이를 위한 필요 및 충분 조건임을 입증하는 것.
• 이전 연구에서 사용된 강력한 상관관계 감소 가정을 피하는 페일러스 유형의 추론 기반의 새로운 증명 기법을 제공하는 것.
• 반경 분포의 유한한 d차 모멘트 조건 하에서, 고차원에서의 비어 있는 집합에 대한 단계 전이의 날카러움 결과를 확장하는 것.

제안 방법

• 큰 구 B(0, L)를 둘러싸는 감소하는 반경을 가진 구들의 나열인 '목걸이'의 확률을 제한하기 위해 페일러스 유형의 추론을 도입하며, 이는 원점을 둘러싼 차지된 고리에 대응한다.
• 목걸이를 반경이 감소하는 구들의 수열로 정의하며, 그 합집합이 B(0, L)와 무한대를 분리하고, 임의의 한 구를 제거해도 연결성이 유지되는 조건을 만족한다.
• 쌍대 형태를 사용: B(0, L)가 비어 있는 집합에서 무한대와 연결되지 않을 확률은 B(0, L)를 둘러싼 차지된 고리, 즉 목걸이의 존재 확률과 같다.
• 두 번째로 큰 구의 반경에 대한 이진 스케일에 대한 유니언 바운드를 적용하여 목걸이의 확률을 다룰 수 있는 부분들로 분해한다.
• 푸아송 尾 꼬리 추정과 기하학적 추정을 활용하여 특정 크기 및 위치 조건을 만족하는 공의 기대 개수를 제어한다.
• 유한한 두 번째 모멘트 조건 (H2)을 활용하여, 큰 반경에 대해 ∫ z² μ(dz)의 꼬리 적분 합이 스케일이 증가함에 따라 0으로 수렴함을 보장한다.

실험 결과

연구 질문

• RQ1 반경 분포의 유한한 두 번째 모멘트 조건 하에서, 두 차원 푸아송 불리언 퍼콜레이션에서 비어 있는 집합의 임계 임계점이 차지된 집합의 임계점과 일치하는가?
• RQ2 유한한 두 번째 모멘트 조건 (H2)은 R²에서 비어 있는 집합의 비자명한 단계 전이를 위한 필수 및 충분 조건인가?
• RQ3 강력한 상관관계 감소 가정 없이도 페일러스 유형의 추론이 연속 퍼콜레이션 모델에 적응 가능한가?
• RQ4 반경 분포의 유한한 d차 모멘트 조건이 성립할 경우, 고차원 d ≥ 2에서 임계점의 일치성이 유지되는가?
• RQ5 두 번째 모멘트 조건은 하위임계 영역에서 비어 있는 무한한 구성요소의 존재를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 반경 분포의 유한한 두 번째 모멘트 조건 (H2) 하에서 두 차원 푸아송 불리언 퍼콜레이션에서 비어 있는 집합과 차지된 집합의 임계점이 일치함을 입증함. 즉, λ⋆c = λc.
• 반경 분포의 유한한 두 번째 모멘트 조건 (H2)는 R²에서 비어 있는 집합의 비자명한 단계 전이를 위한 필수 및 충분 조건임을 입증함.
• 고차원 d ≥ 2에서, 반경 분포의 유한한 d차 모멘트 조건 (Hd)은 소규모 강도에서 비어 있는 무한한 구성요소의 존재를 위한 필수 및 충분 조건임을 입증함. 즉, λ⋆c ∈ (0, ∞).
• 확률이 큰 상자들을 가로질러 연결되는 것이 크기가 증가함에 따라 0으로 수렴하면, (H2) 조건 하에서 거의 확실하게 비어 있는 무한한 구성요소가 존재함을 증명함.
• 이전의 레노멀라이제이션 기반 증명에서 사용된 강력한 상관관계 감소 가정을 피하는 새로운 페일러스 유형의 추론을 구성함.
• L → ∞ 일 때 ∑j≥j₀ p(3j)의 합이 유한한 두 번째 모멘트 덕분에 0으로 수렴함을 보이며, 이는 목걸이 확률의 감쇠와 함께 증명을 완성한다.