On the Recovery of an Integer Vector from Linear Measurements

Abstract

Let 1 ≤ 2l ≤ m < d. A vector x ∈ ℤ^d is said to be l-sparse if it has at most l nonzero coordinates. Let an m × d matrix A be given. The problem of the recovery of an l-sparse vector x ∈ Z^d from the vector y = Ax ∈ R^m is considered. In the case m = 2l, we obtain necessary conditions and sufficient conditions on the numbers m, d, and k ensuring the existence of an integer matrix A all of whose elements do not exceed k in absolute value which makes it possible to reconstruct l-sparse vectors in ℤ^d. For a fixed m, these conditions on d differ only by a logarithmic factor depending on k.