Consider $A\in\mathbb{R}^{m \times N}$ and $b \in \mathbb{R}^m$, with $m<N$. Is it true that the optimization problem $$\min \|x\|_1 \quad \text{s.t.} \quad A x = b,$$ admits an $m$-sparse solution in general? The only result that I've found so far is Theorem 3.1 in [1]. It states that if the solution is unique, then it is also $m$-sparse. ---- [1] S. Foucart, H. Rauhut. A Mathematical introduction to Compressive Sensing