[論文レビュー] Determinantal formulae and loop equations

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

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

ひとこと要約

本稿は、任意の2階線形微分系のクリスティオフェル＝ダルブー核から導かれる相関関数がループ方程式を満たすことを確立し、ランダム行列モデルを超えて、行列式表現とループ方程式の間の有名な双対性を拡張する。主な貢献は、ボゾニックな相関関数 $ W_n $ が、核 $ K(x_i,x_j) $ からの行列式表現によって構成されるが、それらが行列モデルに依存しない普遍的な形でループ方程式を満たすことを示したことである。これは、サトウ＝ヘインの指数関数的公式の一般化によって達成される。

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.

研究の動機と目的

• ランダム行列モデルを超えて、行列式表現とループ方程式の双対性を拡張すること。
• 任意の2階線形微分系のクリスティオフェル＝ダルブー核から導かれる相関関数がループ方程式を満たすことを確立すること。
• 核 $ K(x,y) $ のサトウ＝ヘインの指数関数的公式を任意の2階常微分方程式に一般化すること。
• ループ方程式が行列モデルの枠組みに依存せず、微分系の構造にのみ依存して成り立つことを示すこと。
• 行列式構造とループ方程式がより広いクラスの系において統一的に共存するフレームワークを提供すること。

提案手法

• トレースレスな $ \mathcal{D}(x) $ を持つ $ 2 \times 2 $ 線形微分系 $ \Psi' = \mathcal{D} \Psi $ を定義し、スペクトル曲線 $ \hat{\mathcal{E}}(x,y) = \det(y - \mathcal{D}(x)) $ を導出する。
• 基本解 $ \Psi $ から、クリスティオフェル＝ダルブー核 $ 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 $ のループ方程式を示すことの根拠となる。
• 任意の2階系に一般化されたサトウ＝ヘインの公式 $ K(x,y) = \exp\left( \sum_n \frac{1}{n!} \int_y^x \cdots \int_y^x W_n \right) $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の2階常微分方程式のクリスティオフェル＝ダルブー核から導かれる相関関数は、行列モデルに依存せずにループ方程式を満たすか？
• RQ2 核 $ K(x,y) $ のサトウ＝ヘインの指数関数的公式は、任意の2階線形常微分方程式に拡張可能か？
• RQ3 ランダム行列ではなく微分系が基盤となる場合、行列式表現とループ方程式の双対性は保たれるか？
• RQ4 行列測度が存在しない状況において、周期的和による定義の $ W_n $ とループ方程式の関係は何か？
• RQ5 スペクトル曲線 $ \hat{\mathcal{E}}(x,y) $ は、このような系におけるループ方程式の一貫性を保証するために果たす役割は何か？

主な発見

• 周期的和による定義の相関関数 $ 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 $ の場合、$ n=0 $ のケースに $ \delta_y $ を適用することでループ方程式が検証され、$ 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) $ は、このような系において普遍的に成り立ち、サトウ＝ヘインの公式がランダム行列モデルを超えて一般化される。
• ループ方程式は行列測度を仮定せず、微分系の構造にのみ依存して導出され、このクラスの系において普遍性が証明される。