An approximate sparse recovery system in ell_1 norm formally consists of
parameters N, k, epsilon an m-by-N measurement matrix, Phi, and a decoding
algorithm, D. Given a vector, x, where x_k denotes the optimal k-term
approximation to x, the system approximates x by hat_x = D(Phi.x), which must
satisfy
||hat_x - x||_1 <= (1+epsilon)||x - x_k||_1.
Among the goals in designing such systems are minimizing m and the runtime of
D. We consider the "forall" model, in which a single matrix Phi is used for all
signals x.
An approximate sparse recovery system consists of parameters $k,N$, an
$m$-by-$N$ measurement matrix, $\Phi$, and a decoding algorithm, $\mathcal{D}$.
Given a vector, $x$, the system approximates $x$ by $\widehat x
=\mathcal{D}(\Phi x)$, which must satisfy $\| \widehat x - x\|_2\le C \|x -
x_k\|_2$, where $x_k$ denotes the optimal $k$-term approximation to $x$. For
each vector $x$, the system must succeed with probability at least 3/4. Among
the goals in designing such systems are minimizing the number $m$ of
measurements and the runtime of the decoding algorithm, $\mathcal{D}$.