[論文レビュー] Global Fluctuations for Linear Statistics of \beta-Jacobi Ensembles

Ioana Dumitriu, Elliot Paquette|arXiv (Cornell University)|Mar 27, 2012

Random Matrices and Applications参考文献 32被引用数 6

ひとこと要約

本稿は、行列サイズ n→∞ のとき、一般の β-Jacobi 確率行列の固有値に関する線形統計量の中心極限定理を確立する。固有値 λi に対する ∑f(λi) の平均まわりの揺らぎが、テスト関数 f や ensemble のパラメータに依存する明示的な漸近分散を持つガウス過程に収束することを示し、その共分散はシフトされたチェビシェフ多項式基底によって対角化される。

ABSTRACT

We study the global fluctuations for linear statistics of the form $\\sum_{i=1}^n f(\\lambda_i)$ as $n \ ightarrow \\infty$, for $C^1$ functions $f$, and $\\lambda_1, ..., \\lambda_n$ being the eigenvalues of a (general) $\\beta$-Jacobi ensemble, for which tridiagonal models were given by Killip and Nenciu as well as Edelman and Sutton. The fluctuation from the mean ($\\sum_{i=1}^n f(\\lambda_i) - \\Exp \\sum_{i=1}^n f(\\lambda_i)$) is given asymptotically by a Gaussian process. We compute the covariance matrix for the process and show that it is diagonalized by a shifted Chebyshev polynomial basis; in addition, we analyze the deviation from the predicted mean for polynomial test functions, and we obtain a law of large numbers.

研究の動機と目的

• n→∞ のとき、β-Jacobi 確率行列の固有値に関する線形統計量のグローバル中心極限定理を確立すること。
• ∑f(λi) の期待値まわりの極限揺らぎがガウス過程として特徴付けられることを示すこと。
• 極限ガウス過程の共分散構造を計算し、それがシフトされたチェビシェフ多項式基底によって対角化されることを示すこと。
• 多項式テスト関数に対する平均からの逸脱を分析し、それに応じた大数の法則を導出すること。

提案手法

• 著者らは、Edelman-Sutton の三重対角行列モデルを用いて、β-Jacobi 確率行列の固有値の線形統計量 ∑f(λi) のグローバルな揺らぎを分析する。
• 固有値分布の対数密度のテイラー展開を用いて高階モーメントを制御し、漸近的分散の表現を導出する。
• 正規化された揺らぎ変数の原モーメントを抑え込むために、ガンマ関数のスターリングの近似を用いる。
• n>max{1/p,1/q} のとき密度関数が対数凸性を示すことを利用し、Poincaré 不等式を適用して高階モーメントを低階モーメントで制御する。
• 線形統計量の2次コマントの漸近的挙動を分析することで、極限ガウス過程の共分散構造を導出する。
• 主な技術的ステップは、対数密度のテイラー展開の定数項とRadon-Nikodym導関数の定数項が O(n⁻¹) 時間まで打ち消しあうことを示すことである。

実験結果

リサーチクエスチョン

• RQ1 n→∞ のとき、C¹ 級テスト関数 f に対して、β-Jacobi 確率行列における ∑f(λi)−𝔼[∑f(λi)] の極限分布は何か？
• RQ2 極限ガウス過程の共分散構造は、直交多項式基底とどのように関係しているか？
• RQ3 揺らぎが、シフトされたチェビシェフ多項式基底によって対角化されるガウス過程として記述可能か？
• RQ4 揺らぎのガウス極限への収束速度は何か？また、高階モーメントは漸近的にどのように振る舞うか？
• RQ5 結果は多項式テスト関数にどのように拡張可能か？対応する大数の法則は何か？

主な発見

• 線形統計量 ∑f(λi) の平均まわりの揺らぎは、n→∞ のとき分布収束して中心化されたガウス過程に収束する。
• 極限ガウス過程の共分散は、シフトされたチェビシェフ多項式基底によって対角化され、揺らぎ過程にスペクトル的構造が存在することを示唆する。
• 多項式テスト関数に対しては、大数の法則が確立され、正規化された線形統計量が決定的極限に収束することが示される。
• 揺らぎの漸近的分散は明示的に計算されており、テスト関数 f および β-Jacobi 確率行列のパラメータ p,q,β に依存する。
• 正規化された揺らぎ変数の1次および3次絶対モーメントは O(n⁻¹/²) で有界であり、エッジワース型展開における高階項の制御が可能になる。
• 対数密度のテイラー展開の定数項とRadon-Nikodym導関数の定数項が O(n⁻¹) 時間まで打ち消しあうことが確認され、必要な次数でのガウス近似の有効性が裏付けられる。