[論文レビュー] Eigenvectors of Sample Covariance Matrices: Universality of global fluctuations

Ali Bouferroum|arXiv (Cornell University)|Jun 18, 2013

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

ひとこと要約

本稿では、一般のモーメント条件の下で、標本共分散行列の固有ベクトルの全般的なフラクチュエーションの普遍性を確立する。具体的には、固有ベクトル成分の二乗から構成される2変量確率過程が、分布収束の意味でブラウン運動ブリッジに収束することを証明する。この結果は、大規模な標本共分散行列の固有ベクトルが、ユニタリ群または直交群上で漸近的にハール分布に従うという予想を支持する。

ABSTRACT

In this paper, we prove a universality result of convergence for a bivariate random process defined by the eigenvectors of a sample covariance matrix. Let $V_n=(v_{ij})_{i \leq n,\, j\leq m}$ be a $n imes m$ random matrix, where $(n/m) o y > 0$ as $ n o \infty$, and let $X_n=(1/m) V_n V^{*}_n $ be the sample covariance matrix associated to $V_n \:$. Consider the spectral decomposition of $X_n$ given by $ U_n D_n U_n^{*}$, where $U_n=(u_{ij})_{n imes n}$ is an eigenmatrix of $X_n$. We prove, under some moments conditions, that the bivariate random process $ >_{(s,t)\in[0,1]^2} $ converges in distribution to a bivariate Brownian bridge. This type of result has been already proved for Wishart matrices (LOE/LUE) and Wigner matrices. This supports the intuition that the eigenmatrix of a sample covariance matrix is in a way "asymptotically Haar distributed". Our analysis follows closely the one of Benaych-Georges for Wigner matrices, itself inspired by Silverstein works on the eigenvectors of sample covariance matrices.

研究の動機と目的

• 標本共分散行列における固有ベクトルのグローバルフラクチュエーションに関する普遍性結果を確立すること。
• 標本共分散行列の固有行列がユニタリ群または直交群上で漸近的にハール分布に従うという直感を形式化すること。
• Wigner行列やWishart行列に関する先行結果を、i.i.d. 成分を持つ一般の標本共分散行列へと拡張すること。
• 固有ベクトル成分の二乗からなる2変量過程の極限挙動を分析すること。

提案手法

• 固有ベクトル成分の二乗 $ |u_{ij}|^2 $ からなる、ブロックごとの和に基づいて2変量確率過程 $ B_{s,t}^n $ を定義する。
• 行列 $ X_n = (1/m)V_n V_n^* $ のスペクトル分解 $ X_n = U_n D_n U_n^* $ を用いて、標本共分散行列から固有ベクトルを抽出する。
• モーメント法を適用し、ハール分布に従う場合と比較し、12次のモーメントまで一致する条件を活用する。
• 固有ベクトル成分の $ L^4 $ および $ L^2 $ 範囲の境界を用いて、極限分布のtightnessと一意性を証明する。
• ハール分布に従う行列では、$ B_{s,t}^n $ が既知の共分散構造を持つ2変量ブラウン運動ブリッジに弱収束することを用いる。
• ジャンプの均一な制御とモーメント境界を用いて、$ B_{s,t}^n $ の分布収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 標本共分散行列の固有ベクトル構造は、成分の分布に依存せずに普遍的なフラクチュエーション挙動を示すか？
• RQ2 固有ベクトル成分のグローバルフラクチュエーションは、行列成分の分布に依存しない普遍的な極限過程で記述可能か？
• RQ3 標本共分散行列の固有行列は、ユニタリ群または直交群上で漸近的にハール分布に従うか？
• RQ4 成分のモーメントにどのような条件を課すと、ブラウン運動ブリッジへの分布収束が保証されるか？
• RQ5 最小限のモーメント仮定のもとで、2変量過程 $ B_{s,t}^n $ の収束をどのように確立できるか？

主な発見

• 2変量過程 $ B_{s,t}^n = \sqrt{\frac{\beta}{2}} \sum_{i \leq \lfloor ns \rfloor, j \leq \lfloor nt \rfloor} (|u_{ij}|^2 - 1/n) $ は、$ n \to \infty $ のとき分布収束して、2変量ブラウン運動ブリッジに収束する。
• 極限過程の共分散は $ \mathbb{E}[B_{s,t} B_{s',t'}] = (\min\{s,s'\} - ss')(\min\{t,t'\} - tt') $ であり、標準的ブラウン運動ブリッジに特徴づけられる。
• 12次のモーメントまで一致する条件が満たされれば収束が成立し、4次までの条件へも緩和可能である可能性を示唆する。
• $ B^n $ の分布の系列は $ C $-tight である。これは、連続関数空間 $[0,1]^2$ 上で、tight かつ一意な蓄積点を持つことを意味する。
• $ n|u_{ij}|^2 - 1 $ の $ L^4 $-有界性と、ブロック和の $ L^2 $-有界性により、フラクチュエーションの均一な制御が可能である。
• この結果は、標本共分散行列の固有行列が漸近的にハール分布に従うという予想を支持する。Wigner行列やWishart行列に関する既知の結果を拡張する。