 Nullspace 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.

The Nullspace Property (NSP) is a concept in the field of convex optimization, particularly in relation to the formulation of certain convex problems, such as basis pursuit and sparse representation. It is closely associated with matrices and their structure in terms of representing linear systems.