[论文解读] Generating functions of bipartite maps on orientable surfaces

Guillaume Chapuy, Wenjie Fang|arXiv (Cornell University)|Feb 22, 2015

Advanced Combinatorial Mathematics参考文献 16被引用 1

一句话总结

本文通过一种新颖的变量替换方法，推导出任意亏格 g ≥ 0 的可定向曲面上标记且根化的二部图映射的显式有理生成函数，该方法通过与亏格相关的递推关系将生成函数转化为有理形式。关键结果是其与赫鲁维茨数生成函数之间存在结构上的类比，为 g > 1 时无根图映射生成函数中不存在对数项提供了组合解释。

ABSTRACT

We compute, for each genus $g\geq 0$, the generating function $L_g\equiv L_g(t;p_1,p_2,\dots)$ of (labelled) bipartite maps on the orientable surface of genus $g$, with control on all face degrees. We exhibit an explicit change of variables such that for each $g$, $L_g$ is a rational function in the new variables, computable by an explicit recursion on the genus. The same holds for the generating function $F_g$ of rooted bipartite maps. The form of the result is strikingly similar to the Goulden/Jackson/Vakil and Goulden/Guay-Paquet/Novak formulas for the generating functions of classical and monotone Hurwitz numbers respectively, which suggests stronger links between these models. Our result complements recent results of Kazarian and Zograf, who studied the case where the number of faces is bounded, in the equivalent formalism of dessins d'enfants. Our proofs borrow some ideas from Eynard's "topological recursion" that he applied in particular to even-faced maps (unconventionally called "bipartite maps" in his work). However, the present paper requires no previous knowledge of this topic and comes with elementary (complex-analysis-free) proofs written in the perspective of formal power series.

研究动机与目标

• 推导出可定向曲面亏格 g ≥ 0 上标记二部图映射的闭式有理生成函数。
• 建立根化二部图映射在亏格 g 曲面上的有理性结果，其形式与已知的赫鲁维茨数结果类似。
• 通过形式幂级数和图论方程（Tutte 方程）提供一种初等的、无需复分析的证明，使拓扑递归思想对组合学家更易理解。
• 通过双射的、组合的去根化过程，解释 g > 1 时无根图映射生成函数中对数项缺失的原因。

提出的方法

• 使用形式幂级数方法求解 Tutte 方程，避免使用复分析。
• 引入与亏格相关的变量替换，将生成函数转化为有理函数形式。
• 采用递推过程，逐步计算随亏格 g 增加的生成函数 Lg 和 Fg。
• 通过 Chapuy（2009）的双射洞察实现从根化到标记的去根化步骤，并显式计算系数。
• 利用核方法的结构和留数计算，确定极点的阶数和有理性。
• 通过与已知情况（如亏格 1）比较，并借助计算机代数系统计算显式表达式，验证结果。

实验结果

研究问题

• RQ1 在适当的变量替换下，亏格 g 曲面上标记二部图映射的生成函数能否表示为有理函数？
• RQ2 二部图映射的生成函数与赫鲁维茨数的生成函数之间存在何种结构相似性？
• RQ3 为何 g > 1 时无根图映射生成函数中缺少对数项？能否通过组合方法加以解释？
• RQ4 如何在不依赖复分析工具的前提下，将拓扑递归框架适配到二部图映射上？
• RQ5 是否存在一个统一的模型，能够统一二部图映射、赫鲁维茨数和单调赫鲁维茨数的有理性结果？

主要发现

• 对每个亏格 g ≥ 0，标记二部图映射的生成函数 Lg 是一组辅助变量（即“希腊”变量）的有理函数，可通过与亏格相关的递推关系计算得出。
• 根化二部图映射的生成函数 Fg 在相同变量下也是有理函数，且给出了亏格 1 的显式公式：其为 (1−uz) 和 (1−η) 的有限个有理项之和。
• g > 1 时 Lg 中对数项的缺失，可通过双射的去根化过程从组合角度加以解释，这与其它模型中的标准去根化方式形成对比。
• 仅通过形式幂级数和 Tutte 方程技术，即确立了 Fg 和 Lg 的有理性，无需依赖拓扑递归知识。
• 结果与 Goulden-Jackson-Vakil 及 Goulden-Guay-Paquet-Novak 对赫鲁维茨数的公式表现出强烈的正式相似性，暗示存在更深层次的联系。
• 该方法可通过在计算初始项后求解有限线性系统来高效计算 Fg 和 Lg，从而确定未知系数。