Combinatorics of Even-Valent Graphs on Riemann Surfaces

技术摘要：黎曼曲面上偶正则图的组合学

问题陈述
本文研究了嵌入在紧致、定向黎曼曲面上的标记、连通、正则偶正则图（even-valent graphs）的组合计数问题。具体而言，作者旨在寻求 $N_g(2\nu, j)$ 的显式公式，其中 $j$ 为度数为 $2\nu$ 的均匀顶点数，且最小嵌入亏格为 $g$。虽然之前的研究已为亏格 $g=0$（Ercolani–McLaughlin–Pierce, 2008）和 $g=1$（Ercolani–Lega–Tippings, 2023）提供了显式结果，并为任意亏格建立了包含未定系数的结构公式，但对于具有可变度数 $\nu$ 和顶点数 $j$ 的 $g \ge 2$ 情况，寻找完全显式的解仍是一个开放性的空白。本文还考虑了“双腿”（two-legged）变体 $N_g(2\nu, j)$，即有两个顶点度数为 1（腿），其余 $j$ 个顶点度数为 $2\nu$。

方法论
作者采用了一种结合随机矩阵理论、正交多项式和拓扑展开的框架。

1. 矩阵模型联系： 计数问题与具有外部势能 $V(z) = z^2/2 + u z^{2\nu}/(2\nu)$ 的酉系厄米矩阵自由能的渐近展开相关联。拓扑展开的自由能系数 $f_{2g}(x, u)$ 和递归系数 $r_{2g}(x, u)$ 分别作为图计数的生成函数。
2. 微分-差分方程： 核心分析工具是推导递归系数 $R_n$（一种 Volterra 格点方程形式）的微分-差分方程以及自由能的 Toda 方程。这些方程将不同 $1/N$ 展开阶数的系数联系起来。
3. 单项式结构： 一个关键的理论步骤是证明渐近展开式 $r_{2g}$ 和 $f_{2g}$ 关于耦合参数 $u$ 的泰勒系数是关于 't Hooft 参数 $x = n/N$ 的单项式。这一结构性结果（定理 4 和 5）极大地简化了系数的确定过程。
4. 求解系数： 作者利用 Ercolani–Lega–Tippings 导出的 $N_g(2\nu, j)$ 和 $N_g(2\nu, j)$ 的结构公式，这些公式将计数表示为带有未知系数 $b^{(g,\nu)}_\ell$ 和 $a^{(g,\nu)}_\ell$ 的高斯超几何函数的线性组合。通过利用单项式性质计算小规模固定 $j$ 值（具体为 $1 \le j \le 3$）下的显式图计数，作者构建了线性方程组来求解这些未定的系数多项式。

主要贡献与结果

• 显式系数确定： 主要贡献在于显式确定了对于正则图（亏格 $g=2, 3, 4$）和双腿图（亏格 $g=1, 2, 3, 4$）的系数多项式 $b^{(g,\nu)}_\ell$ 和 $a^{(g,\nu)}_\ell$。这些系数被证明分别是关于 $\nu$ 的 $3g-3$ 次和 $3g-1$ 次多项式。
• 闭式公式： 通过将这些显式系数代入结构化超几何公式，作者推导出了 $N_g(2\nu, j)$ 和 $N_g(2\nu, j)$ 的完全显式闭式表达式，其中度数 $\nu$ 和顶点数 $j$ 均被视为变量。这些结果在定理 1 和定理 2 中给出。
• 固定亏格、固定顶点多项式： 本文提供了描述小规模固定 $j$（$1 \le j \le 3$）和 $g \le 5$ 时计数的显式多项式 $Q_{g,j}(\nu)$ 和 $S_{g,j}(\nu)$。这些作为求解寻找一般系数的线性系统的基础数据。
• 大度数渐近行为： 利用显式系数，作者推导了当 $\nu \to \infty$ 且 $j$ 固定时的计数领先阶渐近行为（推论 1 和 2）。该分析需要了解所有系数，这与仅需领先系数的大顶点渐近行为有所区别。
• 结构性猜想： 基于计算出的情形，作者提出了猜想 1 和 2，假设系数多项式在所有 $g \ge 5$ 时仍保持其次数结构（$3g-3$ 和 $3g-1$）。他们还对多项式 $Q_{g,j}$ 和 $S_{g,j}$ 的特定根性质提出了猜想。

意义
本文声称解决了寻找对于给定亏格 $g \le 4$、一般度数和顶点数的正则偶正则图的显式公式的问题。它将已知的亏格 0 和 1 的显式结果扩展到了更高亏格，填补了以往依赖未定系数的结构性工作的空白。所采用的方法为获得任何给定的 $g \ge 5$ 的类似显式结果提供了一条系统性的（尽管是计算密集型的）路线图。推导出的大度数渐近行为为高度数极限下的几何分布提供了新见解，这一机制与此前研究的大顶点极限互为补充。作者指出，虽然该方法可以扩展到更高亏格，但在一般 $g$ 下固定 $\nu$ 和 $j$ 的情况仍然是开放的，并且由于计数在超过临界亏格后会消失，可能需要根本不同的方法。