[论文解读] Topological expansion of mixed correlations in the hermitian 2 Matrix Model and x-y symmetry of the F_g invariants

Bertrand Eynard, Nicolas Orantin|ArXiv.org|May 7, 2007

Topological and Geometric Data Analysis参考文献 20被引用 31

一句话总结

该论文通过计算酉2-矩阵模型中涉及两个矩阵且无法约化为特征值的混合相关函数 $ W_{k,l} $ 和 $ H_{k,l} $ 的拓扑展开，建立了 $ F_g $ 不变量的 x-y 对称性。利用环方程和谱曲线上的递归解法，证明了 $ F_g $ 不变量在 $ x \leftrightarrow y $ 下对称，推广了早期工作的结果，并证实了关于由谱曲线导出的代数不变量的猜想。

ABSTRACT

We compute expectation values of mixed traces containing both matrices in a two matrix model, i.e. generating function for counting bicolored discrete surfaces with non uniform boundary conditions. As an application, we prove the $x-y$ symmetry of the algebraic curve invariants introduced in math-ph/0702045.

研究动机与目标

• 通过分析酉2-矩阵模型中的混合相关函数，严格证明先前工作中提出的 $ F_g $ 不变量的 x-y 对称性。
• 计算涉及矩阵 $ M_1 $ 和 $ M_2 $ 的混合相关函数 $ W_{k,l} $ 和 $ H_{k,l} $ 的拓扑展开，这些函数无法用特征值表达。
• 将 [21] 中代数不变量的方法推广至包含混合迹，从而实现对任意代数曲线的 $ F_g $ 不变量的计算。
• 在谱曲线上，利用亚纯微分和留数定理，建立求解2-矩阵模型环方程的递归框架。
• 证明 $ F_g $ 不变量在谱曲线上的两个坐标 $ x $ 和 $ y $ 交换下保持不变，确认了矩阵模型理论中的基本对称性。

提出的方法

• 推导2-矩阵模型的环方程（W代数关系），导出混合相关函数 $ W_{k,l} $ 和 $ H_{k,l} $ 的递归表达式。
• 引入新的相关函数 $ H_{k,l} $，用于编码涉及两个矩阵的混合迹，这对共形场论中的边界算符插入至关重要。
• 以谱曲线 $ E(x,y) = 0 $ 作为基础代数结构，其中 $ x $ 和 $ y $ 为黎曼曲面上的亚纯函数。
• 应用黎曼双线性恒等式和柯西留数公式，从低亏格数据重构高亏格相关函数。
• 构造 $ E_k^{(g)}(x,y; p_K) $ 和 $ U_k^{(g)}(p,y; p_K) $ 的显式解，作为 $ x $ 和 $ y $ 的多项式，确保与环方程的一致性。
• 通过亏格和插入数的递归下降，利用留数定理和已知的低阶函数，证明解的存在性与唯一性。

实验结果

研究问题

• RQ1 能否在2-矩阵模型的背景下严格证明 $ F_g $ 不变量的 x-y 对称性？
• RQ2 如何系统地计算涉及两个矩阵 $ M_1 $ 和 $ M_2 $ 的混合相关函数的拓扑展开？
• RQ3 谱曲线 $ E(x,y)=0 $ 在编码 $ F_g $ 不变量对称性方面，其作用是否超越标准1-矩阵模型？
• RQ4 环方程的递归结构能否扩展至不约化为特征值函数的混合迹 $ H_{k,l} $？
• RQ5 $ F_g $ 不变量是否在谱曲线上的两个坐标 $ x $ 和 $ y $ 交换下保持对称？若成立，其条件为何？

主要发现

• 通过计算2-矩阵模型中混合相关函数的拓扑展开，严格证明了 $ F_g $ 不变量的 x-y 对称性。
• 混合相关函数 $ W_{k,l} $ 和 $ H_{k,l} $ 被证明为谱曲线 $ E(x,y)=0 $ 上的多值函数，其生成函数计数具有指定边界条件的双色离散曲面。
• $ H_{0,0}^{(0)} $ 被显式计算，确认其在计数具有混合边界的亏格零曲面中的作用。
• 构建了环方程的递归解，通过留数定理和亏格及插入数的下降，证明了函数 $ E_k^{(g)} $ 和 $ U_k^{(g)} $ 的存在性与唯一性。
• 该方法将 [21] 中 $ F_g $ 不变量的构造推广至任意代数曲线（不一定是矩阵模型导出的），通过模仿混合相关结构实现。
• $ H_{k,l} $ 的拓扑展开具有 $ N^{2-2g-k-l-1} $ 的幂次，反映了具有一个额外混合边界的曲面的欧拉示性数。