[論文レビュー] A central limit theorem for the determinant of a Wigner matrix

Terence Tao, Van Vu|arXiv (Cornell University)|Nov 27, 2011

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

ひとこと要約

本稿は、Wigner行列の対数行列式に対して、Gaussian Unitary Ensemble (GUE) もしくは Gaussian Orthogonal Ensemble (GOE) と4次モーメント一致する条件下で中心極限定理を確立する。対数行列式は、GUEの場合は$ mathcal{N}(\log\sqrt{n!} - \frac{1}{2}\log n, \frac{1}{2}\log n)$、GOEの場合は$ mathcal{N}(\log\sqrt{n!} - \frac{1}{4}\log n, \frac{1}{4}\log n)$に分布収束することを示す。これは、非対角成分で最初の4モーメント、対角成分で2次モーメントが一致する条件下で成り立つ。

ABSTRACT

We establish a central limit theorem for the log-determinant $\log|\det(M_n)|$ of a Wigner matrix $M_n$, under the assumption of four matching moments with either the GUE or GOE ensemble. More specifically, we show that this log-determinant is asymptotically distributed like $N(\log \sqrt{n!} - 1/2 \log n, 1/2 \log n)_\R$ when one matches moments with GUE, and $N(\log \sqrt{n!} - 1/4 \log n, 1/4 \log n)_\R$ when one matches moments with GOE.

研究の動機と目的

• モーメント一致条件の下で、Wigner行列の対数行列式に対する中心極限定理を確立すること。
• 非対角成分でGUEまたはGOEに4次まで一致し、対角成分で2次まで一致する$M_n$に対して、$\log|\det M_n|$の漸近的分布を特定すること。
• 独立同分布のランダム行列に関する先行結果を、行同士が独立でないヒルベルト行列の場合に拡張すること。
• 完全な独立性が成り立たない状況下で、対数行列式の極限分布を解明すること。これには、リゾルベント交換法とモーメント一致法を用いる。

提案手法

• 一般のWigner行列の対数行列式とGUEまたはGOE行列の対数行列式を比較するために、リゾルベント交換法を用いる。
• 非対角成分に対しては4次まで、対角成分に対しては2次までのモーメント一致を適用し、分布の差を制御する。
• 置換のサイクル型を用いた組合せ的解析により、行列式の対数の2次モーメントを計算する。
• 特に2-サイクルを有する置換の和を評価するために、母関数と二重数え上げの議論を用いる。
• スターリングの近似と、固定されたサイクル数をもつ置換の漸近的数え上げを用いて、極限分散を導出する。
• キュムラントを制御し、弱収束のためのLindeberg-Feller型の議論を用いることで、分布収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 GUEに4次まで一致するWigner行列$M_n$に対して、$\log|\det M_n|$の極限分布は何か？
• RQ2 対数行列式の漸近的平均および分散は、元となるアンサンブル（GUE対比GOE）にどのように依存するか？
• RQ3 独立同分布行列に対する対数行列式の中心極限定理を、独立でない要素をもつWigner行列へ拡張できるか？
• RQ4 要素の4次モーメントは、対数行列式の極限分布を決定づける上でどのような役割を果たすか？
• RQ5 GUE/GOEの仮定をどれほど緩和しても、同じ極限挙動を維持できるか？

主な発見

• GUEに4次まで一致する場合、対数行列式$\log|\det M_n|$は、平均$\log\sqrt{n!} - \frac{1}{2}\log n$、分散$\frac{1}{2}\log n$の正規分布に分布収束する。
• GOEに一致する場合、極限分布は$\mathcal{N}(\log\sqrt{n!} - \frac{1}{4}\log n, \frac{1}{4}\log n)$であり、4次モーメント構造の違いが反映されている。
• 非対角成分でGUEまたはGOEに4次まで、対角成分で2次まで一致するという最小限の条件下で、中心極限定理が成り立つ。
• 行列式の2次モーメント$|\det M_n|$は、$n!$に漸近的に一致し、ガウス行列に関する既知の恒等式と整合的である。
• 2-サイクルを$m$個もつ置換の寄与を制御し、その総重量が$m \leq n/4$に対して$O(n \cdot n!)$および$\gg n \cdot n!$であることを示した。
• 最初の4モーメントがGUEまたはGOEと一致する非ガウス的Wigner行列に対しても、この結果は成り立つ。