[논문 리뷰] The phase transition for planar Gaussian percolation models without FKG

Stephen Muirhead, Alejandro Rivera외 2명|arXiv (Cornell University)|2020. 10. 22.

Stochastic processes and statistical mechanics인용 수 4

한 줄 요약

이 논문은 FKG 부등식이나 강한 상관관계 감쇠 조건을 필요로 하지 않고, 평면 가우시안 퍼콜레이션 모델에서 ℓ = 0에서 단서 전이의 존재를 확립한다. 임계값의 국소화가 아닌 임계값의 분산화에 기반한 새로운 날카운 임계값 기준을 도입하고, 뿌리내림 절차를 통해 타시온의 RSW 이론을 변형함으로써, 대칭성과 약한 상관관계 감쇠 조건만을 가정할 때도, f ≥ −ℓ의 교차 집합이 ℓ ≤ 0이면 거의 확실하게 유계 성분을 가지며, ℓ > 0이면 유계 성분을 포함함을 증명한다.

ABSTRACT

We develop techniques to study the phase transition for planar Gaussian percolation models that are not (necessarily) positively correlated. These models lack the property of positive associations (also known as the `FKG inequality'), and hence many classical arguments in percolation theory do not apply. More precisely, we consider a smooth stationary centred planar Gaussian field $f$ and, given a level $\ell \in \mathbb{R}$, we study the connectivity properties of the excursion set $\{f \geq -\ell\}$. We prove the existence of a phase transition at the critical level $\ell_{crit}=0$ under only symmetry and (very mild) correlation decay assumptions, which are satisfied by the random plane wave for instance. As a consequence, all non-zero level lines are bounded almost surely, although our result does not settle the boundedness of zero level lines (`no percolation at criticality'). To show our main result: (i) we prove a general sharp threshold criterion, inspired by works of Chatterjee, that states that `sharp thresholds are equivalent to the delocalisation of the threshold location'; (ii) we prove threshold delocalisation for crossing events at large scales -- at this step we obtain a sharp threshold result but without being able to locate the threshold -- and (iii) to identify the threshold, we adapt Tassion's RSW theory replacing the FKG inequality by a sprinkling procedure. Although some arguments are specific to the Gaussian setting, many steps are very general and we hope that our techniques may be adapted to analyse other models without FKG.

연구 동기 및 목표

• 평면 가우시안 퍼콜레이션 모델에서 FKG 부등식을 만족하지 않는 경우에도 단서 전이의 존재를 증명하는 것.
• 대칭성과 약한 상관관계 감쇠 조건만을 가정할 때도 퍼콜레이션의 임계 수준 ℓ_crit = 0임을 입증하는 것.
• 양의 연관성이 없는 퍼콜레이션 모델에 대한 날카운 임계값 분석의 일반적 프레임워크를 개발하는 것.
• FKG 없이 가우시안 필드에 대해 RSW 이론을 뿌리내림 기반의 추론으로 재구성하는 것.
• 모든 비영 수준선이 거의 확실하게 유계임을 보이되, 영 수준선의 유계성은 여전히 열려 있음.

제안 방법

• 큰 척도에서의 임계값 국소화를 기반으로 한 새로운 날카운 임계값 기준을 도입: 날카운 임계값은 큰 척도에서의 임계값 위치가 분산됨을 의미한다.
• 크기 조절된 교차 사건에 대해 수준 이동에 대한 확률의 분산과 민감도를 분석함으로써, 큰 척도에서의 임계값 국소화를 증명한다.
• 양의 연관성을 대체하기 위해 뿌리내림 절차를 도입함으로써, FKG 없이도 타시온의 RSW 이론을 가우시안 필드에 적용한다.
• 다중 척도에서 교차 사건을 전파하기 위해 크로스-X-크로스 구조를 사용하여 이진 링크 안에 중첩된 교차를 보장한다.
• 반복적인 로그 성장 조건을 사용한 재귀적 접합 추론을 통해 국소적 교차 사건으로부터 임의로 큰 교차를 구성한다.
• 가우시안 성질과 유사한 초수렴성 성질을 활용하여 尾 확률를 제어하고 임계 상태에서 교차 확률의 균일한 하한을 확보한다.

실험 결과

연구 질문

• RQ1 평면 가우시안 필드에서 FKG 부등식이 성립하지 않을 경우, ℓ = 0에서 단서 전이가 발생하는가?
• RQ2 양의 연관성 또는 유한 에너지 조건 없이도 퍼콜레이션에서 날카운 임계값 현상이 입증될 수 있는가?
• RQ3 양의 상관관계가 없는 가우시안 필드에 대해 RSW 이론을 어떻게 재구성할 수 있는가?
• RQ4 상관관계 감쇠와 대칭성에 어떤 조건이 단서 전이의 존재를 보장하는 데 충분한가?
• RQ5 평면 가우시안 필드의 모든 비영 수준선이 거의 확실하게 유계인가?

주요 결과

• 모든 매끄럽고 정적이며 중심이 잡힌 평면 가우시안 필드에서 대칭성과 약한 상관관계 감쇠 조건을 만족할 경우, 임계 수준 ℓ_crit = 0에서 단서 전이가 발생한다.
• 모든 ℓ ≤ 0에 대해, 교차 집합 {f ≥ −ℓ}은 거의 확실하게만 유계 연결 성분을 가진다.
• 모든 ℓ > 0에 대해, 교차 집합 {f ≥ −ℓ}은 거의 확실하게 하나의 유계가 아닌 연결 성분을 포함한다.
• 교차 사건의 임계값이 큰 척도에서 국소화되지 않아, 수준의 매우 작은 간격 동안 교차 확률이 거의 0에서 거의 1로 급격히 전이된다.
• 뿌리내림 메커니즘을 사용해 양의 연관성 효과를 모방함으로써, FKG 없이도 RSW 유사 추론을 가우시안 필드에 성공적으로 적용하였다.
• 증명은 평면성, 에르고딕성, 대칭성, 가우시안성(또는 초수렴성)만을 가정함으로써 다른 음의 연관성 모델로도 확장 가능한 일반적 프레임워크를 수립하였다.