Spark (mathematics)

In mathematics, specifically in linear algebra, the spark of a matrix A is the smallest number n such that there exists a set of n columns in A which are linearly dependent. Formally,

$\mathrm{spark}(A) = \min_{d \ne 0} \|d\|_0 \text{ s.t. } A d = 0.$

By contrast, the rank of a matrix is the largest number k such that some set of k columns of A is linearly independent.

The concept of the spark is of use in the theory of compressive sensing, where requirements on the spark of the measurement matrix are used to ensure stability and consistency of various estimation techniques.^[1] It is also known in matroid theory as the girth of the vector matroid associated with the columns of the matrix. The spark of a matrix is NP-hard to compute.^[2]

References

1. Donoho, David L.; Elad, Michael (March 4, 2003), "Optimally sparse representation in general (nonorthogonal) dictionaries via ℓ¹ minimization", Proc. Natl. Acad. Sci., 100 (5): 2197–2202, doi:10.1073/pnas.0437847100, PMC 153464, PMID 16576749
2. Tillmann, Andreas M.; Pfetsch, Marc E. (November 8, 2013). "The Computational Complexity of the Restricted Isometry Property, the Nullspace Property, and Related Concepts in Compressed Sensing". IEEE Transactions on Information Theory. 60 (2): 1248–1259. doi:10.1109/TIT.2013.2290112.