[논문 리뷰] Critical Percolation and the Minimal Spanning Tree in Slabs

Charles M. Newman, Vincent Tassion외 1명|arXiv (Cornell University)|2015. 12. 30.

Stochastic processes and statistical mechanics참고 문헌 17인용 수 4

한 줄 요약

이 논문은 일반화된 접합 레미마와 이러한 그래프에 대한 새로운 러소-세이모어-웰시 유형 정리에 기반하여, $\mathbb{Z}^{2} \times \{0,\ldots,k\}^{d-2}$ 형태의 준평면 슬래브에서 최소 스패닝 숲이 모든 $d \geq 2$ 에 대해 거의 확실히 하나의 나무임을 입증한다. 또한 임계 상태에서 큰 클러스터 확률의 다항식 감쇠를 증명하여 이전의 무한 클러스터가 존재하지 않는 결과를 강화한다.

ABSTRACT

The minimal spanning forest on $\mathbb{Z}^{d}$ is known to consist of a single tree for $d \leq 2$ and is conjectured to consist of infinitely many trees for large $d$. In this paper, we prove that there is a single tree for quasi-planar graphs such as $\mathbb{Z}^{2} imes {\{0,\ldots,k\}}^{d-2}$. Our method relies on generalizations of the "Gluing Lemma" of arXiv:1401.7130. A related result is that critical Bernoulli percolation on a slab satisfies the box-crossing property. Its proof is based on a new Russo-Seymour-Welsh type theorem for quasi-planar graphs. Thus, at criticality, the probability of an open path from $0$ of diameter $n$ decays polynomially in $n$. This strengthens the result of arXiv:1401.7130, where the absence of an infinite cluster at criticality was first established.

연구 동기 및 목표

• 두께가 있는 슬래브 $\mathbb{Z}^2 \times \{0,\ldots,k\}^{d-2}$ 를 준평면 근사로 삼아, $d > 2$ 일 때 $\mathbb{Z}^d$ 에서의 최소 스패닝 숲이 하나의 나무인지 여부라는 열린 문제를 해결하는 것.
• 슬래브에서 임계 베르누이 퍼콜레이션에 대해 박스 교차 성질을 확립하여, 임계 상태에서 큰 클러스터 확률의 다항식 감쇠를 유도하는 것.
• DST15a에서 제시된 접합 레미마 기법을 준평면 그래프로 확장하여, 최소 스패닝 숲과 퍼콜레이션 클러스터의 구조를 제어할 수 있도록 하는 것.
• 준평면 그래프에서 임계 퍼콜레이션에 대한 새로운 러소-세이모어-웰시 유형 정리를 제시하여, 임계 상태에서 장거리 교차의 양항 확률을 보장하는 것.

제안 방법

• DST15a에서 제시된 접합 레미마를 일반화하여, 퍼콜레이션 구성 간의 측도 보존 사상에서 사전상의 수를 제어함으로써 희귀 사건의 확률을 비교할 수 있도록 하는 것.
• 경계 $\overline{B}_1^\#(z')$ 를 제외한 영역에서 엣지 구성에 제어된 방식으로 영향을 주는 사상 $\Phi$ 를 구성: 최소 $p_c$-열린 고리 $\Gamma_{\min}$ 의 엣지를 열고, 경로 $\Gamma_w$ 의 엣지를 열며, $\overline{B}_1^\#(z')$ 내의 엣지를 닫는다.
• $\Phi$ 에서 최소 $p_c$-열린 고리 $\Gamma_{\min}(\omega)$ 가 불변임을 이용하여 새로운 임계 고리가 생성되지 않도록 하여, 사전상의 수가 유한한 범위 내에서 유지됨을 보장함으로써 단사성 확보.
• 레미마 4.2를 적용하여 희귀 사건의 확률을 국소적 이웃 $\overline{B}_1^\#(z')$ 의 엣지 수에 따라 결정되는 상수 배수의 더 일반적인 사건의 확률로 유계화.
• 준평면 기하학에 적응된 새로운 RSW 유형의 추론을 사용하여, 임계 상태에서 장거리 교차가 양항 확률로 발생함을 증명함으로써 박스 교차 성질을 확립.
• 슬래브의 준평면적 기하학을 활용하여 평면 퍼콜레이션 기법을 고차원으로 확장함으로써 클러스터 기하학과 스패닝 숲의 연결성 제어를 가능하게 한다.

실험 결과

연구 질문

• RQ1 모든 $d \geq 2$ 에 대해 $\mathbb{Z}^2 \times \{0,\ldots,k\}^{d-2}$ 의 슬래브에서 최소 스패닝 숲이 거의 확실히 하나의 나무로 구성되는가?
• RQ2 이러한 슬래브에서의 임계 베르누이 퍼콜레이션은 박스 교차 성질을 만족하는가? 이는 큰 클러스터 확률의 다항식 감쇠를 의미한다.
• RQ3 접합 레미마 기법을 준평면 그래프로 일반화하여, 퍼콜레이션 및 스패닝 숲 모델에서 희귀 사건의 측도를 제어할 수 있는가?
• RQ4 준평면 그래프에서 임계 퍼콜레이션에 대해 러소-세이모어-웰시 유형 정리가 존재하는가? 이는 임계 상태에서 장거리 교차의 양항 확률을 보장한다.

주요 결과

• 모든 슬래브 $\mathbb{Z}^2 \times \{0,\ldots,k\}^{d-2}$ 에서 최소 스패닝 숲은 거의 확실히 하나의 나무이다. 이는 기존의 $d=2$ 에서의 결과를 이 준평면 설정에서 고차원으로 확장한 것이다.
• 슬래브에서의 임계 베르누이 퍼콜레이션은 박스 교차 성질을 만족한다. 즉, 임계 상태에서 장직선 직사각형의 교차 확률이 양항 상수로 하한이 존재한다.
• 임계 클러스터의 지름 $n$ 에 대해 확률이 다항식으로 감쇠하며, 구체적으로 $\mathbb{P}(\text{diam}(\mathcal{C}_0) \geq n) \leq C n^{-\alpha}$ ($\alpha > 0$) 를 만족한다. 이는 역거듭제곱 감쇠를 확인한다.
• 준평면 그래프에서 임계 퍼콜레이션에 대한 새로운 러소-세이모어-웰시 유형 정리가 확립되었으며, 이는 임계 상태에서 장거리 교차가 양항 확률로 존재함을 증명한다.
• 일반화된 접합 레미마를 통해 퍼콜레이션에서 희귀 사건의 확률을 제어할 수 있으며, 사전상의 수는 국소 기하학에 따라 결정되는 상수로 유계화된다.
• 증명 기법은 평면성에 의존하지 않으며, 국소 기하 제어와 측도 비교를 통해 평면에서 두꺼운 슬래브 그래프로의 결과 확장을 가능하게 한다.