Indexed metadata

On the smallest singular value of symmetric random matrices

Vishesh Jain, Ashwin Sah, Mehtaab Sawhney

Source record

Source: Crossref

Published: Nov 5, 2021

DOI: 10.1017/s0963548321000511

Open original source ↗

Source abstract

Abstract We show that for an n×nn\times n random symmetric matrix AnA_n , whose entries on and above the diagonal are independent copies of a sub-Gaussian random variable ξ\xi with mean 0 and variance 1, P[sn(An)≤ϵ/n]≤Oξ(ϵ1/8+exp⁡( ⁣−Ωξ(n1/2)))for all ϵ≥0.\begin{equation*}\mathbb{P}[s_n(A_n) \le \epsilon/\sqrt{n}] \le O_{\xi}(\epsilon^{1/8} + \exp(\!-\Omega_{\xi}(n^{1/2}))) \quad \text{for all } \epsilon \ge 0.\end{equation*} This improves a result of Vershynin, who obtained such a bound with n1/2n^{1/2} replaced by ncn^{c} for a small constant c , and 1/81/8 replaced by (1/8)−η(1/8) - \eta (with implicit constants also depending on η>0\eta > 0 ). Furthermore, when ξ\xi is a Rademacher random variable, we prove that P[sn(An)≤ϵ/n]≤O(ϵ1/8+exp⁡( ⁣−Ω(( ⁣log⁡n)1/4n1/2)))for all ϵ≥0.\begin{equation*}\mathbb{P}[s_n(A_n) \le \epsilon/\sqrt{n}] \le O(\epsilon^{1/8} + \exp(\!-\Omega((\!\log{n})^{1/4}n^{1/2}))) \quad \text{for all } \epsilon \ge 0.\end{equation*} The special case ϵ=0\epsilon = 0 improves a recent result of Campos, Mattos, Morris, and Morrison, which showed that P[sn(An)=0]≤O(exp⁡( ⁣−Ω(n1/2))).\mathbb{P}[s_n(A_n) = 0] \le O(\exp(\!-\Omega(n^{1/2}))). Notably, in a departure from the previous two best bounds on the probability of singularity of symmetric matrices, which had relied on somewhat specialized and involved combinatorial techniques, our methods fall squarely within the broad geometric framework pioneered by Rudelson and Vershynin, and suggest the possibility of a principled geometric approach to the study of the singular spectrum of symmetric random matrices. The main innovations in our work are new notions of arithmetic structure – the Median Regularized Least Common Denominator (MRLCD) and the Median Threshold, which are natural refinements of the Regularized Least Common Denominator (RLCD)introduced by Vershynin, and should be more generally useful in contexts where one needs to combine anticoncentration information of different parts of a vector.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.