[论文解读] High order expansion of matrix models and enumeration of maps

Édouard Maurel-Segala|ArXiv.org|Aug 8, 2006

Random Matrices and Applications参考文献 26被引用 15

一句话总结

本文针对具有小且凸的GUE扰动的多矩阵随机矩阵模型，建立了严格的亏格展开。通过施温格-戴逊方程与组合分析，证明自由能可展开为 $N^2$ 的负幂次的渐近级数，其中每一项对应于亏格递增的曲面上的图，将早期高斯情形的结果推广至非高斯势能的情形。

ABSTRACT

Perturbation of the GUE are known in physics to be related to enumeration of graphs on surfaces. We investigate this idea and show that for a small convex perturbation, we can perform a genus expansion: the moments of the empirical measure can be developed into a series whose g-th term is a generating function of graphs on a surface of genus g.

研究动机与目标

• 将矩阵模型矩的亏格展开从高斯（GUE）情形推广至小且凸的GUE扰动情形。
• 为物理学中使用的形式化亏格展开提供数学基础，特别是针对非高斯势能的模型。
• 证明扰动矩阵模型的自由能可展开为 $1/N^{2g}$ 的幂级数，且每一项对应于亏格 $g$ 的曲面上的图。
• 通过非微扰方法证明该展开中的系数为指定顶点类型的根图的生成函数，避免使用正交多项式。
• 以小耦合常数和势能的 $c$-凸性为条件，刻画展开的收敛域。

提出的方法

• 以施温格-戴逊方程为核心分析工具，推导矩阵模型中矩与累积量的递推关系。
• 应用Wick微积分与组合技巧，将矩解释为曲面上图的和，推广高斯情形。
• 对势能 $V$ 引入 $c$-凸性条件，以保证测度的存在性，并实现对 $N$ 的一致控制。
• 在耦合参数 $t_i$ 上引入微扰展开，收敛性在小半径的多圆盘 $B_{\rho,c}$ 内得到保证。
• 通过一系列算子 $\mathcal{I}_k$ 与 $\nu^N$ 的层级结构，迭代控制谱测度的导数，且所有界对 $N$ 一致。
• 通过分解导数 $\mathcal{D}_{\bf j}\nu^N$，证明展开中的每一项对应于亏格 $g$ 的图的生成函数。

实验结果

研究问题

• RQ1 能否将矩阵模型矩的亏格展开严格推广至非高斯情形，适用于小扰动？
• RQ2 势能 $V$ 需满足何种条件，才能保证在多矩阵情形下亏格展开的存在性与收敛性？
• RQ3 如何组合解释 $1/N^{2g}$ 展开中的系数，使其成为亏格 $g$ 的曲面上图的生成函数？
• RQ4 在多矩阵情形下，是否可能避免使用正交多项式方法，仍能导出亏格展开？
• RQ5 自由能关于耦合参数 $t_i$ 的精确解析域为何，使得亏格展开成立？

主要发现

• 对任意 $g \in \mathbb{N}$，存在 $\eta_g > 0$，使得对所有耦合向量 $\mathbf{t} \in B_{\eta_g,c}$，自由能可展开为 $F^N_{V_\mathbf{t}} = F^0(\mathbf{t}) + \frac{1}{N^2}F^1(\mathbf{t}) + \cdots + \frac{1}{N^{2g}}F^g(\mathbf{t}) + o(\frac{1}{N^{2g}})$。
• $F^g(\mathbf{t})$ 是亏格 $g$ 的根图的生成函数，通过 $\mathcal{C}_g^{\mathbf{k}+\mathbf{j}}(q_{i_1},\dots,q_{i_p})$ 计数具有 $k_i$ 个类型为 $q_i$ 的顶点的图。
• 第 $g$ 阶系数 $F^g(\mathbf{t})$ 显式表示为 $\sum_{\mathbf{k}} \prod_i \frac{(-t_i)^{k_i}}{k_i!} \mathcal{C}_g^{\mathbf{k}+\mathbf{j}}(q_{i_1},\dots,q_{i_p})$，其中 $\mathcal{C}_g^{\mathbf{k}+\mathbf{j}}$ 计数具有指定顶点类型的图。
• 该展开在 $\mathbf{t} = 0$ 的邻域内成立，此时势能 $V$ 为 $c$-凸，确保一致凸性与解析性。
• 该方法避免使用正交多项式，依赖于施温格-戴逊方程与谱测度导数的迭代控制。
• 结果确认了物理学中关于亏格展开作为 $1/N^2$ 的拓扑展开的图像，现为多矩阵模型提供了严格的数学依据。