[論文レビュー] Singularity of Bernoulli matrices in the sparse regime $pn = O(\log(n))$

Han Huang|arXiv (Cornell University)|Sep 29, 2020

Random Matrices and Applications参考文献 19被引用数 4

ひとこと要約

本稿は、$ pn = O(\log n) $ のとき、スパースなベルヌーイ行列の特異性が一意的であることを確立し、特異性がゼロ行またはゼロ列の存在と漸近的に同値であることを証明する。確率論的および組合せ的技法を用いて、リトヴァク＝ティコノロフの予想をスパースな領域へ拡張し、$ p $ が $ n $ とともに対数的に減少しても、特異性の確率がゼロ行／列に支配されることを示す。

ABSTRACT

Consider an $n imes n$ random matrix $A_n$ with i.i.d Bernoulli($p$) entries. In a recent result of Litvak-Tikhomirov, they proved the conjecture $$ \mathbb{P}\{\mbox{$A_n$ is singular}\}=(1+o_n(1)) \mathbb{P}\big\{\mbox{either a row or a column of $A_n$ equals zero}\big\}. $$ for $ C\frac{\log(n)}{n} \le p \le \frac{1}{C}$ for some large constant $C>1$. In this paper, we setted this conjecture in the sparse regime when $p$ satisfies $$ 1 \le \liminf_{n ightarrow \infty} \frac{pn}{\log(n)} \le \limsup_{n ightarrow \infty} \frac{pn}{\log(n)} < + \infty. $$

研究の動機と目的

• スパースな領域、すなわち $ pn = O(\log n) $ のとき、ベルヌーイ行列の特異性に関するリトヴァク＝ティコノロフの予想を拡張すること。
• スパースな設定において、$ A_n $ の特異性が依然としてゼロ行またはゼロ列の存在によって主に駆動されているかどうかを特定すること。
• 密度の高い領域を超えて、$ p $ が $ n $ とともに対数的に減少する際の特異性確率の漸近的挙動を分析すること。
• 特異性に寄与する主な要因がゼロ行またはゼロ列であることを確立すること。特にスパースな領域においても同様に成り立つこと。

提案手法

• $ pn = O(\log n) $ のとき、i.i.d. ベルヌーイ($ p $) 成分を持つ $ n \times n $ ランダム行列が特異である確率を分析する。
• 構造的依存関係（ゼロ行／列以外）の寄与を制御するため、確率的バウンドと組合せ的推定を用いる。
• 2次モーメント法とモーメント推定を用いて、特異性の確率がゼロ行またはゼロ列の存在確率と漸近的に同値であることを示す。
• スパース領域（$ p \to 0 $ となる $ n \to \infty $）を扱うために、二項確率変数の集中不等式と尾部バウンドを適用する。
• $ 1 \le \liminf \frac{pn}{\log n} \le \limsup \frac{pn}{\log n} < \infty $ の領域を考察し、$ p $ が十分にゆっくり減少することにより非自明な構造が維持されることを保証する。
• エントリの対称性と交換可能性を活用し、特異性のようなレアイベントの解析を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 スパース領域（$ pn = O(\log n) $）において、ベルヌーイ行列の特異性は依然としてゼロ行またはゼロ列に起因しているか？
• RQ2 $ p $ が $ n $ とともに対数的に減少するとき、リトヴァク＝ティコノロフの予想は成り立つか？
• RQ3 スパースなベルヌーイ行列が特異である確率の漸近的挙動は何か？
• RQ4 スパース領域において、ゼロでない行／列の構成が特異性に顕著な寄与をもたらすことがあるか？
• RQ5 $ pn = O(\log n) $ の閾値は、構造的依存関係が特異性を引き起こす可能性にどのように影響するか？

主な発見

• $ pn = O(\log n) $ を満たす $ n \times n $ ベルヌーイ行列が特異である確率は、少なくとも1つのゼロ行またはゼロ列を含む確率と漸近的に同値である。
• スパース領域において、ゼロ行／列以外の依存関係による特異性への寄与は無視できるほど小さく、ゼロ行／列の支配的役割が確認された。
• 本結果により、リトヴァク＝ティコノロフの予想がスパース領域へ拡張され、$ p $ の減少に対してもその頑健性が裏付けられた。
• 解析により、与えられたスパース条件のもとで $ \mathbb{P}(\text{特異性}) = (1 + o_n(1)) \cdot \mathbb{P}(\text{ゼロ行またはゼロ列}) $ が成り立つことが確認された。
• 証明は、高階の依存関係を制御し、それらの確率がゼロ行／列の事象よりも速く減少することを示すことに依存している。
• 領域 $ 1 \le \liminf \frac{pn}{\log n} \le \limsup \frac{pn}{\log n} < \infty $ は、特異性におけるゼロ行／列の支配的役割を維持するのに十分である。