[論文レビュー] The smallest singular value of random combinatorial matrices

Tuan Tran|arXiv (Cornell University)|Jul 13, 2020

Random Matrices and Applications参考文献 58被引用数 6

ひとこと要約

本論文は、i.i.d. な行がそれぞれちょうど $ n/2 $ 個のゼロを持つ $ n \times n $ 組合せ的行列に対する、特異確率の最初の指数的バウンドを確立する。著者らは、新しい組合せ的最小公倍数（CLCD）を導入し、ランダムな置換下での線形形式の小球確率不等式を証明することで、鋭い尾部バウンドを導出する：$ \mathbb{P}(s_n(Q_n) \leq \varepsilon / \sqrt{n}) \leq C\varepsilon + 2e^{-cn} $。これは定数の意味で最適であり、$ \mathbb{P}(Q_n \text{ が特異}) \leq 2e^{-cn} $ を示唆する。

ABSTRACT

Let $Q_n$ be a random $n imes n$ matrix with entries in $\{0,1\}$ whose rows are independent vectors of exactly $n/2$ zero components. We show that the smallest singular value $s_n(Q_n)$ of $Q_n$ satisfies \[ \mathbb{P}\Big\{s_n(Q_n)\le \frac{\varepsilon}{\sqrt{n}}\Big\} \le C\varepsilon + 2 e^{-cn} \quad \forall \varepsilon \ge 0, \] which is optimal up to the constants $C,c>0$. This improves on earlier results of Ferber, Jain, Luh and Samotij, as well as Jain. In particular, for $\varepsilon=0$, we obtain the first exponential bound in dimension for the singularity probability \[ \mathbb{P}\big\{Q_n \,\, ext{is singular}\big\} \le 2 e^{-cn}.\] To overcome the lack of independence between entries of $Q_n$, we introduce an arithmetic-combinatorial invariant of a pair of vectors, which we call a Combinatorial Least Common Denominator (CLCD). We prove a small ball probability inequality for the combinatorial statistic $\sum_{i=1}^{n}a_iv_{σ(i)}$ in terms of the CLCD of the pair $(a,v)$, where $σ$ is a uniformly random permutation of $\{1,2,\ldots,n\}$ and $a:=(a_1,\ldots,a_n), v:=(v_1,\ldots,v_n)$ are real vectors. This inequality allows us to derive strong anti-concentration properties for the distance between a fixed row of $Q_n$ and the linear space spanned by the remaining rows, and prove the main result.

研究の動機と目的

• 各行に正確に $ n/2 $ 個のゼロを持つ $ n \times n $ 組合せ的行列の最小特異値に関する鋭い尾部バウンドを確立すること。
• 長年の予想である、特異確率が指数的に減少することを解消し、従来の多項式的および指数的未満のバウンドを改善すること。
• このような行列における要素の依存性の課題を克服するため、組合せ的・算術的不変量としての新しいもの：組合せ的最小公倍数（CLCD）を導入すること。
• ランダムな置換 $ \sigma $ に対して、線形形式 $ \sum_{i=1}^n a_i v_{\sigma(i)} $ の小球確率不等式を、$ (\bm{a}, \bm{v}) $ のCLCDに基づいて確立すること。
• この不等式を用いて、固定された行が他の行の線形包への距離を制御し、最小特異値に関する主結果を証明すること。

提案手法

• 実ベクトルのペア $ (\bm{a}, \bm{v}) $ における算術的構造を測る新しい不変量として、組合せ的最小公倍数（CLCD）を導入し、それが有理数の組合せによる近似の程度を定量化すること。
• 小球確率不等式を証明：$ \mathbb{P}( |\sum_{i=1}^n a_i v_{\sigma(i)} - x| \leq \varepsilon ) \lesssim \varepsilon / \mathrm{CLCD} + e^{-c \cdot \mathrm{CLCD}^2} $、ここで $ \sigma $ は一様ランダムな置換である。
• CLCDに基づく小球不等式を用いて、$ Q_n $ の固定された行と残りの行の線形包との距離に対する反集中バウンドを導出する。
• これらの反集中推定を用いて、最小特異値 $ s_n(Q_n) $ が小さい確率を制御し、主な尾部バウンドに至る。
• すべての $ \varepsilon \geq 0 $ に対して、$ \mathbb{P}(s_n(Q_n) \leq \varepsilon / \sqrt{n}) \leq C\varepsilon + 2e^{-cn} $ というバウンドを確立し、明示的な定数 $ C, c > 0 $ を得る。
• 行和が $ d $ で $ \min(d, n-d) \gtrsim n $ であるより一般的な場合にも結果を拡張するが、本論文は $ d = n/2 $ に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 各行に正確に $ n/2 $ 個のゼロを持つ $ n \times n $ 0-1行列の最小特異値に対する最適な小球確率バウンドは何か？
• RQ2 要素間に強い依存性があるにもかかわらず、このような組合せ的行列に対して特異確率の指数的バウンドを確立できるか？
• RQ3 置換によって生じる依存性の下で、反集中を可能にするために、ベクトルの構造を効果的に捉える算術的・組合せ的不変量は何か？
• RQ4 逆リトルウッド＝オフォルド理論を、i.i.d. 係数ではなくランダムな置換下の線形形式に適応するにはどうすればよいか？
• RQ5 CLCDフレームワークは、交換可能または依存的なランダム行列の他のモデルへどの程度拡張可能か？

主な発見

• 本論文は、特異確率に対する最初の指数的バウンドを確立する：$ \mathbb{P}(Q_n \text{ が特異}) \leq 2e^{-cn} $（ある $ c > 0 $ に対して）、これは重要な未解決問題を解消する。
• 主な尾部バウンド $ \mathbb{P}(s_n(Q_n) \leq \varepsilon / \sqrt{n}) \leq C\varepsilon + 2e^{-cn} $ は定数 $ C, c > 0 $ の意味で最適であり、i.i.d. ガウス行列の挙動と一致する。
• 組合せ的最小公倍数（CLCD）が、置換下でのベクトルペアの算術的構造を捉える新しい不変量として導入され、これにより新たな反集中結果が得られる。
• ランダムな置換 $ \sigma $ に対して、線形形式 $ \sum_{i=1}^n a_i v_{\sigma(i)} $ の小球確率不等式が $ (\bm{a}, \bm{v}) $ のCLCDに基づいて証明され、これが証明の中心的役割を果たす。
• 従来のバウンドを改善する：ジャインの $ \mathbb{P}(s_n(Q_n) \leq \varepsilon / n^2) \leq C\varepsilon + 2e^{-n^{0.0001}} $ およびフェルバーらの $ \mathbb{P}(s_n(Q_n) \leq n^{-D}) \leq n^{-C} $ よりも、指数的減衰を達成する。
• フレームワークは、$ \min(d, n-d) \gtrsim n $ となる $ d $ 個の1を有する各行を持つ一般ケースへも拡張可能であり、$ d = n/2 $ の場合を越えて広範な適用性を示唆する。