[論文レビュー] Extreme Eigenvalues of Large Dimensional Quaternion Sample Covariance Matrix

Huiqin Li, Zhidong Bai|arXiv (Cornell University)|Dec 17, 2013

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

ひとこと要約

本稿は、大規模な次元のハミルトン数の標本共分散行列の極値固有値のほとんど確実な極限を確立する。i.i.d.なハミルトン数の成分、平均0、分散1、有限な4次モーメントを仮定したとき、最大固有値はほとんど確実に$(1 + \tilde{y})^2$に収束し、最小固有値は$(1 - \tilde{y})^2$に収束する。ここで$\tilde{y} = \tilde{p}/n$であり、古典的なMarčenko-Pastur法則がハミルトン数の設定に拡張され、鋭いモーメント条件が得られる。

ABSTRACT

In this paper, we shall investigate the almost sure limits of the largest and smallest eigenvalues of a quaternion sample covariance matrix. Suppose that $\mathbf X_n$ is a $p imes n$ matrix whose elements are independent quaternion variables with mean zero, variance 1 and uniformly bounded fourth moments. Denote $\mathbf S_n=\frac{1}{n}\mathbf X_n\mathbf X_n^*$. In this paper, we shall show that $s_{\max}\left(\mathbf S_n ight)=s_{p}\left(\mathbf S_n ight) o\left(1+\sqrt y ight)^2, a.s.$ and $s_{\min}\left(\mathbf S_n ight) o\left(1-\sqrt y ight)^2,a.s.$ as $n o\infty$, where $y=\lim p/n$, $s_1\left(\mathbf S_n ight)\le\cdots\le s_{p}\left(\mathbf S_n ight)$ are the eigenvalues of $\mathbf{S}_n$, $s_{\min}\left(\mathbf S_n ight)=s_{p-n+1}\left(\mathbf S_n ight)$ when $p>n$ and $s_{\min}\left(\mathbf S_n ight)=s_1\left(\mathbf S_n ight)$ when $p\le n$. We also prove that the set of conditions are necessary for $s_{\max}\left(\mathbf S_n ight) o\left(1+\sqrt y ight)^2, a.s.$ when the entries of $\mathbf {X}_n$ are i. i. d.

研究の動機と目的

• 大規模な次元のハミルトン数の標本共分散行列の最大および最小固有値のほとんど確実な極限を特定すること。
• 極値固有値のほとんど確実な収束に必要なおよび十分なモーメント条件を確立すること。
• 従来、実数および複素数の場合に知られていた古典的な確率的行列理論の結果を、ハミルトン数代数の設定に拡張すること。
• ハミルトン数の場合に、最大固有値のほとんど確実な収束に、有限な4次モーメントが必要かつ十分であることを証明すること。
• ハミルトン数の成分がi.i.d.ではないが、平均0、有限分散、一様に有界な4次モーメントを満たす条件のもとでの極限スペクトル挙動を分析すること。

提案手法

• ハミルトン数の標本共分散行列を$\mathbf{S}_n = \frac{1}{n}\mathbf{X}_n\mathbf{X}_n^*$と定義する。ここで$\mathbf{X}_n$は、平均0、分散1、一様に有界な4次モーメントをもつi.i.d.なハミルトン数の成分を持つ。
• スぺクトルノルムと特異値分解を用いて、$\mathbf{S}_n$とその期待値$\sigma^2(1 + y)\mathbf{I}_p^Q$との乖離を分析する。
• 行列摂動論を適用して、ハミルトン数の成分の正規化された2次形式の最大値を用いて$\|\mathbf{S}_n - \sigma^2(1 + y)\mathbf{I}_p^Q\|_2$を評価する。
• 補題7.1（i.i.d.な確率変数の二重配列に対する強大数法則）を活用し、ハミルトン数ノルムの平方和の正規化された和の収束を制御する。
• 最小-最大原理と固有値の交互性を用いて、期待値行列との比較を通じて、極値固有値のほとんど確実な境界を導出する。
• 矛盾による必要性の証明：$\mathbb{E}\|z_{11}\|^4 = \infty$ならば、最大固有値はほとんど確実に発散する。

実験結果

リサーチクエスチョン

• RQ1 大規模な次元のハミルトン数の標本共分散行列の最大および最小固有値のほとんど確実な極限は何か？
• RQ2 ハミルトン数の場合に、極値固有値のほとんど確実な収束に、有限な4次モーメントが必要か？
• RQ3 実数および複素数の場合と同様のモーメント条件のもとで、極値固有値に対するMarčenko-Pastur法則はハミルトン数の設定に拡張可能か？
• RQ4 サンプル数$n$と次元$p$が$y = \lim p/n$の下で共に増加するとき、極値固有値はどのように振る舞うか？
• RQ5 極値固有値がMarčenko-Pasturの境界にほとんど確実に収束するための、ハミルトン数の成分に必要なおよび十分な条件は何か？

主な発見

• $n \to \infty$の下で、最大固有値$s_p(\mathbf{S}_n)$はほとんど確実に$(1 + \sqrt{y})^2$に収束する。ここで$y = \lim p/n$である。
• 同じ漸近的設定のもとで、最小固有値$s_{\min}(\mathbf{S}_n)$はほとんど確実に$(1 - \sqrt{y})^2$に収束する。
• 最大固有値のほとんど確実な収束に、有限な4次モーメント$\mathbb{E}\|z_{11}\|^4 < \infty$が必要かつ十分である。
• ハミルトン数の成分の平均が0でない（$\mathbb{E}[z_{11}] \neq 0$）と、スペクトルノルムはほとんど確実に発散し、収束は成立しない。
• 収束結果は、ハミルトン数の成分が平均0、単位分散、一様に有界な4次モーメントを満たすと仮定した下で成り立つ。
• 証明により、ハミルトン数の標本共分散行列の極限スペクトル分布は、Marčenko-Pastur法則に従い、極値固有値はほとんど確実な極限$(1 \pm \sqrt{y})^2$に収束することが示された。