계층 격자에서의 불연속 퍼콜레이션 전이와 정확한 임계 커널

초록

본 논문은 계층 격자 (H_{d}^{L}) 위의 장거리 퍼콜레이션 모델을 연구한다. 핵심 결과는 커널이 (|x-y|^{-2d}\log\log|x-y|)와 같은 차수일 때만 불연속 전이가 발생한다는 것이다. 커널이 이보다 크게 감소하면 전이는 연속적이며, 더 작게 감소하면 무한 클러스터가 전혀 생기지 않는다. 또한 Imbrie–Newman의 “(M^{2}\beta=1)” 추측에 대한 계층적 아날로그를 증명해, 임계점에서 무한 클러스터의 밀도를 정확히 구한다.

상세 분석

논문은 먼저 전통적인 1차원 정수 격자 (\mathbb{Z}) 에서의 장거리 퍼콜레이션 결과를 회고한다. Aizenman–Newman(1986)의 정리는 커널 (J(x,y)\sim|x-y|^{-2})일 때 임계점 (\lambda_{c})에서 무한 클러스터가 즉시 존재함을 보여, 전이가 불연속임을 증명한다. 반면 (J=o(|x-y|^{-2}))이면 전이가 아예 존재하지 않는다. 저자들은 이 현상을 계층 격자 (H_{d}^{L}) 에 일반화한다. 계층 격자는 거리 (|x-y|)가 가장 작은 공통 블록의 크기로 정의되는 초거리이며, 따라서 거리 척도가 지수적으로 성장한다.

핵심 정리 1.1은 커널의 비대칭적 감소 속도에 따라 전이의 성격을 완전히 구분한다.

1. 연속 전이: (J\gg n^{-2d}\log\log n)이면, 즉 커널이 (|x-y|^{-2d}\log\log|x-y|)보다 느리게 감소하면 (\lambda_{c}<\infty)이고, 임계점에서 무한 클러스터가 존재하지 않는다((P_{\lambda_{c}}(|K_{0}|=\infty)=0)).
2. 무전이: (J\ll n^{-2d}\log\log n)이면 (\lambda_{c}= \infty)이므로 전이가 전혀 일어나지 않는다.
3. 불연속 전이: (J\approx n^{-2d}\log\log n)이면 (\lambda_{c}<\infty)이고, 임계점에서 바로 무한 클러스터가 존재한다((P_{\lambda_{c}}(|K_{0}|=\infty)>0)).

여기서 “(\approx)”, “(\ll)”, “(\gg)”는 각각 상한·하한 비율이 유한·0·무한인 경우를 의미한다. 이러한 구분은 “정규성”과 “적분가능성”이라는 기술적 가정 하에 이루어지며, 특히 정규성은 거리 구간별 커널 평균이 일정 비율로 유지된다는 조건이다.

불연속 전이 부분의 증명은 기존의 “상위 임계 전략”(supercritical strategy)을 확장한다. 저자들은 무한 클러스터가 존재하는 (\lambda)에 대해, 충분히 작은 (\varepsilon>0)을 빼도 여전히 무한 클러스터가 유지된다는 것을 보인다. 이를 위해 모델을 적절히 코스그레이닝(coarse‑graining)하여, 원래 모델이 초임계라면 코스그레이닝된 모델도 초임계가 됨을 증명한다. 이 과정에서 커널이 (|x-y|^{-2d}\log\log|x-y|)보다 크게 감소하면 코스그레이닝 단계에서 충분히 많은 장거리 연결이 유지되어 연속 전이가 가능함을 보인다.

불연속 전이의 정확한 임계밀도는 Imbrie–Newman 추측의 계층적 버전으로 제시된다. 정의된 (\beta^{}(\lambda)=\limsup_{e\to\infty}L^{-d}J(\lambda,e),|e|^{2d}(\log\log|e|)^{-1})에 대해, 저자들은 (\theta(\lambda)=P_{\lambda}(0\leftrightarrow\infty))가 (\theta(\lambda_{c})\ge\beta^{}(\lambda_{c})-1/2)임을 보인다. 추가 가정으로 (\beta=\lim_{e\to\infty}L^{-d}J(\lambda_{c},e),|e|^{2d}(\log\log|e|)^{-1})가 존재하고 유한하면, (\theta(\lambda_{c})= \beta^{1/2})가 된다. 이는 원래 Imbrie–Newman의 “(M^{2}\beta=1)” 식과 정확히 일치한다. 즉, 임계점에서 무한 클러스터의 밀도는 커널의 비대칭적 상수만으로 완전히 결정된다.

정리 1.3은 “전이가 존재할 수 있는지 여부”에 대한 정밀한 경계값을 제공한다. 커널이 (\sim a L^{d}(\log\log n) n^{-2d}) 형태일 때, 상수 (a>1)이면 무한 클러스터가 존재하고, (\limsup_{n\to\infty}L^{-d}(L^{n})^{2d}\log\log(L^{n})J(L^{n})\le1)이면 존재하지 않는다. 이는 기존의 Dawson–Gorostiza 결과를 강화한다.

전체적으로 논문은 계층 격자라는 비유클리드 구조에서 장거리 퍼콜레이션의 임계 현상을 완전히 규정하고, Euclidean 경우에 아직 미해결인 Imbrie–Newman 추측을 계층적 모델에서 증명함으로써 두 모델 사이의 깊은 연결고리를 밝힌다. 또한, 커널의 미세한 로그 보정이 전이의 연속성·불연속성을 결정한다는 점을 정량적으로 보여, 장거리 상호작용 시스템의 임계 현상을 이해하는 데 중요한 통찰을 제공한다.