[論文レビュー] A distance exponent for Liouville quantum gravity

Ewain Gwynne, Nina Holden+1 more|arXiv (Cornell University)|Jun 3, 2016

Topological and Geometric Data Analysis被引用数 3

ひとこと要約

本稿は、$\gamma$-Liouville量子重力（LQG）と空間を埋めるSLE$_{\kappa}$から導かれるランダム平面地図モデルにおけるグラフ距離の球の濃度について、非自明な上界および下界を確立する。$\kappa = 16/\gamma^2$ である。距離指数 $\chi > 0$ が存在し、典型的な点間の期待グラフ距離が $\epsilon^{-\chi + o_\epsilon(1)}$ のオーダーでスケーリングすることを証明しており、これは $\gamma$-LQG のハウスドルフ次元に関するWatabikiの予想と整合的である。

ABSTRACT

Let $γ\in (0,2)$ and let $h$ be the random distribution on $\mathbb C$ which describes a $γ$-Liouville quantum gravity (LQG) cone. Also let $κ= 16/γ^2 >4$ and let $η$ be a whole-plane space-filling SLE$_κ$ curve sampled independent from $h$ and parametrized by $γ$-quantum mass with respect to $h$. We study a family $\{\mathcal G^ε\}_{ε>0}$ of planar maps associated with $(h, η)$ called the extit{LQG structure graphs} (a.k.a.\ extit{mated-CRT maps}) which we conjecture converge in probability in the scaling limit with respect to the Gromov-Hausdorff topology to a random metric space associated with $γ$-LQG. In particular, $\mathcal G^ε$ is the graph whose vertex set is $ε\mathbb Z$, with two such vertices $x_1,x_2\in ε\mathbb Z$ connected by an edge if and only if the corresponding curve segments $η([x_1-ε, x_1])$ and $η([x_2-ε,x_2])$ share a non-trivial boundary arc. Due to the peanosphere description of SLE-decorated LQG due to Duplantier, Miller, and Sheffield (2014), the graph $\mathcal G^ε$ can equivalently be expressed as an explicit functional of a correlated two-dimensional Brownian motion, so can be studied without any reference to SLE or LQG. We prove non-trivial upper and lower bounds for the cardinality of a graph-distance ball of radius $n$ in $\mathcal G^ε$ which are consistent with the prediction of Watabiki (1993) for the Hausdorff dimension of LQG. Using subadditivity arguments, we also prove that there is an exponent $χ> 0$ for which the expected graph distance between generic points in the subgraph of $\mathcal G^ε$ corresponding to the segment $η([0,1])$ is of order $ε^{-χ+ o_ε(1)}$, and this distance is extremely unlikely to be larger than $ε^{-χ+ o_ε(1)}$.

研究の動機と目的

• 連続極限において未だ十分に理解されていない $\gamma$-Liouville量子重力（LQG）表面の幾何的構造を理解すること。
• 「LQG構造グラフ」として知られる、$\gamma$-LQG の離散近似モデルにおけるグラフ距離の球の成長に関する厳密な境界を確立すること。
• $\epsilon$-離散化されたLQG距離において、典型的な距離のスケーリングを支配する距離指数 $\chi > 0$ の存在を証明すること。
• 部分加法性と集中性の議論を通じて、Watabikiの $\gamma$-LQG のハウスドルフ次元に関する予想式を支持する証拠を提供すること。

提案手法

• 頂点が $\epsilon\mathbb{Z}$ で、空間を埋めるSLE$_\kappa$曲線の境界弧が重複するセグメント同士を結ぶ辺を持つランダム平面地図として、LQG構造グラフ $\mathcal{G}^\epsilon$ を構築する。
• ペアノスフィア対応を用いて、$\mathcal{G}^\epsilon$ を相関した2次元ブラウン運動の関数として表現し、直接的なSLEまたはLQG理論に依存せずに解析を可能にする。
• 部分加法性の議論とFeketeの補題の変種を用い、SLE曲線のセグメント内の点間の期待グラフ距離に対して距離指数 $\chi$ の存在を証明する。
• ブラウン運動の推定と大偏差技法を用いて、グラフ距離の球の濃度に対する上界および下界を導出する。
• ブラウン運動のパスの境界長に条件づけることと集中性の境界を用いて、グラフ内のランダムなセルの直径を制御する。
• $n_k^q \leq n_{k+1} \leq n_k^{\hat{q}}$ を満たす数列 $\{n_k\}$ の再帰的構成を用い、$a_n / n$ が極限 $\chi$ に収束することを示し、指数の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 $\epsilon$-離散化されたLQG構造グラフにおけるグラフ距離の成長は、明確なスケーリング指数を示すか？
• RQ2 LQG構造グラフにおけるグラフ距離の球の濃度に対して、非自明な上界および下界を確立できるか？
• RQ3 期待グラフ距離が $\epsilon^{-\chi + o_\epsilon(1)}$ のオーダーでスケーリングするような距離指数 $\chi > 0$ が存在するか？
• RQ4 球の濃度に関する境界は、Watabikiの $\gamma$-LQG のハウスドルフ次元に関する予想を支持するか？
• RQ5 部分加法性と集中性の技法を用いて、このランダム距離モデルにおける極限距離指数の存在を証明できるか？

主な発見

• $\mathcal{G}^\epsilon$ における半径 $n$ のグラフ距離の球の濃度は、$n$ に関するべき乗則で上界および下界に抑えられ、これは $\gamma$-LQG のハウスドルフ次元に関するWatabikiの予想と整合的である。
• 期待グラフ距離が $\epsilon^{-\chi + o_\epsilon(1)}$ のオーダーでスケーリングするような距離指数 $\chi > 0$ が存在する。これは $\eta([0,1])$ に対応する部分グラフ内の一般な点間で成立する。
• 期待距離が $\epsilon^{-\chi + o_\epsilon(1)}$ を大きく超える確率は極めて小さいため、典型的なスケーリング周辺に強く集中していることが示唆される。
• 距離指数 $\chi$ の存在は、$n_k^q \leq n_{k+1} \leq n_k^{\hat{q}}$ を満たす数列に適用したFeketeの補題の変種を用いて証明された。ここで $q, \hat{q} \in (1, p^{-1/2})$ である。
• 極限値 $\chi = \lim_{k \to \infty} a_{n_k}/n_k$ が数列 $\{n_k\}$ の選択に依存しないことが示され、指数が適切に定義されていることが確認された。
• 分析により、LQG構造グラフにおける距離のスケーリングが、Watabiki（1993年）による $\gamma$-LQG のハウスドルフ次元に関するヒューリスティック予想と一致することが確認された。