[论文解读] Constructing large tables of numbers of maps by orientable genus

Alain Giorgetti, Timothy R. Walsh|arXiv (Cornell University)|May 3, 2014

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

一句话总结

本文提出了一种高效实现Carrell-Chapuy递推公式的方法，用于计算可定向亏格下根地图和无根地图的大规模表格，最高可达50亏格和100条边。推导出根地图的显式有理生成函数，并利用Mednykh和Nedela的方法计算无根地图，为研究提供大量数值数据。

ABSTRACT

The Carrell-Chapuy recurrence formulas dramatically improve the efficiency of counting orientable rooted maps by genus, either by number of edges alone or by number of edges and vertices. This paper presents an implementation of these formulas with three applications: the computation of an explicit rational expression for the ordinary generating functions of rooted map numbers with a given positive genus, the construction of large tables of rooted map numbers, and the use of these tables, together with the method of A. Mednykh and R. Nedela, to count unrooted maps by genus and number of edges and vertices.

研究动机与目标

• 开发一种高效的计算方法，利用Carrell-Chapuy递推公式按可定向亏格对根地图进行计数。
• 为每个亏格的根地图的普通生成函数推导出显式的有理表达式。
• 构建从50亏格和100条边范围内完整的根地图和无根地图计数表格，以供数学研究使用。
• 应用Mednykh和Nedela的方法，从根地图数据推导出无根地图的计数。
• 将生成的数据和源代码公开，以供进一步研究。

提出的方法

• 实现Carrell-Chapuy递推公式，以高效计算按亏格和边数划分的根地图计数。
• 利用递推公式和涉及 $ m = \frac{1 - \sqrt{1 - 12z}}{6} $ 的参数代换，推导出有理生成函数 $ M_g(z) $ 和 $ M_g(w,u) $。
• 利用面-顶点对偶性和对称性约化，简化对指定顶点数和面数的地图的枚举。
• 应用Mednykh-Nedela方法，利用轨道计数技术从根地图数据计算无根地图计数。
• 优化递推计算，以高精度处理高达50亏格和100条边的大规模情况。
• 以多种格式生成大规模地图计数表格，包括边-顶点-面对应分布和每亏格每边数的总计数。

实验结果

研究问题

• RQ1 Carrell-Chapuy递推公式能否被高效实现，以计算大亏格和大边数下的根地图计数？
• RQ2 根地图亏格 $ g $ 的普通生成函数 $ M_g(z) $ 能否推导出显式的有理形式？
• RQ3 能否系统地应用已知的群作用和轨道计数技术，从根地图数据计算无根地图计数？
• RQ4 可靠且完整的根地图和无根地图计数表格在最大亏格和边数为多少时仍可生成？
• RQ5 在亏格、边数和顶点数之间，地图计数的分布中会涌现出何种结构模式或对称性？

主要发现

• 本文成功计算并列出了最高达50亏格和100条边的根地图计数，结果已通过公开发布提供。
• 为每个亏格 $ g $ 推导出显式的有理生成函数 $ M_g(z) $，其表达式以参数 $ m $ 和多项式 $ P_g(m) $ 表示。
• 对于亏格44和100条边，无根地图的总数计算为 9,553,459,653,821,968,092,257,692,332,355,650,858,770,092,634,675,343,929,464,031,068,80。
• 亏格19、38条边的无根地图数量为 442,473,037,812,130,532,145,618,612,152,901,046,396,483,091,048,400,3。
• 该方法可实现高精度计算无根地图计数，包括由于对偶性而产生的对称分布（例如 $ u_g(e,v) = u_g(e,e-v+2) $）。
• 源代码和大型数据表格已通过MAP项目发布0.4.0版及第二作者的代码仓库公开提供。