[논문 리뷰] Liouville quantum gravity and the Brownian map II: geodesics and continuity of the embedding

Jason Miller, Scott Sheffield⋆|arXiv (Cornell University)|2016. 05. 11.

Stochastic processes and statistical mechanics인용 수 4

한 줄 요약

이 논문은 양자 Loewner 진화(QLE)를 통해 밀도가 높은 집합 위에서 정의된 거리 함수를 연장하여 $\sqrt{8/3}$-리만 양자 중력(LQG) 구면에 대한 표준 거리계를 구성한다. 이로 인해 얻어진 거리공간은 거의 확실히 브라운 운동 맵과 법칙상 동일하다고 증명된다. 또한 유클리드 거리계와 QLE 거리계 사이의 항등사상에 대한 호일더 연속성을 확립하고, 이 결과를 브라운 운동 디스크와 평면으로 확장하여 $\sqrt{8/3}$-LQG와 브라운 운동 맵 간의 동치성을 무작위 거리측도공간으로서 완성한다.

ABSTRACT

We endow the $\sqrt{8/3}$-Liouville quantum gravity sphere with a metric space structure and show that the resulting metric measure space agrees in law with the Brownian map. Recall that a Liouville quantum gravity sphere is a priori naturally parameterized by the Euclidean sphere ${\mathbf S}^2$. Previous work in this series used quantum Loewner evolution (QLE) to construct a metric $d_{\mathcal Q}$ on a countable dense subset of ${\mathbf S}^2$. Here we show that $d_{\mathcal Q}$ a.s. extends uniquely and continuously to a metric $\bar{d}_{\mathcal Q}$ on all of ${\mathbf S}^2$. Letting $d$ denote the Euclidean metric on ${\mathbf S}^2$, we show that the identity map between $({\mathbf S}^2, d)$ and $({\mathbf S}^2, \bar{d}_{\mathcal Q})$ is a.s. Hölder continuous in both directions. We establish several other properties of $({\mathbf S}^2, \bar{d}_{\mathcal Q})$, culminating in the fact that (as a random metric measure space) it agrees in law with the Brownian map. We establish analogous results for the Brownian disk and plane. Our proofs involve new estimates on the size and shape of QLE balls and related quantum surfaces, as well as a careful analysis of $({\mathbf S}^2, \bar{d}_{\mathcal Q})$ geodesics.

연구 동기 및 목표

• QLE를 사용하여 $\sqrt{8/3}$-LQG 구면의 밀도가 높은 점들의 집합에서 정의된 거리 함수를 이용해 구면 위의 표준 거리계를 구성한다.
• QLE 거리 함수가 밀도가 높은 집합 위에서 정의된 바를 전체 구면으로 유일하고 연속적으로 연장할 수 있음을 보여, 잘 정의된 거리공간의 구조를 얻는다.
• 결과로 얻어진 거리측도공간이 거의 확실히 브라운 운동 맵과 법칙상 동일하다는 것을 증명한다.
• 유사한 구성 방법을 통해 양자 디스크와 원뿔을 이용하여 브라운 운동 디스크와 평면으로의 동치성을 확장한다.
• 유클리드 거리계와 QLE 거리계 사이의 항등사상이 구면 위에서 거의 확실히 양방향 호일더 연속성을 가짐을 증명한다.

제안 방법

• QLE(8/3,0)를 $\sqrt{8/3}$-양자 원뿔 위에 적용하여 구면의 가 countable dense 부분집합 위에서 거리 $d_{\mathcal{Q}}$를 정의한다.
• 정량적 코모고로프-체르네프 기준을 적용하여 $d_{\mathcal{Q}}$의 거의 확실한 균일 연속성을 증명함으로써 전체 구면 위에서 $\overline{d}_{\mathcal{Q}}$로의 유일한 연장이 가능함을 보장한다.
• QLE 껍질의 모멘트 한계와 尾尾 추정치를 확립하여 양자 표면과 그 거리공간의 크기 및 형태를 제어한다.
• 역방향 탐색 기법과 $\mathrm{SLE}_6$의 시간 역전을 활용하여 탐색되지 않은 영역과 거리 밴드의 기하학적 성질을 분석한다.
• QLE 성장에서 유도된 랜덤 공간 분열 구조인 $3/2$-레비 넷을 통해 기하학적 최단경로의 근사값을 구성한다.
• 양자 면적, 둘레 길이, 유클리드 크기 간의 상호작용을 분석하여 유클리드 거리공간 $({\mathbf{S}}^2, d)$와 QLE 거리공간 $({\mathbf{S}}^2, \overline{d}_{\mathcal{Q}})$ 사이의 항등사상의 호일더 연속성을 도출한다.

실험 결과

연구 질문

• RQ1 QLE 거리 함수가 $\sqrt{8/3}$-LQG 구면의 밀도가 높은 부분집합 위에서 정의된 바가 전체 구면으로 거의 확실히 유일하고 연속적으로 연장될 수 있는가?
• RQ2 결과로 얻어진 거리공간의 구조가 $\sqrt{8/3}$-LQG 구면에서 거의 확실히 브라운 운동 맵과 법칙상 동일한가?
• RQ3 유클리드 거리계와 QLE 거리계 사이의 항등사상이 거의 확실히 양방향 호일더 연속성을 가지는가?
• RQ4 유사한 결과들이 양자 디스크와 원뿔을 이용한 구성으로써 브라운 운동 디스크와 평면에 대해서도 성립하는가?
• RQ5 QLE 기반 거리계가 $\sqrt{8/3}$-LQG 표면에 대해 표준 호환 구조를 브라운 운동 맵에 유도하는가?

주요 결과

• QLE 거리 함수 $d_{\mathcal{Q}}$는 $\sqrt{8/3}$-LQG 구면의 밀도가 높은 부분집합 위에서 정의된 바가 거의 확실히 전체 구면 위에서 유일하고 연속적으로 연장되어 거리 $\overline{d}_{\mathcal{Q}}$로 확장된다.
• 유클리드 거리공간 $({\mathbf{S}}^2, d)$에서 $({\mathbf{S}}^2, \overline{d}_{\mathcal{Q}})$로의 항등사상은 거의 확실히 양방향 호일더 연속성을 가진다.
• 무작위 거리측도공간 $({\mathbf{S}}^2, \overline{d}_{\mathcal{Q}}, \mu)$는 $\mu$가 면적 측도일 때 법칙상 브라운 운동 맵과 일치한다.
• 유사한 결과들이 브라운 운동 디스크와 평면에 대해서도 성립하며, 이는 양자 디스크와 원뿔이 기반으로 하는 $\sqrt{8/3}$-LQG 표면을 통해 이루어진다.
• 이 구성은 $\sqrt{8/3}$-LQG 표면, 예를 들어 토러스를 포함한 모든 표면에 대해 표준 거리계를 제공하며, 이는 거의 확실히 브라운 운동 맵가 고유한 호환 구조를 가짐을 시사한다.
• 결과들은 리만 양자 브라운 운동의 열핵이 $t^{-1} \exp(-d^{4/3}/t^{1/3})$ 척도를 만족함을 지지하며, 이는 QLE 거리계와 일관된다.