[論文レビュー] The norm of polynomials in large random and deterministic matrices

Camille Male|arXiv (Cornell University)|Apr 23, 2010

Random Matrices and Applications参考文献 11被引用数 7

ひとこと要約

本稿は、固有値が極限スペクトル分布の近傍に留まるよう保証される条件下で、大規模なランダムおよび決定論的行列における多項式の作用素ノルムのほとんど確実な収束を確立する。自由確率論および超積技術を用いて、GUE行列および特定の決定論的またはランダム行列に対して、行列の任意の多項式のノルムが、対応する自由確率的対象のノルムに収束することを証明し、スペクトルにオーバーオーラーが存在しないことを確認する。

ABSTRACT

Let X_N= (X_1^(N), ..., X_p^(N)) be a family of N-by-N independent, normalized random matrices from the Gaussian Unitary Ensemble. We state sufficient conditions on matrices Y_N =(Y_1^(N), ..., Y_q^(N)), possibly random but independent of X_N, for which the operator norm of P(X_N, Y_N, Y_N^*) converges almost surely for all polynomials P. Limits are described by operator norms of objects from free probability theory. Taking advantage of the choice of the matrices Y_N and of the polynomials P we get for a large class of matrices the "no eigenvalues outside a neighborhood of the limiting spectrum" phenomena. We give examples of diagonal matrices Y_N for which the convergence holds. Convergence of the operator norm is shown to hold for block matrices, even with rectangular Gaussian blocks, a situation including non-white Wishart matrices and some matrices encountered in MIMO systems.

研究の動機と目的

• 大規模なランダムおよび決定論的行列における多項式の作用素ノルムがほとんど確実に収束する十分条件を確立すること。
• i.i.d. WignerおよびWishart行列に限らない非同一分布および非ガウス型行列モデルへ、「極限スペクトルの外に固有値がない」という現象を拡張すること。
• 自由確率論を用いて、極限作用素ノルムを特徴付けること、特に自由生成作用素および超積の使用を通じて行う。
• MIMOシステムに関連する、長方形および非白色Wishart行列を含むブロック行列に対し、収束を示すこと。
• 従来の固有値局在およびノルム収束に関する結果を統一的かつ一般化すること。

提案手法

• 自由確率論における漸近的自由性の枠組みを用いて、行列多項式のスペクトル的挙動を非可換則に関連付ける。
• C*-代数の超積を用いて、GNS表現および状態を保存する同型写像を通じて作用素ノルムの極限を分析する。
• 行列族から自由である自由生成作用素を導入し、自由積に同型な極限C*-代数の構成を可能にする。
• 自由積の普遍性を応用して、行列における多項式のノルムが自由積代数におけるノルムに収束することを示す。
• 有限次元代数におけるモーメントおよび作用素ノルムの収束に依拠し、超積極限における収束を推論する。
• 作用素ノルムとL2ノルムが単位行列のスカラー倍で一致することを用いて、極限における生成作用素関係を検証する。

実験結果

リサーチクエスチョン

• RQ1 大規模なランダムおよび決定論的行列における多項式の作用素ノルムがほとんど確実に収束する条件は何か？
• RQ2 「極限スペクトルの外に固有値がない」という現象は、i.i.d. WignerおよびWishart行列を越えて拡張可能か？
• RQ3 自由確率論は、行列多項式の極限作用素ノルムをどのように記述できるか？
• RQ4 自由生成作用素は、行列ノルムの極限を特徴付ける際に果たす役割は何か？
• RQ5 ノルムの収束は、長方形行列や非白色Wishart行列を含むブロック構造行列に対しても成立するか？

主な発見

• 行列における任意の多項式の作用素ノルムは、ほとんど確実に自由積代数における対応する自由確率的対象のノルムに収束する。
• 行列多項式のスペクトルは、ほとんど確実に極限スペクトル測度の台の小さな近傍内に留まるため、オーバーオーラーが存在しないことが確認される。
• 対角行列や長方形ガウスブロックを含む多くの決定論的行列クラスに対して収束が成立する。
• 普遍性原理を用いて、非ガウス型WignerおよびWishart行列、および実およびシミレクティックガウス行列に対しても結果が拡張可能である。
• 極限ノルムは、極限自由確率的変数および自由生成作用素によって生成されるC*-代数における作用素ノルムによって特徴付けられる。
• 超積およびGNS表現を用いた証明手法は、特定の行列アンサンブルを超えてノルム収束を一般化するための強固な枠組みを提供する。