[論文レビュー] Generalized Gaussian Random Unitary Matrices Ensemble

Mohamed Bouali|arXiv (Cornell University)|Aug 30, 2014

Random Matrices and Applications参考文献 2被引用数 5

ひとこと要約

本稿は、パラメータ μ を持つ一般化されたガウス型ユニタリ行列アンサンブルを導入し、古典的 Wigner の半円則を拡張する。ラプラス変換と一般化されたエルミート多項式を用いて、固有値分布が √n でスケーリングされた後、対称な区間の合併に台を持つ新しい確率測度に弱収束することを証明する。これは μ = 0 のとき、Wigner の半円分布に簡約される。

ABSTRACT

We describe Generalized Hermitian matrices ensemble sometimes called Chiral ensemble. We give global asymptotic of the density of eigenvalues or the statistical density. We will calculate a Laplace transform of such a density for finite $n$, which will be expressed through an hypergeometric function. When the dimensional of the hermitian matrix begin large enough, we will prove that the statistical density of eigenvalues converge in the tight topology to some probability measure, which generalize the Wigner semi-circle law.

研究の動機と目的

• 重み関数にパラメータ μ を導入することで、確率的エルミート行列に対する Wigner の半円則を一般化すること。
• ラプラス変換と超幾何関数を用いて、有限 n における漸近的固有値密度を導出すること。
• n → ∞ の際にスケーリングされた固有値分布が、極限確率測度に弱収束することを確立すること。
• 極値固有値が極限測度の台の端点にほとんど確実に収束することを分析すること。
• 非自明な重み |det(x)|^{2μ} を持つチャーラル（または一般化されたエルミート型）アンサンブルに、古典的結果を拡張すること。

提案手法

• n×n エルミート行列上の確率測度 P_{n,μ} を、|det(x)|^{2μ} e^{-tr(x²)} に比例する密度関数で定義する。
• Weyl の積分公式を用いて、同時固有値密度を q_n^μ(λ) = (1/C_n) e^{-∑λ_i²} ∏|λ_i|^{2μ} Δ(λ)^2 として表現する。
• 一般化されたエルミート多項式を用いて、トレース関数 E_n[Tr(A² exp(sA²)]) のラプラス変換を計算する。
• 対数ソボレフ不等式を適用して尾確率を制御し、極値固有値のほとんど確実な収束を確立する。
• 固有値を 1/√n でスケーリングし、経験的測度 ν_n が極限測度 ν_c に弱収束することを証明する。密度は f_c(t) = (1/π|t|)√((t²−a²)(b²−t²)) である。
• Borel-Cantelli の補題と指数モーメントの境界を用いて、スケーリングされた最大固有値の上極限が b に収束することを示す。ここで b = √(1 + c + √(1 + 2c)) である。

実験結果

リサーチクエスチョン

• RQ1 n → ∞ の際に、一般化されたガウス型ユニタリ行列アンサンブルの固有値分布はどのように漸近的に振る舞うか？
• RQ2 重みパラメータ μ が c·n に比例するとき、極限スペクトル測度は何か？ これは Wigner の半円則をどのように一般化するか？
• RQ3 この一般化アンサンブル下で、最大および最小固有値の正確な漸近的挙動は何か？
• RQ4 固有値分布のラプラス変換は特殊関数の形で表現可能か？ これは極限法則にどのような意味を持つのか？
• RQ5 対数ソボレフ不等式は、極値固有値が台の端点にほとんど確実に収束することを証明するためにどのように役立つか？

主な発見

• 極限固有値分布 ν_c は、密度 f_c(t) = (1/π|t|)√((t²−a²)(b²−t²)) を持ち、[−b,−a] ∪ [a,b] に台を持つ。ここで a = √(1 + c − √(1 + 2c)) かつ b = √(1 + c + √(1 + 2c)) である。
• c = 0（すなわち μ = 0）のとき、極限法則は古典的 Wigner の半円則に簡約され、台 [−√2, √2] を持つ。
• スケーリングされた固有値測度の2番目のモーメントは m₂ = 1 + c に収束し、漸近的分散のスケーリングと整合的である。
• スケーリングされた行列 X_n / √n の最大固有値は、n → ∞ の際にほとんど確実に b = √(1 + c + √(1 + 2c)) に収束する。
• x → −x の下での対称性により、最小固有値はほとんど確実に −b に収束する。
• 経験的スペクトル測度の収束は、tight（弱）位相で成立し、極限測度 ν_c はその台上でLebesgue測度に関して絶対連続である。