The conformally invariant metric on CLE$_4$ II: existence of geodesics

기술 요약: CLE$_4$ 상의 공형 불변 메트릭: 측지선(Geodesics)의 존재성

문제 정의
본 논문은 매개변수 $\kappa = 4$인 CLE(Conformal Loop Ensemble)의 루프 집합 위에 구축된 공형 불변 메트릭(conformally invariant metric)의 구성 및 구조적 분석을 다룬다. CLE$_4$는 서로 접촉하지 않는 단순하고 분리된 루프들로 구성되어 있으나, 이 루프들 자체가 불연속적이기 때문에 이 루프들 위에 메트릭을 정의하는 것은 까다로운 문제이다. 본 시리즈의 첫 번째 논문 [KKMT26a]에서 저자들은 $\kappa \downarrow 4$일 때 정규화된 그래프 메트릭(renormalized graph metrics)의 부분 수렴 스케일링 극한(subsequential scaling limit)으로서 이러한 메트릭을 구축하였다. 그러나 $\kappa > 4$인 경우와 달리, 극한에서의 위상(topology)은 측지선이 자연스럽게 존재하는 그래프 위상과 다르기 때문에, 이 극한 메트릭에서 루프 사이의 측지선(최단 경로)의 존재성이 구축 과정에서 보장되지 않았다.

본 연구의 핵심 문제는 임의의 "약한 측지선 CLE$_4$ 메트릭 결합(weak geodesic CLE$_4$ metric coupling)"(국소성, 공형 불변성, 균등 탐색의 특정 공리들을 만족하는 메트릭)에 대하여, 두 루프 사이의 측지선이 실제로 존재함을 증명하는 것이다. 나아가 본 논문은 이러한 측지선의 기하학적 성질, 구체적으로 측지선이 앙상블의 루프들에 의해 지지(supported)되는지, 그리고 도메인 경계와 교차하는지 여부를 규명하는 것을 목표로 한다.

방법론
저자들은 CLE$_4$ 및 Schramm–Loewner Evolution (SLE)에 대한 여러 가지 구별된 관점을 결합한 다중 척도 확률론적 분석을 채택한다:

1. 메트릭 기하학 및 균등 탐색: 메트릭은 도메인 경계로부터 메트릭 볼(metric balls)이 성장하는 Werner와 Wu [WW13b]의 "균등 탐색(uniform exploration)" 과정을 통해 분석된다. 본 논문은 조건부로 서브도메인 외부의 메트릭 볼이 주어졌을 때, 서브도메인 내부의 메트릭은 해당 서브도메인 내의 CLE$_4$ 메트릭과 동일하게 분포한다는 국소성 성질(공리 II)을 활용한다.
2. 정량적 추정:
   • 직사각형 거리: 저자들은 공형 직사각형에 걸친 거리에 대한 날카로운 경계(sharp bounds)를 설정한다. 그들은 $r \times 1$ 직사각형의 상단과 하단 사이의 거리가 $1/r$로 스케일링된 기하 분포(geometric random variable)에 의해 확률적으로 지배됨을 증명하며(Proposition 3.2), 지수적 꼬리 경계(exponential tail bounds)를 제공한다.
   • 메트릭 볼의 비교차: 핵심 요소는 서로 다른 루프로부터 성장한 두 메트릭 볼이 반지름 $\epsilon$인 작은 유클리드 볼에 닿을 때까지 서로 분리된 상태로 유지될 확률을 추정하는 Proposition 4.10이다. 저자들은 이 확률이 $\epsilon^{2+o(1)}$에 의해 유계임을 보여준다. 이는 이 사건을 bichordal SLE$_4$ 구성에서의 네 개의 거시적인 암(four macroscopic arms)에 대한 요구 조건으로 변환함으로써 달성되며, 이를 위해 Zhan [Zha20, Zha21]의 4-암 지수 추정치를 활용한다.
   • 수직 대 수평 거리: Lemma 5.1은 직사각형을 가로지르는 수평 거리가 수직 거리보다 엄격히 작을 확률이 양수임을 확립하며, 이는 "코너를 깎는(cut corners)" 경로를 구축하는 데 결정적인 속성이다.
