[論文レビュー] 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行列モデルにおけるF_g不変量のx-y対称性を、両方の行列を含み、固有値に還元できない混合相関関数W_{k,l}およびH_{k,l}の位相的展開を計算することによって確立する。ループ方程式とスペクトル曲線上の再帰的解法を用いて、F_g不変量がx ↔ 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.

研究の動機と目的

• 先行研究で予想されたF_g不変量のx-y対称性を、ヘルミート2行列モデルにおける混合相関関数の解析によって厳密に証明すること。
• 両方の行列M₁とM₂を含むが、固有値で表現できない混合相関関数W_{k,l}およびH_{k,l}の位相的展開を計算すること。
• 文献[21]における代数的不変量の手法を、混合トレースを含める形に一般化し、任意の代数的曲線に対するF_g不変量の計算を可能にすること。
• スペクトル曲線上での正則微分形式と留数定理を用いた、2行列モデルにおけるループ方程式の再帰的フレームワークを確立すること。
• F_g不変量がスペクトル曲線上の2つの座標xとyの交換に対して不変であることを示し、行列モデル理論における基本的対称性を確認すること。

提案手法

• 2行列モデルのループ方程式（W代数関係）を導出し、混合相関関数W_{k,l}およびH_{k,l}の再帰的表現を導く。
• 両方の行列を含む混合トレースを符号化する新しい相関関数H_{k,l}を導入し、CFTにおける境界オペレーター挿入に不可欠である。
• xとyをリーマン面上の有理型関数とする、基本的な代数的構造としてのスペクトル曲線E(x,y) = 0を用いる。
• リーマンの二重線形恒等式とコーシーの留数公式を適用し、低 genus のデータから高 genus の相関関数を再構成する。
• E_k^{(g)}(x,y; p_K)およびU_k^{(g)}(p,y; p_K)の明示的解を、xおよびyに関する多項式として構成し、ループ方程式と整合することを保証する。
• 留数定理と genus および挿入数に関する降下法を用いて、解の存在と一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 2行列モデルの文脈において、F_g不変量のx-y対称性を厳密に証明できるか？
• RQ2 両方の行列M₁とM₂を含む混合相関関数は、位相的展開において体系的に計算可能か？
• RQ3 スペクトル曲線E(x,y)=0は、標準的1行列モデルを越えてF_g不変量の対称性をどのように符号化するか？
• RQ4 ループ方程式の再帰的構造は、固有値関数に還元できない混合トレースH_{k,l}を含める形に拡張可能か？
• RQ5 F_g不変量は、スペクトル曲線上の2つの座標xとyの交換に対して対称か？その場合、どのような条件下で成立するか？

主な発見

• 2行列モデルにおける混合相関関数の位相的展開を計算することによって、F_g不変量のx-y対称性が厳密に証明された。
• 混合相関関数W_{k,l}およびH_{k,l}は、スペクトル曲線E(x,y)=0上で多価関数であることが示され、生成関数は指定された境界条件を持つ二色に塗られた離散的表面の数を数える。
• H_{0,0}^{(0)}が明示的に計算され、混合境界を持つ genus 0 表面の数え上げにおけるその役割が確認された。
• ループ方程式に対する再帰的解法が構成され、留数定理と genus および挿入数に関する降下法を用いて、関数E_k^{(g)}およびU_k^{(g)}の存在と一意性が証明された。
• 文献[21]におけるF_g不変量の構成手法を、行列モデルに由来しない任意の代数的曲線に対しても一般化でき、混合相関構造を模倣することで実現された。
• H_{k,l}の位相的展開は、1つの追加の混合境界を持つ表面のオイラー標数を反映し、N^{2-2g-k-l-1}のべきを持つ。