[論文レビュー] Local Single Ring Theorem

Florent Benaych-Georges|arXiv (Cornell University)|Jan 30, 2015

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

ひとこと要約

本稿は、大規模な非エルミートなランダム行列に対する単一リング定理の局所版を確立し、行列の部分的固有値分布が微視的スケール $(\log N)^{-1/4+\epsilon}$ まで制限された円分布に収束することを証明している。行列の劣性および自由確率論的手法を用いて、この微細スケールにおける特異値の局所法則と固有値の局所化の解体を示している。

ABSTRACT

The Single Ring Theorem, by Guionnet, Krishnapur and Zeitouni, describes the empirical eigenvalue distribution of a large generic matrix with prescribed singular values, i.e. an $N\ imes N$ matrix of the form $A=UTV$, with $U, V$ some independent Haar-distributed unitary matrices and $T$ a deterministic matrix whose singular values are the ones prescribed. In this text, we give a local version of this result, proving that it remains true at the microscopic scale $(\\log N)^{-1/4}$. On our way to prove it, we prove a matrix subordination result for singular values of sums of non Hermitian matrices, as Kargin did for Hermitian matrices. This allows to prove a local law for the singular values of the sum of two non Hermitian matrices and a delocalization result for singular vectors.

研究の動機と目的

• 非エルミートな大規模ランダム行列に対する局所的固有値統計を証明することで、単一リング定理を微視的スケールに拡張すること。
• i.i.d. 成分を持つ非エルミートランダム行列の和の特異値に関する局所法則を確立すること。
• このような行列の特異ベクトルの局所化を証明し、それが成分全体に均等に分布することを保証すること。
• ケルギンのエルミート行列に対する研究に類似した、非エルミート行列に対する行列劣性フレームワークを構築すること。
• 単一リングモデルにおける固有値の反発と局所的固有値統計の厳密な基礎を提供すること。

提案手法

• 非エルミート行列のスペクトル測度を、そのリゾルベントの対数のトレースのラプラシアンに関連付けるために、エルミート化技術を用いる。
• ケルギンの結果をエルミートから非エルミート設定に一般化することで、非エルミート行列の和の特異値に対する行列劣性を適用する。
• シュール補行列式を間接的に置換することで、ハール測度の対称性を保つために劣性関係を用いる。
• 特に加法的自由畳み込み $\boxplus$ を用いて、特異値分布 $\nu$ によって制限スペクトル測度 $\mu$ を特徴付ける自由確率論的手法を用いる。
• ハダマールの三円定理を適用し、減衰が制御された複素領域におけるスペクトル測度のステルジウス変換を制御する。
• 二次可微分性を持つテスト関数とステルジウス変換の減衰推定を用いたブートストラップ的議論により、局所法則の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 単一リング定理はスケール $\varepsilon_N = (\log N)^{-1/4 + \epsilon}$ まで拡張可能か？
• RQ2 行列 $A = UTV$ の経験的固有値分布は、固有値間隔に近づくスケールでどのように振る舞うか？
• RQ3 和のリゾルベントを制御するために、行列劣性を非エルミート行列にどのように適応できるか？
• RQ4 単一リングモデルにおける特異ベクトルの局所化挙動はいかなるものか？
• RQ5 制限スペクトル測度のステルジウス変換を、複素平面全体で一様に制御でき、鋭い減衰推定を得られるか？

主な発見

• 局所法則はスケール $\varepsilon_N = (\log N)^{-1/4 + \epsilon}$ まで成立し、半径 $\varepsilon_N$ の球内における固有値の数え上げが漸近的に正しい。
• 制限スペクトル測度 $\mu$ は中心対称であり、$\{z \in \mathbb{C} : a \leq |z| \leq b\}$ を台とする。ここで $a^{-2} = \int x^{-2} d\nu(x)$ かつ $b^2 = \int x^2 d\nu(x)$ である。
• 測度 $\mu$ の密度 $\rho(z)$ は $\rho(z) = \frac{1}{2\pi} \Delta_z \left( \int \log|x| \, d\nu_{\infty,z}(x) \right)$ で与えられ、$\nu_{\infty,z} = \nu^s \boxplus \frac{\delta_{|z|} + \delta_{-|z|}}{2}$ である。
• 行列劣性に関する結果を証明した：$\mathbb{E}[G_{\mathbf{H}}(z)] = G_{\mathbf{A}}(z + S_B(z)) + \text{誤差}$ であり、演算子ノルムの誤差は $\eta \geq N^{1/8}$ のとき $\leq \frac{1}{N\eta^6}$ である。
• 特異ベクトルは局所化されていない：高確率で $\ell^2$-質量が成分全体に均等に分布している。
• ステルジウス変換に対する鋭い減衰推定を得た：$\sup |m_{\nu_N}(z)| \leq C e^{-c\sqrt{\log N}}$ ならば、滑らかなテスト関数 $\phi_N$ に対して $|\nu_N(\phi_N)| \leq \frac{C' L_N \|\phi_N^{(p+1)}\|_\infty}{(p+1)! (\log N)^{p/2}}$ が成り立つ。