[論文レビュー] The single ring theorem

Alice Guionnet, Manjunath Krishnapur+1 more|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Sep 11, 2009

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

ひとこと要約

本稿は単一リング定理を確立し、非正規ランダム行列 $ A_n = U_n T_n V_n $ の経験的固有値測度が、$ U_n, V_n $ がユニタリ群上にハール分布をとり、$ T_n $ が対角行列であるとき、回転に対して不変な測度に弱収束することを証明する。その極限測度 $ \mu $ は $ T_n $ の極限固有値測度 $ \theta $ によって完全に決定され、フェインバーグとジーの長年の予想を、自由確率論とシュヴィンガー＝ダイソン方程式を用いた完全で厳密な証明により解決する。

ABSTRACT

We study the empirical measure $L_{A_n}$ of the eigenvalues of non-normal square matrices of the form $A_n=U_nD_nV_n$ with $U_n,V_n$ independent Haar distributed on the unitary group and $D_n$ real diagonal. We show that when the empirical measure of the eigenvalues of $D_n$ converges, and $D_n$ satisfies some technical conditions, $L_{A_n}$ converges towards a rotationally invariant measure on the complex plan whose support is a single ring. In particular, we provide a complete proof of Feinberg-Zee single ring theorem \cite{FZ}. We also consider the case where $U_n,V_n$ are independent Haar distributed on the orthogonal group.

研究の動機と目的

• 非正規ランダム行列の固有値分布が、固定された特異値をもつ場合に、単一リング上に回転に対して不変な測度に収束するという単一リング定理を厳密に確立すること。
• 特異値の経験的測度が収束する条件下で、非正規行列の漸近的固有値分布に関する未解決の問題を解消すること。
• フェインバーグ–ジーの単一リング定理を完全に証明し、以前のヒューリスティックな導出におけるギャップを埋めること。
• ユニタリ行列が直交群に置き換えられた場合に、同じ極限測度に分布収束することを示すこと。

提案手法

• ユニタリ群 $ \mathcal{U}(n) $ 上のハール測度のユニタリ不変性を用いて、ランダム非正規行列を $ A_n = U_n T_n V_n $ としてモデル化する。ここで $ T_n $ は対角行列である。
• シュヴィンガー＝ダイソン方程式の枠組みを適用し、リゾルベントの近似式を導出し、スペクトル測度の制御を可能にする。
• 濃縮不等式とグリーンの公式を用いて、固有値測度の対数ポテンシャルを分析する。
• 極限スペクトル測度 $ \mu $ を特徴付けるために、$ T_n $ のスタイリーツ変換と対称化測度を用いる。
• 極限固有値分布の理論的基盤として、$ R $-対角作用素のブラウン測度を用いる。
• ハール測度の下で $ \mathrm{O}(n) $ 上に分布する直交行列に対しても、同じシュヴィンガー＝ダイソンおよび濃縮の議論が成り立つことを確認することで、証明を直交行列へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 経験的固有値測度 $ L_{A_n} $ が、$ T_n $ の固有値の経験的測度が収束する場合、非正規行列 $ A_n = U_n T_n V_n $ の場合に、弱収束して確定的かつ回転に対して不変な測度に収束するか？
• RQ2 適切な技術的条件下で、極限固有値測度 $ \mu $ は $ T_n $ の極限特異値分布 $ \theta $ によってどのように決定されるか？
• RQ3 フェインバーグ–ジーの単一リング定理は、厳密に証明可能であり、収束に必要な $ T_n $ の条件は何か？
• RQ4 $ U_n, V_n $ がユニタリ群ではなく直交群 $ \mathrm{O}(n) $ 上にハール分布をとる場合、同じ極限的挙動が成立するか？
• RQ5 濃縮の法則とシュヴィンガー＝ダイソン方程式は、スペクトル測度の収束を証明するために果たす役割は何か？

主な発見

• 経験的固有値測度 $ L_{A_n} $ は、確率的に弱収束して、複素平面上の単一リング型の支持を持つ回転に対して不変な測度 $ \mu $ に収束する。
• 極限測度 $ \mu $ は、$ T_n $ の極限スペクトル測度 $ \theta $ によって、$ R $-対角作用素のブラウン測度を介して一意に決定される。
• $ T_n $ に対してやや弱い技術的条件が成立すれば収束が成立し、特に、対称化スタイリーツ変換の有界性と逆累積分布関数のホルダー連続性が含まれる。
• 直交共役化の場合にも結果は拡張可能であり、$ U_n, V_n $ が $ \mathrm{O}(n) $ 上にハール分布をとる場合、同じ極限測度 $ \mu $ が得られる。
• 証明により、フェインバーグとジーの単一リング定理が一般に成立することが示され、当初のヒューリスティックな導出における長年のギャップが完全に解消された。
• 著者らは、自由確率論の道具、濃縮の法則、シュヴィンガー＝ダイソン方程式を用いた完全で厳密な導出を提供し、将来的な拡張のための強固な枠組みを提供した。