Coexistence of infinite clusters for percolation and Ising model on $\mathbb{Z}^d$

기술 요약: $\mathbb{Z}^d$ 상의 퍼콜레이션 및 이징 모델에 대한 무한 클러스터의 공존

문제 정의
본 논문은 고차원 격자 $\mathbb{Z}^d$에서 무한 클러스터의 공존 문제를 다룬다. 구체적으로, 초임계 영역(supercritical regime)에서 유일한 무한 오픈 클러스터(결합 퍼콜레이션의 경우) 또는 "소수" 스핀(마이너스 상에서의 이징 모델의 경우)의 여집합이 무한 연결 성분을 포함하는지 조사한다.

결합 퍼콜레이션의 매개변수 $p > p_c^b(d)$에 대하여, $X_p(d)$를 유일한 무한 오픈 클러스터에 속하는 모든 정점을 제거하여 얻은 부분 그래프라고 하자. 핵심 질문은 [16]에서 제기된 바와 같이, $X_p(d)$가 무한 연결 성분을 포함하는가 하는 점이다. 이와 유사하게, $\beta < \beta_c(d)$인 이징 모델의 마이너스 상(모두 $-$경계 조건)에서$+$ 스핀이 무한 클러스터를 형성하는지를 조사한다.

이전 연구들은 매우 높은 차원($[16]$의 $d \ge 19$, $[4]$의 $d \ge 11$, 그리고 $[9]$의 $d \ge 10$)에서 공존을 입증했다. 본 연구의 목표는 이러한 차원 임계값을 낮추고, 확률적 지배(stochastic domination)를 통해 더 강력한 형태의 공존을 제공하는 것이다.

방법론
저자들은 확률적 지배에 기반한 전략을 채택한다. 단순히 무한 성분의 존재를 증명하는 대신, 남은 구조($X_p(d)$ 또는 $+$ 스핀)가 초임계 사이트 퍼콜레이션 과정을 확률적으로 지배함을 보이는 것을 목표로 한다. 만약 어떤 체계가 초임계 사이트 퍼콜레이션을 지배한다면, 그 체계는 필연적으로 유일한 무한 클러스터를 가진다.

1. 확률적 지배 프레임워크:

   • 퍼콜레이션: 저자들은 확률 변수의 확률적 지배에 관한 최근 결과인 Martineau, Poudevigne, Rax [29] (정리 3)를 활용한다. 이들은 결합 퍼콜레이션 설정으로부터 사이트 퍼콜레이션 설정으로의 사상(mapping)을 구축한다. 핵심적인 기술적 단계는 Lemma 1로, Marshall Hall의 결혼 정리(marriage theorem) 확장을 사용하여 각 정점에 고유한 인접 오픈 에지를 할당함으로써 "차단(blocking)" 메커니즘을 정의한다.
   • 이징 모델: 이징 모델의 경우, 저자들은 Liggett와 Steif [26] (정리 4)의 확률적 지배 결과를 적용한다. 이 정리는 큰 박스가 전체가 $-$스핀으로 채워질 확률의 붕괴율과 사이트 퍼콜레이션의 지배를 연결한다. 이 붕괴율은 자유 에너지$f_{\mathbb{Z}^d}(\beta)$와 관련이 있다.

2. 임계 확률의 상한(Upper Bounds):
   지배되는 매개변수가 임계 임계값($p_c^s(d)$)을 초과함을 증명하기 위해, 저자들은 $p_c^b(d)$, $p_c^s(d)$, 그리고 $\beta_c(d)$에 대한 엄밀한 상한을 설정해야 한다.

   • 저자들은 "정상 랜덤 워크(stationary random walks)"를 포함하는 새로운 2차 모멘트 방법(second-moment method)을 도입한다. 순수하게 방향성이 있는 경로(oriented paths)만을 사용하는 기존 방식(공간의 많은 부분을 감지하지 못함)과 달리, 이 전략은 경로가 한 좌표를 따라 정상 랜덤 워크를 수행하면서 나머지 $d-1$ 좌표를 따라 양의 방향으로 이동하도록 허용한다.
   • 이 접근법은 두 독립적인 경로 간의 교차 확률을 감소시켜, 중간 차원($5 \le d \le 10$)에 대해 더 정밀한 임계 확률 상한을 도출한다.
   • $\beta_c(d)$의 경우, Fröhlich, Simon, Spencer [11]의 적외선 경계(infrared bounds)를 활용하고 수정된 베셀 함수(modified Bessel function)의 성질을 사용하여 명시적인 상한을 유도한다.

