[论文解读] All genus correlation functions for the hermitian 1-matrix model

Bertrand Eynard|arXiv (Cornell University)|Jul 29, 2004

Black Holes and Theoretical Physics参考文献 12被引用 162

一句话总结

本文提出了一种海米蒂安1-矩阵模型的环方程的新公式，消除了对势能导数的依赖，从而能够精确计算所有相关函数在 $1/N^2$ 拓扑展开中的任意阶。关键结果是所有亏格 $h$ 的相关函数 $W_k^{(h)}$ 均可表示为在双椭圆曲线上取留数，并可被解释为该曲线上 $ρ^3$ 理论的费曼图，从而以代数几何与组合学为基础，为多环相关函数提供了完整且可积的解。

ABSTRACT

We rewrite the loop equations of the hermitian matrix model, in a way which allows to compute all the correlation functions, to all orders in the topological $1/N^2$ expansion, as residues on an hyperelliptical curve. Those residues, can be represented diagrammaticaly as Feynmann graphs of a cubic interaction field theory on the curve.

研究动机与目标

• 开发海米蒂安矩阵模型环方程的新公式，以避免显式依赖于势能的导数。
• 在 $1/N^2$ 拓扑展开的所有阶上计算所有相关函数 $\overline{W}_k(x_1,\dots,x_k)$。
• 将亏格 $h$ 的相关函数 $W_k^{(h)}$ 表示为在双椭圆曲线上取留数。
• 证明这些留数可被解释为在该曲线上 $ρ^3$ 理论的费曼图。
• 提供一种递归的、可积的 $W_k^{(h)}$ 函数解法，避免迭代求导势能的需要。

提出的方法

• 通过基于再生函数和围道积分的新代数公式，重写标准环方程，以消除势能导数。
• 将 $k$-点相关函数 $W_k^{(h)}$ 定义为由谱曲线 $y^2 = R(x)$ 定义的双椭圆黎曼曲面上的留数，其中 $R(x)$ 是从势能 $V(x)$ 衍生出的多项式。
• 基于新环方程，使用递归算法按 $1/N^2$ 阶次计算 $W_k^{(h)}$，从 $W_1^{(0)}$ 开始。
• 将每个 $W_k^{(h)}$ 表示为在双椭圆曲线上 $ρ^3$-型理论的费曼图之和，其中顶点对应相互作用，边对应传播子。
• 引入生成函数 $R_h(x)$ 和 $S(x)$ 以编码图的组合结构，其中 $S(x)$ 满足与艾里函数相关的非线性常微分方程。
• 通过生成函数与渐近分析，推导出图的数量 $N_k^{(h)}$ 的显式组合表达式，将其与双阶乘和二项式系数联系起来。

实验结果

研究问题

• RQ1 如何重新表述海米蒂安矩阵模型的环方程，以消除对势能导数的依赖？
• RQ2 多迹相关函数的 $1/N^2$ 拓扑展开背后精确的代数-几何结构是什么？
• RQ3 亏格 $h$ 的相关函数 $W_k^{(h)}$ 是否可表示为黎曼曲面上的留数？若是，其背后的场论性质如何？
• RQ4 $W_k^{(h)}$ 函数是否可被组合解释为曲线上 $ρ^3$ 理论的费曼图？
• RQ5 是否可以在不需迭代求导势能的情况下，递归地积分完整的 $1/N^2$ 展开？

主要发现

• $k$-点相关函数 $W_k^{(h)}$ 精确表示为在双椭圆曲线上取留数，其中曲线由 $y^2 = R(x)$ 定义，$R(x)$ 是从势能 $V(x)$ 衍生出的多项式。
• 亏格 $h$ 的相关函数 $W_k^{(h)}$ 被证明与在双椭圆曲线上 $ρ^3$-理论的费曼图一一对应，具有 $k$ 个外部腿和 $h$ 个环。
• 此类图的数量 $N_k^{(h)}$ 由公式 $N_k^{(h)} = s_h \cdot (k-1)! \cdot 4^{k-1} \cdot \binom{\frac{3(h-1)}{2} + k - 1}{k-1}$ 给出，其中 $s_h$ 满足与艾里函数相关的递推关系。
• 生成函数 $S(x) = \sum_h s_h x^h$ 满足非线性常微分方程 $S^2(x) - \frac{1}{4} + 6x^2 S'(x) - 2x S(x) = 0$，其解为包含艾里函数的积分之比。
• 在单切口情况下，完整的拓扑展开被显式计算，且 $W_k^{(h)}$ 函数被证明为再生函数及其导数的有理函数。
• 具有 $k$ 条腿、$h$ 个环的图集合 $\mathcal{T}_k^{(h)}$ 的基数被推导为 $N_k^{(h)} = \frac{(2k-4)!}{(k-2)!} \cdot 2^{k-2} \cdot s_h \cdot \binom{\frac{3(h-1)}{2} + k - 1}{k-1}$，其中 $s_h$ 可递归计算。