[论文解读] Asymptotic enumeration of labelled graphs with a given genus

Edward A. Bender, Zhicheng Gao|arXiv (Cornell University)|Dec 23, 2009

Advanced Combinatorial Mathematics参考文献 27被引用 7

一句话总结

本文使用生成函数和地图计数技术，推导出可定向亏格 g 的标记 k-连通图（k=1,2,3）的渐近公式。它建立了亏格 g 表面上 2- 和 3-连通地图的精确渐近表达式，然后通过组合双射和奇点分析将其转化为标记图的渐近计数，得到以亏格和图参数表示的显式指数和多项式增长速率。

ABSTRACT

We enumerate rooted 2-connected and 3-connected surface maps with respect to vertices and edges. We also derive the bivariate version of the large face-width result for random 3-connected maps. These results are then used to derive asymptotic formulas for the number of labelled graphs of genus g (1-connected, 2-connected, and 3-connected graphs.)

研究动机与目标

• 推导出可定向亏格 g 的标记 k-连通图（k=1,2,3）的渐近公式。
• 将塔特（Tutte）的根地图计数框架扩展至高亏格曲面，适用于 2- 和 3-连通地图。
• 通过组合双射和渐近分析，建立地图计数与标记图计数之间的联系。
• 为可嵌入在固定亏格 g 的可定向曲面中的标记图提供精确的渐近增长速率。
• 利用已知的地图渐近常数 t_g，计算渐近公式中的显式常数和函数依赖关系。

提出的方法

• 使用生成函数 M̂_g,k(x,y) 表示根的、未标记的 k-连通地图，以及 G_g,k(x,y) 表示标记的、简单的 k-连通图。
• 对亏格 g 曲面上的地图生成函数应用奇点分析，利用先前工作中已知的渐近常数 t_g。
• 通过代数函数 r_k(m/n) 和辅助函数 η_k(r)、C_k(r)，推导出以顶点数 n、边数 m 和亏格 g 表示的地图计数 M̂_g(n,m;k) 的双变量渐近公式。
• 通过关键恒等式 G_g(n,m;k)/n! ~ M̂_g(n,m;k)/(4m) 将地图渐近性转化为标记图渐近性，适用于 3-连通图。
• 对于 2-连通图，使用参数 t 的参数化形式，引入与亏格相关的因子 B_g(t) 以捕捉曲面拓扑结构。
• 利用地图中顶点与面之间的对偶性及欧拉公式，关联顶点数与面数，从而实现渐近转移。

实验结果

研究问题

• RQ1 当 n 和 m 趋于无穷时，标记 3-连通图的可定向亏格 g 的渐近数量如何作为 n 和 m 的函数？
• RQ2 在亏格 g 曲面上，2-连通和 3-连通地图的渐近计数与同亏格标记图的计数之间有何关系？
• RQ3 标记 k-连通图（k=1,2,3）在亏格 g 下的渐近增长速率的精确函数形式是什么？其表达式如何以 n、m 和 g 表示？
• RQ4 渐近公式中的常数如何依赖于亏格 g？这些常数能否递归或显式计算？
• RQ5 非可定向曲面上的地图渐近行为是否可类似分析？其常数与可定向情形有何差异？

主要发现

• 对于 3-连通图，当 n,m→∞ 且 m/n ∈ [(3/2)+ε, 3−ε] 时，G_g(n,m;3)/n! ~ M̂_g(n,m;3)/(4m) 一致成立，建立了地图计数与图计数之间的直接联系。
• 3-连通图的渐近计数为 C_3(r)A_g(r)(2+r)^{(5g−3)/2} n^{5g/2−3} ρ(r)^{-n} η_3(r)^{-m}，其中 r、C_3(r) 和 η_3(r) 均为显式代数函数。
• 对于 2-连通图，渐近公式涉及参数 t，其中 B_g(t) = [(8/9)(1+t)/(1−t)^6 (β(t)/α(t))^{5/2}]^{g−1}，且计数按 n^{5g/2−4} ρ_2(t)^{-n} λ_2(t)^{-m} 缩放。
• 对于仅考虑顶点的计数，G_g(n;k)/n! ~ α_k β_k^g t_g n^{5g/2−7/2} x_k^{-n}，其中显式常数为：x_3 ≈ 0.04751，β_3 ≈ 1.48590×10^5，α_3 = 1/(4β_3)。
• 亏格相关常数 A_g(r) 推导为 A_g(r) = [r^6(2+r)^{3/2}/(2√π(1+2r)^2)] × [(12(1+2r)^4(1+r)^3)/(r^{12}(2+r)^5)]^{g/2} t_g。
• 本文证实渐近常数 t_g 可通过涉及 a_g 的递推关系递归计算，并给出了 t_g 关于 a_g 和 Γ-函数的表达式。