[論文レビュー] 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}$の最初の補正項係数を3通りの方法で計算：精製されたハラール＝ツァイジャー再帰、ギヴェンタル型分解、および明示的図形数え上げ。

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}$の最初の補正項係数を、3通りの独立した方法（精製ハラール＝ツァイジャー再帰、コンツェビッチ＝ペナー行列模型のギヴェンタル型分解、明示的図形数え上げ）で計算すること。
• 開モジュライ空間$M_{g,s}^{\mathrm{disc}}$の離散体積を、特定の頂点・辺・端点構造を持つグラフの有限和として表すグラフ理論的解釈を提供すること。
• 特定の辺タイプとマークされた頂点を持つグラフの数え上げから得られる新しい組合せ的恒等式を導出し、特に$V^{(g)}_{q;3{-}3}$に対して検証し、$g=3$の既知の結果と整合すること。

提案手法

• コンツェビッチ＝ペナー行列模型（KPMM）を、開モジュライ空間$M_{g,s}^{\mathrm{disc}}$の離散体積の母関数として用い、これがガウス型行列模型のリゾルベントの原始関数と等価であることを示した。
• ガウス型モデルのスペクトル曲線にトポロジカル再帰を適用し、多トレース相関関数の生成関数展開の係数に対する再帰関係に翻訳した。
• KPMM自由エネルギーのグラフ表現を用い、頂点をコンツェビッチ模型の項に対応させ、内部辺を正規化変換における2次項に対応させ、外部脚を時間$T^\pm_{2n}$に対応させることで、離散体積の準多項式性の組合せ的証明を可能にした。
• KPMMをボゴリューボフ変換で関連する2つのコンツェビッチ模型に分解し、ギヴェンタル型分解を用いて祖先不変量の母関数を導出した。
• 精製ハラール＝ツァイジャー再帰を用いて${\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 ガウス型行列模型における生成関数フィルタリング多トレース相関関数は、特徴的ホモロジー場理論（CohFT）の祖先不変量とどのように関係しているか？
• RQ2 ガウス型モデルに対するトポロジカル再帰は、相関関数係数の再帰関係を導けるか？また、その係数は整数的かつ正値的であるか？
• RQ3 ${\mathcal{M}}_{g,1}$の最初の補正項係数は何か？また、複数の独立した方法で一貫して計算可能か？
• RQ4 KPMM自由エネルギーのグラフ理論的モデルは、開モジュライ空間$M_{g,s}^{\mathrm{disc}}$の離散体積をどのように表現するか？
• RQ5 1つのマークされた境界を持つ生成関数$g$のモジュライ空間の文脈で、特定の辺および頂点構造を持つグラフの数え上げから得られる組合せ的恒等式は何か？

主な発見

• ガウス型行列模型の生成関数フィルタリング$s$ループ平均は、CohFTの祖先不変量で重み付けられた特別な時間の多項式として表現され、行列模型相関関数とトポロジカル場理論不変量との直接的関係を確立した。
• ガウス型平均の生成関数展開の係数は、トポロジカル再帰から得られる再帰関係を満たし、その係数が整数的かつ正値的であることが証明された。
• ${\mathcal{M}}_{g,1}$の最初の補正項係数は、3通りの独立した方法（精製ハラール＝ツァイジャー再帰、KPMMのギヴェンタル型分解、明示的図形数え上げ）で計算され、一貫性のある結果が得られた。
• 特定の辺タイプのグラフ数の明示的公式が導出された：$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}$が再現され、先行研究と整合することが確認された。