Donoho and Huo (1999) prove for one dimensional
time series, with a ``highly sparse'' model-space representation, that
the proposed decomposition is unique. Also included are definitions of
concepts such as ``highly sparse'', and ``sufficiently sparse''.