[論文レビュー] Tracy-Widom limit for the largest eigenvalue of a large class of complex Wishart matrices

Noureddine El Karoui|arXiv (Cornell University)|Jan 1, 2005

Random Matrices and Applications被引用数 12

ひとこと要約

本稿は、母集団共分散行列 Σ_p および次元 n, p に対して一般な条件下で、広範なクラスの複素 Wishart 行列の最大固有値に対する Tracy-Widom 限界を確立する。n→∞ のとき、正規化された最大固有値は、Σ_p の固有値分布から導かれるパラメータ c に非自明に依存する明示的な位置パラメータ μ とスケールパラメータ σ を持つ TW₂ 分布に収束する。

ABSTRACT

We study the limiting behavior of the largest eigenvalue of a large class of complex Wishart matrices. In other words, let X be an n*p matrix, and let its rows be i.i.d complex normal N_{C}(0,Sigma_p). We denote by H_p the spectral distribution of Sigma_p, and call lambda_i's its ordered eigenvalues. Let us call l_i's the ordered eigenvalues of X^*X and c the unique root in [0,1/lambda_1(Sigma_p)) of the equation \int ((lambda c)/(1-\lambda c))^2 dH_p(lambda) = n/p. The main result of this paper is that, under technical conditions on (Sigma_p,n,p), we have, when n->\infty, (l_1(X^*X)-n mu)/(n^{1/3} sigma) -> TW_2 . We give explicit formulas for mu and sigma, that depend non trivially on c. Here TW_2 denotes the Tracy-Widom law appearing in the study of the Gaussian Unitary Ensemble. This theorem applies to a number of covariance models found in applications, including well-behaved Toeplitz matrices and covariance matrices whose spectral distribution is a sum of atoms (under some conditions on the mass of the atoms). Generalizations of the theorem to certain spiked versions of models in G and a.s statements about l_1/n are given. Most known examples of convergence of the largest eigenvalue of a complex sample covariance matrix to this Tracy-Widom law are subcases of this result.

研究の動機と目的

• 既知の特殊ケースを超えた広範なクラスの複素 Wishart 行列の最大固有値の極限分布を確立すること。
• Tracy-Widom 法則 TW₂ が成立するための母集団共分散行列 Σ_p および次元 n, p に対する一般な条件を同定すること。
• 極限分布 TW₂ の位置パラメータ μ とスケールパラメータ σ の明示的かつ非自明な公式を、Σ_p の固有値分布に基づいて提示すること。
• スパiked モデルへの拡張および l₁/n のほとんど確実収束を示し、実世界の共分散構造への応用範囲を拡大すること。

提案手法

• H_p を Σ_p の固有値分布とする。c を積分方程式 ∫((λc)/(1−λc))² dH_p(λ) = n/p の [0, 1/λ₁(Σ_p)) 内の唯一の解として定義する。
• n→∞ のとき、TW₂ 分布への収束を達成するため、最大固有値 l₁(X*X) を (l₁ − nμ)/(n^{1/3}σ) で正規化する。
• μ と σ の明示的表現を導出し、それらが c に非自明に依存することを示し、母集団共分散構造の影響を反映させる。
• 特にガウスユニタリアンサンブル (GUE) に関連する技法を用いて、漸近的フラクチュエーション行動を確立する。
• 少数の固有値が他のものと著しく大きい「スパiked モデル」への一般化を実施する。
• 適切な条件下で、l₁/n が決定的極限にほとんど確実に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 母集団共分散行列 Σ_p および次元 n, p に対して、どのような一般的条件下で、複素 Wishart 行列の最大固有値が Tracy-Widom 分布 TW₂ に収束するか？
• RQ2 極限分布 TW₂ の位置 μ とスケール σ は、Σ_p の固有値分布 H_p にどのように依存するか？
• RQ3 少数の固有値が他のものと著しく大きい「スパiked 共分散モデル」に対しても、Tracy-Widom 限界を拡張できるか？
• RQ4 l₁/n のほとんど確実な極限は何か？ また、Σ_p の固有値的性質とどのように関係するか？
• RQ5 既知の複素標本共分散行列における TW₂ への収束例は、この一般枠組みの中で特殊ケースとしてどのように包含されるか？

主な発見

• 提示された技術的条件のもとで、n→∞ のとき、正規化された最大固有値 (l₁ − nμ)/(n^{1/3}σ) は分布収束して Tracy-Widom 法則 TW₂ に収束する。
• μ と σ の明示的公式が導出され、両者ともに、Σ_p の固有値分布 H_p から定まるパラメータ c に非自明に依存する。
• 適切な制約を満たす原子的固有値分布を持つ Toeplitz 行列や共分散行列に対しても、この結果が適用可能である。
• この定理は、複素標本共分散行列における TW₂ への収束のほとんどすべての既知の例を特殊ケースとして包含する。
• スパiked モデルへの一般化が提供され、適切な固有値分離条件のもとで、Tracy-Widom 限界が依然として成立することが示された。
• l₁/n が決定的極限にほとんど確実に収束することを確立し、フラクチュエーションスケーリングを超えたほとんど確実な挙動を拡張した。