[論文レビュー] The empirical eigenvalue distribution of a Gram matrix: From independence to stationarity

Walid Hachem, Loubaton, P.+1 more|ArXiv.org|Feb 25, 2005

Random Matrices and Applications参考文献 13被引用数 19

ひとこと要約

本稿では、ステーションナリィ・ガウス過程からのグラム行列の極限的経験固有値分布を、独立で同一分布でない要素を持つ行列へのユニタリ同倣による近似という新しい手法を用いて確立している。主な結果は、フィルタ $ h \in \ell^1(\mathbb{Z}^2) $ および行列のアスペクトレシオ $ N/n \to c \in (0,\infty) $ に対して一般な条件下で、$ Z_nZ_n^* $ および $ (Z_n + A_n)(Z_n + A_n)^* $ のスペクトル分布が、スタイリーテス変換によって特徴づけられる決定論的極限にほとんど確実に収束することである。

ABSTRACT

Consider a $N imes n$ random matrix $Z_n=(Z^n_{j_1 j_2})$ where the individual entries are a realization of a properly rescaled stationary gaussian random field. The purpose of this article is to study the limiting empirical distribution of the eigenvalues of Gram random matrices such as $Z_n Z_n ^*$ and $(Z_n +A_n)(Z_n +A_n)^*$ where $A_n$ is a deterministic matrix with appropriate assumptions in the case where $n o \infty$ and $\frac Nn o c \in (0,\infty)$. The proof relies on related results for matrices with independent but not identically distributed entries and substantially differs from related works in the literature (Boutet de Monvel et al., Girko, etc.).

研究の動機と目的

• 特に非中心化の場合を含め、ステーションナリィ・ガウス過程から構築されたグラム行列の極限的スペクトル分布を導出する一般的手法の欠如に取り組む。
• 従来の i.i.d. 要素の結果を、ステーションナリィ過程に由来する構造的で相関のある要素へと拡張するための、新規な近似技術を導入する。
• フィルタ $ h $ および行列のアスペクトレシオに関する一般な条件下で、$ Z_nZ_n^* $ および $ (Z_n + A_n)(Z_n + A_n)^* $ の経験的固有値分布の収束を確立する。
• 直接リゾルベント解析を避ける新しい証明フレームワークを提供し、Boutet de Monvel らおよび Girko の先行研究とは異なる。
• MIMOチャネル容量や信号対インターフェレンス比をモデル化する無線通信分野への応用における、厳密な理論的基盤を提供する。

提案手法

• 元の行列 $ Z_n $ の周期化版 $ \tilde{Z}_n $ を導入し、インデックスを $ N $ および $ n $ を法としてとることで、巡回型の構造を生成する。
• フーリエ変換によるユニタリ変換を用い、$ \tilde{Z}_n $ を独立ではあるが同一分布でない要素を持つ行列に変換し、ランダム行列理論における既存の結果の適用を可能にする。
• Bai (2003) によるトレース不等式を用いて、$ Z_n $ と $ \tilde{Z}_n $ のスペクトル分布間の Lévy 距離を評価し、両者が同じ極限的スペクトル分布を持つことを示す。
• 極限的スペクトル分布は、フィルタ $ h $ に関連する分散プロファイル $ \Phi $ およびフィルタのフーリエ変換のスペクトル測度を用いてスタイリーテス変換によって特徴づけられる。
• 主な技術的道具は、構造を対角化するためのフーリエユニタリ変換の使用であり、また、経験的測度の収束を制御するための $ 2\epsilon $-引数の応用である。
• 実数の場合への拡張は、複素フーリエ行列を実正規直交行列 $ Q_p $ に置き換えることで処理され、変換領域における独立性構造が保たれる。

実験結果

リサーチクエスチョン

• RQ1 フィルタ $ h \in \ell^1(\mathbb{Z}^2) $ によってフィルタリングされたステーションナリィ・ガウス過程に由来する $ N \times n $ 行列 $ Z_n $ に対して、$ Z_nZ_n^* $ の極限的経験固有値分布は何か？
• RQ2 行列 $ A_n $ が確定的で、特に Toeplitz の形をとるとき、$ (Z_n + A_n)(Z_n + A_n)^* $ のスペクトル分布は漸近的にどのように振る舞うか？
• RQ3 直接リゾルベント解析や強い i.i.d. 仮定に依存せずに、ステーションナリィ・ガウス過程に基づくグラム行列のスペクトル分布を導出可能か？
• RQ4 周期化とユニタリ変換が、相関のある要素と独立要素のランダム行列理論の間のギャップをどのように埋めるか？
• RQ5 この手法は実数値のガウス過程へと拡張可能か？また、その場合のスペクトル極限は複素数の場合とどのように異なるか？

主な発見

• $ Z_nZ_n^* $ の経験的固有値分布は、フィルタ $ h $ に関連するスペクトル測度のスタイリーテス変換によって特徴づけられる非ランダム極限にほとんど確実に収束する。
• $ A_n $ が確定的で適切な構造的仮定を満たすとき、$ (Z_n + A_n)(Z_n + A_n)^* $ の極限的スペクトル分布は存在し、修正されたスタイリーテス方程式によって特徴づけられる。
• 収束は、$ Z_n $ を独立で同一分布でない要素を持つ行列に変換するユニタリ同倣を介して確立され、これにより [8] の先行結果が適用可能になる。
• $ n \to \infty $ のとき、$ Z_n $ とその周期化版 $ \tilde{Z}_n $ のスペクトル分布間の Lévy 距離は消えるため、両者は同じ極限的挙動を示す。
• 複素数の場合、極限的スペクトル測度は $ |\Phi(u,v)|^2 $ によって決定され、極限は式 (4.4) および (4.5) で特徴づけられる。
• 実数の場合、極限的分布は $ \Phi_R^2(u,v) = |\Phi(u/2,v/2)|^2 $ によって支配され、対応するスタイリーテス方程式はそれに応じて修正され、収束速度および構造は同一である。