[论文解读] Topological recursion for Gaussian means and cohomological field theories

Jørgen Ellegaard Andersen, Leonid Chekhov+2 more|arXiv (Cornell University)|Dec 31, 2015

Topological and Geometric Data Analysis参考文献 56被引用 8

一句话总结

本文通過拓撲遞歸，精確建立了高斯矩陣模型相關函數與上同調場論（CohFT）之間的聯繫，表明濾除基因的多蹤跡相關函數是特殊時間的多項式，其係數由CohFT的祖先不變量加權。本文證明了遞歸係數的整數性與正性，並使用三種不同方法計算了${\mathcal{M}}_{g,1}$的首個次領階係數：改進的Harer–Zagier遞歸、Givental型分解與顯式圖計數。

ABSTRACT

We use the explicit relation between genus filtrated $s$-loop means of the Gaussian matrix model and terms of the genus expansion of the Kontsevich--Penner matrix model (KPMM), which is the generating function for volumes of discretized (open) moduli spaces $M_{g,s}^{disc}$ (discrete volumes), to express Gaussian means in all genera as polynomials in special times weighted by ancestor invariants of an underlying cohomological field theory. We translate topological recursion of the Gaussian model into recurrent relations for coefficients of this expansion proving their integrality and positivity. As an application, we find the coefficients in the first subleading order for ${\\mathcal M}_{g,1}$ for all $g$ in three ways: by using the refined Harer--Zagier recursion, by exploiting the Givental-type decomposition of KPMM, and by an explicit diagram counting.

研究动机与目标

• 建立高斯矩陣模型中濾除基因的多蹤跡相關函數與底層上同調場論（CohFT）的祖先不變量之間的直接聯繫。
• 證明對高斯模型應用拓撲遞歸可產生相關函數係數的遞推關係，並證明這些係數具有整數性與正性。
• 以三種獨立方式計算模空間${\mathcal{M}}_{g,1}$的首個次領階係數：透過改進的Harer–Zagier遞歸、Kontsevich–Penner矩陣模型的Givental型分解，以及顯式圖計數。
• 提供開模空間$M_{g,s}^{\mathrm{disc}}$的離散體積的圖論解釋，即作為具有特定頂點、邊與葉結構的圖的有限和。
• 推導並驗證涉及不同邊類型與標記頂點的圖計數之間的新組合恆等式，特別是針對$V^{(g)}_{q;3{-}3}$，並確認其與$g=3$時已知結果的一致性。

提出的方法

• 將Kontsevich–Penner矩陣模型（KPMM）用作開模空間$M_{g,s}^{\mathrm{disc}}$的離散體積的生成函數，並證明其等價於高斯矩陣模型的預解式之原函數。
• 對高斯模型的譜曲線應用拓撲遞歸，將其轉化為多蹤跡相關函數基因展開係數的遞推關係。
• 採用KPMM自由能的圖表示法，其中頂點對應Kontsevich模型中的項，內部邊對應規範變換中的二次項，外部腿對應時間$T^\pm_{2n}$，從而實現離散體積 quasi-多項式性的組合證明。
• 利用KPMM的Givental型分解，將其分解為由Bogolyubov變換關聯的兩個Kontsevich模型，從而推導出祖先不變量的生成函數。
• 應用改進的Harer–Zagier遞歸計算${\mathcal{M}}_{g,1}$的首個次領階係數，並透過圖計數與分解方法進行交叉驗證。
• 推導並求解一組線性方程組，將不同邊類型（$V^{(g)}_{4,4,3{-}3}$、$V^{(g)}_{5,3{-}3}$、$\sum_q qV^{(g)}_{q;3{-}3}$）的圖計數關聯起來，從而得到這些計數的顯式公式，表達為$b^{(g)}_{g-1}$與$b^{(g)}_{g-2}$的函數。

实验结果

研究问题

• RQ1 高斯矩陣模型中濾除基因的多蹤跡相關函數與上同調場論的祖先不變量之間有何關係？
• RQ2 能否利用高斯模型的拓撲遞歸推導出相關函數係數的遞推關係，且這些係數是否具有整數性與正性？
• RQ3 模空間${\mathcal{M}}_{g,1}$的首個次領階係數為何？能否通過多種獨立方法一致地計算？
• RQ4 KPMM自由能的圖論模型如何編碼開模空間$M_{g,s}^{\mathrm{disc}}$的離散體積？
• RQ5 在具有單一標記邊界的基因$g$模空間背景下，計數具有特定邊與頂點結構的圖時會產生哪些組合恆等式？

主要发现

• 濾除基因的$ s $-迴路平均值在高斯矩陣模型中可表示為特殊時間的多項式，其係數由CohFT的祖先不變量加權，從而建立了矩陣模型相關函數與拓撲場論不變量之間的直接聯繫。
• 高斯平均值基因展開的係數滿足由拓撲遞歸導出的遞推關係，且被證明具有整數性與正性。
• ${\mathcal{M}}_{g,1}$的首個次領階係數透過三種獨立方法計算：改進的Harer–Zagier遞歸、KPMM的Givental型分解與顯式圖計數，結果一致。
• 推導出特定邊類型圖計數的顯式公式：$V^{(g)}_{4,4,3{-}3} = \frac{1}{4}\left[(3g-4)(6g-5)b^{(g)}_{g-1}+gb^{(g)}_{g-1}-\frac{20}{3}b^{(g)}_{g-2}\right]$，$V^{(g)}_{5,3{-}3} = 2(g-1)b^{(g)}_{g-1}+\frac{8}{3}b^{(g)}_{g-2}$，以及$\sum_q qV^{(g)}_{q;3{-}3} = gb^{(g)}_{g-1}-\frac{20}{3}b^{(g)}_{g-2}$。
• 驗證了一個新恆等式：$(2!)^2 2^2 V^{(g)}_{4,4,3{-}3} + 5V^{(g)}_{5,3{-}3} = (6g-5)(6g-6)V^{(g)}_{3{-}3}$，在$g=3$時利用[35]的數據確認其成立，體現了一致性。
• 透過關聯基因$g$與$g+1$圖的爆破過程，導出遞推關係：$2(6g-1)(6g+1)b^{(g)}_{g-1} = (g+1)b^{(g+1)}_g - \frac{20}{3}b^{(g+1)}_{g-1}$，從而恢復已知公式$b^{(g)}_{g-2} = \frac{3}{10}\frac{g(g-1)}{2g-1}b^{(g)}_{g-1}$，確認與先前結果的一致性。