StoqMA(2) contains NP via Õ(√n)-qubit unentangled stoquastic proofs (nearly perfect completeness) and is contained in EXP, with ETH-optimal parameters matching a refined BKS Sum-of-Squares bound.
and Naor, A
3 Pith papers cite this work. Polarity classification is still indexing.
abstract
We present several polynomial- and quasipolynomial-time approximation schemes for a large class of generalized operator norms. Special cases include the $2\rightarrow q$ norm of matrices for $q>2$, the support function of the set of separable quantum states, finding the least noisy output of entanglement-breaking quantum channels, and approximating the injective tensor norm for a map between two Banach spaces whose factorization norm through $\ell_1^n$ is bounded. These reproduce and in some cases improve upon the performance of previous algorithms by Brand\~ao-Christandl-Yard and followup work, which were based on the Sum-of-Squares hierarchy and whose analysis used techniques from quantum information such as the monogamy principle of entanglement. Our algorithms, by contrast, are based on brute force enumeration over carefully chosen covering nets. These have the advantage of using less memory, having much simpler proofs and giving new geometric insights into the problem. Net-based algorithms for similar problems were also presented by Shi-Wu and Barak-Kelner-Steurer, but in each case with a run-time that is exponential in the rank of some matrix. We achieve polynomial or quasipolynomial runtimes by using the much smaller nets that exist in $\ell_1$ spaces. This principle has been used in learning theory, where it is known as Maurey's empirical method.
years
2026 3representative citing papers
A framework using reverse detection-estimation gaps proves that low-degree algorithms incur at least p^{d/4-1/2}/polylog(p) distortion when approximating the spectral norm of order-d symmetric tensors, matching upper bounds up to logs under the low-degree conjecture.
citing papers explorer
-
The power of unentanglement without destructive interference
StoqMA(2) contains NP via Õ(√n)-qubit unentangled stoquastic proofs (nearly perfect completeness) and is contained in EXP, with ETH-optimal parameters matching a refined BKS Sum-of-Squares bound.
-
A Framework for Computational Lower Bounds in Nontrivial Norm Approximation
A framework using reverse detection-estimation gaps proves that low-degree algorithms incur at least p^{d/4-1/2}/polylog(p) distortion when approximating the spectral norm of order-d symmetric tensors, matching upper bounds up to logs under the low-degree conjecture.
- Algorithms with Polynomially-Improved Approximation Factors for the $2 \rightarrow q$ Norm, and Applications