[论文解读] 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)}$ 的方式缩放，与 Watabiki 对 $\gamma$-LQG 的 Hausdorff 维数的预测一致。

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）曲面的度量结构，其在连续极限下仍理解甚少。
• 为了在 $\gamma$-LQG 的离散近似模型（即 LQG 结构图）中，建立图距离球增长的严格界。
• 为了证明存在一个控制 $\epsilon$-离散化 LQG 度量中典型距离缩放的正距离指数 $\chi > 0$。
• 为了通过次可加性和集中度论证，提供支持 Watabiki 对 $\gamma$-LQG 的 Hausdorff 维数猜想的证据。

提出的方法

• 将 LQG 结构图 $\mathcal{G}^\epsilon$ 构造为一个随机平面图，其中顶点为 $\epsilon\mathbb{Z}$，边连接具有重叠边界弧段的空间填充 SLE$_\kappa$ 曲线的线段。
• 利用 peanosphere 对应关系，将 $\mathcal{G}^\epsilon$ 表达为相关二维布朗运动的函数，从而在不直接依赖 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 是否存在一个距离指数 $\chi > 0$，使得典型点之间期望图距离按 $\epsilon^{-\chi + o_\epsilon(1)}$ 缩放？
• RQ4 球基数的界是否支持 Watabiki 对 $\gamma$-LQG 的 Hausdorff 维数的猜想？
• RQ5 能否使用次可加性和集中度技术，证明该随机度量模型中极限距离指数的存在性？

主要发现

• 在 $\mathcal{G}^\epsilon$ 中，半径为 $n$ 的图距离球的基数以 $n$ 的幂律为上下界，与 Watabiki 对 $\gamma$-LQG 的 Hausdorff 维数的预测一致。
• 存在一个距离指数 $\chi > 0$，使得在对应于 $\eta([0,1])$ 的子图中，典型点之间期望图距离的阶为 $\epsilon^{-\chi + o_\epsilon(1)}$。
• 该期望距离极不可能超过 $\epsilon^{-\chi + o_\epsilon(1)}$，表明其在典型缩放下具有强烈的集中性。
• 通过将 Fekete 次可加性引理的一个变体应用于满足 $n_k^q \leq n_{k+1} \leq n_k^{\hat{q}}$ 的序列（其中 $q, \hat{q} \in (1, p^{-1/2})$）证明了 $\chi$ 的存在性。
• 证明了极限值 $\chi = \lim_{k \to \infty} a_{n_k}/n_k$ 与序列 $\{n_k\}$ 的选择无关，从而确认该指数是良好定义的。
• 该分析证实，LQG 结构图中距离的缩放与 Watabiki（1993）对 $\gamma$-LQG 的 Hausdorff 维数的启发式预测一致。