[论文解读] Rationality in map and hypermap enumeration by genus

Maxim Kazarian, Peter Zograf|arXiv (Cornell University)|Sep 18, 2016

Advanced Combinatorial Mathematics参考文献 12被引用 3

一句话总结

本文证明，对于固定亏格的根地图与双曲图，通过一个简单的变量替换后，其生成函数变为有理函数：双曲图对应 $ s = t(1-2t) $，地图对应 $ s = t(1-3t) $。有理形式揭示了具有整数系数的多项式分子，其满足微分递推关系，分母则为线性项的幂的乘积，从而为拓扑图论与格罗斯滕迪克的童稚画（dessins d'enfants）计数问题提供了深刻的代数结构。

ABSTRACT

Generating functions for a fixed genus map and hypermap enumeration become rational after a simple explicit change of variables. Their numerators are polynomials with integer coefficients that obey a differential recursion, and denominators are products of powers of explicit linear functions.

研究动机与目标

• 揭示根地图与双曲图的亏格生成函数背后的有理结构。
• 证明通过一个简单的变量替换可将这些生成函数转化为有理函数。
• 表征替换后出现的多项式分子与有理分母。
• 建立控制有理形式系数的递推微分方程。
• 将该代数结构与已知的拓扑递归及童稚画计数结果相联系。

提出的方法

• 对双曲图应用替换 $ s = t(1-2t) $，对地图应用替换 $ s = t(1-3t) $，以转换其生成函数。
• 利用来自KP方程的微分递推关系，为双曲图与地图计数推导出新变量 $ t $ 下的常微分方程。
• 从基例 $ g=0 $ 开始，使用积分因子递归求解所得常微分方程。
• 通过将被积函数分解为部分分式（双曲图的极点为 $ 1-2t $ 与 $ 1-4t $，地图的极点为 $ 1-2t $ 与 $ 1-6t $），将生成函数表示为有理函数。
• 通过归纳法与系数递推，证明所得分子为具有整数系数的多项式。
• 通过验证生成函数满足变换后的常微分方程与初始条件，确认其有理形式。

实验结果

研究问题

• RQ1 能否通过一个简单的变量替换，使根双曲图的亏格 $ g $ 生成函数变为有理函数？
• RQ2 按亏格分类，地图与双曲图的有理化生成函数具有何种代数结构？
• RQ3 有理化生成函数的分子是否满足微分递推关系？
• RQ4 有理化生成函数的分母如何与地图的拓扑不变量相关联？
• RQ5 该有理形式能否用于高效计算高亏格的计数系数？

主要发现

• 在替换 $ s = t(1-2t) $ 后，双曲图的亏格-0生成函数变为 $ C_0(t(1-2t)) = \frac{t(1-3t)}{(1-2t)^2} $，为有理函数。
• 对于 $ g \geq 2 $，有 $ C_g(t(1-2t)) = \frac{P_g(t)}{(1-t)^{4g-3}(1-4t)^{5g-3}} $，其中 $ P_g(t) $ 为具有整数系数的多项式，首项为 $ \frac{(2g)!}{g+1} t^{2g+1} $。
• 亏格-1双曲图生成函数满足 $ C_1(t(1-2t)) = \frac{t^3}{(1-t)(1-4t)^2} $，确认了有理形式。
• 对于地图，替换 $ s = t(1-3t) $ 使生成函数有理化，得到 $ \widetilde{C}_0(t(1-3t)) = \frac{1-4t}{(1-3t)^2} $。
• 地图的 $ \widetilde{C}_g(t(1-3t)) $ 的有理形式为 $ \frac{\widetilde{P}_g(t)}{(1-2t)^{3g-3}(1-6t)^{5g-3}} $，其中 $ \widetilde{P}_g(t) $ 为具有整数系数的多项式。
• 分子多项式系数满足由KP层级导出的递推微分关系，从而可实现算法化计算。