[论文解读] Universality and asymptotics of graph counting problems in nonorientable surfaces

Stavros Garoufalidis, Marcos Mariño|ArXiv.org|Dec 5, 2008

Geometric and Algebraic Topology参考文献 33被引用 15

一句话总结

本文提出了一类形式幂级数解 $ v(z) $，用于求解描述非可定向曲面上图计数的Riccati方程，推测其系数与实射影平面上根植四元格的控制常数 $ p_g $ 之间存在深刻联系。通过Borel变换和矩阵模型技术，作者推导出精确的渐近展开式，并提供了关于Stokes常数和瞬子级数行为的强有力数值证据，暗示 $ \mathrm{O}(N) $ 和 $ \mathrm{Sp}(N) $ 自由能在零点附近具有解析性。

ABSTRACT

Bender-Canfield showed that a plethora of graph counting problems in oriented/unoriented surfaces involve two constants $t_g$ and $p_g$ for the oriented and the unoriented case respectively. T.T.Q. Le and the authors recently discovered a hidden relation between the sequence $t_g$ and a formal power series solution $u(z)$ of the Painlevé I equation which, among other things, allows to give exact asymptotic expansion of $t_g$ to all orders in $1/g$ for large $g$. The paper introduces a formal power series solution $v(z)$ of a Riccati equation, gives a nonlinear recursion for its coefficients and an exact asymptotic expansion to all orders in $g$ for large $g$, using the theory of Borel transforms. In addition, we conjecture a precise relation between the sequence $p_g$ and $v(z)$. Our conjecture is motivated by the enumerative aspects of a quartic matrix model for real symmetric matrices, and the analytic properties of its double scaling limit. In particular, the matrix model provides a computation of the number of rooted quadrangulations in the 2-dimensional projective plane. Our conjecture implies analyticity of the $\mathrm{O}(N)$ and $\mathrm{Sp}(N)$-types of free energy of an arbitrary closed 3-manifold in a neighborhood of zero. Finally, we give a matrix model calculation of the Stokes constants, pose several problems that can be answered by the Riemann-Hilbert approach, and provide ample numerical evidence for our results.

研究动机与目标

• 建立一个形式幂级数解 $ v(z) $，用于描述非可定向曲面上图计数的Riccati微分方程。
• 推测 $ v(z) $ 的系数与控制实射影平面上根植四元格数量的常数 $ p_g $ 之间的精确关系。
• 利用Borel变换技术与非线性递推关系，推导 $ v_n $ 的所有阶 $ 1/g $ 精确渐近展开式。
• 在四次矩阵模型的双标度极限下，提供关于Stokes常数和瞬子级数行为的数值证据。
• 基于矩阵模型结果，推测任意闭3-流形的 $ \mathrm{O}(N) $ 和 $ \mathrm{Sp}(N) $ 自由能在零点附近具有解析性。

提出的方法

• 引入一个形式幂级数 $ v(z) $，其满足由实对称矩阵矩阵模型双标度极限导出的Riccati微分方程。
• 利用Borel变换理论，计算 $ v_n $ 在大 $ g $ 时关于 $ 1/g $ 的所有阶精确渐近展开。
• 应用Riemann-Hilbert方法与瞬子级数分析，从矩阵模型在Stokes线处的不连续性中提取Stokes常数。
• 数值实现Richardson变换，从渐近序列 $ s_n $ 中提取系数 $ a_k $，以提高对 $ a_0 $ 和 $ a_1 $ 的收敛精度。
• 将矩阵模型的自由能 $ \mathcal{F}^{(1)}_{\beta} $ 与 $ v(z) $ 和 $ u(z) $ 关联，识别 $ v_1(z) $ 为 $ \beta = 1/2 $ 解的一阶导数。
• 利用矩阵模型计算 $ k $-瞬子展开，并推测Stokes常数 $ S_{-1} = -i\sqrt{6}/12 $。

实验结果

研究问题

• RQ1 是否存在一个普遍关系，将计数实射影平面上根植四元格的序列 $ p_g $ 与Riccati方程的形式解 $ v(z) $ 的系数联系起来？
• RQ2 Borel变换方法是否能对 $ v_n $ 推导出所有阶 $ 1/g $ 的精确渐近展开式？
• RQ3 矩阵模型双标度极限的Stokes常数是否与 $ v(z) $ 的瞬子级数展开中的系数一致？
• RQ4 如矩阵模型所示，任意闭3-流形的 $ \mathrm{O}(N) $ 和 $ \mathrm{Sp}(N) $ 自由能是否在零点邻域内具有解析性？
• RQ5 Riemann-Hilbert方法能否严格计算具有多项式势的矩阵模型的 $ k $-瞬子展开？

主要发现

• 序列 $ s_n = 2\pi(A/2)^n / \Gamma(n) \cdot v_n $ 渐近趋于 $ \sum_{k=0}^\infty a_k / n^k $，其中 $ a_0 = -iS' $，数值证据确认 $ a_0 = \sqrt{6} $，精度达28至30位有效数字。
• 对 $ s_n $ 的Richardson变换收敛迅速：$ s^{(30)}_{250} = 2.44948974278317809819728407471\ldots $，与 $ \sqrt{6} $ 高精度一致。
• 系数 $ a_1 $ 的数值结果确认为 $ -1/5 $，与猜想 $ \frac{1}{2}\nu_1 A = -1/5 $ 一致。
• 基于瞬子级数系数的数值渐近分析，推测Stokes常数 $ S_{-1} = -i\sqrt{6}/12 $。
• 矩阵模型计算得 $ \mathcal{F}^{(1)}_{\beta=1/2}(z) \sim i/\sqrt{2} \cdot \exp(-4\sqrt{3}/5 \cdot z^{5/4}) $，与 $ v(z) $ 的导数一致。
• 本文提供了非可定向图计数序列中特定常数 $ p_{41/2} $ 的数值表达式，其形式为有理数除以Gamma函数与 $ \sqrt{6} $ 的乘积。