[论文解读] Joint scaling limit of a bipolar-oriented triangulation and its dual in the peanosphere sense

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

Stochastic processes and statistical mechanics参考文献 36被引用 20

一句话总结

本文在peanosphere框架下建立了有向双极三角剖分及其对偶图的联合缩放极限，证明其高度函数收敛于一对编码了被相互垂直的SLE$_{12}$曲线装饰的$\sqrt{4/3}$-Liouville量子重力表面的相 correlated Brownian运动。该结果通过将先前的收敛结果扩展至包含对偶图结构，证实了Kenyon、Miller、Sheffield与Wilson的猜想。

ABSTRACT

Kenyon, Miller, Sheffield, and Wilson (2015) showed how to encode a random bipolar-oriented planar map by means of a random walk with a certain step size distribution. Using this encoding together with the mating-of-trees construction of Liouville quantum gravity (LQG) due to Duplantier, Miller, and Sheffield (2014), they proved that random bipolar-oriented planar maps converge in the scaling limit to a $\sqrt{4/3}$-LQG surface decorated by an independent SLE$_{12}$ in the peanosphere sense, meaning that the height functions of a particular pair of trees on the maps converge in the scaling limit to the correlated planar Brownian motion which encodes the SLE-decorated LQG surface. We improve this convergence result by proving that the pair of height functions for an infinite-volume random bipolar-oriented triangulation and the pair of height functions for its dual map converge jointly in law in the scaling limit to the two planar Brownian motions which encode the same $\sqrt{4/3}$-LQG surface decorated by both an SLE$_{12}$ curve and the ``dual'' SLE$_{12}$ curve which travels in a direction perpendicular (in the sense of imaginary geometry) to the original curve. This confirms a conjecture of Kenyon, Miller, Sheffield, and Wilson (2015). Our paper is the starting point of recent works connecting LQG and random permutons such as the Baxter permuton.

研究动机与目标

• 在peanosphere意义下建立双极定向三角剖分及其对偶图的联合缩放极限。
• 将先前关于随机平面图收敛结果的范围扩展，以包含对偶图的高度函数。
• 确认Kenyon、Miller、Sheffield与Wilson关于原始图与对偶图高度函数联合收敛于编码了具有两条相互垂直的SLE$_{12}$曲线的$\sqrt{4/3}$-LQG表面的相 correlated Brownian运动的猜想。
• 严格证明对偶图结构在缩放极限中通过树的配对与虚几何构造与原始图一同出现。

提出的方法

• 利用Liouville量子重力（LQG）的树配对构造，通过具有特定步长分布的随机游走编码随机平面图。
• 应用peanosphere框架，将图上一对对偶树的高度函数与相 correlated 的二维Brownian运动联系起来。
• 采用离散轮廓函数分解及原始与对偶西向Peano曲线之间的等价性结果，建立离散结构与连续结构之间的联系。
• 通过条件随机游走的缩放极限论证，建立离散流线之间面积的紧致性，并证明两条Peano曲线的联合收敛。
• 利用虚几何引理定义流线及其对偶，确保对偶SLE$_{12}$曲线在LQG度量下与原始SLE$_{12}$曲线方向垂直。
• 应用条件随机游走与首中迹收敛结果，表明原始图与对偶图的归一化高度函数联合收敛于编码$\sqrt{4/3}$-LQG表面的Brownian运动。

实验结果

研究问题

• RQ1 双极定向三角剖分的对偶图高度函数是否在缩放极限下收敛于与原始图高度函数相关的Brownian运动？
• RQ2 能否通过peanosphere框架，利用一对相 correlated 的Brownian运动来描述双极定向三角剖分及其对偶图的联合缩放极限？
• RQ3 连续极限中产生的曲线是否对应于$\sqrt{4/3}$-Liouville量子重力表面上两条相互垂直的SLE$_{12}$过程？
• RQ4 该联合收敛是否与Kenyon、Miller、Sheffield与Wilson关于对偶图在缩放极限中出现的猜想一致？

主要发现

• 原始图与对偶图高度函数的联合缩放极限依分布收敛于一对相关平面Brownian运动，相关系数为$-\cos(\pi \gamma^2 / 4)$，其中$\gamma = \sqrt{4/3}$。
• 极限过程编码了一个被两条独立SLE$_{12}$曲线装饰的$\sqrt{4/3}$-Liouville量子重力表面，这些曲线在虚几何意义下相互垂直。
• 收敛以peanosphere意义成立，即图上树的高度函数收敛于编码LQG表面与SLE曲线的Brownian运动。
• 该证明确认了Kenyon、Miller、Sheffield与Wilson（2015）关于对偶图在缩放极限中作用的猜想。
• 常数$c=2$在极限中被严格推导得出，确认了离散与连续对偶高度函数之间正确的缩放关系。
• 通过紧区间上归一化过程的统一收敛性，建立了离散流线之间面积的紧致性及首中迹的收敛性。