[論文レビュー] Random matrices have simple spectrum

Terence Tao, Van Vu|arXiv (Cornell University)|Dec 3, 2014

Graph theory and applications参考文献 2被引用数 15

ひとこと要約

この論文は、独立で非自明に分布する要素を持つ実対称ランダム行列（例：ウィグナー行列やErdős–Rényi隣接行列）が、$n \to \infty$ のとき、任意の固定された $A > 0$ に対して確率 $1 - n^{-A}$ 以上で単純スペクトル（すべての固有値が相異なる）をもつことを証明している。証明は、非対角ベクトルが小行列の固有ベクトルに直交する確率が急速に減少することを示すことにより行われ、反拡散性とエントロピーの議論が用いられている。

ABSTRACT

Let $M_n = (ξ_{ij})_{1 \leq i,j \leq n}$ be a real symmetric random matrix in which the upper-triangular entries $ξ_{ij}, i

研究の動機と目的

• Erdős–Rényiランダムグラフ $G(n,1/2)$ が漸近的ほとんど確実に単純スペクトルをもつというBabaiの予想を解決すること。
• 非自明に分布する上三角行列要素を持つ一般の実対称ランダム行列が高確率で単純固有値スペクトルをもつことを確立すること。
• i.i.d.でない場合のランダム行列モデルにおけるスペクトル単純性を示す一般枠組みを提供すること。
• 同様の非退化条件のもとで、複素ヒルベルト行列への結果の拡張すること。

提案手法

• スペクトル単純性の問題を、非対角ベクトル $X$ が小行列 $M_{n-1}$ の非自明な固有ベクトルに直交する確率が低いことへと還元する。
• 非単純スペクトルが $X$ が $M_{n-1}$ の固有ベクトルに直交することと関連づける決定的補題を用いる。
• 固定されたベクトル $v$ に対して $X \cdot v = x$ となる確率を制御するために、非自明性条件 $\mathbb{P}(\xi = x) \leq 1 - \mu$ を用いた反拡散性の境界を適用する。
• エントロピーと条件付き確率の議論を用いて、構造的固有ベクトルの確率を、小行列の核へと還元し、行の依存関係を分析することで評価する。
• 行列を構造的成分とランダム成分に分解することで、臨界事象を分離する。
• 共役対称性を有する複素成分に適応した反拡散性および核解析を用いて、ヒルベルト行列への議論を拡張する。

実験結果

リサーチクエスチョン

• RQ1 Erdős–Rényiランダムグラフ $G(n,1/2)$ の隣接行列は高確率で単純スペクトルをもつか？
• RQ2 i.i.d.でない場合の最小限のモーメントまたは分布的仮定のもとで、ランダム行列のスペクトル単純性を確立できるか？
• RQ3 独立で非自明に分布する要素を持つ実対称ランダム行列が重複固有値をもつ確率はどの程度か？
• RQ4 固有ベクトルの構造は、ランダム行列におけるスペクトル縮退の可能性にどのように関係するか？
• RQ5 同様の分布的制約のもとで、結果を複素ヒルベルト行列へと拡張できるか？

主な発見

• 任意の固定された $A > 0$ に対して、上三角行列要素が独立で非自明に分布する実対称ランダム行列 $M_n$ は、十分大きな $n$ に対して確率 $1 - n^{-A}$ 以上で単純スペクトルをもつ。
• Erdős–Rényiランダムグラフ $G(n,1/2)$ は漸近的ほとんど確実に単純スペクトルをもつ。これによりBabaiの予想が裏付けられた。
• 各要素が $\mathbb{P}(\xi_{ij} = x) \leq 1 - \mu$ を満たす固定された $\mu > 0$ およびすべての $x \in \mathbb{R}$ に対して、同様の結果が成り立つ。これは同一分布でなくてもよい。
• 同じ非退化条件のもとで、複素ヒルベルト行列に対しても同様の高確率でのスペクトル単純性が成り立つ。
• 非単純スペクトルの確率は、$n$ の任意の多項式より速く減少し、具体的には条件のもとで $n^{-A}$ で上から抑えられる。
• 主な技術的洞察は、非対角ベクトル $X$ が小行列 $M_{n-1}$ の非自明な固有ベクトルに直交する確率が低いことであり、これは反拡散性とエントロピーの議論によって示された。