Abstract-We consider the following expander-based compressive sensing (e-CS) problem: Given Φ ∈ R M ×N (M < N ), which is the adjacency matrix of an expander graph, and a vector y ∈ R M , we seek to find a vector x * with at most knonzero entries such that x * = arg min x 0 ≤k y − Φx 1, whenever it exists (k N ). Such problems are not only nonsmooth, barring naive convexified sparse recovery approaches, but also are NP-Hard in general. To handle the non-smoothness, we provide a saddle-point reformulation of the e-CS problem, and propose a novel approximation scheme, called the gametheoretic approximate matching estimator (GAME) algorithm. We then show that the restricted isometry property of expander matrices in the 1-norm circumvents the intractability of e-CS in the worst case. GAME therefore finds a sparse approximationx to optimal solution such thatWe also propose a convex optimization approach to e-CS based on Nesterov smoothing, and discuss its (dis)advantages.
I. INTRODUCTION Compressive sensing (CS) [1],[2] provides a rigorous foundation for underdetermined linear regression problems by integrating three central tenets: signal sparsity in a known basis, a measurement matrix that stably embeds sparse signals in the 2 -norm, and polynomial sparse recovery algorithms with recovery guarantees. The stable embedding feature in the 2 -norm, also known as the restricted isometry property, dictates the recovery guarantees, the computational as well as the space complexity of the existing recovery algorithms since only dense matrices satisfy it. As regression problems in high-dimensions are currently the modus operandi in image compression, data streaming, medical signal processing, and digital communications, there is a great interest for alternative approaches to reduce storage requirements and computational costs without sacrificing robustness guarantees (c.f., [3]).Expander-based compressive sensing (e-CS) is an emerging alternative, in which the adjacency matrix of an expander graph is used as the measurement matrix. An expander graph is a regular bipartite graph for which every sufficiently small subset of variable nodes has a small number of colliding edges and a significant number of unique neighbors. As the resulting matrices are sparse, e-CS requires less storage, and provides salient computational advantages in recovery. These matrices also satisfy a restricted isometry property for sparse signals in the canonical sparsity basis, albeit in the weaker 1 -norm [3].In the e-CS context, the sparse recovery approaches can be split into two distinct camps with one based on message