[論文レビュー] Liouville quantum gravity and the Brownian map II: geodesics and continuity of the embedding

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

Stochastic processes and statistical mechanics被引用数 4

ひとこと要約

本稿は、量子Loewner発展演算（QLE）を用いて稠密な集合上で定義された距離関数を拡張することで、$\sqrt{8/3}$-Liouville量子重力（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.

研究の動機と目的

• 量子Loewner発展演算（QLE）を用いて、球面上の可算稠密部分集合上で$\sqrt{8/3}$-LQG球面に標準的計量を構成すること。
• QLE距離関数が稠密部分集合上で定義されたものとして、全球に一意かつ連続的に拡張可能であり、その結果として明確な計量空間構造が得られることを示すこと。
• 得られた計量測度空間が、ほとんど確実にブラウン運動マップと分布的に同等であることを証明すること。
• 量子ディスクおよび円錐を用いた類似の構成により、ブラウン運動ディスクおよび平面に対しても同様の同等性を拡張すること。
• ユークリッド計量とQLE計量の間の恒等写像が、球面上でほとんど確実にホルダー連続であることを確立すること。

提案手法

• $\sqrt{8/3}$-量子コーン上でQLE(8/3,0)を用いて、球面の可算稠密部分集合上で距離$d_{\mathcal{Q}}$を定義する。
• 定量的コルモゴロフ＝チェンツォフ基準を適用し、$d_{\mathcal{Q}}$のほとんど確実な一様連続性を証明することで、全球上での一意的拡張$\overline{d}_{\mathcal{Q}}$が可能であることを示す。
• QLEのハローに関するモーメント評価と尾確率推定を用いて、量子表面およびその計量球のサイズと形状を制御する。
• 逆方向探索技術と$\mathrm{SLE}_6$の時間反転を用いて、未探索領域および計量バンドの幾何構造を分析する。
• QLE成長から導かれるランダムな空間的分岐構造（$3/2$-Lévyネット）を用いて、測地線の近似を構成する。
• 量子面積、境界長、ユークリッド的サイズの間の相互作用を分析し、$({\mathbf{S}}^2, d)$と$({\mathbf{S}}^2, \overline{d}_{\mathcal{Q}})$の間の恒等写像のホルダー連続性を導出する。

実験結果

リサーチクエスチョン

• RQ1 可算稠密部分集合上で定義された$\sqrt{8/3}$-LQG球面上のQLE距離関数は、全球に一意かつ連続的に拡張可能か？
• RQ2 得られた計量空間構造は、$\sqrt{8/3}$-LQG球面上でほとんど確実にブラウン運動マップと分布的に同等か？
• RQ3 ユークリッド計量とQLE計量の間の恒等写像は、球面上でほとんど確実に両方向にホルダー連続か？
• RQ4 量子ディスクおよび円錐を用いた類似の構成により、ブラウン運動ディスクおよび平面に対しても同様の結果が得られるか？
• RQ5 QLEに基づく計量は、ブラウン運動マップに一意的な計量的構造を誘導するか？

主な発見

• 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表面に標準的計量が得られ、ブラウン運動マップがほとんど確実に一意な計量的構造を備えることを示唆する。
• 結果は、Liouvilleブラウン運動の熱核が$t^{-1} \exp(-d^{4/3}/t^{1/3})$のスケーリングに従うという予想を支持する。