[論文レビュー] Local spectral statistics of the addition of random matrices

Ziliang Che, Benjamin Landon|arXiv (Cornell University)|Jan 2, 2017

Random Matrices and Applications参考文献 43被引用数 4

ひとこと要約

本稿は、$ H = V^*XV + U^*YU $ の形の2つの確率的行列集合の和の固有値統計におけるバルク普遍性を確立する。ここで $ V $ と $ U $ はハール分布をもつユニタリ行列であり、$ X, Y $ は決定論的な対角行列である。ユニタリ群上の拡散過程を用い、その結果得られる固有値ダイナミクスをダイソン・ブラウン運動（Dyson Brownian motion）と比較することで、$ X $ と $ Y $ にやや弱い仮定を課した場合、$ N \to \infty $ の極限において、局所的固有値ギャップ統計および相関関数がガウスユニタリアンサンブル（GUE）のそれらに収束することを証明する。

ABSTRACT

We consider the local statistics of $H = V^* X V + U^* Y U$ where $V$ and $U$ are independent Haar-distributed unitary matrices, and $X$ and $Y$ are deterministic real diagonal matrices. In the bulk, we prove that the gap statistics and correlation functions coincide with the GUE in the limit when the matrix size $N o \infty$ under mild assumptions on $X$ and $Y$. Our method relies on running a carefully chosen diffusion on the unitary group and comparing the resulting eigenvalue process to Dyson Brownian motion. Our method also applies to the case when $V$ and $U$ are drawn from the orthogonal group. Our proof relies on the local law for $H$ proved by [Bao-Erdős-Schnelli] as well as the DBM convergence results of [L.-Sosoe-Yau].

研究の動機と目的

• ハールユニタリ行列で摂動された決定論的な対角行列の和からなる2つの確率的行列集合の局所スペクトル普遍性を確立すること。
• 従来、ウィグナー行列に対して知られていた普遍性原理を、i.i.d. でない確率的行列モデルのより広いクラスへ拡張すること。
• ダイソン・ブラウン運動の手法で用いられる標準的な摂動法が失敗する状況を克服するため、新規の拡散に基づく比較技法を導入すること。
• 初期行列集合がi.i.d. 要素を持たない場合でも、$ H = V^*XV + U^*YU $ の局所固有値統計がバルクでGUEに収束することを示すこと。

提案手法

• ユニタリ群上の確率的拡散過程を導入し、行列 $ V $ と $ U $ を進化させることで、連続的な確率的行列族 $ H(t) $ を生成する。
• 得られた固有値過程を、時間変換を施したSDEを介してダイソン・ブラウン運動（DBM）と関連付ける。
• 先行研究 [8, 7, 9] で確立された $ H $ の局所法を用い、固有値密度をスケール $ N^{-1+\nu} $ まで制御することで、DBM収束の初期データが有効であることを保証する。
• [35, 34] で得られたDBM収束結果を応用し、$ N^{-1} $ のオーダーの短い時間後には $ H $ の固有値統計がGUEバルク統計に収束することを示す。
• 伊藤の補題と固有値ギャップのパスワイズ解析に基づく新規な摂動論法を用い、DBMフレームワークで導入された微小なガウス成分を除去する。
• 固有値ギャップや相関関数がGUE極限にほとんど確実に収束することを示す。そのために、固有値が互いに近づく時間の集合がLebesgue測度を零に持つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 $ V, U $ がハールユニタリで、$ X, Y $ が決定論的であるとき、$ H = V^*XV + U^*YU $ の局所固有値統計は $ N \to \infty $ のときGUEバルク統計に収束するか？
• RQ2 相関的または構造的要素を持つウィグナー型でない確率的行列モデルに、標準的なダイソン・ブラウン運動の手法を適応できるか？
• RQ3 ユニタリ群上の拡散が、DBMのダイナミクスと一致する固有値ダイナミクスを生成する役割は何か？ そして、これはi.i.d. 要素を越えた普遍性の証明を可能にするか？
• RQ4 なぜ標準的な摂動技法がこの設定では失敗するのか？ そして、固有値衝突のパスワイズ解析がその問題をどのように克服できるか？

主な発見

• $ X $ と $ Y $ にやや弱い仮定を課した場合、$ H $ の局所固有値ギャップ統計は $ N \to \infty $ のときGUEバルク統計に収束する。
• $ H $ の固有値相関関数は $ N \to \infty $ の極限でGUEのそれらと一致し、このクラスの確率的行列モデルにおけるバルク普遍性を確認する。
• 証明は、ユニタリ群上の拡散に依存しており、その固有値ダイナミクスは $ N^{-1} $ のオーダーの時間スケールまでダイソン・ブラウン運動と一致する。
• この手法により、固有値ギャップが $ \delta = n^{-9/10} $ 未満になる時間の集合の期待濃度 $ \mathbb{E}|\mathcal{I}| \leq c n^{1/5} $ が得られ、これは極限で消える。
• 固有値過程がGUE極限にほとんど確実に収束することを証明した。そのために、固有値の衝突や大きなフラクチュエーションの確率が $ N \to \infty $ のとき消えることを示した。
• ポテンシャルの凸性と軌道の比較により、固有値SDEの強い解の一意性が確立され、極限が適切に定義されかつ一意であることが保証された。