주요 기여 및 결과

• 정리 1 (결합 퍼콜레이션): 각 $d \ge 9$에 대하여, $p \in (p_c^b(d), p_c^b(d) + \epsilon_d)$인 $p$에 대해, 무한 오픈 클러스터의 여집합 $X_p(d)$는 매개변수 $\tilde{p} > p_c^s(d)$를 갖는 초임계 사이트 퍼콜레이션을 확률적으로 지배하는 $\epsilon_d > 0$가 존재한다.

  • 개선 사항: 이는 Bock 등의 [4]의 $d \ge 10$ 결과와 [9]의 $d \ge 11$ 결과를 개선한 것이다.
  • 수치적 확장: 저자들은 수치적 추정치(표 3)를 사용하면 이 결과가 아마도 모든 $d \ge 4$에 대해 성립할 것이라고 언급한다.

• 정리 2 (이징 모델): $\mathbb{Z}^d$ 상의 이징 모델에 대하여 $d \ge 8$인 경우, $\beta \in [0, \beta_c(d) + \epsilon_d)$인 $\beta$에 대해 $+$ 스핀이 초임계 사이트 퍼콜레이션을 확률적으로 지배하는 $\epsilon_d > 0$가 존재한다.

  • 개선 사항: 이는 $d$가 "충분히 커야" 했던 Aizenman 등의 [1] 결과를 개선한 것이다.
  • 수치적 확장: 수치적 추정치는 이 결과가 모든 $d \ge 5$에 대해 성립할 것임을 시사한다.

• 명제 1 & 2: 이 명제들은 핵심적인 확률적 지배 메커니즘을 제공한다. 명제 1은 $V(\mathbb{Z}^d) \setminus C_\infty$가 매개변수 $(1-p)^{2d}$를 갖는 사이트 퍼콜레이션을 지배함을 보여준다. 명제 2는 자유 에너지 추정을 바탕으로 이징 모델에 대한 지배를 확립한다.

• 임계 확률 상한: 논문은 새로운 정상 랜덤 워크 2차 모멘트 방법을 사용하여 $4 \le d \le 15$ 범위에 대한 $p_c^b(d)$와 $p_c^s(d)$의 엄밀한 상한을 제공한다(표 2). 이 상한들은 $5 \le d \le 10$ 범위에서 기존 문헌보다 더 정밀하다.

의의 및 주장
본 논문은 결합 퍼콜레이션과 이징 모델 모두에서 무한 클러스터의 공존을 증명하기 위한 차원 임계값을 크게 낮추었다고 주장한다. 확률적 지배에 초점을 맞춤으로써, 저자들은 기존의 존재성 증명보다 더 강력한 결과를 제공한다.

저자들은 자신들의 방법이 임계 확률을 효과적으로 제한하는 능력에 의존하고 있음을 명시적으로 밝힌다. 그들은 분석적 방법이 $d \ge 9$(퍼콜레이션) 및 $d \ge 8$(이징)에 대해 결과를 입증하지만, 수치적 증거는 이 공존 현상이 모든 $d \ge 4$(퍼콜레이션) 및 $d \ge 5$(이징)에 대해 성립할 가능성이 높음을 보여준다고 인정한다.

결정적으로, 저자들은 자신들의 방법론의 한계에 대해 겸허한 태도를 보인다. Remark 3과 Remark 4에서 저자들은 비록 $d=3$ (그리고 이징의 경우 $d=4$일 가능성도 있음)에서 공존의 물리적 현상이 존재할 것으로 예상함에도 불구하고, 자신들의 확률적 지배 방법론이 $d=3$에서는 실패할 것이라고 명시적으로 밝힌다. 즉, $d=3$에서 무한 클러스터의 여집합이 무한 성분을 포함할 가능성은 높지만, 초임계 사이트 퍼콜레이션을 확률적으로 지배하지는 않을 것이라고 주장한다. 따라서 본 논문의 기여는 모든 차원에서 공존을 증명하는 것이 아니라, 고차원에서 특정한 강력한 형태의 공존을 엄밀하게 확립하는 데 있다.