Abstract:For an $n\times n$ matrix $A_n$, the $r\to p$ operator norm is defined as $$\|A_n\|_{r\to p}:= \sup_{\mathbf{x}\in\mathbb{R}^n:\|\mathbf{x} \|_r\leq 1 } \|A_n\mathbf{x} \|_p\quad\text{for}\quad r,p\geq 1.$$ For different choices of $r$ and $p$, this norm corresponds to key quantities that arise in diverse applications including matrix condition number estimation, clustering of data, and construction of oblivious routing schemes in transportation networks. This article considers $r\to p$ norms of symmetric random matrices with nonnegative entries, including adjacency matrices of Erdős-Rényi random graphs, matrices with positive sub-Gaussian entries, and certain sparse matrices. For $1<p\leq r<\infty$, the asymptotic normality, as $n\to\infty$, of the appropriately centered and scaled norm $\|A_n\|_{r\to p}$ is established. When $p \geq 2$, this is shown to imply asymptotic normality of the solution to the $\ell_p$ quadratic maximization problem, also known as the $\ell_p$ Grothendieck problem. Furthermore, a sharp $\ell_\infty$-approximation bound for the unique maximizing vector in the definition of $\|A_n\|_{r\to p}$ is obtained, and may be viewed as an $\ell_\infty$-stability result of the maximizer under random perturbations of the matrix with mean entries. This result is in fact shown to hold for a broad class of deterministic sequences of matrices having certain asymptotic expansion properties. The results obtained can be viewed as a generalization of the seminal results of Füredi and Komlós (1981) on asymptotic normality of the largest singular value of a class of symmetric random matrices. In the general case with $1<p\leq r< \infty$, spectral methods are no longer applicable, and so a new approach is developed involving a refined convergence analysis of a nonlinear power method and a perturbation bound on the maximizing vector, which may be of independent interest.

The link between $1$-norm approximation and effective Positivstellensatze for the hypercube

Sum-of-squares hierarchies for polynomial optimization and the Christoffel-Darboux kernel

Positivity-preserving extensions of sum-of-squares pseudomoments over the hypercube

On the complexity of matrix Putinar's Positivstellensatz

On Łojasiewicz Inequalities and the Effective Putinar's Positivstellensatz

Hypercontractivity, Sum-of-squares Proofs, and Their Applications

Specialized effective Positivstellensätze for improved convergence rates of the moment-SOS hierarchy

Convergence rates for sums-of-squares hierarchies with correlative sparsity

Convex hulls of monomial curves, and a sparse positivstellensatz

On $r$-to-$p$ norms of random matrices with nonnegative entries: Asymptotic normality and $\ell_\infty$-bounds for the maximizer

Deep sections of the hypercube

Schatten $p$-norm and numerical radius inequalities with applications

Norm Inequalities for Hilbert space operators with Applications

Finite convergence of sum-of-squares hierarchies for the stability number of a graph

A Pólya criterion for (strict) positive definiteness on the sphere

A hierarchy of eigencomputations for polynomial optimization on the sphere

About almost covering subsets of the hypercube

The polarization hierarchy for polynomial optimization over convex bodies, with applications to nonnegative matrix rank

Discrete logarithmic Sobolev inequalities in Banach spaces

Nonconvergence of a sum-of-squares hierarchy for global polynomial optimization based on push-forward measures

Reducing non-negativity over general semialgebraic sets to non-negativity over simple sets