[论文解读] Simple recurrence formulas to count maps on orientable surfaces

S. R. Carrell, Guillaume Chapuy|arXiv (Cornell University)|Feb 25, 2014

Advanced Combinatorial Mathematics参考文献 21被引用 4

一句话总结

本文提出了一种新的、简单的递推公式，用于按边数和亏格计算可定向曲面上的根地图，该公式源自KP方程和Tutte型方程。关键贡献是一种高度高效的计算方法，该方法推广了Harer-Zagier公式，并实现了地图的快速枚举，包括按面数枚举，适用于固定亏 gen 生成函数和双分四边形化地图。

ABSTRACT

We establish a simple recurrence formula for the number $Q_g^n$ of rooted orientable maps counted by edges and genus. We also give a weighted variant for the generating polynomial $Q_g^n(x)$ where $x$ is a parameter taking the number of faces of the map into account, or equivalently a simple recurrence formula for the refined numbers $M_g^{i,j}$ that count maps by genus, vertices, and faces. These formulas give by far the fastest known way of computing these numbers, or the fixed-genus generating functions, especially for large $g$. In the very particular case of one-face maps, we recover the Harer-Zagier recurrence formula. Our main formula is a consequence of the KP equation for the generating function of bipartite maps, coupled with a Tutte equation, and it was apparently unnoticed before. It is similar in look to the one discovered by Goulden and Jackson for triangulations, and indeed our method to go from the KP equation to the recurrence formula can be seen as a combinatorial simplification of Goulden and Jackson's approach (together with one additional combinatorial trick). All these formulas have a very combinatorial flavour, but finding a bijective interpretation is currently unsolved.

研究动机与目标

• 推导出一种简单递推公式，用于按亏格和边数计数可定向曲面上的根地图。
• 通过生成多项式将递推公式扩展至包含面数作为参数。
• 提供一种计算高效的枚举方法，尤其适用于大亏格情况。
• 将Harer-Zagier公式推广为单面地图的特例。
• 提供一个组合框架，或可为未来地图计数的双射构造提供指导。

提出的方法

• 从双分地图生成函数的KP方程推导递推公式。
• 应用Tutte型方程，将地图结构与其生成函数关联。
• 采用Goulden和Jackson方法的组合简化形式，推导出闭式递推公式。
• 引入一个生成多项式 $ Q_g^n(x) $，其中 $ x $ 用于追踪面数。
• 使用退化的Tutte方程闭合系统，获得有限递推。
• 通过初始条件和与已知公式（如Harer-Zagier）的一致性检查验证递推公式。

实验结果

研究问题

• RQ1 能否在不依赖复杂生成函数操作的情况下，推导出一种简单递推公式，用于按亏格和边数计数可定向曲面上的根地图？
• RQ2 如何对地图的生成函数进行细化以包含面数？其细化计数由何种递推公式控制？
• RQ3 Harer-Zagier公式对单面地图的计数是否为更广泛、统一递推公式的特例？
• RQ4 KP方程和Tutte方程能否以某种方式结合，从而为地图计数产生闭式递推？
• RQ5 所推导的递推公式背后是否存在任何组合或双射解释？

主要发现

• 对于 $ Q_g^n $（即亏格 $ g $、$ n $ 条边的根地图数量）的递推公式，是目前已知计算此类数值最快的方法，尤其适用于大 $ g $ 情况。
• 该公式可推广为生成多项式 $ Q_g^n(x) $，其中 $ x $ 的幂次用于追踪面数，从而实现按边数、亏格和面数的枚举。
• 当特化为单面（$ f=1 $）时，递推公式恰好退化为Harer-Zagier公式，确认了与一个著名结果的一致性。
• 递推公式包含对较低亏格和较低边数成分的双重求和，反映了通过Tutte型方程对地图进行递归分解的结构。
• 该方法对Goulden和Jackson关于三角剖分的方法提供了组合简化，暗示其在其他地图模型中也具有更广泛的应用潜力。
• 尽管公式形式简单且计算高效，但其双射解释至今未知，凸显了该领域中的一个关键开放问题。