[論文レビュー] Heat Kernel Empirical Laws on $\mathbb{U}_N$ and $\mathbb{GL}_N$

Todd Kemp|arXiv (Cornell University)|Jun 10, 2013

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

ひとこと要約

本稿は、ユニタリ群 $Σ_N$ および一般線形群 $Σ_N$ 上のヒートカーネル測度から抽出された確率的行列の経験的固有値分布および特異値分布のほとんど確実な収束を確立し、偶数の整数 $p$ に対して $L^p$ 収束を証明し、$Σ_N$ 上の極限非可換分布を無限次元多項式空間上のフローの射影として同定する。

ABSTRACT

This paper studies the empirical measures of eigenvalues and singular values for random matrices drawn from the heat kernel measures on the unitary groups $\mathbb{U}_N$ and the general linear groups $\mathbb{GL}_N$, for $N\in\mathbb{N}$. It establishes the strongest known convergence results for the empirical eigenvalues in the $\mathbb{U}_N$ case, and the first known almost sure convergence results for the eigenvalues and singular values in the $\mathbb{GL}_N$ case. The limit noncommutative distribution associated to the heat kernel measure on $\mathbb{GL}_N$ is identified as the projection of a flow on an infinite-dimensional polynomial space. These results are then strengthened from variance estimates to $L^p$ estimates for even integers $p$.

研究の動機と目的

• ユニタリ群 $Σ_N$ 上のヒートカーネル測度の下で、確率的行列の経験的固有値測度に対する、これまでで最も強い収束結果を確立すること。
• 一般線形群 $Σ_N$ の場合において、固有値および特異値の両方について、初めて知られているほとんど確実な収束結果を証明すること。
• $Σ_N$ 上の極限非可換分布を、無限次元多項式空間上のフローの射影として同定すること。
• 分散の見積もりを $L^p$ 収束に強化し、偶数の整数 $p$ に対して収束の定量的レートを提供すること。
• $U^N_t$ および $Z^N_{s,t}$ の両方の解析を拡張し、後者はユニタリと一般線形の間を二パラメータで補間する。

提案手法

• ユニタリ群 $\u03a3_N$ 上のヒートカーネル測度 $\rho^N_t$ および一般線形群 $\u03a3_N$ 上のヒートカーネル測度 $\mu^N_{s,t}$ を、確率的行列の確率測度として用いる。
• インタウィニング作用素および濃度の集中の技法を用いて、ヒートカーネル測度の下でのトレース多項式の分散を制御する。
• 関数計算および経験的測度論を用いて、固有値／特異値分布と非可換分布との関係を確立する。
• 非可換確率論および自由確率論を用いて、$\mathbb{C}^*$ 上の極限分布 $\nu_t$ を特徴付ける。
• トレース多項式および $C_2(s,t,P,P)$ 定数を用いて、$\|f(Z, Z^*)\|_{L^p}$ の分散バウンドから $L^p$ 収束を導出する。
• チェビシェフの不等式およびボレル＝カンテリの補題を用いて、確率収束を $L^p$ におけるほとんど確実な収束に強化する。

実験結果

リサーチクエスチョン

• RQ1 ヒートカーネル測度の下で $\u03a3_N$ 上から抽出された確率的行列の極限経験的固有値分布は何か？
• RQ2 $N \to \infty$ のとき、$\u03a3_N$ 上の固有値の経験的分布はどのようにほとんど確実に収束するか？
• RQ3 ヒートカーネル測度の下での $\u03a3_N$ 上の非可換分布の極限は何か？ そして、無限次元フローとどのように関係するか？
• RQ4 $L^p$ 収束を、行列多項式の経験的 $L^p$ ノルムに対して確立できるか？ また、収束レートは何か？
• RQ5 分散バウンドの定数は、テスト多項式の次数およびノルムにどのように依存するか？ そして、それらを改善できるか？

主な発見

• 任意の $t > 0$ に対して、$U^N_t$ の経験的固有値測度 $\widetilde{\nu}^N_t$ は弱収束の意味で確率的に $\nu_t$ に収束し、$1 < p < 3/2$ のとき $f \in H_p(\mathbb{U})$ に対してほとんど確実に収束する。
• 線形関数 $\int f \, d\widetilde{\nu}^N_t$ の分散は、$C(t,p)/N^{2p-1} \|f\|_{H_p(\mathbb{U})}^2$ で上から抑えられ、$C(t,p)$ は $t$ および $p$ に関して連続である。
• $p \geq 3/2$ のとき、$f$ はリプシッツ連続であり、分散バウンドは $2t/N^2 \|f\|_{\mathrm{Lip}(\mathbb{U})}$ に改善される。
• $\u03a3_N$ 上の極限非可換分布は、無限次元多項式空間上のフローの射影として同定される。
• $Z^N_{s,t}$ の場合、行列多項式の $L^p$ ノルムは、非可換 $L^p$ ノルムにほとんど確実に収束し、分散バウンドは $O(1/N^2)$ である。
• $C_2(s,t,P,P)$ 定数が多項式の次数に依存しない場合、$p$ に関して一様な $L^p$ 収束レートが得られる。これは、論文内の証拠によって支持される予想である。