[论文解读] Liouville quantum gravity and the Brownian map I: The QLE(8/3,0) metric

Jason Miller, Scott Sheffield⋆|arXiv (Cornell University)|Jul 2, 2015

Noncommutative and Quantum Gravity Theories参考文献 33被引用 111

一句话总结

本文通过量子洛伦兹演化（QLE）在 $√{8/3}$-黎曼量子重力（LQG）球面上建立了度量结构，证明了QLE从一点生长到另一点所需的时间定义了一个对称的、几乎必然连续的度量。关键结果是该QLE诱导的度量满足三角不等式，并与布朗运动球面（TBM）度量一致，为后续工作中证明 $√{8/3}$-LQG 与 TBM 的等价性奠定了基础。

ABSTRACT

Liouville quantum gravity (LQG) and the Brownian map (TBM) are two distinct models of measure-endowed random surfaces. LQG is defined in terms of a real parameter $γ$, and it has long been believed that when $γ= \sqrt{8/3}$, the LQG sphere should be equivalent (in some sense) to TBM. However, the LQG sphere comes equipped with a conformal structure, and TBM comes equipped with a metric space structure, and endowing either one with the other's structure has been an open problem for some time. This paper is the first in a three-part series that unifies LQG and TBM by endowing each object with the other's structure and showing that the resulting laws agree. The present work uses a form of the quantum Loewner evolution (QLE) to construct a metric on a dense subset of a $\sqrt{8/3}$-LQG sphere and to establish certain facts about the law of this metric, which are in agreement with similar facts known for TBM. The subsequent papers will show that this metric extends uniquely and continuously to the entire $\sqrt{8/3}$-LQG surface and that the resulting measure-endowed metric space is TBM.

研究动机与目标

• 通过量子洛伦兹演化（QLE）在 $√{8/3}$-LQG球面上定义一种度量，该度量预期对应于布朗运动球面（TBM）度量。
• 证明从点 $x$ 到 $y$ 的QLE生长时间几乎必然对称，并满足三角不等式。
• 证明由此产生的度量几乎必然由量子曲面和一对点唯一确定，且不依赖于逼近序列的选择。
• 为证明配备该度量的 $√{8/3}$-LQG球面在分布上等价于布朗运动球面奠定基础。

提出的方法

• 将 $d_{\mathcal{Q}}(x,y)$ 定义为在 $√{8/3}$-LQG曲面 $\mathcal{S}$ 上，从 $x$ 出发的 $\QLE(8/3,0)$ 过程到达 $y$ 所需的量子时间。
• 通过离散逼近的子列极限构造QLE过程，并证明其收敛到 $\mathcal{S}$ 上一个定义良好的生长过程。
• 通过建立反向探索下命中时间的条件独立性与均匀性，证明 $d_{\mathcal{Q}}(x,y)$ 几乎必然对称。
• 应用一个关键引理：若定义在 $[0,D]$ 上的非增函数 $F$ 的像均匀，则必有 $F(d) = D - d$，以证明 $\tau + \overline{\tau} = D$。
• 通过正向与反向QLE探索之间的耦合论证，证明生长时间之和等于总距离，从而推出三角不等式。
• 证明该度量几乎必然连续，并在任意独立同分布的点序列（依量子面积测度采样）上定义良好。

实验结果

研究问题

• RQ1 能否通过QLE在 $√{8/3}$-LQG球面上自然地定义一种度量结构，使其满足对称性与三角不等式？
• RQ2 QLE诱导的距离 $d_{\mathcal{Q}}(x,y)$ 几乎必然对称，且不依赖于逼近序列的选择吗？
• RQ3 从 $x$ 到 $y$ 的QLE生长时间是否在分布上与从 $y$ 到 $x$ 的时间一致？这一性质能否用于证明度量性质？
• RQ4 该度量 $d_{\mathcal{Q}}$ 能否连续延拓至整个 $√{8/3}$-LQG曲面，且与布朗运动球面度量一致？
• RQ5 在 $√{8/3}$-LQG球面上，QLE诱导度量的分布是否与布朗运动球面的已知性质一致？

主要发现

• QLE诱导的距离 $d_{\mathcal{Q}}(x,y)$ 几乎必然对称，即对几乎所有点对 $(x,y)$，有 $d_{\mathcal{Q}}(x,y) = d_{\mathcal{Q}}(y,x)$。
• 该度量 $d_{\mathcal{Q}}$ 几乎必然满足三角不等式，这是通过耦合正向与反向QLE探索并利用恒等式 $\tau + \overline{\tau} = D$ 得到的。
• 距离 $d_{\mathcal{Q}}(x,y)$ 几乎必然由三元组 $(\mathcal{S}, x, y)$ 唯一确定，即不依赖于逼近序列的选择。
• 对于不同点，该度量严格为正，即当 $x \neq y$ 时，有 $d_{\mathcal{Q}}(x,y) > 0$ 几乎必然成立。
• 该构造确保 $d_{\mathcal{Q}}$ 几乎必然构成任意依量子面积测度独立同分布采样的可数点列上的度量。
• 结果与布朗运动球面的已知性质一致，支持了 $√{8/3}$-LQG球面配备此度量后在分布上等价于布朗运动球面的猜想。