[论文解读] Schnyder woods, SLE(16), and Liouville quantum gravity

Yiting Li, Xin Sun+1 more|arXiv (Cornell University)|May 10, 2017

Stochastic processes and statistical mechanics参考文献 27被引用 24

一句话总结

本文建立了Schnyder木装饰的随机三角剖分的尺度极限，表明其嵌入收敛到一个具有三个独立SLE(16)曲线通过虚几何耦合的Liouville量子重力（LQG）表面。该收敛性源于编码Schnyder木三个生成树的三重随机游走，其在连续极限下产生与参数$\gamma = 1$的树嫁接框架相关的布朗运动。这一定位了Schnyder网格嵌入算法的连续极限为$\gamma = 1$的LQG，为离散组合学与连续概率理论之间建立了新联系。

ABSTRACT

In 1990, Schnyder used a 3-spanning-tree decomposition of a simple triangulation, now known as the Schnyder wood, to give a fundamental grid-embedding algorithm for planar maps. In the framework of mating of trees, a uniformly sampled Schnyder-wood-decorated triangulation can produce a triple of random walks. We show that these three walks converge in the scaling limit to three Brownian motions produced in the mating-of-trees framework by Liouville quantum gravity (LQG) with parameter $1$, decorated with a triple of SLE$_{16}$'s curves. These three SLE$_{16}$'s curves are coupled such that the angle difference between them is $2π/3$ in imaginary geometry. Our convergence result provides a description of the continuum limit of Schnyder's embedding algorithm via LQG and SLE.

研究动机与目标

• 理解Schnyder木装饰的随机三角剖分在Schnyder嵌入算法下的大尺度行为。
• 利用树嫁接框架建立Schnyder嵌入的连续极限。
• 将离散组合结构（Schnyder木）与连续随机几何（LQG与SLE(16)）联系起来。
• 证明Schnyder木中的三个生成树在连续极限下收敛为通过虚几何耦合的三个布朗运动，且具有$2\pi/3$的角度差。

提出的方法

• 通过其三个生成树导出的三重随机游走编码一个带木三角剖分。
• 应用不变性原理，证明单个游走在尺度极限下收敛到布朗运动。
• 使用树嫁接框架将三个布朗运动耦合为一个$\gamma = 1$的LQG表面。
• 通过重抽样程序建立离散与连续树之间的耦合，以在边界点对齐游走。
• 利用局部中心极限定理与热核估计，控制从离散到连续过渡中的耦合误差。
• 利用虚几何流线建模三个SLE(16)曲线之间的角度耦合，确保在连续极限下具有$2\pi/3$的角分离。

实验结果

研究问题

• RQ1 Schnyder木装饰的随机三角剖分在Schnyder嵌入下是否在尺度极限下收敛到一个连续随机表面？
• RQ2 Schnyder木中的三个生成树能否通过收敛到布朗运动的三重随机游走编码？
• RQ3 在连续极限下，三个SLE(16)曲线如何耦合？其角分离背后的几何结构是什么？
• RQ4 参数$\gamma = 1$的树嫁接框架是否是Schnyder木装饰三角剖分的正确连续模型？
• RQ5 在尺度极限下，三个树的离散耦合能否通过虚几何与连续耦合相匹配？

主要发现

• 由Schnyder木导出的三重随机游走在尺度极限下依分布收敛到三个布朗运动。
• 这三个布朗运动的耦合方式使得其对应的SLE(16)曲线在虚几何中具有$2\pi/3$的两两夹角。
• Schnyder嵌入的连续极限由参数$\gamma = 1$的Liouville量子重力描述，对应于$\gamma = 1$的树嫁接框架。
• 通过重抽样程序实现离散与连续树之间的耦合，以高概率确保边界点处游走的对齐。
• 收敛性在peanosphere意义下成立，离散与连续结构在游走耦合中的误差为$o_\varepsilon(1)$。
• 该结果通过LQG与SLE(16)在离散平面图、随机树与连续随机几何之间建立了新联系。