Abstract:Suppose a discrete-time signal $S(t)$, $0 \leq t < N$, is a superposition of atoms taken from a combined time–frequency dictionary made of spike sequences $1_{\{t = \tau\}}$ and sinusoids $\exp\{2\pi i w t /N)/\sqrt{N}$. Can one recover, from knowledge of $S$ alone, the precise collection of atoms going to make up $S$? Because every discrete-time signal can be represented as a superposition of spikes alone, or as a superposition of sinusoids alone, there is no unique way of writing $S$ as a sum of spikes and sinusoids in general. We prove that if $S$ is representable as a highly sparse superposition of atoms from this time–frequency dictionary, then there is only one such highly sparse representation of $S$, and it can be obtained by solving the convex optimization problem of minimizing the $\ell^1$ norm of the coefficients among all decompositions. Here “highly sparse” means that $N_t + N_w < \sqrt{N}/2$ where $N_t$ is the number of time atoms, $N_w$ is the number of frequency atoms, and $N$ is the length of the discrete-time signal. Underlying this result is a general $\ell^1$ uncertainty principle which says that if two bases are mutually incoherent, no nonzero signal can have a sparse representation in both bases simultaneously. For the above setting, the bases are sinuosids and spikes, and mutual incoherence is measured in terms of the largest inner product between different basis elements. The uncertainty principle holds for a variety of interesting basis pairs, not just sinusoids and spikes. The results have idealized applications to band-limited approximation with gross errors, to error-correcting encryption, and to separation of uncoordinated sources. Related phenomena hold for functions of a real variable, with basis pairs such as sinusoids and wavelets, and for functions of two variables, with basis pairs such as wavelets and ridgelets. In these settings, if a function $f$ is representable by a sufficiently sparse superposition of terms taken from both bases, then there is only one such sparse representation; it may be obtained by minimum $\ell^1$ norm atomic decomposition. The condition “sufficiently sparse” becomes a multiscale condition; for example, that the number of wavelets at level $j$ plus the number of sinusoids in the $j$th dyadic frequency band are together less than a constant times $2^{j/2}$.

A Simplified Basis for Bell-Kochen-Specker Theorems

Generalised Kochen-Specker Theorem for Finite Non-Deterministic Outcome Assignments

Generalised Kochen–Specker theorem for finite non-deterministic outcome assignments

Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions

Bell's Theorem Begs the Question

Non-local Hidden Variable Theories and Bell's Inequality

Disproof of Bell's Theorem by Clifford Algebra Valued Local Variables

Structural Feature of Clauser-Horne-Shimony-Holt Type Bell Inequalities

The Scope and Generality of Bell's Theorem

An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs

Kolmogorovian Censorship, Predictive Incompleteness, and the locality loophole in Bell experiments

A proof of Specker's principle

Multideviations: The hidden structure of Bell's theorems

Logical Inconsistencies in Proofs of the Theorem of Bell

Classical (Local and Contextual) Probability Model for Bohm-Bell Type Experiments: No-Signaling as Independence of Random Variables

A Markovian Model for Joint Observations, Bell's Inequality and Hidden States

Deriving three-outcome permutationally invariant Bell inequalities

A Questionable Fundamental Basis for Quantum Computing Advantage

Loophole-free Bell inequality violations cannot disprove local realism

Logical difficulty from combining counterfactuals in the GHZ-Bell theorems

Uncertainty principles and ideal atomic decomposition