[论文解读] Universal scaling limits of matrix models, and (p,q) Liouville gravity

M. C. Bergère, Bertrand Eynard|ArXiv.org|Sep 4, 2009

Random Matrices and Applications参考文献 60被引用 24

一句话总结

本文建立了数学证明，表明在特征值密度奇点形式为 $\rho(x) \sim x^{p/2}$ 附近，单矩阵模型的普遍标度极限由来自 $(p,2)$ 最小模型核的行列式相关函数所支配。这些核源于具有次数 $\leq p$ 的多项式系数的二阶线性微分系统之解，其推广了 $p=1$ 时的 Airy 核，并将矩阵模型的普遍性与可积系统及 $(p,q)$ Liouville 重力联系起来。

ABSTRACT

We show that near a point where the equilibrium density of eigenvalues of a matrix model behaves like y ~ x^{p/q}, the correlation functions of a random matrix, are, to leading order in the appropriate scaling, given by determinants of the universal (p,q)-minimal models kernels. Those (p,q) kernels are written in terms of functions solutions of a linear equation of order q, with polynomial coefficients of degree at most p. For example, near a regular edge y ~ x^{1/2}, the (1,2) kernel is the Airy kernel and we recover the Airy law. Those kernels are associated to the (p,q) minimal model, i.e. the (p,q) reduction of the KP hierarchy solution of the string equation. Here we consider only the 1-matrix model, for which q=2.

研究动机与目标

• 为单矩阵模型双标度极限中相关函数的普遍性提供严格的数学证明。
• 将矩阵模型的标度极限与共形场论中的 $(p,2)$ 最小模型及可积族联系起来。
• 确立极限谱曲线的谱不变量与 $(p,2)$ 最小模型行列式相关函数的谱不变量一致。
• 将已知的 $(p,q)$ 普遍性物理结果推广至 $q=2$ 的数学严格框架。
• 为将结果推广至多矩阵模型及任意 $(p,q)$ 极限奠定基础。

提出的方法

• 通过将特征值重新标度为 $x \sim N^{-q/(p+q)}$，推导单矩阵模型的双标度极限，重点关注 $\rho(x) \sim x^{p/2}$ 处的奇点。
• 将 $(p,2)$ 核构造为满足次数 $\leq p$ 的多项式系数的 $2 \times 2$ 线性微分系统之 Baker-Akhiezer 函数的 Christoffel-Darboux 核。
• 证明微分系统的系数满足 $p = 2m+1$ 时的 $m+1$-阶 Gelfand-Dikii 方程，从而将其与 KdV 层联系起来。
• 利用谱曲线与拓扑递归，将极限相关函数 $\omega_n^{(g)}$ 识别为与 $(p,2)$ 最小模型中相同的谱曲线的谱不变量。
• 通过匹配环方程与渐近展开，证明矩阵模型标度极限与 $(p,2)$ 最小模型行列式相关函数的等价性。
• 应用 Kontsevich 积分框架，将结果组合解释为黎曼曲面模空间上示性类的交点数。

实验结果

研究问题

• RQ1 在特征值密度的 $p/2$-型奇点附近，单矩阵模型的相关函数在双标度极限下如何表现？
• RQ2 对于 $\rho(x) \sim x^{p/2}$，控制矩阵模型相关函数标度极限的普遍核是什么？
• RQ3 $(p,2)$ 最小模型核与极限矩阵模型的谱不变量之间有何关系？
• RQ4 能否证明 $(p,2)$ 最小模型相关函数的行列式结构与矩阵模型相关函数的渐近行为一致？
• RQ5 Gelfand-Dikii 层与弦方程在将矩阵模型与共形场论联系起来的过程中起什么作用？

主要发现

• 在 $p/2$-型奇点附近的单矩阵模型双标度极限产生由 $(p,2)$ 核支配的相关函数，该核是 $p=1$ 时 Airy 核的推广。
• $(p,2)$ 核是满足次数 $\leq p$ 的多项式系数的 $2 \times 2$ 线性微分系统之解的 Christoffel-Darboux 核。
• 该微分系统与 $p = 2m+1$ 时的 $m+1$-阶 Gelfand-Dikii 方程的 Lax 矩阵相关，从而与 KdV 层联系起来。
• 矩阵模型的极限相关函数 $\omega_n^{(g)}$ 与 $(p,2)$ 最小模型中相同谱曲线的谱不变量一致。
• $(p,2)$ 最小模型相关函数的行列式公式在 $N$ 的主导阶渐近下重现了矩阵模型相关函数的渐近行为。
• 通过 Kontsevich 积分框架，结果被组合解释为黎曼曲面模空间上典范类的交点数。