[论文解读] Determinantal formulae and loop equations

M. C. Bergère, Bertrand Eynard|ArXiv.org|Jan 21, 2009

Random Matrices and Applications参考文献 19被引用 37

一句话总结

本文证明了任意二阶线性微分系统之Christoffel-Darboux核所导出的相关函数满足环路方程，将随机矩阵模型中已知的行列式公式与环路方程之间的对偶性推广至更广泛的情形。关键贡献在于证明：即使在缺乏底层矩阵模型的情况下，通过Sato-Heine指数公式的推广，由核 $ K(x_i,x_j) $ 构造的玻色子相关函数 $ W_n $ 也普遍满足环路方程。

ABSTRACT

We prove that the correlations functions, generated by the determinantal process of the Christoffel-Darboux kernel of an arbitrary order 2 ODE, do satisfy loop equations.

研究动机与目标

• 将行列式公式与环路方程之间的对偶性从随机矩阵模型推广至更广泛的情形。
• 建立任意二阶线性微分系统之Christoffel-Darboux核所导出的相关函数满足环路方程。
• 将Sato-Heine指数公式对核 $ K(x,y) $ 的推广扩展至任意二阶ODE。
• 证明环路方程的成立不依赖于矩阵模型框架，仅依赖于微分系统结构。
• 提供一个统一框架，使行列式结构与环路方程在更广泛的系统类中并存。

提出的方法

• 定义一个 $ 2 \times 2 $ 线性微分系统 $ \Psi' = \mathcal{D} \Psi $，其中 $ \mathcal{D}(x) $ 迹为零，由此导出谱曲线 $ \hat{\mathcal{E}}(x,y) = \det(y - \mathcal{D}(x)) $。
• 从基本解 $ \Psi $ 构造Christoffel-Darboux核 $ K(x_1,x_2) = \frac{\psi(x_1)\tilde{\phi}(x_2) - \tilde{\psi}(x_1)\phi(x_2)}{x_1 - x_2} $。
• 通过涉及 $ K(x_i,x_{\sigma(i)}) $ 的循环和公式定义连通相关函数 $ W_n(x_1,\dots,x_n) $，其中 $ W_1 $ 为留数极限。
• 通过带括号的行列式 $ \mathcal{W}_n = \left\langle \det K(x_i,x_j) \right\rangle $ 引入非连通相关函数 $ \mathcal{W}_n $，并与费米子相关函数相关联。
• 利用留数微积分与递归微分，证明 $ W_n $ 满足环路方程，特别地，证明 $ \delta_y Q_2(x;x_1) = 0 $ 意味着 $ n=0,1 $ 时环路方程成立。
• 将Sato-Heine公式 $ K(x,y) = \exp\left( \sum_n \frac{1}{n!} \int_y^x \cdots \int_y^x W_n \right) $ 推广至任意二阶系统。

实验结果

研究问题

• RQ1 由任意二阶ODE之Christoffel-Darboux核导出的相关函数是否在无矩阵模型前提下仍满足环路方程？
• RQ2 Sato-Heine指数公式对核 $ K(x,y) $ 的推广是否可扩展至由任意二阶线性ODE定义的系统？
• RQ3 当底层结构为微分系统而非随机矩阵时，行列式公式与环路方程之间的对偶性是否仍然保持？
• RQ4 在无矩阵测度的前提下，通过核的循环和定义的连通相关函数 $ W_n $ 如何与环路方程关联？
• RQ5 谱曲线 $ \hat{\mathcal{E}}(x,y) $ 在确保此类系统中环路方程一致性方面起何作用？

主要发现

• 通过Christoffel-Darboux核 $ K(x_i,x_j) $ 的循环和定义的相关函数 $ W_n $，对所有 $ n \geq 0 $ 均满足环路方程，即使在无矩阵模型前提下亦然。
• 当 $ n=0 $ 时，环路方程退化为 $ W_2(x,x) + W_1(x)^2 = -\det \mathcal{D}(x) = \frac{1}{2} \operatorname{Tr} \mathcal{D}(x)^2 = -P_1(x) $，在最低阶次确认了其一致性。
• 当 $ n=1 $ 时，通过将 $ \delta_y $ 作用于 $ n=0 $ 情况，验证了环路方程：$ W_3(x,x,y) + 2W_1(x)W_2(x,y) = -P_2(x;y) - \frac{\partial}{\partial y} \frac{W_1(x) - W_1(y)}{x - y} $。
• 证明依赖于留数微积分与恒等式 $ \delta_y Q_2(x;x_1) = 0 $，该恒等式表明环路方程在 $ n=0 $ 与 $ n=1 $ 时成立，并通过归纳法推广至更高 $ n $。
• 指数公式 $ K(x,y) = \exp\left( \sum_n \frac{1}{n!} \int_y^x \cdots \int_y^x W_n \right) $ 在此类系统中普遍成立，将Sato-Heine公式推广至矩阵模型之外。
• 环路方程完全基于微分系统结构推导，无需假设矩阵测度，证明了其在该类系统中的普遍性。