[논문 리뷰] Vanishing of the anchored isoperimetric profile in bond percolation at p c

Cerf, Raphaël, Dembin, Barbara|arXiv (Cornell University)|2019. 03. 19.

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

한 줄 요약

이 논문은 $ℚ^d$에서 임계 확률 $p_c$에서의 고정된 등주 프로파일을 연구하며, 유한한 상자들을 사용하여 $p = p_c$로 프로파일 정의를 확장한다. 만약 $n\widehat{\varphi}_n(p_c)$의 극한이 존재한다면, 그 값은 0이어야 한다는 것을 증명하며, 이를 위해 클러스터 성장과 반공간에서의 비확산을 바탕으로 한 모순 추론을 사용한다.

ABSTRACT

We consider the anchored isoperimetric profile of the infinite open cluster, defined for $p > p\\_c$, whose existence has been recently proved in [3]. We extend adequately the definition for $p = p\\_c$, in finite boxes. We prove a partial result which implies that, if the limit defining the anchored isoperimetric profile at $p\\_c$ exists, it has to vanish.

연구 동기 및 목표

• bond percolation on $\mathbb{Z}^d$에서 임계점 $p_c$로의 고정된 등주 프로파일 정의를 확장한다.
• $n \to \infty$일 때 $n\widehat{\varphi}_n(p_c)$의 渐近적 행동을 분석한다.
• 임계 상태에서 $n\widehat{\varphi}_n(p_c)$의 극한이 양수일 수 있는지 여부를 규명한다.
• 존재성을 가정할 경우, 그러한 극한이 반드시 0이 되어야 한다는 부분적인 결과를 확립한다.
• 클러스터 탐색과 반공간에서의 비확산을 바탕으로 한 모순 추론을 사용한다.

제안 방법

• $p \in [0,1]$에 대해 $\widehat{\varphi}_n(p)$를 원점이 포함된 연결 부분그래프 $H$ 중에서 $|H| \leq n^d$인 것들에 대해, 엣지 경계 대 부피 비율의 최솟값으로 정의한다. 이는 클러스터 $\mathcal{C}(0)$의 부분그래프에 대해 정의된다.
• 상자 $[-n,n]^d$ 내부에 고금된 $\mathcal{C}(0)$의 탐색 과정을 구성하며, 더 이상 새로운 정점들이 드러나지 않을 때까지 정지한다.
• $\liminf_{n\to\infty} n\widehat{\varphi}_n(p_c) > 0$를 가정하여 모순을 도출한다.
• 粗화와 수학적 귀납법을 사용하여, 탐색된 클러스터가 적어도 $n^{d-1}$만큼 성장함을 보이며, 이는 상자의 면들과 큰 경계 교차를 암시한다.
• 반공간에서의 비확산 결과를 활용하여, 반공간 내 원점과 연결된 정점의 기대 수가 작다는 것을 암시한다.
• 면에서 큰 경계 연결의 확률이 임계값을 초과함을 보여 모순을 유도한다. 이는 반공간 비확산 결과를 위반한다.

실험 결과

연구 질문

• RQ1 고정된 등주 프로파일 $\widehat{\varphi}_n(p_c)$는 $n \to \infty$일 때 극한에서 0이 되는가?
• RQ2 임계 상태에서 $\lim_{n\to\infty} n\widehat{\varphi}_n(p_c)$의 극한이 양수일 수 있는가?
• RQ3 임계 상태에서 열린 클러스터의 클러스터 성장과 경계 크기의 渐近적 행동은 어떠한가?
• RQ4 반공간에서의 비확산은 임계 클러스터의 기하학적 구조에 어떻게 제약을 둔다?
• RQ5 만약 $n\widehat{\varphi}_n(p_c)$에 대해 양의 하한이 존재한다고 가정할 경우, 모순을 도출할 수 있는가?

주요 결과

• 만약 극한 $\lim_{n\to\infty} n\widehat{\varphi}_n(p_c)$가 존재한다면, 그 값은 반드시 0이어야 한다.
• 증명은 $\liminf_{n\to\infty} n\widehat{\varphi}_n(p_c) > 0$를 가정한 모순 추론에 기반하며, 이는 적어도 $c n^{d-1}$ 크기의 클러스터 경계를 암시한다.
• 탐색 과정에 따르면, 가정 하에 원점과 상자 내에서 연결된 정점의 수는 $\alpha (n/k)^d$ 이상으로 증가한다. 여기서 $\alpha > 0$이다.
• 상자 $[-n,n]^d$의 면과의 경계 교차 수는 양의 확률로 적어도 $c\alpha n^{d-1}/(2^d k^d 2d)$ 이상임을 보였다.
• 반공간 비확산 결과를 사용하여, 이러한 정점의 기대 수는 $\eta (2n+1)^{d-1}$ 이하로 유계화되며, 이를 임의로 작게 만들 수 있다.
• 이 기대값이 요구되는 경계 연결 정점 수를 지탱하기에 너무 작아지면서 모순이 발생한다. 이는 이전의 하한과 위반된다.