 The following theorem gives necessary and sufficient condition on the recoverability of a given formula_18-sparse vector in formula_24.The proof of the theorem is a standard one, and the proof supplied here is summarized from Holger Rauhut.formula_25 Let formula_17 be a formula_16 complex matrix.