[論文レビュー] From Brezin-Hikami to Harer-Zagier formulas for Gaussian correlators

А. Морозов, Sh. Shakirov|arXiv (Cornell University)|Jul 23, 2010

Algebraic structures and combinatorial models参考文献 30被引用数 33

ひとこと要約

本稿は、有限Nのヘルミート行列模型における全 genus ガウス型相関関数の母関数である Harer-Zagier 多密度関数について、Brezin-Hikami の輪郭積分表現を用いて明示的で初等関数による表現を導出する。1点関数と2点関数を閉形式で再導出し、2点関数に対しては逆正 tangent 表現を含む。3点関数についても予想される明示的表現を提示し、2点を超える一般化の難しさを強調する。

ABSTRACT

Brezin-Hikami contour-integral representation of exponential multidensities in finite N Hermitian matrix model is a remarkable implication of the old Hermitian-Kontsevich duality. It is also a simplified version of Okounkov's formulas for the same multidensities in the cubic Kontsevich model and of Nekrasov calculus for LMNS integrals, a central piece of the modern studies of AGT relations. In this paper we use Brezin-Hikami representation to derive explicit expressions for the Harer-Zagier multidensities (from arXiv:0906.0036): the only known exhaustive generating functions of all-genera Gaussian correlators which are fully calculable and expressed in terms of elementary functions. Using the Brezin-Hikami contour integrals, we rederive the 1-point function of Harer and Zagier and the 2-point arctangent function of arXiv:0906.0036. We also present (without a proof) the explicit expression for the 3-point function in terms of arctangents. Derivation of the 3-point and higher Harer-Zagier functions remains a challenging problem.

研究の動機と目的

• 有限Nのヘルミート行列模型における全 genus ガウス型相関関数の母関数である Harer-Zagier 多密度関数の明示的・閉形式表現を導出すること。
• Brezin-Hikami の輪郭積分表現を用いて、Harer-Zagier 框組み内での既知の 1 点および 2 点関数を再導出しすること。
• 一般化された証明の欠如にもかかわらず、逆正 tangent 関数を用いた 3 点関数の明示的表現を提示すること。
• これらの初等関数の結果を、未解決の主要な課題である高次相関関数へと拡張可能かどうかを検討すること。

提案手法

• 有限Nのヘルミート行列模型における多密度関数の出発点として、Brezin-Hikami の輪郭積分表現を用いる。
• 輪郭積分技法を適用し、1 点 Harer-Zagier 関数を再導出し、既知の形を確認する。
• 手法を 2 点関数へと拡張し、級数比較および超幾何恒等式を用いて明示的な逆正 tangent 表現を導出する。
• N に関する母関数を用いて、N 依存の表現を $ \tilde{\rho}(z|\rho) $ に変換し、初等関数の出現を可能にする。
• 輪郭積分の級数展開と既知の逆正 tangent 級数形とを比較し、非自明な超幾何恒等式を鍵となる技術的ステップとして同定する。
• 立方体 Kontsevich モデルの Okounkov 公式を概念的一般化として用い、高次多項式ポテンシャルへの拡張の可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 Brezin-Hikami の輪郭積分表現を用いて、ガウス行列模型における Harer-Zagier 多密度関数の閉形式表現を導出可能か？
• RQ2 2 点関数がなぜ逆正 tangent 関数に簡略化されるのか。この形を裏付ける背後にある級数恒等式は何か？
• RQ3 初等関数による高次関数の導出に一般化可能なパターンは存在するか？
• RQ4 輪郭積分の級数展開と逆正 tangent 級数展開を等しくする超幾何恒等式の性質は何か？
• RQ5 高次多項式ポテンシャルを持つ一般化された Kontsevich モデルに対しても、同様の初等関数による多密度関数を構成可能か？

主な発見

• Brezin-Hikami の輪郭積分を用いて 1 点 Harer-Zagier 関数を再導出し、既知の形 $ \phi(z|N) = \frac{1}{2z^2}\left(\left(\frac{1+z^2}{1-z^2}\right)^N - 1\right) $ を確認した。
• 2 点関数は閉形式で逆正 tangent 関数として導出された：$ \hat{\phi}_{\text{odd}}(z_1,z_2|\lambda) = \frac{\lambda}{(1-\lambda)^2} \frac{\arctan\left(\frac{s_1 s_2}{\sqrt{1 - \frac{1+\lambda}{1-\lambda}(s_1^2 + s_2^2)}}\right)}{\sqrt{1 - \frac{1+\lambda}{1-\lambda}(s_1^2 + s_2^2)}} $、ここで $ s_i = z_i \sqrt{1 - \lambda} $ である。
• 輪郭積分展開と逆正 tangent 級数展開を等しくする非自明な級数恒等式が同定され、$ \lambda = 0 $ でB関数恒等式に還元される。
• 3 点関数は逆正 tangent 関数を用いた明示的表現を予想するが、本稿では証明は提示されていない。
• 3 点関数およびそれ以上の高次関数の導出は未解決の問題であり、複雑性の増大が一般解の導出を妨げている。
• 本手法により、見かけ上複雑な輪郭積分が適切な母関数変換を経て初等関数として現れることを示し、行列模型相関関数に深い構造が潜んでいる可能性を示唆する。