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.

Privacy-Preserving Distributed Algorithm for Sparse Vector Sum

Distributed Matrix-Vector Multiplication with Sparsity and Privacy Guarantees

Distributed Algorithms that Solve Boolean Equations with Local and Differential Privacies

Sparsity and Privacy in Secret Sharing: A Fundamental Trade-Off

Distributed Privacy-Preserving Iterative Summation Protocols

Privacy-Preserving Distributed Online Optimization Over Unbalanced Digraphs via Subgradient Rescaling

Sparse and Private Distributed Matrix Multiplication with Straggler Tolerance

Hiding Numerical Vectors in Local Private and Shuffled Messages

Cryptography-Based Privacy-Preserving Method for Distributed Optimization over Time-Varying Directed Graphs with Enhanced Efficiency

Preserving Sparsity and Privacy in Straggler-Resilient Distributed Matrix Computations

Virtual Transmission Method, A New Distributed Algorithm to Solve Sparse Linear System

Distributed Multi-View Sparse Vector Recovery

Distributed Sparse Total Least-Squares over Networks

Virtual Transmission Method, A New Distributed Algorithm to Solve Sparse Linear Systems

Optimal Sparsity-Sensitive Bounds for Distributed Mean Estimation.

Efficient Secure Primitive for Privacy Preserving Distributed Computations.

Low-Bandwidth Matrix Multiplication: Faster Algorithms and More General Forms of Sparsity

Privacy-preserving Data Aggregation Without Secure Channel: Multivariate Polynomial Evaluation

Inapproximability of Sparsest Vector in a Real Subspace

Distributed-Memory Parallel Algorithms for Sparse Matrix and Sparse Tall-and-Skinny Matrix Multiplication