[論文レビュー] Tracy-Widom GUE law and symplectic invariants

Gaëtan Borot, Bertrand Eynard|arXiv (Cornell University)|Nov 5, 2010

Random Matrices and Applications参考文献 27被引用数 8

ひとこと要約

本稿は、Gaussian Unitary Ensemble (GUE) のランダム行列における最大固有値の分布を支配する Tracy-Widom GUE 健全法と、位相的再帰を介して導かれるシンプレクティック不変量との間の直接的な関係を確立する。二重スケーリング極限（ハードエッジ付近）における累積分布関数の漸近展開が、普遍的スペクトル曲線のシンプレクティック不変量と一致することを証明し、Tracy-Widom分布が2×2の相性のとれた線形系のτ関数から生じ、その相性条件がPainlevé II方程式を導くことを示している。

ABSTRACT

We establish the relation between two objects: an integrable system related to Painleve II equation, and the symplectic invariants of a certain plane curve Σ_{TW} describing the average eigenvalue density of a random hermitian matrix spectrum near a hard edge (a bound for its maximal eigenvalue). This explains directly how the Tracy-Widow law F_{GUE}, governing the distribution of the maximal eigenvalue in hermitian random matrices, can also be recovered from symplectic invariants.

研究の動機と目的

• Tracy-Widom GUE 法と位相的再帰を用いて計算されたシンプレクティック不変量との間の厳密な数学的関係を確立すること。
• GUE行列における最大固有値の累積分布関数の漸近展開が、普遍的スペクトル曲線のシンプレクティック不変量に一致することを証明すること。
• これらの不変量の母関数が、Painlevé II方程式と相性のとれた2×2線形系に関連するτ関数の漸近展開として生じることを示すこと。
• ヒューリスティックな行列モデルの二重スケーリング極限と、Tracy-Widom法の背後にある可積分構造との間のギャップを埋めること。

提案手法

• スペクトル曲線 $ \tilde{\rho} $ からシンプレクティック不変量 $ F^g(\tilde{\rho}) $ を位相的再帰形式で計算する。ここで $ \tilde{\rho} $ は、$ a \to 2 $ のときのスペクトル曲線 $ \Sigma(a) $ の極限として定義される。
• 行列モデルにおける $ \tau $-関数の $ 1/N $ 展開を用い、位相的再帰フレームワークを通じてシンプレクティック不変量 $ F^g $ と関連付ける。
• Painlevé II方程式 $ q''(s) = 2q^3(s) + s q(s) $ の解 $ q(s) $ に依存する、$ x $ と $ s $ に関する2階線形常微分方程式系 $ 2 \times 2 $ を構成する。
• 二重スケーリング極限 $ a = 2 + N^{-2/3}s $ を適用し、行列モデルを変換することで、$ \tau $-関数の漸近展開が普遍曲線 $ y^2 = x + x^{-1} - 2 $ のシンプレクティック不変量と一致する系に変換される。
• 留数計算と $ \omega_n^{(g)} $ 形式の再帰的定義を用いて $ F^g $ を計算し、得られた級数が既知のTracy-Widom分布の漸近的性質と一致することを検証する。
• 生成関数 $ \exp\left( -\frac{|s|^3}{12} - \frac{\ln|s|}{8} + \sum_{g \geq 2} (-s/2)^{3(1-g)} F^g(\Sigma_{\mathrm{TW}}) \right) $ が、Painlevé II系の $ \tau $-関数の $ s \to -\infty $ 漸近的性質に一致することを確立する。

実験結果

リサーチクエスチョン

• RQ1 Tracy-Widom GUE 法は、位相的再帰を用いて計算されたシンプレクティック不変量から導けるか？
• RQ2 GUE行列における最大固有値の累積分布関数の漸近展開は、普遍的スペクトル曲線のシンプレクティック不変量と等価か？
• RQ3 これらの不変量の母関数は、Painlevé II方程式と相性のとれた2×2線形系に関連するτ関数の漸近展開として生じるか？
• RQ4 行列モデルの二重スケーリング極限と可積分系、シンプレクティック不変量を結ぶ正確な数学的メカニズムは何か？
• RQ5 なぜTracy-Widom法における $ 1/N^2 $ 展開が、特定の平面曲線 $ \Sigma_{\mathrm{TW}} $ のシンプレクティック不変量に対応するのか？

主な発見

• 普遍的スペクトル曲線 $ y^2 = x + x^{-1} - 2 $ のシンプレクティック不変量 $ F^g(\Sigma_{\mathrm{TW}}) $ は、二重スケーリング極限におけるGUEのTracy-Widom累積分布関数の $ 1/N^2 $ 展開を再現する。
• Painlevé II方程式と相性のとれた2×2線形系の $ \tau $-関数の漸近展開は、生成関数 $ \exp\left( -\frac{|s|^3}{12} - \frac{\ln|s|}{8} + \sum_{g \geq 2} (-s/2)^{3(1-g)} F^g(\Sigma_{\mathrm{TW}}) \right) $ と一致する。これは、Tracy-Widom GUE分布の $ s \to -\infty $ 漸近的性質に一致する。
• 本稿は、GUE行列モデルにおける $ \tau $-関数の $ 1/N $ 展開がシンプレクティック不変量 $ F^g $ を生じることを証明し、これらが $ N $ に依存しないこと、そしてこれら不変量が曲線 $ \Sigma_{\mathrm{TW}} $ における位相的再帰によって計算されることを示している。
• 普遍的スペクトル曲線 $ \Sigma_{\mathrm{TW}} $、すなわち $ y^2 = x + x^{-1} - 2 $ で定義されるものだが、これは $ a \to 2 $ のときのスペクトル曲線 $ \Sigma(a) $ の極限として現れ、最大固有値分布の $ N \to \infty $ 時の振る舞いを支配する。
• この結果により、Tracy-Widom法が確率論的または漸近的対象にとどまらず、シンプレクティック不変量を通じて可積分系と代数幾何学に内因的に結びついていることが確認された。
• 本研究は、$ \beta $-アンサンブルで以前にヒューリスティックに用いられていた二重スケーリング極限の数学的基盤を、GUEの場合に $ \tau $-関数とPainlevé IIの相性性を用いて正当化した。