[論文レビュー] Quantitative invertibility of random matrices: a combinatorial perspective

Vishesh Jain|arXiv (Cornell University)|Aug 29, 2019

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

ひとこと要約

本稿は、$ M $ の作用素ノルムが $ \exp(n^c) $ 未塔であり、$ N_n $ が平均 0、分散 1 の i.i.d. 複素成分を持つ $ n \times n $ ランダム行列 $ M_n = M + N_n $ に対して、最小特異値の鋭い高確率的バウンドを確立する。逆リトルウッド・オフォルド定理やネット構成に依存しない、独創的な組合せ的アプローチを用いて、特異確率が $ O(\exp(-n^c)) $ であることを証明する。これは、多項式的および指数的成長する $ M $ の両方に対して、従来の結果を著しく改善する。さらに、一般複素変数に対する逆リトルウッド・オフォルド理論の数え上げ問題への解法を拡張する。

ABSTRACT

We study the lower tail behavior of the least singular value of an $n imes n$ random matrix $M_n := M+N_n$, where $M$ is a fixed complex matrix with operator norm at most $\exp(n^{c})$ and $N_n$ is a random matrix, each of whose entries is an independent copy of a complex random variable with mean $0$ and variance $1$. Motivated by applications, our focus is on obtaining bounds which hold with extremely high probability, rather than on the least singular value of a typical such matrix. This setting has previously been considered in a series of influential works by Tao and Vu, most notably in connection with the strong circular law, and the smoothed analysis of the condition number, and our results improve upon theirs in two ways: (i) We are able to handle $\|M\| = O(\exp(n^{c}))$, whereas the results of Tao and Vu are applicable only for $M = O( ext{poly(n)})$. (ii) Even for $M = O( ext{poly(n)})$, we are able to extract more refined information -- for instance, our results show that for such $M$, the probability that $M_n$ is singular is $O(\exp(-n^{c}))$, whereas even in the case when $ξ$ is a Bernoulli random variable, the results of Tao and Vu only give a bound of the form $O_{C}(n^{-C})$ for any constant $C>0$. As opposed to all previous works obtaining such bounds with error rate better than $n^{-1}$, our proof makes no use either of the inverse Littlewood--Offord theorems, or of any sophisticated net constructions. Instead, we show how to reduce the problem from the (complex) sphere to (Gaussian) integer vectors, where it is solved directly by utilizing and extending a combinatorial approach to the singularity problem for random discrete matrices, recently developed by Ferber, Luh, Samotij, and the author.

研究の動機と目的

• 任意の固定された $ M $ に対して、$ \|M\| \leq \exp(n^c) $ を満たす $ M_n = M + N_n $ の定量的可逆性バウンドを確立すること。特に、多項式的有界でない $ M $ に対しても同様に有効であること。
• Tao と Vu の結果を改善し、$ M = O(\text{poly}(n)) $ であっても特異確率が指数的に小さい $ O(\exp(-n^c)) $ になるようにすること。これに対して、従来の結果は多項式的サイズにとどまっていた。
• 逆リトルウッド・オフォルド定理や高度なネット構成に依存しない、新しい組合せ的フレームワークを構築すること。
• 逆リトルウッド・オフォルド理論における数え上げ問題を、ラデマッハ分布から一般複素値 i.i.d. 成分へ拡張すること。
• 一般分布に対して直接的かつ構成的証明を提供し、実数および複素数の両設定に適用可能な、ランダム行列の特異確率に関する証明を提示すること。

提案手法

• 複素球からの問題の還元を、新しい還元技術を用いてガウス整数ベクトルへ行う。
• Ferber, Luh, Samotij および著者らが開発した組合せ的フレームワークを用いて、離散ランダム行列の特異確率を分析する。
• 有限体 $ \mathbb{F}_p + i\mathbb{F}_p $ 上の線形方程式の解の数をバウンドするため、三重組 $ (I, (i_j), (\ell_{j,i})) $ における構造的数え上げ法を導入する。
• 解の三重組と整合する $ \bm{a} \in (\mathbb{F}_p + i\mathbb{F}_p)^n $ の系列に関する確率的数え上げ論法を用いる。
• 整合する $ \bm{a} $-ベクトルの数と解の三重組の数のバウンドを適用し、特異確率を制御する集合 $ \bm{B}_{k,s,\geq t}^\alpha(n) $ のサイズに対する上界を導出する。
• Nguyen と Vu の最適逆定理に基づく推定を上回る、一般複素確率変数への逆リトルウッド・オフォルド数え上げ問題の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 任意の固定された $ M $ に対して $ \|M\| \leq \exp(n^c) $ を満たすとき、$ M_n = M + N_n $ の特異確率が $ O(\exp(-n^c)) $ に抑えられるか？ これは多項式的有界の場合を越えて成り立つか？
• RQ2 特異確率の組合せ的アプローチが、逆リトルウッド・オフォルド定理やネット構成に依存せず、依然として最適な尾部バウンドを達成できるか？
• RQ3 一般複素 i.i.d. 変数に対して、$ \mathbb{F}_p + i\mathbb{F}_p $ 上の線形方程式 $ \sum_{i=1}^{2k} \epsilon_i a_{\ell_i} = 0 $ の解の正確な数え上げは何か？
• RQ4 組合せ的メソッドは、複素設定における逆リトルウッド・オフォルド数え上げ問題の最良既知推定をどのように改善するか？
• RQ5 このフレームワークは、$ \eta $ が小さい場合に $ s_n(M_n) \leq \eta $ の最小特異値の鋭いバウンドを高確率で得るために適応可能か？

主な発見

• 本稿は、任意の固定された $ M $ に対して $ \|M\| \leq \exp(n^c) $ を満たすとき、$ \Pr(s_n(M_n) = 0) = O(\exp(-n^c)) $ であることを確立する。これは、Tao と Vu の $ O(n^{-C}) $ バウンドに対して著しく改善されたものである。
• $ M = O(\text{poly}(n)) $ の場合、特異確率が指数的に小さくなるが、Tao と Vu の結果は多項式的サイズにとどまっていた。
• 本手法は逆リトルウッド・オフォルド定理やネット構成に依存せず、整数および有限体上のベクトルに対する直接的組合せ的数え上げに依拠する。
• 逆リトルウッド・オフォルド理論における数え上げ問題の解法が、ラデマッハ分布から一般複素 i.i.d. 変数へ拡張され、Nguyen と Vu の推定を上回る。
• このフレームワークにより、整合する解の三重組の数に対する鋭いバウンドが得られ、特異値の尾部を制御する集合 $ \bm{B}_{k,s,\geq t}^\alpha(n) $ のサイズに対するタイトな上界が得られる。
• 証明により定量的バウンド $ \Pr(s_n(M_n) \leq \eta) \lesssim \sqrt{n}\eta + \exp(-n^c) $ が得られ、これはサブガウス型成分に対して Rudelson–Vershynin が得た最適形と一致するが、今や一般の平均 0、分散 1 の複素数成分に対しても成立する。