[논문 리뷰] Phase transitions and noise sensitivity on the Poisson space via stopping sets and decision trees

Günter Last, Giovanni Peccati외 1명|arXiv (Cornell University)|2021. 01. 18.

Stochastic processes and statistical mechanics참고 문헌 68인용 수 5

한 줄 요약

이 논문은 연속 시간 의사결정 트리와 일반화된 정지 집합의 새로운 개념을 사용하여, 일반적인 가측 공간 위의 포아송 과정에 대한 기능에 대해 OSSS 및 슈람-스타이프 부등식의 내재적 형태를 수립한다. 이는 분석을 임계 상태에서의 한 지점 확률 계산으로 환원함으로써 연속 매체 퍼콜레이션 모델에서의 날카러운 전이 및 노이즈 민감도를 증명함으로써, 포아송 불리안 모델과 컨피리 퍼콜레이션에 대한 열린 문제를 해결한다.

ABSTRACT

Proofs of sharp phase transition and noise sensitivity in percolation have been significantly simplified by the use of randomized algorithms, via the OSSS inequality (proved by O'Donnell, Saks, Schramm and Servedio (2005)) and the Schramm-Steif inequality for the Fourier-Walsh coefficients of functions defined on the Boolean hypercube. In this article, we prove intrinsic versions of the OSSS and Schramm-Steif inequalities for functionals of a general Poisson process, and apply these new estimates to deduce sufficient conditions - expressed in terms of randomized stopping sets - yielding sharp phase transitions, quantitative noise sensitivity, exceptional times and bounds on critical windows for monotonic Boolean Poisson functions. Our analysis is based on a new general definition of `stopping set', not requiring any topological property for the underlying measurable space, as well as on the new concept of a `continuous-time decision tree', for which we establish several fundamental properties. We apply our findings to the $k$-percolation of the Poisson Boolean model and to the Poisson-based confetti percolation with bounded random grains. In these two models, we reduce the proof of sharp phase transitions for percolation, and of noise sensitivity for crossing events, to the construction of suitable randomized stopping sets and the computation of one-arm probabilities. This enables us to settle some open problem suggested by Ahlberg, Tassion and Texeira (2018) on noise sensitivity of crossing events for the planar Poisson Boolean model and also planar Confetti percolation model. Further, we also prove that critical probability is $1/2$ in certain planar confetti percolation models. A special case of this result was conjectured by Benjamini and Schramm (1998) and proved by Müller (2017). Other special cases were proven by Hirsch (2015) and Ghosh and Roy (2018).

연구 동기 및 목표

• 초기에는 초입방체 위의 부울 함수에 대해 개발된 OSSS 및 슈람-스타이프 부등식을 일반 포아송 과정에 대한 기능으로 확장하는 것.
• 기본 공간의 위상적 가정이 필요 없이도 일반적인 정지 집합 이론과 연속 시간 의사결정 트리(CTDT) 이론을 개발하는 것.
• 이 도구들을 사용하여 연속 매체 퍼콜레이션 모델, 특히 포아송 불리안 및 컨피리 모델에서 날카러운 전이와 노이즈 민감도를 증명하는 것.
• 유한한 $(2+\alpha)$-모멘트를 가지는 평면 포아송 불리안 모델에서의 교차 사건에 대한 노이즈 민감도에 대한 열린 문제와, 대칭적인 입자로 구성된 컨피리 퍼콜레이션에서 임계 확률이 $1/2$인지 여부를 해결하는 것.
• 벤자민-슈람, مول러, 히르슈, 고타-로이의 연구 결과를 통합하고 일반화하여 퍼콜레이션에서 임계 확률과 노이즈 민감도에 관한 이전 결과들을 통합하는 것.

제안 방법

• 기본 가측 공간 위의 위상적 구조가 필요 없이도 정의 가능한 정지 집합의 새로운 정의를 도입하는 것.
• 포아송 기능에 대한 랜덤 알고리즘의 연속 시간 버전으로서 연속 시간 의사결정 트리(CTDT)를 정의하는 것.
• CTDT의 폭 드러남 확률을 통해 분산을 제한하는 포아송 공간 버전의 OSSS 부등식을 수립하는 것.
• 푸리에-월라시 계수와 폭 드러남 및 노이즈 민감도를 연결하는 포아송 공간 버전의 슈람-스타이프 부등식을 유도하는 것.
• 오르스타인-울렌벡 반군을 사용하여 포아송 설정에서의 노이즈 안정성과 민감도를 분석하는 것.
• 적절한 랜덤 정지 집합을 구성하고 임계 상태에서의 한 지점 확률을 계산함으로써, $k$-퍼콜레이션과 컨피리 퍼콜레이션에 이 부등식들을 적용하는 것.

실험 결과

연구 질문

• RQ1 일반적인 가측 공간 위의 포아송 과정에 대한 기능에 대해 OSSS 및 슈람-스타이프 부등식을 일반화할 수 있는가?
• RQ2 정지 집합과 연속 시간 의사결정 트리의 역할은 연속 매체 퍼콜레이션에서의 노이즈 민감도와 전이를 특성화하는 데 어떤가?
• RQ3 유한한 $(2+\alpha)$-모멘트를 가지는 랜덤 공을 가진 평면 포아송 불리안 모델에서 교차 사건에 대해 노이즈 민감도가 존재하는가?
• RQ4 유한하고 $\pi/2$-회전 및 반사 대칭성을 가지는 입자로 구성된 컨피리 퍼콜레이션에서 임계 확률이 정확히 $1/2$인가?
• RQ5 정지 집합의 구성과 한 지점 확률 추정치를 사용하여 연속 매체 퍼콜레이션 모델에서의 날카러운 전이를 증명할 수 있는가?

주요 결과

• 논문은 위상적 가정 없이도 일반적인 가측 공간에서 유효한 포아송 기능에 대한 OSSS 및 슈람-스타이프 부등식의 내재적 형태를 수립한다.
• 논문은 유한한 $(2+\alpha)$-모멘트를 가지는 랜덤 공을 가진 평면 포아송 불리안 모델에서 교차 사건에 대해 노이즈 민감도가 존재함을 증명하며, 아흐베르크 등이 제기한 추측을 확인한다.
• 유한하고 $\pi/2$-회전 및 반사 대칭성을 가지는 입자로 구성된 컨피리 퍼콜레이션에서 임계 확률은 정확히 $1/2$임을 증명하며, 벤자민과 슈람의 추측을 해결한다.
• 논문의 결과는 مول러, 히르슈, 고타-로이의 특정 퍼콜레이션 모델에서의 임계 확률과 노이즈 민감도에 관한 이전 결과들을 일반화하고 통합한다.
• 날카러운 전이와 노이즈 민감도의 증명은 임계 상태에서 랜덤 정지 집합을 구성하고 한 지점 확률을 계산하는 것으로 환원된다.
• 논문은 일부 정지 집합은 어떤 $\lambda$-연속 CTDT로도 실현될 수 없음을 보이며, 새로운 이론적 프레임워크의 필요성을 입증한다.