[论文解读] Caustics, counting maps and semi-classical asymptotics

Nicholas M. Ercolani|arXiv (Cornell University)|Dec 10, 2009

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

一句话总结

本文证明了厄米特随机矩阵划分函数的亏格展开系数是代数函数 $ z_0(t) $ 的有理函数，该函数生成广义卡塔兰数并满足无粘性伯吉斯方程。伯吉斯解中的焦散（冲击奇点）直接对应于这些有理生成函数的极点，从而通过有理函数的部分分式分解，精确建立了与第一 Painlevé 超越函数渐近展开之间的联系。

ABSTRACT

This paper develops a deeper understanding of the structure and combinatorial significance of the partition function for Hermitian random matrices. The coefficients of the large N expansion of the logarithm of this partition function,also known as the genus expansion, (and its derivatives) are generating functions for a variety of graphical enumeration problems. The main results are to prove that these generating functions are in fact specific rational functions of a distinguished irrational (algebraic) function of the generating function parameters. This distinguished function is itself the generating function for the Catalan numbers (or generalized Catalan numbers, depending on the choice of parameter). It is also a solution of the inviscid Burgers equation for certain initial data. The shock formation, or caustic, of the Burgers characteristic solution is directly related to the poles of the rational forms of the generating functions. These results in turn provide new information about the asymptotics of recurrence coefficients for orthogonal polynomials with respect to exponential weights. One gains new insights into the relation between certain derivatives of the genus expansion and the asymptotic expansion of the first Painleve transcendent, related to the double-scaling limit. This work provides a precise expression of the Painleve asymptotic coefficients directly in terms of the coefficients of the partial fractions expansion of the rational form of the generating functions established here. Moreover, these insights point toward a more general program relating the first Painleve hierarchy and the higher order structure of the double-scaling limit to the specific rational structure of generating functions.

研究动机与目标

• 理解厄米特随机矩阵划分函数在大-$ N $ 渐近展开中亏格展开系数的组合与解析结构。
• 证明这些系数是单个代数函数 $ z_0(t) $ 的有理函数，即广义卡塔兰数的生成函数。
• 将无粘性伯吉斯方程解中的冲击形成（焦散）与有理生成函数的极点联系起来。
• 建立亏格展开的双尺度极限与第一 Painlevé 超越函数渐近系数之间的精确联系。
• 将正交多项式与相关函数的渐近展开的统一有效性，扩展至复 $ t $-平面上的半无限带形区域。

提出的方法

• 将划分函数 $ Z_N(t) $ 的对数的亏格展开表示为 $ N^{-2} $ 的级数，其系数为 $ e_g(t) $。
• 将 $ z_0(t) $ 识别为广义卡塔兰数的生成函数，并证明其满足特定初值条件下的无粘性伯吉斯方程。
• 证明当 $ g \geq 2 $ 时，系数 $ e_g(t) $ 属于函数域 $ \mathbb{Q}(z_0(-t)) $，即为 $ z_0(-t) $ 的有理函数。
• 利用这些有理函数的部分分式分解，推导出生成函数系数的递归构造方法。
• 应用黎曼-希尔伯特问题技术分析正交多项式与相关函数的渐近性质，特别是在双尺度极限下。
• 利用紧致性与解析延拓，建立 $ \log Z_N(t) $ 与递推系数 $ b_{N,N}^2(t) $ 在复半带形区域 $ \Re(t) \geq 0, |\Im(t)| < \Delta $ 上的统一渐近展开。

实验结果

研究问题

• RQ1 在厄米特随机矩阵划分函数的大-$ N $ 极限中，亏格展开系数如何与组合计数相关？
• RQ2 亏格展开系数 $ e_g(t) $ 的函数结构是什么？能否用单个代数函数表示？
• RQ3 无粘性伯吉斯方程解中的冲击形成（焦散）如何与生成函数的奇点相关？
• RQ4 亏格展开的双尺度极限与第一 Painlevé 超越函数渐近系数之间存在何种精确联系？
• RQ5 划分函数与递推系数的渐近展开能否在耦合参数 $ t $ 延展至无穷的复域内保持统一有效性？

主要发现

• 当 $ g \geq 2 $ 时，亏格展开系数 $ e_g(t) $ 是广义卡塔兰数生成函数 $ z_0(-t) $ 的有理函数。
• 函数 $ z_0(t) $ 满足特定初值条件下的无粘性伯吉斯方程，其冲击形成（焦散）恰好对应于有理生成函数 $ e_g(t) $ 的极点。
• 在双尺度极限下，第一 Painlevé 超越函数的渐近系数可通过有理函数 $ e_g(t) $ 的部分分式展开显式表达。
• 一阶相关函数 $ \rho_1^{(N)}(t, \lambda) $ 的渐近展开在 $ t = \infty $ 附近一致有效，其系数在 $ z_0(-t) \in [0, z_0^*) $ 时关于 $ t $ 解析。
• 亏格展开 $ \log Z_N(t) = N^2 e_0(t) + e_1(t) + \cdots $ 与递推系数 $ b_{N,N}^2(t) $ 在半无限带形区域 $ \Re(t) \geq 0, |\Im(t)| < \Delta $ 上均具有统一的渐近展开。
• 这些展开一致收敛，误差界为 $ C N^{-2h-2} $，且在指定区域内可逐项求导。