Abstract:Given a sequence of $d \times d$ symmetric matrices $\{\mathbf{W}_i\}_{i=1}^n$, and a margin $\Delta > 0$, we investigate whether it is possible to find signs $(\epsilon_1, \dots, \epsilon_n) \in \{\pm 1\}^n$ such that the operator norm of the signed sum satisfies $\|\sum_{i=1}^n \epsilon_i \mathbf{W}_i\|_\mathrm{op} \leq \Delta$. Kunisky and Zhang (2023) recently introduced a random version of this problem, where the matrices $\{\mathbf{W}_i\}_{i=1}^n$ are drawn from the Gaussian orthogonal ensemble. This model can be seen as a random variant of the celebrated Matrix Spencer conjecture and as a matrix-valued analog of the symmetric binary perceptron in statistical physics. In this work, we establish a satisfiability transition in this problem as $n, d \to \infty$ with $n / d^2 \to \tau > 0$. Our contributions are twofold. First, we prove that the expected number of solutions with margin $\Delta=\kappa \sqrt{n}$ has a sharp threshold at a critical $\tau_1(\kappa)$: for $\tau < \tau_1(\kappa)$ the problem is typically unsatisfiable, while for $\tau > \tau_1(\kappa)$ the average number of solutions becomes exponentially large. Second, combining a second-moment method with recent results from Altschuler (2023) on margin concentration in perceptron-type problems, we identify a second threshold $\tau_2(\kappa)$, such that for $\tau>\tau_2(\kappa)$ the problem admits solutions with high probability. In particular, we establish for the first time that a system of $n = \Theta(d^2)$ Gaussian random matrices can be balanced so that the spectrum of the resulting matrix macroscopically shrinks compared to the typical semicircle law. Our proofs rely on deriving concentration inequalities and large deviation properties for the law of correlated Gaussian matrices under spectral norm constraints, extending results in the literature and offering insights of independent interest.

Noise sensitivity for the top eigenvector of a sparse random matrix

Low Rank Matrix Recovery with Adversarial Sparse Noise

Spectral radii of sparse random matrices

Eigenvector decorrelation for random matrices

Local law and Tracy–Widom limit for sparse random matrices

The least singular value of a random symmetric matrix

Edge universality of sparse Erdős-Rényi digraphs

Noise Sensitivity of the Minimum Spanning Tree of the Complete Graph

Optimal Lower Bound on Eigenvector Overlaps for non-Hermitian Random Matrices

Large deviations of the largest eigenvalue of supercritical sparse Wigner matrices

The Exact Rank of Sparse Random Graphs

On spectral outliers of inhomogeneous symmetric random matrices

Local law and Tracy-Widom limit for sparse sample covariance matrices

Coherence-free Entrywise Estimation of Eigenvectors in Low-rank Signal-plus-noise Matrix Models

Edge spectra of Gaussian random symmetric matrices with correlated entries

Average-case matrix discrepancy: satisfiability bounds

On Eigenvector Approximation of Diagonalizable Random Matrices with Random Perturbations: Properties and Applications

Statistical and Computational Limits for Sparse Matrix Detection

Edge statistics of large dimensional deformed rectangular matrices

Singular Subspace Perturbation Bounds via Rectangular Random Matrix Diffusions

Small ball probability for multiple singular values of symmetric random matrices