[論文レビュー] Central limit theorem for linear eigenvalue statistics of orthogonally invariant matrix models

Mariya Shcherbina|ArXiv.org|Nov 12, 2007

Random Matrices and Applications参考文献 17被引用数 6

ひとこと要約

本稿は、1つの区間を持つ極限スペクトルを示す直交不変な確率的行列集合の線形固有値統計量について、中心極限定理を確立する。行列カーネルと直交多項式手法を用いた高度な技術を駆使し、固有値統計量の揺らぎが明確に定義された極限分散を持つガウス分布に収束することを証明する。これは、実解析的ポテンシャルと2階微分が有界な滑らかなテスト関数のもとで、ヨハンソンの結果をβ=2（ヘルミート行列）の場合からβ=1（実対称行列）の場合に拡張したものである。

ABSTRACT

We prove central limit theorem for linear eigenvalue statistics of orthogonally invariant ensembles of random matrices with one interval limiting spectrum. We consider ensembles with real analytic potentials and test functions with two bounded derivatives.

研究の動機と目的

• 直交不変な実対称確率的行列集合（β=1）における線形固有値統計量の中心極限定理（CLT）を確立すること。
• ヘルミート行列（β=2）におけるヨハンソンのCLT結果を、同一のスペクトル的・解析的条件下で実対称の場合に拡張すること。
• β=1の集合に特化した行列カーネル技術を用いて、線形固有値統計量の極限分散を分析すること。
• 実解析的ポテンシャルと2階微分が有界なテスト関数のもとで、固有値統計量の揺らぎが分布的にガウス確率変数に収束することを証明すること。

提案手法

• 実解析的ポテンシャルVとβ=1を用いた確率測度に基づき、直交不変な集合の同時固有値密度を導出する。
• β=1の場合の周辺密度$p_{n,l,1}$を表すために、演算子$\widehat{K}_{n}$を含む行列カーネル表現を用いる。
• 実対称の場合に適応された再生核構造と直交多項式技法を用い、$S_n$およびその双対成分を介して定義される行列カーネル$\widehat{K}_{n,1}$を扱う。
• 行列$\mathcal{M}^{(0,n)}$の逆行列の漸近的解析を用いて、$n \to \infty$の極限におけるカーネル$S_n$の振る舞いを制御する。指数的減衰推定に依存する。
• 低周波数モードと高周波数モードに分解することで誤差項の境界を確立し、$N = 2[n^{1/2}]$、$N = 2[n^{3/4}]$、$N = 2[\tilde{\varepsilon}n]$を用いて異なるスペクトル領域を制御する。
• カーネル作用素$\widehat{K}_n$のトレースによる分散の表現を用い、カーネルの小さな摂動における安定性を制御することで、累積モーメント母関数を制御し、ガウス極限への収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 直交不変な実対称確率的行列集合の線形固有値統計量は、実解析的ポテンシャルと2階微分が有界な滑らかなテスト関数のもとで、中心極限定理を満たすか？
• RQ2 β=1の場合における揺らぎ$\dot{N}_n[\varphi]$の極限分散は何か？ また、β=2（ヘルミート）の場合と比較するとどうなるか？
• RQ3 行列カーネル$\widehat{K}_{n,1}$は、実対称の場合の周辺密度を表現し、線形統計量の分散を計算するためにどのように用いることができるか？
• RQ4 小さな摂動のもとで、カーネル$S_n$は漸近的に安定な表現に近似可能であり、ガウス極限への収束を保証できるか？
• RQ5 逆行列$\mathcal{M}^{(0,n)}$の指数的減衰が、CLTの証明における誤差項の制御に果たす役割は何か？

主な発見

• 実解析的ポテンシャルと2階微分が有界なテスト関数のもとで、$n \to \infty$の極限において、線形固有値統計量の揺らぎ$\dot{N}_n[\varphi]$は分布的にガウス確率変数に収束する。
• 極限分散はカーネル作用素$\widehat{K}_n$のトレースで与えられ、2階微分が有界なテスト関数のコンパクト集合上で一様収束する。
• β=1の再帰的再生核を一般化した行列カーネル$\widehat{K}_{n,1}$は、$S_n$およびその双対を介して構成され、その逆行列が小さな摂動に対して安定であることが示された。
• 低周波数および高周波数成分への分解を用いて、カーネル近似の誤差境界を確立し、$O(n^{-1/2})$および$O(n^{-1} \log^4 n)$の誤差項が得られた。
• 行列$\mathcal{M}^{(0,n)}$の逆行列は、指数的減衰を示すトーペリッツ型作用素に収束することが示され、カーネル$S_n$の極限における制御が可能になった。
• 本稿では、$N_n[\varphi]$の分散が有限極限に収束することを証明し、$C^2$関数で2階微分が有界なテスト関数に対してCLTが一様に成立することを示した。