Compressed Sensing Using Binary Matrices of Nearly Optimal Dimensions

• Published in: IEEE transactions on signal processing Vol. 68; pp. 3008 - 3021
• Main Authors: Lotfi, Mahsa, Vidyasagar, Mathukumalli
• Format: Journal Article
• Language: English
• Published: New York IEEE 2020; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Algorithms; array codes; Arrays; Binary codes; binary matrices; Bipartite graph; Compressed sensing; Detection; Lower bounds; Manganese; Matrices (mathematics); Null space; Optimization; Phase measurement; phase transition; Phase transitions; Random variables; Recovery; robust null space property; Robustness; Sparse matrices
• ISSN: 1053-587X; 1941-0476; 1941-0476
• DOI: 10.1109/TSP.2020.2990154

In this paper, we study the problem of compressed sensing using binary measurement matrices and <inline-formula><tex-math notation="LaTeX">\ell _1</tex-math></inline-formula>-norm minimization (basis pursuit) as the recovery algorithm. We derive new upper and lower bounds on the number of measurements to achieve robust sparse recovery with binary matrices. We establish sufficient conditions for a column-regular binary matrix to satisfy the robust null space property (RNSP) and show that the associated sufficient conditions for robust sparse recovery obtained using the RNSP are better by a factor of <inline-formula><tex-math notation="LaTeX">(3 \sqrt{3})/2 \approx 2.6</tex-math></inline-formula> compared to the sufficient conditions obtained using the restricted isometry property (RIP). Next we derive universal lower bounds on the number of measurements that any binary matrix needs to have in order to satisfy the weaker sufficient condition based on the RNSP and show that bipartite graphs of girth six are optimal. Then we display two classes of binary matrices, namely parity check matrices of array codes and Euler squares, which have girth six and are nearly optimal in the sense of almost satisfying the lower bound. In principle, randomly generated Gaussian measurement matrices are "order-optimal." So we compare the phase transition behavior of the basis pursuit formulation using binary array codes and Gaussian matrices and show that (i) there is essentially no difference between the phase transition boundaries in the two cases and (ii) the CPU time of basis pursuit with binary matrices is hundreds of times faster than with Gaussian matrices and the storage requirements are less. Therefore it is suggested that binary matrices are a viable alternative to Gaussian matrices for compressed sensing using basis pursuit.