On the distance to low-rank matrices in the maximum norm
Stanislav Budzinskiy
TL;DR
This work studies how close a large matrix with small spectral norm can be to a rank-$r$ matrix in the max norm, refining and correcting prior max-norm bounds and deriving new, coherence- and spikiness-dependent estimates. The authors establish two main results: a Johnson–Lindenstrauss–based bound showing $\|X-Y\|_{\max} \le \frac{\varepsilon}{3}ig(\frac{k}{m}\mu_{\mathrm{col}}+\frac{k}{n}\mu_{\mathrm{row}}+\frac{\gamma_X}{\sqrt{mn}}\big)\|X\|_2$ and a tighter Hanson–Wright–based bound $\|X-Y\|_{\max} \le \varepsilon\frac{k}{\sqrt{mn}}\sqrt{\mu_{\mathrm{col}}\mu_{\mathrm{row}}}\,\|X\|_2$, under incoherence and low spikiness assumptions. A corrected version of the previous result clarifies the rank dependence, and the paper together with numerical experiments using alternating projections demonstrates the practical tightness and phase-transition behavior of these bounds. The numerical study across identity, random, banded, and orthogonally factorized matrices reveals how the distance scales with rank, spectral norm, and matrix class, informing both theory and algorithm design for max-norm low-rank approximation. Overall, the results delineate when and how strong max-norm low-rank approximations are attainable and quantify the pivotal role of spectral norm and coherence in this non-unitarily invariant setting.
Abstract
Every sufficiently big matrix with small spectral norm has a nearby low-rank matrix if the distance is measured in the maximum norm (Udell & Townsend, SIAM J Math Data Sci, 2019). We use the Hanson--Wright inequality to improve the estimate of the distance for matrices with incoherent column and row spaces. In numerical experiments with several classes of matrices we study how well the theoretical upper bound describes the approximation errors achieved with the method of alternating projections.