3. 측지선의 다중 척도 구축: 존재성을 증명하기 위해, 저자들은 두 대상 루프 사이의 "경유지(waypoints)" 역할을 하는 유한한 루프 가족들의 수열을 구축한다. 비교차 추정치와 국소성 성질을 사용하여, 이들은 더 미세한 척도에서 이 가족들을 반복적으로 정교화한다. 이들은 이 수열이 메트릭 거리에 해당하는 길이를 갖는 연속 경로로 거의 확실하게(almost surely) 수렴함을 보여줌으로써 측지선의 존재성을 확립한다.
4. 가우스 자유 장(GFF)과의 결합: 분석은 레벨 라인(level lines)을 통한 CLE$_4$와 GFF 사이의 결합(Section 2.7)에 크게 의존하며, 이를 통해 레벨 라인의 상호작용 규칙 및 로컬 세트의 성질과 같은 SLE 이론의 도구들을 사용할 수 있게 한다.

주요 기여 및 결과

• 측지선의 존재성 (Theorem 1.4): 주요 결과는 모든 약한 측지선 CLE$_4$ 메트릭 결합이 "측지선 CLE$_4$ 메트릭 결합"이라는 것이다. 구체적으로, CLE$_4$ 내의 임의의 두 루프 $\mathcal{L}_1, \mathcal{L}_2$에 대하여, 경로의 길이가 메트릭 거리 $D(\mathcal{L}_1, \mathcal{L}_2)$와 같은 허용 가능한 경로 $P$가 존재한다.
• 측지선의 지지 및 차원 (Theorem 1.5): 본 논문은 측지선의 세 가지 주요 구조적 성질을 증명한다:
  1. 거리 간극 없음 (No Distance Gaps): 시작 루프로부터 측지선과 교차하는 루프들까지의 거리 집합은 구간 $[0, D(\mathcal{L}_1, \mathcal{L}_2)]$의 조밀한 부분집합을 형성한다.
  2. 루프 상의 지지 (Support on Loops): 측지선은 CLE$_4$의 루프들에 의해 지지된다. 루프 위에 놓이지 않는 측지선 상의 점들의 하우스도르프 차원(Hausdorff dimension)은 0이다.
  3. 경계 회피 (Boundary Avoidance): 두 루프를 연결하는 측지선은 거의 확실하게 도메인 경계 $\partial U$를 건드리지 않는다.
• 내부 메트릭 동치성 (Corollary 6.6): 저자들은 서브도메인 내에 머무르는 경로들로 정의된 내부 메트릭이, CLE$_4$에 의해 유도된 메트릭과 거의 확실하게 일치함을 보여준다. 이는 국소성 공리에 따른 메트릭의 일관성을 확인해 준다.
• 날카로운 추정치: 본 논문은 직사각형 거리에 대한 지수적 꼬리 경계를 포함하여, CLE$_4$의 기하학에 독립적인 관심사로서도 가치가 있는 새로운 정량적 추정치들을 제공한다.

의의 및 주장
저자들은 이 작업을 3부작 시리즈 중 두 번째 작업으로 위치시킨다. 본 논문의 의의는 [KKMT26a]에서 사용된 부분 수렴 극한 구축법에서 자동적으로 보장되지 않는 성질인 측지선의 존재성을 확립하는 데 있다.

본 논문은 이러한 결과들이 시리즈의 세 번째 논문 [KKMT26b]에서 **유일성(uniqueness)**을 증명하기 위한 기초가 된다는 점을 명시한다. 측지선의 존재성과 구조적 성질(특히 루프 상의 지지와 경계 회피)은 메트릭이 CLE$_4$ 구성에 의해 유일하게 결정됨을 입증하기 위한 "결정적인 도구"로 설명된다.

저자들은 Sheffield, Watson, Wu가 미발표된 작업에서 다른 접근 방식을 통해 CLE$_4$ 메트릭을 이전에 구축한 바 있으나, 해당 구축은 측지선의 존재성을 조사하지 않았음을 언급한다. 본 논문은 이러한 공백을 메우며, 메트릭이 자연스러운 국소성, 공형 불변성, 균등 탐색 공리를 만족한다면 어떤 근사 방식(approximation scheme)을 사용하더라도 측지선이 존재하며 특정한 기하학적 규칙성을 가짐을 보여준다.

본 논문은 유일성 문제를 직접 해결하거나 새로운 실험적 응용을 제안하는 것이 아니다. 그 기여는 순수하게 이론적이며, 후속 연구에서 CLE$_4$ 메트릭의 특징 규정을 완성하기 위해 필요한 기하학적 프레임워크를 제공하는 데 있다.