[论文解读] A combinatorial criterion for macroscopic circles in planar triangulations

Ori Gurel-Gurevich, Daniel C. Jerison+1 more|arXiv (Cornell University)|Jun 4, 2019

Stochastic processes and statistical mechanics参考文献 18被引用 4

一句话总结

本文建立了一种组合准则，将顶点极值长度与平面三角剖分的圆堆积中圆的大小联系起来。证明了当且仅当某些顶点极值长度量的最小值有界时，存在半径远离零的宏观圆；将其应用于离散的树嫁接随机地图模型时，表明最大圆半径以高概率趋于零。

ABSTRACT

Given a finite simple triangulation, we estimate the sizes of circles in its circle packing in terms of Cannon's vertex extremal length. Our estimates provide control over the size of the largest circle in the packing. We use them, combined with results from [12], to prove that in a proper circle packing of the discrete mating-of-trees random map model of Duplantier, Gwynne, Miller and Sheffield, the size of the largest circle goes to zero with high probability.

研究动机与目标

• 建立平面三角剖分圆堆积中宏观圆存在的精确组合条件。
• 将圆堆积的几何性质——特别是最大圆的大小——与顶点极值长度这一分析不变量联系起来。
• 将该准则应用于离散的树嫁接随机地图模型，证明其圆堆积中最大圆在大尺度极限下趋于消失。
• 为具有边界的根三角剖分序列提供一个关于宏观圆缺失的必要且充分条件（以顶点极值长度表示）。

提出的方法

• 将顶点极值长度（VEL）定义为图中路径拥塞程度的度量，通过顶点上的权重函数计算路径长度和面积。
• 引入两类关键路径族：Γρ,v（绕ρ绕行一圈的路径）和Γv∂（从v到外面对面的路径），并推导其VEL的上界，以圆的半径表示。
• 建立反向不等式：若所有圆的半径均≤ε，则所有v和路径族的VEL最小值至少为c log(1/ε)，其中c>0为某绝对常数。
• 利用VEL与圆半径之间的对偶性，推导出宏观圆缺失的充要条件。
• 通过利用先前工作（如[12]）中的估计，将该准则应用于离散的树嫁接模型，证明当n→∞时VEL量发散。
• 使用几何覆盖论证和环形分解方法，控制图嵌入中单元的直径和面积，从而实现VEL的下界估计。

实验结果

研究问题

• RQ1 在何种组合条件下，平面三角剖分的圆堆积中会包含宏观圆？
• RQ2 如何利用顶点极值长度来表征平面图圆堆积中圆的大小？
• RQ3 随着顶点数增加，离散的树嫁接随机地图模型在其圆堆积中是否表现出宏观圆？
• RQ4 是否存在一个精确且组合的准则，用于判断圆堆积中所有圆是否都很小（即不存在宏观圆）？
• RQ5 顶点极值长度能否作为圆堆积中几何尺度的代理，特别是在随机平面图模型中？

主要发现

• 本文证明，对于任意带边界的根三角剖分，绕根绕行的路径的顶点极值长度满足VEL(Γρ,v) ≤ 4 / radρ(v)，给出了VEL关于圆半径的上界。
• 建立了互补的下界：若所有圆的半径均≤ε，则min_v [VEL(Γρ,v) ∨ VEL(Γv∂)] ≥ c log(1/ε)，其中c>0为某绝对常数。
• 作者推导出宏观圆缺失的必要且充分条件：当且仅当n→∞时，min_v [VEL(Γρ,v) ∨ VEL(Γv∂)] → ∞，则一组根三角剖分序列中不存在宏观圆。
• 将该准则应用于离散的树嫁接模型时，本文证明圆堆积中最大圆半径在顶点数增长时以高概率趋于零。
• 该结果意味着树嫁接地图圆堆积上的离散解析函数会收敛到极限域上的经典解析函数，此结论通过与[10]的结果结合得以确认。
• 证明依赖于几何覆盖论证和圆盘的环形分解，表明当单元直径较小且堆积密集时，VEL为Ω(log(1/ε))。