[論文レビュー] The Littlewood-Offord Problem and invertibility of random matrices

Mark Rudelson, Roman Vershynin|arXiv (Cornell University)|Mar 16, 2007

Random Matrices and Applications参考文献 18被引用数 8

ひとこと要約

本稿は、i.i.d. 成分を持つランダム行列の最小特異値に関する2つの長年の予想を解決する。最小モーメント仮定のもとで、最小特異値が高確率で $ n^{-1/2} $ のオーダーであることを証明し、最適な尾確率推定を確立する。主な革新点は、係数の大きさが同程度である独立同分布の確率変数の和が、濃度確率の逆数に比例する長さの等差数列の周辺にしか集中しないことを示す鋭い Littlewood-Offord 型の評価にある。

ABSTRACT

We prove two basic conjectures on the distribution of the smallest singular value of random n times n matrices with independent entries. Under minimal moment assumptions, we show that the smallest singular value is of order n^{-1/2}, which is optimal for Gaussian matrices. Moreover, we give a optimal estimate on the tail probability. This comes as a consequence of a new and essentially sharp estimate in the Littlewood-Offord problem: for i.i.d. random variables X_k and real numbers a_k, determine the probability P that the sum of a_k X_k lies near some number v. For arbitrary coefficients a_k of the same order of magnitude, we show that they essentially lie in an arithmetic progression of length 1/p.

研究の動機と目的

• i.i.d. 成分を持つランダム行列の最小特異値が第四モーメント仮定のもとで $ n^{-1/2} $ のオーダーであるという予想を解決すること。
• ガウス行列から一般の i.i.d. 成分への既知の結果を拡張し、最小特異値の鋭い尾確率推定を確立すること。
• Spielman-Teng のランダム符号行列の可逆性に関する予想を証明し、特異確率が指数的に小さく、最小特異値が Tracy-Widom 型の尾推定を満たすことを示すこと。
• i.i.d. 確率変数の線形形式の濃度を特徴づける、本質的に鋭い新しい推定を確立すること。

提案手法

• i.i.d. 確率変数 $ X_k $ と実係数 $ a_k $ に対して、$ \sum a_k X_k $ が固定値 $ v $ の周辺に位置する確率が $ O(1/p) $ で抑えられることを示す、Littlewood-Offord 問題における新しい鋭い推定を構築する。ここで $ p $ は濃度確率を表す。
• 最小特異値を解析するため、単位球を可縮ベクトルと不可縮ベクトルに分解する。
• 行列の最初の $ n-1 $ 行を条件付けることで、ランダム法線ベクトルのノルムと最後の行との内積を制御する。
• 小球確率評価（補題 4.9）を適用し、ランダム法線ベクトルと最後の行との内積が小さい確率を制御する。
• $ \ell^2 $-ネットを用いた球面上のネット近似を用いて、不可縮ベクトル上での行列の挙動を制御する。
• 可縮および不可縮の場合をユニオンバウンドと指数的尾確率推定を用いて組み合わせ、最終的な可逆性結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 第四モーメント仮定のもとで、$ n \times n $ の i.i.d. 成分を持つランダム行列の最小特異値の最適な尾挙動は何か？
• RQ2 濃度が $ 1/p $ の長さの等差数列の周辺でのみ集中が生じることを示すことによって、逆 Littlewood-Offord 問題を解決できるか？
• RQ3 ランダム符号行列の最小特異値は、特異性の指数的補正項まで、Tracy-Widom 型の尾推定を満たすか？
• RQ4 サブガウスィアンモーメント仮定のもとで、最小特異値の指数的尾確率を用いてランダム行列の可逆性を確立できるか？
• RQ5 ガウス分布のケースを超えて、一般の i.i.d. 行列において、最小特異値が $ n^{-1/2} $ のオーダーであることは最適か？

主な発見

• 第四モーメント仮定のもとで、最小特異値 $ s_n(A) $ は、すべての $ n \geq n_0 $ に対して $ \mathbb{P}(s_n(A) \leq \varepsilon n^{-1/2}) \leq \delta $ を満たす。ここで $ \varepsilon $ と $ n_0 $ は $ \delta $ と第四モーメントの上限 $ B $ に対して多項式的に依存する。これは von Neumann, Smale, Edelman の予想を証明する。
• サブガウスィアン i.i.d. 成分で、サブガウスィアンモーメントが $ B $ で抑えられる場合、$ \mathbb{P}(s_n(A) \leq \varepsilon n^{-1/2}) \leq C\varepsilon + c^n $ が成り立つ。ここで $ C>0 $、$ c\in(0,1) $ は $ B $ のみに依存する。これは Spielman-Teng の予想を確認する。
• 本稿は鋭い Littlewood-Offord 評価を確立する：係数 $ a_k $ が同程度の大きさであるとき、$ \sum a_k X_k $ が任意の値 $ v $ の周辺に濃度を示す確率 $ p $ は、$ a_k $ が $ O(1/p) $ の長さの等差数列上にあることを示唆する。
• 最小特異値は高確率で $ n^{-1/2} $ のオーダーであり、この評価は最適であり、ガウス行列の挙動と一致する。
• ランダム符号行列の特異確率が指数的に小さく、$ (1/2 + o(1))^n $ と予想されるものと整合することが示され、最小特異値の尾推定がこの補正項まで成り立つことが証明された。
• 強可逆性結果が指数的尾確率を用いて確立され、$ \mathbb{P}(\inf_{x \in \text{Incomp}} \|Ax\|_2 \leq \varepsilon \rho n^{-1/2}) \leq \frac{C_{11}}{\delta}(\varepsilon + c^n) + \mathbb{P}(\|A\| > Kn^{1/2}) $ が成り立つ。これは先行研究の多項式的評価を改善する。