[论文解读] Planarity and non-separating cycles in uniform high genus quadrangulations

Baptiste Louf|arXiv (Cornell University)|Dec 11, 2020

Stochastic processes and statistical mechanics参考文献 33被引用 5

一句话总结

本文研究了高亏格下大随机四元图，其中亏格随面数线性增长。通过组合与概率方法，表明尽管根附近的局部邻域在对数半径范围内保持平面性，但全局结构中存在正概率的短非分离圈——揭示了尽管局部为平面，其大尺度结构仍呈现双曲几何特征。

ABSTRACT

We study large uniform random quadrangulations whose genus grow linearly with the number of faces, whose local convergence was recently established by Budzinski and the author arXiv:1902.00492,arXiv:2012.05813. Here we study several properties of these objects which are not captured by the local topology. Namely we show that balls around the root are planar whp up to logarithmic radius, and we prove that there exists short non-contractible cycles with positive probability.

研究动机与目标

• 理解亏格随面数线性增长的大随机四元图的全局几何特征。
• 分析高亏格图中局部平面性与全局非平面拓扑之间的相互作用。
• 确定在这些图中是否存在长度为短的非同伦（特别是非分离）圈，且概率为正。
• 将已知的局部极限行为扩展至超越局部拓扑的大尺度几何性质。
• 为均匀高亏格四元图中的平面半径与短非分离圈的存在性建立定量界限。

提出的方法

• 使用Carrell–Chapuy公式推导出具有n个面的亏格g的双色四元图数量的渐近估计。
• 应用先前工作中提出的有界比引理，控制不同亏 genre 层次下四元图计数的增长率。
• 引入一种组合单射操作，证明不等式 $ 2gQ(n,g) \leq (2n)^3 Q(n,g-1) $，将相邻亏 genre 之间的计数关联起来。
• 采用二阶矩方法估计长度为2的非分离圈存在的概率。
• 通过分情况分解分析圈构型（共享顶点、边，或形成分离/非分离环路）。
• 使用生成函数技术和双射分解，对具有特定圈结构的图的数量进行界定。

实验结果

研究问题

• RQ1 均匀高亏格四元图的平面半径有多大，即在根周围多大半径内，球面是平面且不含非同伦圈？
• RQ2 随着规模增大，均匀高亏格四元图是否以正概率包含短非同伦圈？
• RQ3 在极限中观察到的局部平面性能否与全局非平面特征（如短非分离圈）共存？
• RQ4 具有长度为2的非分离圈的四元图数量相对于四元图总数的渐近行为如何？
• RQ5 不同亏 genre 下具有特定圈构型的四元图计数之间有何关系，这对大随机图的几何结构有何含义？

主要发现

• 在高概率下，均匀高亏格四元图 $ q^{(n)} $ 的平面半径至少为 $ a_\theta \log n $，其中 $ a_\theta $ 是依赖于亏格与面数比 $ \theta $ 的正常数。
• 存在正常数 $ k_\theta > 0 $，使得当 $ n \to \infty $ 时，$ q^{(n)} $ 中至少存在一个长度为2的非分离圈的概率下界为 $ k_\theta + o(1) $。
• 短非分离圈的存在具有鲁棒性：尽管根邻域在对数半径范围内保持平面，但这些圈仍以正概率在整个图中出现。
• 在 $ q^{(n)} $ 中，长度为2的非分离圈数量的期望值下界为 $ \theta/2 + o(1) $，表明此类圈具有非消失的密度。
• 四元图计数的渐近增长满足 $ 2gQ(n,g) \leq (2n)^3 Q(n,g-1) $，该不等式通过一种修改圈结构的组合单射操作得以证明。
• 二阶矩方法成功界定了非分离圈存在的概率，得到了依赖于亏 genre 参数 $ \theta $ 的定量下界 $ k_\theta $。