2차원 메트릭 그래프와 이산 GFF의 원암 확률 연구

본 논문은 2차원 정사각형 박스 B_N (반지름 N) 안에서 디리클레 경계조건을 갖는 메트릭‑그래프 Gaussian Free Field(e φ_N)와 그 제한인 이산 Gaussian Free Field(φ_N)를 대상으로, 레벨 h에 대한 원암(one‑arm) 확률을 체계적으로 분석한다. 1. **배경 및 동기** GFF는 확률, 통계물리, 공액장 이론에서 핵심적인 무질량 가우시안 모델이며, 그 레벨셋은 퍼콜레이션 현상의 자연스러운 모델이다. 고차원에서는 임계 레벨의 존재와 큰 편차 추정이 잘 알려져 있으나, 2차원에서는 장거리 상관 때문에 아직 충분히 이해되지 않았다. 특히 메트릭‑그래프 GFF는 연속적인 구조와 루푸(Lupu)의 loop‑soup, excursion‑cloud과의 연결 덕분에 정확한 두 점 함수와 클러스터 용량을 알 수 있어, 임계 현상을 정밀히 다룰 수 있다. 2. **주요 정의와 표기법** - ℤ² 위의 l_∞ 노름을 |·|_∞ 로, l_2 노름을 |·| 로 표기. - B_N = {x∈ℤ² : |x|_∞ ≤ N}. - e B_N 은 각 인접 정점 사이를 길이 2인 선분으로 연결한 메트릭‑그래프. - e φ_N 은 e B_{N+1} 위의 Dirichlet 경계조건을 갖는 연속 GFF, φ_N 은 그 정수 격자점에서의 제한. - 레벨셋 E^{≥h}_N = {x∈B_N : φ_{N,x} ≥ h}. - 원암 사건 {0 φ_N ≥ h ↔ ∂B_{N/2}} 은 원점에서 반지름 N/2 까지 레벨 h 이상의 경로가 존재함을 의미한다. 3. **메트릭‑그래프 GFF에 대한 결과** - **Proposition 1.1**: h≤0일 때 원암 확률은 P ≍ |h|·√{log N}∧1·(log N)^{-1/2}. h>0일 때는 exp(-a₂ h²·(log N)^{-1/2}) ≤ P ≤ exp(-a₁ h²·(log N)^{-1/2}). 여기서 a₁,a₂는 보편 상수이다. - **Proposition 1.2**: 경계 원암(∂_i B_N)에 대해, h≥0이면 P ≤ (log N)^{-1} N^{-c h²}, 즉 다항식·로그 속도로 급격히 감소한다. - h<0에서는 경계 원암이 정확히 P = P(|e φ_{N,0}| ≤ |h|) 로 표현되어, (log N)^{-1/2}·|h| 스케일을 갖는다. 이는 레벨 0을 기준으로 한 전이 현상을 보여준다. 4. **이산 GFF에 대한 결과** - **Theorem 1.3**: 메트릭‑그래프와 동일한 로그 (N)^{-1/2} 스케일을 유지한다. h≤0: P ≍ |h|·√{log N}∧1·(log N)^{-1/2}. h>0: exp(-a₄ h²·(log N)^{-1/2}) ≤ P ≤ exp(-a₃ h²·(log N)^{-1/2}). - **Theorem 1.4**: 두 모델 사이의 차이는 상수 c(h)·(log N)^{-1/2} 만큼 존재한다. 즉, 이산 경우가 메트릭‑그래프보다 항상 조금 더 작다. - **Proposition 1.5 (RSW‑type)**: 임의의 레벨 h와 0<α<β<1에 대해, 충분히 큰 N에 대해 annulus A_{αN,βN} 안에 레벨 h 이상의 회로가 존재할 확률이 양의 상수 c(h,α,β) > 0 로 하한을 갖는다. 이는 B_{αN} ↔ ∂B_{βN} 연결 확률이 1−c 로 상한을 갖는 것과 동치이다. 5. **화학 거리와 클러스터 크기** - 정의된 화학 거리 D_{N,h}에 대해, 조건부 확률 P