[論文レビュー] The Distribution of the first Eigenvalue Spacing at the Hard Edge of the Laguerre Unitary Ensemble

Peter J. Forrester, N. S. Witte|ArXiv.org|Apr 16, 2007

Random Matrices and Applications参考文献 24被引用数 3

ひとこと要約

この論文は、Painlevé V 系およびその関連する線形等モノドロミー変形を用いて、Laguerre Unitary Ensemble (LUE) のハードエッジにおける最初の固有値間隔の分布を導出する。スケーリングされた分布は Painlevé III' 系に従い、パラメータ $ a $ のさまざまな値、特に $ a = \pm 1/2 $ に対しても、分布およびそのモーメントの高精度な計算を可能にする。$ a = \pm 1/2 $ の場合、ハール測度下での実直交行列の最初の固有値間隔の分布が初めて得られる。

ABSTRACT

The distribution function for the first eigenvalue spacing in the Laguerre unitary ensemble of finite rank random matrices is found in terms of a Painlevé V system, and the solution of its associated linear isomonodromic system. In particular it is characterised by the polynomial solutions to the isomonodromic equations which are also orthogonal with respect to a deformation of the Laguerre weight. In the scaling to the hard edge regime we find an analogous situation where a certain Painlevé \IIId system and its associated linear isomonodromic system characterise the scaled distribution. We undertake extensive analytical studies of this system and use this knowledge to accurately compute the distribution and its moments for various values of the parameter $ a $. In particular choosing $ a=\pm 1/2 $ allows the first eigenvalue spacing distribution for random real orthogonal matrices to be computed.

研究の動機と目的

• 有限 $ n $ における Laguerre Unitary Ensemble (LUE) のハードエッジにおける最初の固有値間隔の分布を特徴づけること。
• LUE の間隔分布と Painlevé V 系およびその線形等モノドロミー変形との間の関係を確立すること。
• ハードエッジスケーリング極限を分析し、それが Painlevé III' 系およびその関連線形系に従うことを示すこと。
• パラメータ $ a $ のさまざまな値、特に $ a = \pm 1/2 $ に対して、間隔分布およびそのモーメントを高精度に計算すること。
• ハール測度下での実直交行列の最初の固有値間隔分布を、$ a = \pm 1/2 $ の場合を用いて計算可能にする。

提案手法

• 間隔分布は、Painlevé V 方程式に関連する線形等モノドロミー系の多項式解を用いて表現される。
• この手法は、複素平面における正則点および特異点の周りでの展開を伴う、等モノドロミー系のRiemann-Hilbert問題を解くことに基づく。
• 数値計算には、MPFUN ライブラリを用いた多倍長精度算術が用いられ、$ \nu''(s) $ の誤差境界が $ 10^{-59} $ 未満となるように保証される。
• 積分領域は区間に分割され、各区間ごとに2つの展開点（$ z=0 $ および $ z=s_0 $）を用いて収束を最大化する。
• 正規化は分布全体の精度を推定するために計算され、誤差が $ \leq 1.6 \times 10^{-18} $ に抑えられる。
• 中心モーメント変換を用いて、原始モーメントから統計的モーメント（平均、分散、歪度、尖度過剰）が計算される。

実験結果

リサーチクエスチョン

• RQ1 LUE のハードエッジにおける最初の固有値間隔分布は、特殊関数の観点からどのように特徴づけられるか？
• RQ2 Painlevé V 系およびその線形等モノドロミー変形は、間隔分布の記述において果たす役割は何か？
• RQ3 ハードエッジスケーリング極限は、Painlevé V 系を Painlevé III' 系にどのように変換するか？
• RQ4 パラメータ $ a $ の異なる値に対して、間隔分布の統計的性質（モーメント、歪度、尖度過剰）は何か？
• RQ5 $ a = \pm 1/2 $ の場合を用いて、ハール測度下での実直交行列の最初の固有値間隔分布を計算可能か？

主な発見

• LUE における最初の固有値間隔分布は、Painlevé V に関連する線形等モノドロミー系の多項式解によって特徴づけられる。
• ハードエッジスケーリング極限において、分布は Painlevé III' 系およびその関連線形等モノドロミー系に従う。
• $ a = -1/2 $ の場合、平均間隔は約 15.63、標準偏差 9.32、歪度 1.14、尖度過剰 1.86 である。
• $ a = 1/2 $ の場合、平均間隔は約 25.13、標準偏差 13.00、歪度 0.93、尖度過剰 1.19 である。
• 計算された正規化誤差は $ 1.6 \times 10^{-18} $ 未満であり、高い数値的精度が確認された。
• $ a = \pm 1/2 $ の場合、ハール測度下での実直交行列の最初の固有値間隔分布を正確に計算可能である。