[논문 리뷰] Tightness of supercritical Liouville first passage percolation

Jian Ding, Ewain Gwynne|arXiv (Cornell University)|2020. 05. 27.

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

한 줄 요약

이 논문은 초임계 단계($\xi > \xi_{\mathrm{crit}}$)에서 재스케일링된 리우빌 첫 통과 시간 폴리메터리즘(LFPP) 거리 체계의 날카러움(tightness)을 확립하며, 모든 부분수렴 극한이 완전하고 비유클리드 거리 체계임을 증명한다. 이들에서 대부분의 점들은 무한한 상대 거리를 가지며 고립되어 있다. 결과들은 물질 중심 임계값 $(1,25)$을 가진 리우빌 양자 중력(LQG)과의 연결성을 시사하며, 이는 이전의 임계 단계 이하에서의 연구를 확장한다.

ABSTRACT

Liouville first passage percolation (LFPP) with parameter $ξ>0$ is the family of random distance functions $\{D_h^ε\}_{ε>0}$ on the plane obtained by integrating $e^{ξh_ε}$ along paths, where $h_ε$ for $ε>0$ is a smooth mollification of the planar Gaussian free field. Previous work by Ding-Dubédat-Dunlap-Falconet and Gwynne-Miller has shown that there is a critical value $ξ_{\mathrm{crit}} > 0$ such that for $ξ< ξ_{\mathrm{crit}}$, LFPP converges under appropriate re-scaling to a random metric on the plane which induces the same topology as the Euclidean metric (the so-called $γ$-\emph{Liouville quantum gravity metric} for $γ= γ(ξ)\in (0,2)$). We show that for all $ξ> 0$, the LFPP metrics are tight with respect to the topology on lower semicontinuous functions. For $ξ> ξ_{\mathrm{crit}}$, every possible subsequential limit $D_h$ is a metric on the plane which does \emph{not} induce the Euclidean topology: rather, there is an uncountable, dense, Lebesgue measure-zero set of points $z\in\mathbb C $ such that $D_h(z,w) = \infty$ for every $w\in\mathbb C\setminus \{z\}$. We expect that these subsequential limiting metrics are related to Liouville quantum gravity with matter central charge in $(1,25)$.

연구 동기 및 목표

• 재스케일링된 리우빌 첫 통과 시간 폴리메터리즘(LFPP) 거리 체계의 초임계 단계($\\xi > \\xi_{\\mathrm{crit}}$)에서의 날카러움을 확립하는 것.
• 모든 부분수렴 극한의 구조를 $\xi > \xi_{\mathrm{crit}}$일 때 기하학적 및 위상수학적 성질과 함께 특성화하는 것.
• 이전에 알려진 임계 단계 이하($\xi < \xi_{\mathrm{crit}}$)에서의 수렴 결과를, 유클리드 위상이 유도되지 않는 극한 거리 체계를 가지는 초임계 영역으로 확장하는 것.
• 초임계 단계에서 LFPP의 극한 행동이 물질 중심 임계값 $(1,25)$을 가진 리우빌 양자 중력(LQG)과 어떻게 연결되는지 밝혀내는 것.

제안 방법

• 모든 $\xi > 0$에 대해 거리 지수 $Q(\xi)$의 존재를 보장하는 하향성 증명을 통해 정규화 상수 $\mathfrak{a}_\varepsilon$의 척도를 결정하는 것.
• 평면의 이진 원환대에서의 왼쪽-오른쪽 교차 거리의 변동성을 제어하기 위해 에프론-스타인 유형의 농도 부등식을 적용하는 것.
• 다양한 척도에서 LFPP 거리의 분산을 제어하기 위해 원환대 주위 및 원환대를 관통하는 거리에 대한 모멘트 추정과 경계를 설정하는 것.
• 완전한 LFPP 설정으로의 추정 전달을 위해 GFF의 백색잡음 근사와 $D_h^\varepsilon$를 비교하는 것.
• 가우시안 농도와 尾부 추정(예: 보조정리 A.2)을 사용하여 필드 $h_\varepsilon^*$의 지수적 모멘트를 제어함으로써, 거리 체계의 행동을 제어하는 데 핵심적인 역할을 하는 것.
• 극한 거리 체계 $D_h$에 대한 하향 연속성과 삼각 부등식의 증명을 통해 $\mathbb{C}$ 위에서 잘 정의된 확장된 거리 체계임을 보장하는 것.

실험 결과

연구 질문

• RQ1 초임계 단계($\xi > \xi_{\mathrm{crit}}$)에서 리우빌 첫 통과 시간 폴리메터리즘(LFPP)의 점근적 행동은 어떠한가?
• RQ2 재스케일링된 LFPP 거리 체계 $\mathfrak{a}_\varepsilon^{-1} D_h^\varepsilon$는 초임계 영역에서 부분수렴 척도 극한을 갖는가?
• RQ3 초임계 단계에서 $\xi > \xi_{\mathrm{crit}}$일 때 LFPP의 부분수렴 극한이 가지는 위상수학적 및 기하학적 성질은 무엇인가?
• RQ4 극한 거리 체계의 구조는 임계 단계 이하의 경우와 어떻게 다를까, 특히 완전성과 유도하는 위상 측면에서?
• RQ5 초임계 LFPP 극한과 물질 중심 임계값 $(1,25)$을 가진 리우빌 양자 중력(LQG) 사이에 연결 고리가 존재하는가?

주요 결과

• 모든 $\xi > 0$에 대해 재스케일링된 LFPP 거리 체계 $\mathfrak{a}_\varepsilon^{-1} D_h^\varepsilon$는 $\mathbb{C} \times \mathbb{C}$ 위에서 하향 연속 함수의 위상에 대해 날카럽다.
• 초임계 단계($\xi > \xi_{\mathrm{crit}}$)에서는 모든 부분수렴 극한 $D_h$가 유클리드 위상을 유도하지 않는 완전한 확장된 거리 체계이다.
• $\xi > \xi_{\mathrm{crit}}$일 때, $\mathbb{C}$ 내에 비가산적이고 밀도가 있으며 르베그 측도가 0인 점들의 집합 $z$가 존재하여, 모든 $w \neq z$에 대해 $D_h(z,w) = \infty$임을 보여, 대부분의 점들이 고립되어 있음을 시사한다.
• 거리 지수 $Q(\xi)$는 존재하며, $\mathfrak{a}_\varepsilon = \varepsilon^{1 - \xi Q(\xi) + o_\varepsilon(1)}$로 표현되며, $\varepsilon \to 0$일 때 $Q(\xi)$는 연속적이고 $(0, 0.7)$에서 엄격히 감소하며 $(0, \infty)$에서 비증가한다.
• 임계 값 $\xi_{\mathrm{crit}}$는 $0.4135 \leq \xi_{\mathrm{crit}} \leq 0.4189$를 만족하며, $\xi > \xi_{\mathrm{crit}}$일 때 초임계 영역에 속하며, 이 경우 극한 거리 체계는 비유클리드이다.
• 저자들은 초임계 극한이 물질 중심 임계값 $(1,25)$을 가진 리우빌 양자 중력(LQG)과 대응할 것으로 기대하며, 이는 기존의 임계 단계 이하에서의 대응관계를 확장하는 것이다.