[論文レビュー] Convergence of the spectral radius of a random matrix through its characteristic polynomial

Charles Bordenave, Djalil Chafaï+1 more|arXiv (Cornell University)|Dec 10, 2020

Random Matrices and Applications参考文献 24被引用数 10

ひとこと要約

本稿では、平均0、分散1のi.i.d.要素を持つ正規化されたランダム行列の固有値半径が、行列次元が無限大に近づくにつれて確率的に1に収束することを確立する。証明は、従来の手法（エルミート化やリゾルベント法）を避けるために、双曲的ガウス型解析関数に関連する確率的解析関数に収束する逆特徴多項式の収束という、新規なアプローチに依拠しており、固定されたべき乗のトレースの同時中心極限定理と緊密性の議論を用いる。

ABSTRACT

Consider a square random matrix with independent and identically distributed entries of mean zero and unit variance. We show that as the dimension tends to infinity, the spectral radius is equivalent to the square root of the dimension in probability. This result can also be seen as the convergence of the support in the circular law theorem under optimal moment conditions. In the proof we establish the convergence in law of the reciprocal characteristic polynomial to a random analytic function outside the unit disc, related to a hyperbolic Gaussian analytic function. The proof is short and differs from the usual approaches for the spectral radius. It relies on a tightness argument and a joint central limit phenomenon for traces of fixed powers.

研究の動機と目的

• 正規化されたi.i.d.ランダム行列の固有値半径が次元が増大するにつれてほとんど確実に1に収束することを確立すること。
• ギルコ・エルミート化やゲルファンドの固有値半径公式といった標準的手法に依存しない、固有値半径収束のための新たな証明戦略を提供すること。
• 正規化された行列の逆特徴多項式の極限挙動を分析し、それが確率的にある確率的解析関数に収束することを示すこと。
• 固有値半径収束に必要なモーメント条件 E[|a₁₁|²] = 1 が、有限の四次モーメントを仮定しないまま最適であることを示すこと。
• 逆特徴多項式の収束を通じて、固有値分布のグローバルな2次の性質を確立すること。

提案手法

• 単位円板 D 上の正則関数空間 H(D) における関数収束を用いて、固有値半径を分析するため、逆多項式 qₙ(z) = det(1 - zAₙ/√n) を用いる。
• 行列式の部分行列への直交分解を用いて、(qₙ)ₙ≥₁ の H(D) 上での緊密性を証明する。
• 有界な要素に帰着するための切断補正を用い、中心極限定理の適用を可能にする。
• 経路列におけるサイクル構造の組合せ的数え上げに依拠して、行列の固定べき乗のトレースの同時中心極限定理を確立する。
• イッセリス／ウィックの公式を用いてトレース積のモーメントを計算し、特徴多項式の係数の収束を可能にする。
• 極限対象が F(z) = Σₖ≥₁ Xₖ zᵏ / √k で与えられる確率的解析関数 F(z) であり、{Xₖ} は E[Xₖ] = 0、E[|Xₖ|²] = 1、E[Xₖ²] = E[a₁₁²]ᵏ を満たす i.i.d. 複素正規乱数であり、正則関数 κ(z) でスケーリングされることを示す。

実験結果

リサーチクエスチョン

• RQ1 最小限のモーメント仮定のもとで、正規化されたi.i.d.ランダム行列の固有値半径は確率的に1に収束するか？
• RQ2 作用素ノルムやリゾルベント法に依存せずに、固有値半径の収束を確立できるか？
• RQ3 正規化されたランダム行列の逆特徴多項式の極限挙動は何か？
• RQ4 逆多項式の極限解析関数は、双曲的ガウス型解析関数に類似した既知の確率過程とどのように関係するか？
• RQ5 固定べき乗トレースの同時中心極限定理を用いて、固有値分布のグローバルな2次の性質を導出できるか？

主な発見

• 有限の四次モーメントを仮定しない状況下でも、正規化行列 Aₙ/√n の固有値半径 ρₙ は n → ∞ のとき確率的に1に収束する。
• 逆特徴多項式 qₙ(z) は H(D) 上で κ(z) exp(−F(z)) に確率的に収束する。ここで F(z) = Σₖ≥₁ Xₖ zᵏ / √k であり、{Xₖ} は E[Xₖ] = 0、E[|Xₖ|²] = 1、E[Xₖ²] = E[a₁₁²]ᵏ を満たす i.i.d. 複素正規乱数である。
• E[a₁₁²] = 0 のとき、極限関数は exp(−F(z)) に簡略化され、F は双曲的ガウス型解析関数の退化形、具体的には L=2 ベルグマンGAFの原始関数である。
• 逆多項式の収束は、C ar{D} 上で、経験的固有値測度のコーシー＝シュティルチェス変換から n/z を引いたものがあるガウス型解析関数に収束することを示し、その共分散はベルグマンカーネルで与えられる。
• 複素解析とコーシーの積分公式を用いて、単位円板近傍の解析関数に関する線形固有値統計量の中心極限定理を確立する。
• 高次トレースやリゾルベント技術を避ける方法であり、組合せ的モーメント数え上げと緊密性に依拠しており、主な洞察は極限に寄与するのは二重サイクル（頂点がペアで一致する偶数長サイクル）に限ることである。