[論文レビュー] Painlevé transcendent evaluation of the scaled distribution of the smallest eigenvalue in the Laguerre orthogonal and symplectic ensembles

Peter J. Forrester|ArXiv.org|May 30, 2000

Random Matrices and Applications参考文献 14被引用数 23

ひとこと要約

本稿では、Painlevé V超越関数を用いて、Laguerre正規直交および正規シンプレクティック系における最小固有値のスケーリング分布を評価し、以前はLaguerreユニタリ系に対して知られていた結果を拡張している。主な貢献は、最小固有値の累積分布関数がPainlevé V超越方程式を用いて正確に表現可能であることを示したことである。この表現は、ソフトエッジ極限および確率的行列理論における既知の結果と漸近的に整合しており、妥当性が裏付けられている。

ABSTRACT

The scaled distribution of the smallest eigenvalue in the Laguerre orthogonal and symplectic ensembles is evaluated in terms of a Painlevé V transcendent. This same Painlevé V transcendent is known from the work of Tracy and Widom, where it has been shown to specify the scaled distribution of the smallest eigenvalue in the Laguerre unitary ensemble. The starting point for our calculation is the scaled $k$-point distribution of every odd labelled eigenvalue in two superimposed Laguerre orthogonal ensembles.

研究の動機と目的

• Laguerre正規直交系（LOE）およびLaguerre正規シンプレクティック系（LSE）における最小固有値の正確なスケーリング分布を導出すること。これは、既にユニタリ系に対して知られていた結果を拡張することを目的とする。
• LOEおよびLSEのハードエッジスケーリング極限と、ガウス系のソフトエッジスケーリング極限との間の関係を確立すること。
• LOEおよびLSEにおける最小固有値の累積分布関数が、ユニタリ系を特徴付けるのと同じPainlevé V超越関数で表現可能であることを示すこと。
• 導出された式が、特に $ a \to \infty $ の極限においてハードエッジ分布がソフトエッジ分布に収束するという既知の極限挙動と整合していることを確認すること。

提案手法

• 分析は、2つの重ね合わせたLaguerre正規直交系における、すべての奇数番号の固有値のスケーリング $ k $-点分布から出発する。
• この手法は、LOEのハードエッジ極限におけるスケーリング $ k $-点分布関数の既知の正確な形に依存しており、その表現はベッセル関数を含む核行列のクォaternion行列式として与えられる。
• 最小固有値の分布は、核のフレドホルム行列式から導出され、その後、スペクトルパラメータの変換を通じてPainlevé V超越方程式と関連づけられる。
• Painlevé V方程式の解を用いて、$ \beta = 1 $（正規直交）および $ \beta = 4 $（正規シンプレクティック）の場合の累積分布関数 $ E_{\beta}^{\rm h}(0;(0,s);a) $ を表現する。ここでパラメータ $ a $ はLaguerre重みの次数を表す。
• 極限 $ a \to \infty $ における漸近的解析を実施し、ガウス系のソフトエッジ極限と整合していることを示し、導出された式の妥当性を確認する。
• TracyとWidomによるユニタリ系におけるPainlevé V超越関数の既知の結果を基に、関数的恒等式および行列式関係を用いて、正規直交および正規シンプレクティック系へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 Laguerre正規直交系における最小固有値のスケーリング分布は、ユニタリ系と同様にPainlevé V超越関数で表現可能であるか？
• RQ2 Laguerre正規シンプレクティック系における最小固有値の分布は、Painlevé V超越方程式とどのように関係しているか？
• RQ3 LOE/LSEのハードエッジスケーリングとガウス系のソフトエッジスケーリングの間には一貫した漸近的極限が存在するか？ そして、Painlevé V解を用いてそれが確認可能か？
• RQ4 正規直交、ユニタリ、正規シンプレクティックLaguerre系の最小固有値分布の間には、ハードエッジ極限においてどのような関数的関係が存在するか？
• RQ5 導出された $ E_{\beta}^{\rm h} $ の式は、$ a \to -1 $ や $ a \to \infty $ といった極限状態において、既知の結果に還元可能か？

主な発見

• Laguerre正規直交系（$ \beta = 1 $）における最小固有値の累積分布関数は、$ \Big{(}E_{1}^{\rm h}(0;(0,s);(a-1)/2)\Big{)}^{2} = E_{2}^{\rm h}(0;(0,s);a) \exp\Big{(}-\int_{0}^{s} \frac{((tR_{\rm h}(t))^{\prime})^{1/2}}{\sqrt{t}} dt\Big{)} $ で与えられ、ここで $ E_{2}^{\rm h} $ はユニタリ系の分布を表す。
• Laguerre正規シンプレクティック系（$ \beta = 4 $）では、$ \Big{(}E_{4}^{\rm h}(0;(0,s);a+1)\Big{)}^{2} = E_{2}^{\rm h}(0;(0,s);a) \cosh^{2}\Big{(}{1\over 2}\int_{0}^{s} \frac{((tR_{\rm h}(t))^{\prime})^{1/2}}{\sqrt{t}} dt\Big{)} $ となり、ユニタリ系に双曲余弦補正が加わっていることがわかる。
• $ a \to \infty $ の極限において、LOEおよびLSEのハードエッジ分布はガウス系のソフトエッジ分布に収束し、既知の漸近的結果と整合していることが確認された。
• ユニタリ系におけるPainlevé V超越関数の解は、$ \beta = 1 $ および $ \beta = 4 $ に対しても拡張可能であり、同じ超越関数が3つの古典的系における最小固有値分布を支配している。
• 導出された式は、$ E_{2}^{\rm h}(0;(0,s);a) = \exp\Big{(}-\int_{0}^{s} R_{\rm h}(t) dt\Big{)} $ という既知の結果と整合しており、ここで $ R_{\rm h}(t) $ はPainlevé III方程式を満たす。
• $ a \to -1^{-} $ における解の漸近的挙動は、既知の閉形式式 $ E_{2}^{\rm h}(0;(0,s);a) = e^{-s/8} \cosh(\sqrt{s}/2) $ と整合しており、極限状態の妥当性が検証された。