[论文解读] A bijection for rooted maps on orientable surfaces

Guillaume Chapuy, Michel Marcus+1 more|arXiv (Cornell University)|Dec 21, 2007

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

一句话总结

本文提出了一种在亏格 $ g $ 的可定向曲面上的根地图与称为 $ g $-树的广义树状结构之间的组合双射，将经典的 Cori–Vauquelin 双射从平面情形推广到高亏格情形。通过重新根化技巧以及受 Wright 关于带标签图工作的启发的分解方法，作者推导出根地图的生成函数，并恢复了渐近计数公式 $ →{q}_{g,n} \sim c_g \cdot n^{\frac{5}{2}(g-1)} \cdot 12^n $，为指数关于亏格 $ g $ 的线性依赖关系提供了组合解释。

ABSTRACT

The enumeration of maps and the study of uniform random maps have been classical topics of combinatorics and statistical physics ever since the seminal work of Tutte in the sixties. Following the bijective approach initiated by Cori and Vauquelin in the eighties, we describe a bijection between rooted maps, or rooted bipartite quadrangulations, on a surface of genus g and some simpler objects that generalize plane trees. Thanks to a rerooting argument, our bijection allows to compute the generating series of rooted maps on a surface of genus g with respect to the number of edges, and to recover the asymptotic numbers of such maps. Our construction allows to keep track in a bipartite quadrangulation of the distances of all vertices to a random basepoint. This is an analog for higher genus surfaces of the basic result on which were built the recent advances in the comprehension of the intrinsec geometry of large random planar maps, hopefully opening the way to the study of a model of continuum random surfaces of genus g.

研究动机与目标

• 为根地图在亏格-$ g $ 曲面上渐近计数中多项式增长指数 $ \frac{5}{2}(g-1) $ 的线性依赖关系提供组合解释。
• 通过广义树结构（$ g $-树）将 Cori–Vauquelin 双射从平面地图推广到高亏格可定向曲面上的地图。
• 推导出以边数为变量的亏格-$ g $ 曲面上根地图的生成函数，从而实现渐近计数。
• 建立随机地图的内在几何与从随机基点出发的距离之间的联系，推广平面情形下的结果。
• 通过刻画大随机地图的离散几何，为研究亏格 $ g $ 的连续随机曲面奠定基础。

提出的方法

• 引入一种新的双射，将亏格-$ g $ 曲面上的根地图与一类称为 $ g $-树的带标签树联系起来，推广了平面情形。
• 在 $ g $-树上使用重新根化技巧，基于边和顶点的规范排序，推导出亏格 $ g $ 的根地图的生成函数。
• 应用受 Wright 关于固定过剩的带标签图工作的启发的分解方法，分析边数和顶点数达到最大值的地图结构。
• 将根地图的渐近数量表达为 $ \vec{q}_{g,n} \sim c_g \cdot n^{\frac{5}{2}(g-1)} \cdot 12^n $，其中 $ c_g $ 由某些根地图 $ \vec{\mathfrak{s}} \in \mathcal{W}^m_g $ 上的有限和给出。
• 通过生成函数的奇点分析提取渐近行为，并推导出常数 $ c_g $ 的显式表达式。
• 将地图的几何结构与 $ g $-树上的标签联系起来，表明在四元剖分中顶点之间的距离对应于树中标签的差值。

实验结果

研究问题

• RQ1 能否对亏格-$ g $ 地图渐近计数中指数 $ \frac{5}{2}(g-1) $ 的线性依赖关系提供组合解释？
• RQ2 是否存在一种将 Cori–Vauquelin 双射从平面地图推广到高亏格曲面上地图的推广形式，且能保持几何信息？
• RQ3 根地图在亏格 $ g $ 曲面上的生成函数是什么？它如何用于推导渐近计数公式？
• RQ4 在亏格 $ g $ 的随机地图中，从随机基点出发的距离如何随边数变化？
• RQ5 能否利用亏格-$ g $ 曲面上大随机地图的离散几何来定义类似于平面情形下布朗运动曲面的连续极限？

主要发现

• 作者构建了亏格-$ g $ 曲面上的根地图与 $ g $-树之间的双射，推广了平面情形下的 Cori–Vauquelin 双射。
• 通过重新根化论证与分解方法，组合地推导出亏格 $ g $ 的根地图的生成函数，从而得到此类地图渐近数量的显式公式。
• 亏格 $ g $ 的根双射四元剖分地图（具有 $ n $ 个面）的渐近数量为 $ q_{g,n} \sim \frac{3^g}{(6g-3)2^{11g-7}\Gamma\left(\frac{5g-3}{2}\right)} \left( \sum_{\vec{\mathfrak{s}} \in \mathcal{W}^m_g} \prod_{i=1}^{4g-3} \frac{1}{d(i)} \right) \cdot n^{\frac{5}{2}(g-1)} \cdot 12^n $。
• 当 $ g = 1 $ 时，渐近公式简化为 $ q_{1,n} \sim \frac{1}{24} \cdot 12^n $；当 $ g = 2 $ 时，为 $ q_{2,n} \sim \frac{7}{4320\sqrt{\pi}} \cdot n^{5/2} \cdot 12^n $，与已知结果一致。
• 渐近计数的主要贡献来自其图式具有 $ 4g - 2 $ 个度数为 3 的顶点的地图，且当 $ n \to \infty $ 时，其概率趋于 1。
• 该双射保持了地图中每个顶点到随机基点的距离，该距离在 $ g $-树中对应于标签的差值，从而实现了对高亏格曲面上随机地图的几何分析。