[論文レビュー] Laws of large numbers for eigenvectors and eigenvalues associated to random subspaces in a tensor product

Serban T. Belinschi, Benoı̂t Collins+1 more|arXiv (Cornell University)|Aug 18, 2010

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

ひとこと要約

本稿は、テンソル積空間 $\mathbb{C}^k \otimes \mathbb{C}^n$ の一様にランダムな部分空間内のランダムなベクトルの特異値について、大数の法則を確立する。$n \to \infty$ のとき、達成可能な特異値タプルの集合は、確率的に1つの決定的凸集合 $K_{k,t}$ に収束する。$K_{k,t}$ の特徴付けには、$\ell^1$ と $\ell^\infty$ ノルムの間を補間する自由確率論から導かれる新しいノルムが用いられ、量子情報理論やランダム行列固有ベクトルの漸近的性質への応用がある。

ABSTRACT

Given two positive integers $n$ and $k$ and a parameter $t\in (0,1)$, we choose at random a vector subspace $V_{n}\subset \mathbb{C}^{k}\otimes\mathbb{C}^{n}$ of dimension $N\sim tnk$. We show that the set of $k$-tuples of singular values of all unit vectors in $V_n$ fills asymptotically (as $n$ tends to infinity) a deterministic convex set $K_{k,t}$ that we describe using a new norm in $\R^k$. Our proof relies on free probability, random matrix theory, complex analysis and matrix analysis techniques. The main result result comes together with a law of large numbers for the singular value decomposition of the eigenvectors corresponding to large eigenvalues of a random truncation of a matrix with high eigenvalue degeneracy.

研究の動機と目的

• ユニフォームにランダムな部分空間における単位ベクトルの特異値タプルとして、漸近的に現れる可能性があるものを特定すること。
• ランダム部分空間の漸近的特異値挙動を特徴付けることにより、長年の量子情報理論におけるエントロピーの非加法性に関する未解決問題を解消すること。
• 大きなランダム行列切断の固有ベクトルについて、大数の法則を確立し、その特異値分解が決定的極限に収束することを示すこと。
• 自由確率論から生じる $\mathbb{R}^k$ 上の新しいノルムを導入・分析し、漸近的特異値サポート $K_{k,t}$ を特徴付けること。

提案手法

• 著者たちは、自由確率論、ランダム行列理論、複素解析の道具を用いて、固定次元 $N \sim t n k$ のランダム部分空間における特異値の漸近的挙動を分析する。
• ハーガップとトールビュルセンのスペクトル測度の収束に関する結果を、ランダム射影の状況に拡張し、基礎的な技術的結果を確立する。
• $K_{k,t}$ の特徴付けは、$\mathbb{R}^k$ 上に定義された新しいノルム $\|\cdot\|_{(t)}$ によって定義される凸体 $A$ の双対体 $A^*$ を用いて達成される。このノルムは $\ell^1$ と $\ell^\infty$ ノルムの間を補間する。
• 主要定理の証明は二段階の議論で構成される：第一に、$K_{k,t}$ の外部にある特異値タプルは漸近的に実現不可能であることを示し（第一包含）、第二に、$K_{k,t}$ の内部のすべての点が高確率で達成可能であることを示す（第二包含）。
• 第二包含は、ランダム行列切断の固有ベクトルの漸近的決定性に関する新規な結果に依存しており、$\nu_n$ 番目に大きな固有値に対応する固有ベクトルの特異値分解が、確率的に1つの決定的極限に収束することを示している。

実験結果

リサーチクエスチョン

• RQ1 次元 $N \sim t n k$ の $\mathbb{C}^k \otimes \mathbb{C}^n$ 内の一様にランダムな部分空間における単位ベクトルの特異値として、漸近的に現れる可能性がある $k$-tuple の正の実数はどれか？
• RQ2 漸近的特異値サポートは、固定された $k$ と相対次元 $t$ にどのように依存するか？
• RQ3 大きなランダム行列切断の固有ベクトルは、構造的な漸近的挙動を示すことができるか？ もしそうなら、その極限特異値分解は何かによって決定されるか？
• RQ4 特異値の漸近的サポートを記述する凸集合 $K_{k,t}$ の正確な幾何的構造は何か？ そして、自由確率論とどのように関係しているか？

主な発見

• 漸近的に達成可能な特異値タプルの集合は、正確にコンパクトな凸集合 $K_{k,t} \subset \mathbb{R}^k_+$ であり、標準単体 $\Delta_k$ と、新しいノルム $\|\cdot\|_{(t)}$ によって定義される凸体 $A$ の双対体 $A^*$ の共通部分として与えられる。
• $t < \frac{1}{k}$ のとき、集合 $K_{k,t}$ には点、線段、または超平面である露出面が存在し、その境界構造はノルム $\|\cdot\|_{(t)}$ の単位球の滑らかさに依存する。
• $t < 1 - \frac{1}{k}$ のとき、$K_{k,t}$ と $\Delta_k^\downarrow$ 内の非退化な方向との交差はシングルトンとなる。これは、そのような方向に沿って一意な漸近的特異値プロファイルが存在することを意味する。
• ランダム行列切断 $Z_n = \Pi_n (A \otimes I_n) \Pi_n$ の固有ベクトルの特異値分解は、確率的に1つの決定的極限に収束する。これは固有ベクトルに対する大数の法則を確立する。
• ノルム $\|\cdot\|_{(t)}$ は $\ell^1$ と $\ell^\infty$ ノルムの間を補間し、一様分布と離散測度の自由加法的畳み込みを用いて定義される。これは、ランダム行列モデルの漸近的スペクトル性質を反映している。
• $t > \frac{k-1}{k}$ のとき、集合 $K_{k,t}$ は全単体 $\Delta_k$ と一致する。これは、合計が1である正の実数の $k$-tuple がすべて漸近的に達成可能であることを意味する。