Abstract:We establish strong inapproximability for finding the sparsest nonzero vector in a real subspace. We show that it is NP-Hard (under randomized reductions) to approximate the sparsest vector in a subspace within any constant factor (or almost polynomial factors in quasipolynomial time). We recover as a corollary state of the art inapproximability for the shortest vector problem (SVP), a foundational problem in lattice based cryptography. Our proof is surprisingly simple, bypassing even the PCP theorem. We are inspired by the homogenization framework from the inapproximability theory of minimum distance problems (MDC) in integer lattices and error correcting codes. We use a combination of (a) \emph{product testing via tensor codes} and (b) \emph{encoding an assignment as a coset of a random code in higher dimensional space} in order to embed non-homogeneous quadratic equations into the sparsest vector problem. (a) is inspired by Austrin and Khot's simplified proof of hardness of MDC over finite fields, and (b) is inspired by Micciancio's semi-derandomization of hardness of SVP. Our reduction involves the challenge of performing (a) over the reals. We prove that tensoring of the kernel of a +1/-1 random matrix furnishes an adequate product test (while still allowing (b)). The proof exposes a connection to Littlewood-Offord theory and relies on a powerful anticoncentration result of Rudelson and Vershynin. Our main motivation in this work is the development of inapproximability theory for problems over the reals. Analytic variants of sparsest vector have connections to small set expansion, quantum separability and polynomial maximization over convex sets, all of which cause similar barriers to inapproximability. The approach we develop could lead to progress on the hardness of some of these problems.

The Nearest Zero Eigenvector of a Weakly Symmetric Tensor from a Given Point

An Inequality for the Perron Pair of an Irreducible and Symmetric Nonnegative Tensor with Application

The Multivariate Eigenvalues of Symmetric Tensors

Least Non-Zero Singular Value and the Distribution of Eigenvectors of non-Hermitian Random Matrices

Some Bounds for H-eigenpairs and Z-eigenpairs of a Tensor

The multiplicity of eigenvalues of nonnegative weakly irreducible tensors and uniform hypergraphs

Low Rank Symmetric Tensor Approximations

Z-eigenpair Bounds for an Irreducible Nonnegative Tensor

M-tensors and the Positive Definiteness of a Multivariate Form

An algorithm for the spectral radius of weakly essentially irreducible nonnegative tensors

Inapproximability of Sparsest Vector in a Real Subspace

An Efficient GIPM Algorithm for Computing the Smallest V-Singular Value of the Partially Symmetric Tensor

Identifying the Positive Definiteness of Even-Order Weakly Symmetric Tensors Via Z-Eigenvalue Inclusion Sets

On Eigenvector Approximation of Diagonalizable Random Matrices with Random Perturbations: Properties and Applications

The number of singular vector tuples and uniqueness of best rank one approximation of tensors

Sharp Z-Eigenvalue Inclusion Set-Based Method for Testing the Positive Definiteness of Multivariate Homogeneous Forms

On eigenvalues and eigenfunctions of the operators defining multidimensional scaling on some symmetric spaces

Eigenvalue analysis of constrained minimization problem for homogeneous polynomial

Approximate Real Symmetric Tensor Rank

Surrounding the solution of a linear system of equations from all sides