Online performance guarantees for sparse recovery

A K*-sparse vector x* ∈ R
^N
produces measurements via linear dimensionality reduction as u = Φx* +n, where Φ ∈ R
^M×N
(M <; N), and n ∈ R
^M
consists of independent and identically distributed, zero mean Gaussian entries with variance σ
²
. An algorithm, after its execution, determines a vector x̃ that has K-nonzero entries, and satisfies ||u - Φx̃|| ≤ ϵ. How far can x̃ be from x*? When the measurement matrix Φ provides stable embedding to 2K-sparse signals (the so-called restricted isometry property), they must be very close. This paper therefore establishes worst-case bounds to characterize the distance ||x̃- x*|| based on the online meta information. These bounds improve the pre-run algorithmic recovery guarantees, and are quite useful in exploring various data error and solution sparsity trade-offs. We also evaluate the performance of some sparse recovery algorithms in the context of our bound.