 Null space property

The null space property relative to $S$ is $\Vert h_S{\Vert }_1<\Vert h_{S^c}{\Vert }_1$ for every nonzero $h\in \ker A$. It is equivalent to exact basis pursuit recovery of every vector supported in $S$. Sufficiency follows from the triangle inequality; for necessity, compare $-h_S$ and $h_{S^c}$, which have the same image under $A$. Recovery of a single fixed signed vector can hold without this uniform property.