[論文レビュー] Spectral properties of polynomials in independent Wigner and deterministic matrices

Serban T. Belinschi, Mireille Capitaine|arXiv (Cornell University)|Nov 22, 2016

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

ひとこと要約

この論文は、自由確率論の道具を用いて、独立なウィグナー行列と確定的行列のヘルミート多項式のバルクスペクトルギャップにおける固有値のほとんど確実な不在を確立する。さらに、ウィグナー行列と制限スペクトル測度を有する確定的族の間の強い漸近的自由性を証明し、ポアンカーレ不等式の条件下で非ガウス型のエントリへ結果を拡張する。

ABSTRACT

On the one hand, we prove that almost surely, for large dimension, there is no eigenvalue of a Hermitian polynomial in independent Wigner and deterministic matrices, in any interval lying at some distance from the supports of a sequence of deterministic probability measures, which is computed with the tools of free probability. On the other hand, we establish the strong asymptotic freeness of independent Wigner matrices and any family of deterministic matrices with strong limiting distribution.

研究の動機と目的

• 行列サイズが無限大に近づく際、独立なウィグナー行列および確定的行列のヘルミート多項式のスペクトル挙動を分析すること。
• そのような多項式の固有値が、制限スペクトル測度の台から離れた区間内に現れるかどうかを特定すること。
• 強い制限スペクトル分布を有する任意の確定的行列族と独立なウィグナー行列の間の強い漸近的自由性を確立すること。
• ガウス型エントリに限らない非ガウス型ウィグナー行列へ、漸近的自由性の結果をポアンカーレ不等式の条件下で拡張すること。
• 固有値局在および作用素ノルム収束のための厳密な枠組みを、自由確率論と確率解析を用いて提供すること。

提案手法

• 非可換確率変数の多項式の制限スペクトル測度を計算するために、自由確率論を用いる。
• 作用素値の従属関数とステルトジェス変換を用いて、行列多項式の制限スペクトル分布を特徴付ける。
• 行列エントリのフラクチュエーションを制御するため、ポアンカーレ不等式を適用し、リゾルベントエントリの分散推定を可能にする。
• テスト関数の勾配を活用して、行列空間とユークリッド空間の等長同型を介して、リゾルベントエントリの分散バウンドを導出する。
• 測度集中技法とスペクトルギャップ推定を組み合わせ、バルクスペクトルギャップから離れた領域における固有値のほとんど確実な収束を証明する。
• 確率行列理論と作用素代数の結果を統合し、作用素ノルムの意味で強い漸近的自由性を確立する。

実験結果

リサーチクエスチョン

• RQ1 独立なウィグナー行列および確定的行列のヘルミート多項式の固有値は、制限スペクトル測度の台から正の距離を保つ区間を避けるか？
• RQ2 作用素ノルムにおいて、ウィグナー行列と確定的行列の強い漸近的自由性が成り立つ条件は何か？
• RQ3 ガウス型エントリを越えて、非ガウス型ウィグナー行列へ、漸近的自由性の結果を拡張できるか？
• RQ4 行列エントリにポアンカーレ不等式の条件が課された場合、スペクトル挙動およびリゾルベントトレースの収束にどのような影響を与えるか？
• RQ5 ステルトジェス変換と作用素値の従属関数は、行列多項式の制限スペクトルを特徴付ける際に果たす役割は何か？

主な発見

• 十分に大きな行列次元において、ほとんど確実に、独立なウィグナー行列および確定的行列のヘルミート多項式の固有値は、制限スペクトル測度の台から正の距離を保つ任意の区間内に存在しない。
• このような多項式の制限スペクトル測度は、特に作用素値の従属関数を用いた自由確率論の道具によって完全に決定される。
• 強い制限スペクトル分布を有する任意の確定的行列族と独立なウィグナー行列の間では、強い漸近的自由性が成り立つ。これは、多項式表現の作用素ノルムがほとんど確実に収束することを意味する。
• ウィグナー行列のエントリにポアンカーレ不等式の条件が課された場合、作用素ノルムの収束が確立され、従来のガウス型から非ガウス型のアンサンブルへ一般化される。
• リゾルベントエントリの分散推定が得られ、フラクチュエーションが $ O(1/n) $ のオーダーで減少することが示され、そのバウンドはスペクトルパラメータの虚部の逆数に依存する。
• 等長同型 $ ilde{f} o f = ilde{f} imes ilde{ ho} $ を用いることで、ユークリッド空間から行列空間へのポアンカーレ不等式の制御の移行が可能となり、行列関数への集中不等式の導出が可能になる。