[论文解读] 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 $ 对数衰减时，奇异概率的渐近行为，超越稠密情形。
• 确立在稀疏情形下，奇异性的主要贡献仍来自全零行或全零列。

提出的方法

• 分析一个 $ n \times n $ 随机矩阵（其独立同分布的伯努利($ p $)条目）奇异的概率。
• 采用概率界与组合估计，控制除全零行/列外的结构化依赖关系的贡献。
• 使用二阶矩法与矩估计，证明奇异性的概率渐近等价于存在全零行或全零列的概率。
• 应用集中不等式与二项分布的尾部界，处理当 $ 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) $ 如何影响结构依赖关系导致奇异性的可能性？

主要发现

• 当 $ p $ 满足 $ pn = O(\log n) $ 时，$ n \times n $ 伯努利矩阵奇异的概率，渐近等价于其至少存在一行或一列全为零的概率。
• 在稀疏情形下，非全零行/列依赖关系对奇异性的贡献可忽略不计，确认了全零行/列的主导作用。
• 该结果将利特瓦克-蒂科米罗夫猜想推广至稀疏情形，验证了其在 $ 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 $ 时，足以维持全零行/列在奇异性中的主导地位。