New Tools for Smoothed Analysis: Least Singular Value Bounds for Random Matrices with Dependent Entries

Aditya Bhaskara,Eric Evert,Vaidehi Srinivas,Aravindan Vijayaraghavan
2024-05-03
Abstract:We develop new techniques for proving lower bounds on the least singular value of random matrices with limited randomness. The matrices we consider have entries that are given by polynomials of a few underlying base random variables. This setting captures a core technical challenge for obtaining smoothed analysis guarantees in many algorithmic settings. Least singular value bounds often involve showing strong anti-concentration inequalities that are intricate and much less understood compared to concentration (or large deviation) bounds.
Data Structures and Algorithms
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the lower bound of the minimum singular value of random matrices, especially in the case where there are dependencies among matrix entries. Specifically, the paper focuses on how to prove the lower bound of the minimum singular value of random matrices with limited randomness. The entries of such matrices are given by polynomials of some basic random variables. This challenge is a core technical problem when obtaining smoothed - analysis guarantees in many algorithmic settings. Bounds on the minimum singular value usually involve showing strong anti - concentration inequalities, which are more complex and less understood than concentration (or large - deviation) bounds. The main contributions of the paper lie in developing new techniques to prove the lower bound of the minimum singular value of such random matrices, in particular: 1. **Hierarchical ε - net technique**: A general technique is introduced to prove the lower bound of the minimum singular value by constructing a hierarchical ε - net. 2. **New statements for high - order lifted matrices**: A new statement about the minimum singular value is proposed for reasoning about the high - order lifting of smoothed matrices and their behavior under the action of linear operators. Through these tools, the paper not only simplifies the proofs of existing smoothed - analysis results but also can handle a wider family of random matrices, thus providing smoothed - analysis guarantees in several previously unsolved settings. These applications include: - **Power - sum decomposition**: New smoothed - analysis guarantees are provided, while previous literature could only handle fully random instances or only show non - robust general guarantees. - **Subspace clustering**: The smoothed - analysis guarantees of the subspace clustering algorithm are proved. - **Certifying quantum entanglement**: A method for certifying subspace - robust entanglement is provided. - **Certifying distance variants**: The distance between linear subspaces and algebraic varieties is proved. In summary, the paper aims to solve the smoothed - analysis problems commonly seen in high - dimensional statistical estimation and algebraic algorithms by developing new mathematical tools and techniques, especially those complex problems involving the lower bound of the minimum singular value of random matrices.