[論文レビュー] Eigenvalue variance bounds for covariance matrices

Sandrine Dallaporta|arXiv (Cornell University)|Sep 24, 2013

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

ひとこと要約

本稿は、ランダム共分散行列（Wishart行列）の個々の固有値について、スペクトルの内部および端における有限範囲の分散バウンドを確立する。Four Moment Theoremと局在化結果を用いて、経験的スペクトル分布とMarchenko-Pastur法則の間の期待二乗 Wasserstein 距離が $ C rac{ ext{log} hinspace n}{n^2} $ で有界であることを証明し、$ C $ はモーメント条件にのみ依存する。これにより、固有値のフラクチュエーションに対する非漸近的集中性が得られる。

ABSTRACT

This work is concerned with finite range bounds on the variance of individual eigenvalues of random covariance matrices, both in the bulk and at the edge of the spectrum. In a preceding paper, the author established analogous results for Wigner matrices and stated the results for covariance matrices. They are proved in the present paper. Relying on the LUE example, which needs to be investigated first, the main bounds are extended to complex covariance matrices by means of the Tao, Vu and Wang Four Moment Theorem and recent localization results by Pillai and Yin. The case of real covariance matrices is obtained from interlacing formulas.

研究の動機と目的

• ランダム共分散行列の個々の固有値について、スペクトルの内部および端における有限範囲の分散バウンドを確立すること。
• 従来のWigner行列に関する結果を共分散行列設定に拡張し、以前に述べられたが導出が行われなかった証明を完成させること。
• 圧縮センシング、無線通信、定量的ファイナンスなどの応用分野に有用な定量的かつ非漸近的バウンドを提供すること。
• Four Moment Theoremと局在化結果を活用し、有限モーメントを有するi.i.d.エントリに対して、Gaussian（LUE/LOE）ケースからのバウンドを転送すること。
• 古典的固有値位置 $ \gamma_j^{m,n} $ のまわりでの固有値のフラクチュエーションを定量化し、漸近的Marchenko-Pastur法則を超える集中性を示すこと。

提案手法

• Tao, Vu, および Wang のFour Moment Theoremを用いて、Gaussian（LUE/LOE）ケースからの結果を一般のi.i.d.エントリに拡張する固有値フラクチュエーションバウンドを導出する。
• PillaiとYinによる最近の局在化結果を適用し、経験的固有値とその古典的固有値位置 $ \gamma_j^{m,n} $ 間の距離を制御する。
• 経験的スペクトル分布 $ L_{m,n} $ とMarchenko-Pastur法則 $ \mu_{m,n} $ 間の乖離を測るためのWasserstein距離 $ W_2 $ を用い、その2乗モーメントをバウンドする。
• 固有値インデックス集合を内部、端、中間領域に分解し、それぞれの領域に異なるバウンドを適用する。
• Cauchy-Schwarz不等式と尾確率推定を用いて $ \mathbb{E}[(\lambda_j - \gamma_j^{m,n})^2] $ を制御し、極端な固有値に対しては定理11の指数的尾確率バウンドを用いる。
• 固有値の古典的位置間隔 $ \gamma_j^{m,n} - \gamma_{j-1}^{m,n} \leq c / (n^{2/3} \min(j, n+1-j)^{1/3}) $ を用いて、二乗偏差の和を制御する。

実験結果

リサーチクエスチョン

• RQ1 非Gaussianなランダム共分散行列の個々の固有値について、有限範囲の分散バウンドは何か？
• RQ2 一般のモーメント条件の下で、スペクトルの内部および端における固有値フラクチュエーションはどのように振る舞うか？
• RQ3 共分散行列設定において、固有値統計の普遍性はどの程度有限標本サイズにまで拡張可能か？
• RQ4 Four Moment Theoremは、有界な4次モーメントを有する一般のi.i.d.エントリに、Gaussianケースからのバウンドを効果的に転送するために使用可能か？
• RQ5 Wasserstein距離の観点から、経験的スペクトル分布がMarchenko-Pastur法則にどの程度の速度で収束するか？

主な発見

• 経験的スペクトル分布 $ L_{m,n} $ とMarchenko-Pastur法則 $ \mu_{m,n} $ 間の期待二乗 Wasserstein 距離は、$ \mathbb{E}[W_2^2(L_{m,n}, \mu_{m,n})] \leq C \frac{\text{log} hinspace n}{n^2} $ で有界であり、$ C > 0 $ は第二および第四モーメントのバウンド $ A_1 $ と $ A_2 $ のみに依存する。
• 内部領域の固有値について、$ \gamma_j^{m,n} $ のまわりの $ \lambda_j $ の分散は、$ \mathbb{E}[(\lambda_j - \gamma_j^{m,n})^2] \leq C \frac{\text{log} hinspace n}{n^2} $ で有界であり、$ j \in [\eta n, (1-\eta)n] $ に対して一様に成り立つ。
• 端領域の固有値について、$ \mathbb{E}[(\lambda_j - \gamma_j^{m,n})^2] \leq C \frac{\text{log} hinspace n}{n^{4/3}} $ が成り立ち、エッジの挙動に起因して収束速度が遅くなる。
• 古典的固有値位置の間隔は $ \gamma_j^{m,n} - \gamma_{j-1}^{m,n} \leq \frac{c}{n^{2/3} \min(j, n+1-j)^{1/3}} $ を満たし、これにより二乗偏差の和が制御される。
• エッジ付近の極端な固有値について、尾確率 $ \mathbb{P}(|\lambda_j - \gamma_j^{m,n}| \geq \frac{1}{\sqrt{n}}) \leq C e^{-(\text{log} hinspace n)^{c \text{log} hinspace\text{log} hinspace n}} $ は任意の多項式より速く減少し、強い集中性を保証する。
• 最終的なバウンド $ \mathbb{E}[W_2^2(L_{m,n}, \mu_{m,n})] \leq C \frac{\text{log} hinspace n}{n^2} $ は、インデックスの和を内部、中間、端領域に分解し、それぞれに異なるバウンドを適用することで確立される。