[論文レビュー] Beta Laguerre ensembles in global regime

Hoang Dung Trinh, Khanh Duy Trinh|Osaka City University (Osaka City University)|Jul 29, 2019

Random Matrices and Applications参考文献 15被引用数 4

ひとこと要約

本稿は、逆温度パラメータβが行列サイズNに従って変化する場合のβラゲルルーエンサブルのグローバルな極限挙動を調査する。βN → ∞ であるならば、経験的固有値分布は弱収束してマルチャンコ–パストル分布に収束し、βN → 2c ∈ (0, ∞) であるならば、関連ラゲルルーエンポリノミアルと関連する新たな極限測度に収束する。また、極限周りのガウス的フラクチュエーションについても導出され、古典的な結果が変動するβの設定に拡張される。

ABSTRACT

Beta Laguerre ensembles which are generalizations of Wishart ensembles and Laguerre ensembles can be realized as eigenvalues of certain random tridiagonal matrices. Analogous to the Wishart ($β=1$) case and the Laguerre ($β= 2$) case, for fixed $β$, it is known that the empirical distribution of the eigenvalues of these ensembles converges weakly to Marchenko--Pastur distributions, almost surely. The paper restudies the limiting behavior of the empirical distribution but in regimes where the parameter $β$ is allowed to vary as a function of the matrix size $N$. We show that the above Marchenko--Pastur law holds as long as $βN o \infty$. When $βN o 2c \in (0, \infty)$, the limit is related to associated Laguerre orthogonal polynomials. Gaussian fluctuations around the limit are also studied.

研究の動機と目的

• 固定βに限らない範囲にまで、βラゲルルーエンサブルのグローバル極限定理を拡張すること。
• βN → 2c ∈ (0, ∞) のときの極限スペクトル測度を特定すること。これはマルチャンコ–パストル分布の一般化である。
• 変動するβの下での固有値の線形統計量に対する中心極限定理を確立すること。
• β-ラゲルルーエンサブルに対して、Poincaré型不等式を導出し、主要な技術的道具とすること。

提案手法

• β-ラゲルルーエンサブルの確率的三重対角行列モデルを用いて、固有値分布を分析する。
• モーメント収束技術を適用して、経験的測度の弱収束を証明する。
• β-ラゲルルーエンサブルのPoincaré不等式を用いて、分散を制御し、C¹のテスト関数へのCLTの拡張を実現する。
• M. リエスの定理（モーメントの決定性）を用いて、多項式による近似を正当化する。
• 近似関数とその原始関数を用いた二重極限の議論により、多項式から一般のC¹関数（多項式成長を有する）へのCLTの拡張を実現する。
• テスト関数の差分商を含む積分公式を用いて、フラクチュエーションの極限分散を導出する。

実験結果

リサーチクエスチョン

• RQ1 βN → ∞ のとき、β-ラゲルルーエンサブルの極限スペクトル測度は何か？ そして、これはマルチャンコ–パストル分布に収束するか？
• RQ2 βN → 2c ∈ (0, ∞) のとき、極限測度はどのように変化するか？ また、関連ラゲルルーエン正規直交多項式とはどのような関係にあるか？
• RQ3 βがNに従って変化するとき、固有値の線形統計量の漸近的分布は何か？ そして、テスト関数fにどのように依存するか？
• RQ4 変動するβの下で、C¹関数（多項式成長を有する）に対する線形統計量の中心極限定理を拡張できるか？
• RQ5 β-ラゲルルーエンサブルにおける線形固有値統計量の分散を支配するPoincaré型不等式は何か？

主な発見

• βN → ∞ のとき、経験的固有値分布L_N は、概収率でパラメータγのマルチャンコ–パストル分布に弱収束する。
• βN → 2c ∈ (0, ∞) のとき、極限測度ν_{γ,c} は関連ラゲルルーエン正規直交多項式を用いて特徴付けられ、マルチャンコ–パストル分布とは異なる。
• 多項式成長を有するC¹テスト関数fに対して、正規化された線形統計量√β(∑f(λ_i) − E[∑f(λ_i)]) は、明示的な積分公式で与えられる分散σ_f² の正規分布に分布収束する。
• 極限分散σ_f² は、fの差分商と、半円法に関連する重み関数を含む二重積分として表現される。
• Poincaré不等式が確立された：Var[⟨L_N, f⟩] ≤ (4/(βMN)) E[⟨L_N, x f'(x)²⟩]。この不等式により、非多項式テスト関数へのCLTの拡張が可能になる。
• モーメントの収束およびL²((1+x²)dν_{γ,c}(x))における多項式の稠密性を用いて、CLTの証明における一般のC¹関数の多項式近似を正当化する。