Abstract:We study the computational complexity of approximating the 2-to-q norm of linear operators (defined as |A|2->q = maxv≠ 0|Av|q/|v|2) for q > 2, as well as connections between this question and issues arising in quantum information theory and the study of Khot's Unique Games Conjecture (UGC). We show the following: For any constant even integer q ≥ 4, a graph G is a small-set expander if and only if the projector into the span of the top eigenvectors of G's adjacency matrix has bounded 2->q norm. As a corollary, a good approximation to the 2->q norm will refute the Small-Set Expansion Conjecture --- a close variant of the UGC. We also show that such a good approximation can be obtained in exp(n2/q) time, thus obtaining a different proof of the known subexponential algorithm for Small-Set-Expansion. Constant rounds of the "Sum of Squares" semidefinite programing hierarchy certify an upper bound on the 2->4 norm of the projector to low degree polynomials over the Boolean cube, as well certify the unsatisfiability of the "noisy cube" and "short code" based instances of Unique-Games considered by prior works. This improves on the previous upper bound of exp(logO(1) n) rounds (for the "short code"), as well as separates the "Sum of Squares"/"Lasserre" hierarchy from weaker hierarchies that were known to require ω(1) rounds. We show reductions between computing the 2->4 norm and computing the injective tensor norm of a tensor, a problem with connections to quantum information theory. Three corollaries are: (i) the 2->4 norm is NP-hard to approximate to precision inverse-polynomial in the dimension, (ii) the 2->4 norm does not have a good approximation (in the sense above) unless 3-SAT can be solved in time exp(√n poly log(n)), and (iii) known algorithms for the quantum separability problem imply a non-trivial additive approximation for the 2->4 norm.

Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Graph Isomorphism Problem

Sums of squares representations on singular loci

An exact duality theory for semidefinite programming based on sums of squares

The ellipsoid method redux

Ellipsoid Fitting Up to a Constant

Approximability and proof complexity

Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming

Verifying feasibility of degenerate semidefinite programs

Convex Discrete Optimization

An Improved Analysis of Semidefinite Approximation Bound for Nonconvex Nonhomogeneous Quadratic Optimization with Ellipsoid Constraints

On Equivalence and Computational Efficiency of the Major Relaxation Methods for Minimum Ellipsoid Containing the Intersection of Ellipsoids

Polyak's convexity theorem, Yuan's lemma and S-lemma: extensions and applications

Faster SDP hierarchy solvers for local rounding algorithms

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

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

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

Improving Efficiency and Scalability of Sum of Squares Optimization: Recent Advances and Limitations

On Equivalence of Major Relaxation Methods for Minimum Ellipsoid Covering Intersection of Ellipsoids

Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators

Separation of congruence intervals and implications

Detecting Copositivity of a Symmetric Matrix by an Adaptive Ellipsoid-Based Approximation Scheme.