[論文レビュー] Large gap asymptotics for random matrices

I. Krasovsky|arXiv (Cornell University)|Jul 7, 2010

Random Matrices and Applications被引用数 4

ひとこと要約

本稿は、ランダム行列理論における固有値ギャップ確率を理解する上で鍵となる、サインカーネルおよびエアリー・カーネル作用素のフレドホルム行列式の大型ギャップ漸近展開を確立する。トーペリッツおよびハンケル行列式の近似と、リーマン＝ヒルベルト解析を用いて導かれる直交多項式の漸近挙動を組み合わせたハイブリッド的手法により、対数行列式の完全な漸近展開を厳密に導出する。この展開には、リーマン・ゼータ関数およびその微分が-1で評価された定数項が含まれる。

ABSTRACT

We outline an approach recently used to prove formulae for the multiplicative constants in the asymptotics for the sine-kernel and Airy-kernel determinants appearing in random matrix theory and related areas.

研究の動機と目的

• 区間長 $ s \to \infty $ のとき、サインカーネル作用素のフレドホルム行列式の完全な漸近展開を導出すること。
• ガウス・ユニタリー・エンsemblesの端縁スケーリング極限に対応するエアリー・カーネル行列式の大型ギャップ漸近展開を確立すること。
• サインカーネル行列式の対数漸近展開における定数項 $ c_0 = \frac{1}{12}\ln 2 + 3\zeta'(-1) $ を厳密に計算すること。
• トーペリッツおよびハンケル行列式の二重スケーリング極限に基づく一貫した手法を提供し、先行研究を統合・拡張すること。

提案手法

• トーペリッツ（サインカーネル）およびハンケル（エアリー・カーネル）行列式の二重スケーリング極限として、フレドホルム行列式 $ P_s^{(j)} = \det(I - K_s^{(j)}) $（$ j=1,2 $）を近似する。
• 恒等式 $ \frac{d}{d\alpha} \ln D_n(f_\alpha) = \frac{n}{\pi} |\phi_n(e^{i\alpha}, \alpha)|^2 - \frac{1}{\pi} \left\{ \phi_n(e^{-i\alpha}, \alpha) e^{i\alpha} \phi_n'(e^{i\alpha}, \alpha) + \text{c.c.} \right\} $ を用い、対数微分を直交多項式のノルムに結びつける。
• デイフト＝ツォウの勾配降下法を用いて、ステップ関数および指数的重みを持つ直交多項式のリーマン＝ヒルベルト問題を解き、$ \chi_k $ および $ \varkappa_k $ の漸近展開を導出する。
• 境界条件として、$ \alpha \to \pi $（トーペリッツ）および $ \alpha \to 0 $（ハンケル）におけるセルバージュ積分の漸近挙動を用い、$ \alpha $ について対数微分恒等式を統合する。
• セルバージュ積分 $ A_n $ および $ D_n^H(w_\infty) $ の漸近挙動を活用して、正規化定数を固定し、普遍的定数 $ c_0 $ を抽出する。
• $ n \to \infty $、$ \alpha \sim 1 - s/(2n)^{2/3} $ の二重スケーリング極限における展開を組み合わせることで、$ \ln P_s^{(j)} $ の完全な漸近級数を回復する。

実験結果

リサーチクエスチョン

• RQ1 $ s \to \infty $ のとき、サインカーネルフレドホルム行列式 $ P_s^{(1)} $ の完全な漸近展開は何か？
• RQ2 サインカーネル漸近展開における定数項 $ c_0 = \frac{1}{12}\ln 2 + 3\zeta'(-1) $ はどのように厳密に導出可能か？
• RQ3 エアリー・カーネル行列式 $ P_s^{(2)} $ の大型ギャップ漸近挙動は何か。これは最大固有値分布に対応する。
• RQ4 トーペリッツおよびハンケル行列式の二重スケーリング極限は、ランダム行列理論におけるフレドホルム行列式の漸近挙動をどのように再現するか？
• RQ5 直交多項式の漸近挙動は、フレドホルム行列式の対数微分を計算する際に果たす役割は何か？

主な発見

• サインカーネル行列式の対数漸近展開は、$ \ln P_s^{(1)} = -\frac{s^2}{2} - \frac{1}{4}\ln s + c_0 + \frac{a_1}{s} + \cdots $ であり、$ c_0 = \frac{1}{12}\ln 2 + 3\zeta'(-1) $ である。この結果は、直交多項式のリーマン＝ヒルベルト解析によって確認された。
• エアリー・カーネル行列式の漸近展開は、$ \ln P_s^{(2)} = -\frac{s^3}{12} - \frac{1}{8}\ln s + \frac{1}{24}\ln 2 + \zeta'(-1) + O(s^{-3/2}) $ であり、GUEの端縁スケーリング極限と一致する。
• 本手法は、$ \alpha \to \pi $ および $ \alpha \to 0 $ におけるセルバージュ積分の境界条件と二重スケーリング極限を組み合わせることで、普遍的定数 $ c_0 $ を厳密に分離できた。
• トーペリッツおよびハンケル行列式の対数微分恒等式は、リーマン＝ヒルベルト漸近挙動と組み合わせることで、二重スケーリング領域において一様な誤差評価をもたらす。
• 本手法は、一次の項を超える高次の項を計算するための一貫したフレームワークを提供する。
• 得られた漸近挙動は、ダイソン、デイフト＝イェツ＝ツォウ、エーラーハードの既知の結果と整合しており、定数項 $ c_0 $ の厳密な証明を完成させた。