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.

On Obtaining a Minimally-Valued Derangement in a Symmetric Cost Matrix

ON THE FLUCTUATION IN THE RANDOM ASSIGNMENT PROBLEM

The effect of fasting on plasma cyclic adenosine-3', 5'-monophosphate in rheumatoid arthritis.

Analysis Of Max-Min Eigenvalue Of Constrained Linear Combinations Of Symmetric Matrices

Maximizing the Minimum Eigenvalue in Constant Dimension

On the local and global minimizers of the smooth stress function in Euclidean Distance Matrix problems

Smoothed Analysis of the Minimum-Mean Cycle Canceling Algorithm and the Network Simplex Algorithm

Minimizing Computation and Communication Costs of Two-Sided Secure Distributed Matrix Multiplication under Arbitrary Collusion Pattern

On the construction of ultra-light MDS matrices

A $4/3$-Approximation Algorithm for the Minimum $2$-Edge Connected Multisubgraph Problem in the Half-Integral Case

On the Counting of Involutory MDS Matrices

Disconnected Cliques in Derangement Graphs

Average-case matrix discrepancy: satisfiability bounds

Construction of a set of circulant matrix submatrices for faster MDS matrix verification

Sorting of Permutations by Cost-Constrained Transpositions

Near-optimal asymmetric binary matrix partitions

Randomized Algorithms for the On-Line Minimum Matching Problem on Euclidean Space.

Minimum Cost Flow in the CONGEST Model

Optimal Network Design for an On-Demand Transport System

Recovering a Magnitude-Symmetric Matrix from its Principal Minors

Minimum Scan Cover with Angular Transition Costs