Title
On the Certification of the Restricted Isometry Property
Abstract
Compressed sensing is a technique for finding sparse solutions to underdetermined linear systems. This technique relies on properties of the sensing matrix such as the restricted isometry property. Sensing matrices that satisfy the restricted isometry property with optimal parameters are mainly obtained via probabilistic arguments. Given any matrix, deciding whether it satisfies the restricted isometry property is a non-trivial computational problem. In this paper, we give reductions from dense subgraph problems to the certification of the restricted isometry property. This gives evidence that certifying the restricted isometry property is unlikely to be feasible in polynomial-time. Moreover, on the positive side we propose an improvement on the brute-force enumeration algorithm for checking the restricted isometry property. Another contribution of independent interest is a spectral algorithm for certifying that a random graph does not contain any dense k-subgraph. This "skewed spectral algorithm" performs better than the basic spectral algorithm in a certain range of parameters.
Year
Venue
Keywords
2011
Clinical Orthopaedics and Related Research
linear system,computational complexity,discrete mathematics,satisfiability,compressed sensing,polynomial time,random graph,restricted isometry property
Field
DocType
Volume
Discrete mathematics,Combinatorics,Computational problem,Random graph,Linear system,Underdetermined system,Matrix (mathematics),Isometry,Mathematics,Restricted isometry property,Compressed sensing
Journal
abs/1103.4
Citations 
PageRank 
References 
7
0.83
11
Authors
2
Name
Order
Citations
PageRank
Pascal Koiran1919113.85
Anastasios Zouzias219314.06