[論文レビュー] On the semicircular law of large dimensional random quaternion matrices

Yanqing Yin, Zhidong Bai+1 more|arXiv (Cornell University)|Sep 26, 2013

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

ひとこと要約

本稿は、一般のモーメント条件の下で、大規模な次元のランダムなクaternion自己双対ヒルベルト行列に対する半円則を確立し、古典的なウィグナーの半円則をガウス分布のケースを超えて拡張する。トレースモーメントとリゾルベント解析に関する新規な補題を用いて、経験的固有値分布が半円則にほとんど確実に収束することを証明し、非ガウス的クaternion行列に対して普遍的な結果をもたらす。

ABSTRACT

It is well known that Gaussian symplectic ensemble (GSE) is defined on the space of $n imes n$ quaternion self-dual Hermitian matrices with Gaussian random elements. There is a huge body of literature regarding this kind of matrices. As a natural idea we want to get more universal results by removing the Gaussian condition. For the first step, in this paper we prove that the empirical spectral distribution of the common quaternion self-dual Hermitian matrices tends to semicircular law. The main tool to establish the universal result is given as a lemma in this paper as well.

研究の動機と目的

• ガウス分布の仮定をせず、大規模な次元のランダムなクaternion自己双対ヒルベルト行列に対して、半円則の普遍性を確立すること。
• 非可換なクォータニオン乗算がもたらす課題、特に非ガウス的状況下での解析的ツールの制限を克服すること。
• ガウス的自己双対行列（GSE）で知られている結果を、有限の2階モーメントを持つi.i.d.な行列要素のより広いクラスに一般化すること。
• クォータニオン行列の非可換構造を扱うために、リゾルベントのトレースモーメントに関する新しい技術的補題を開発すること。
• 最小限のモーメント仮定の下で、経験的固有値分布（ESD）が半円則にほとんど確実に収束することを証明すること。

提案手法

• クォータニオンと$2 \times 2$複素行列の間の同型性を用いて、$n \times n$クォータニオン自己双対ヒルベルト行列を$2n \times 2n$複素ヒルベルト行列に表現する。
• リゾルベントのトレース$ \mathrm{tr}((W_n - zI)^{-1})$を研究することで、ESDの収束をスタイリーテス変換法で分析する。
• 重要な補題を用いてリゾルベント展開の誤差を制御し、$n \to \infty$の下で$ \mathbb{E}|\mathrm{tr}(\varepsilon_k^2)| \to 0$を示す。
• 行列要素に対するモーメント条件を適用：$ \mathbb{E}[x_{jk}] = 0$、$ \mathrm{Var}(x_{jk}) = \sigma^2/n$、および有限の4次モーメント。
• リゾルベント恒等式と行列逆行列の補題（例えば、シュール補完）を用いて、全体の行列のリゾルベントとその部分行列のリゾルベントを関連付ける。
• 濃度不等式とマルティングール差分技術を用いてトレースのフラクチュエーションを制御し、スタイリーテス変換の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 大規模な次元のランダムなクォータニオン自己双対ヒルベルト行列の経験的固有値分布は、ガウス分布を仮定しない一般のモーメント条件のもとで半円則に収束するか？
• RQ2 ウィグナーマトリクスに対する古典的半円則は、クォータニオン行列の非可換な設定に拡張可能か？
• RQ3 クォータニオンの非可換性をランダム行列理論で扱うために必要な技術的ツールは何か？
• RQ4 リゾルベント法は、クォータニオン設定における普遍性を証明するためにどのように適合可能か？
• RQ5 非ガウス的クォータニオン行列に対して、ESDが半円則に収束する速度は何か？

主な発見

• 有限の4次モーメントを持つ、ゼロ平均、分散$\sigma^2/n$のi.i.d.要素を持つ大規模な次元のランダムなクォータニオン自己双対ヒルベルト行列の経験的固有値分布（ESD）は、ほとんど確実に半円則に収束する。
• 収束は普遍的である：ガウス分布の仮定がなくても成り立ち、以前はガウス的自己双対行列（GSE）に限られていた結果を拡張する。
• リゾルベント展開の誤差を制御するための新しい技術的補題が確立され、$n \to \infty$の下で$ \mathbb{E}|\mathrm{tr}(\varepsilon_k^2)| \to 0$が示され、証明において中心的な役割を果たす。
• ESDのスタイリーテス変換は、ほとんど確実に半円則のスタイリーテス変換$s(z) = -\frac{1}{2}(z - \sqrt{z^2 - 4})$に収束する。$z \in \mathbb{C}^+$。
• 証明は、クォータニオン行列と$2n \times 2$複素ヒルベルト行列との同型性に依存しており、これにより標準的なランダム行列理論の手法が適用可能になる。
• この結果により、半円則が、実および複素のウィグナーマトリクスの場合と同様に、広いクラスのランダムなクォータニオン行列に対して普遍的な極限分布であることが確認される。