---
title: Donoho-Stark Uncertainty Principle
url: https://www.emergentmind.com/topics/donoho-stark-type-uncertainty-principle
type: topic
---

# Donoho-Stark Uncertainty Principle

A Donoho-Stark-type uncertainty principle provides an explicit lower bound, usually in product form, on the simultaneous concentration of a function and its Fourier transform (or its generalization) in their respective "domains." Unlike classical Heisenberg-type bounds, Donoho-Stark inequalities are formulated in terms of the size (measure, cardinality, or algebraic dimension) of supports, potentially allowing for exact (hard) localization, and are central both in harmonic analysis and sparse signal recovery. The canonical results first appeared in the work of D.L. Donoho and P.B. Stark [SIAM J. Appl. Math. 49 (1989)] and have since been generalized to noncommutative and combinatorial settings.

## 1. Fundamental Formulation and Core Examples

The archetypal Donoho-Stark uncertainty principle states that for a function $f$ and its Fourier transform $\widehat f$, the measures (or cardinalities) of their respective supports satisfy
\[
|\mathrm{supp}(f)| \cdot |\mathrm{supp}(\widehat{f})| \geq N
\]
when $f$ is defined on a finite abelian group $G$ ($|G| = N$), or
\[
|T| \cdot |\Omega| \geq (2\pi)^d (1 - \epsilon_T - \epsilon_\Omega)^2
\]
for $f$ on $\mathbb{R}^d$, where $T$ and $\Omega$ are sets in which $f$ and $\widehat f$ are $\epsilon_T$- and $\epsilon_\Omega$-concentrated, respectively [2004.04184, 1504.01467, 2007.04159]. In the case of exact (i.e., $\epsilon=0$) supports and the standard Fourier transform, the product bound is sharp and achieved for indicator functions of cosets or intervals.

## 2. Noncommutative and Generalized Frameworks

Donoho-Stark-type inequalities generalize beyond classical abelian groups. In subfactor theory, the Donoho-Stark principle holds in the $2$-box spaces $\mathscr{P}_{2,\pm}$ of a finite-index subfactor planar algebra $\mathscr{P}$, with the Ocneanu (one-click) Fourier transform $\mathcal F$:
\[
\boxed{ \mathcal S(x) \; \mathcal S(\mathcal F(x)) \geq \delta^2 }
\]
Here, $\mathcal S(x)$ is the trace of the range projection of $x$, and $\delta = \sqrt{[\mathcal M:\mathcal N]}$ is the index of the subfactor. This result holds in all settings admitting a suitable planar algebraic formalism (e.g., Kac algebras, modular tensor categories), and minimizers are bi-shifts of biprojections, generalizing indicator functions [1408.1165].

A broad noncommutative extension, the Noncommutative Donoho-Stark–Elad–Bruckstein–Ricaud–Torrésani principle, is proved for Hilbert $C^*$-modules with modular Parseval frames $\{\tau_n\}$ and $\{\omega_m\}$:
\[
\|\theta_\tau x\|_0 \; \|\theta_\omega x\|_0 \geq \frac{1}{\sup_{n,m} \| \langle \tau_n, \omega_m \rangle \|^2 }
\]
where $\theta_\tau$ and $\theta_\omega$ are analysis operators and $\| \cdot \|_0$ counts nonzero coefficients [2406.08504]. This result subsumes both the classical Donoho-Stark and the Elad–Bruckstein mutual coherence formulation for pairs of bases.

## 3. Additive Energy, Structure, and Refined Inequalities

Recent advances sharpen the Donoho-Stark regime by introducing additive combinatorial invariants, notably additive energy $\Lambda_2(A)$:
\[
\Lambda_2(A) = |\{ (a_1, a_2, a_3, a_4) \in A^4 : a_1 + a_2 = a_3 + a_4 \} |
\]
The improved uncertainty principle for $f: \mathbb{Z}_N^d \to \mathbb{C}$ reads
\[
N^d \leq |E| \cdot \Lambda_2(\Sigma)^{1/3}
\]
for $E = \mathrm{supp}(f)$, $\Sigma = \mathrm{supp}(\widehat f)$, with strict strengthening whenever supports are not cosets (i.e., $\Lambda_2(\Sigma) < |\Sigma|^3$). Further refinement introduces explicit correction terms quantifying the deviation from coset structure, leading to
\[
N^d \leq |E| \left( B - C(E,\Sigma) \right)^{1/3}
\]
where $B = \Lambda_2(\Sigma)$ and $C(E,\Sigma)$ incorporates the product and additive structure in both supports. These augmented bounds sharpen uniqueness guarantees in signal recovery beyond the classical product threshold [2504.14702, 2510.26664].

## 4. Time-Frequency, Cohen Class, and Operator Generalizations

In time-frequency analysis, Donoho-Stark-type uncertainty principles govern quadratic time-frequency representations such as the short-time Fourier transform (STFT), Wigner and Born-Jordan distributions, and more general Cohen-class operators:
\[
\int_U |V_g f(x,\omega)|^p\,dx\,d\omega \ge (1-\varepsilon) \|f\|_2^p \|g\|_2^p \implies |U| \ge 1-\varepsilon
\]
for $V_g f$ the STFT [2004.04184, 2402.17578]. For localization operators and Cohen-class transforms, explicit lower bounds relate the weighted measure of concentration domains to structure constants of the representation kernels and the concentration parameters.

Extensions encompass wavelet transforms (including Clifford and noncommutative settings [2209.12037]), windowed special-function transforms (e.g., Opdam–Cherednik [2107.00954]), and transforms on nonabelian groups such as the Strichartz Fourier transform on the Heisenberg group, where the principle takes the form
\[
|V| \cdot |W| \geq (2\pi)^{-n} M^n (1 - \sqrt{\epsilon_V^2 + \epsilon_W^2})^2
\]
with $V$ a spatial domain, $W$ a spectral domain with parameter $M$ [2511.06787].

## 5. Characterization of Extremizers

The extremal cases in Donoho-Stark inequalities, achieving equality, are characterized by highly structured functions:
- For abelian groups or $\mathbb{Z}_N$, indicator functions of cosets (up to modulation and translation) and their transforms: for $f = c \chi_H$, $\widehat f$ supported on dual coset.
- In noncommutative or subfactor settings: bi-shifts of biprojections are exactly the extremizers, uniquely determined by the range projections of $x$ and $\mathcal F(x)$ [1408.1165].
- For STFT on cyclic groups, extremal pairs correspond to cosets of subgroups in phase space [2204.14176].

## 6. Signal Recovery, Applications, and Extensions

Donoho-Stark principles underpin deterministic recovery guarantees in sparse signal processing and compressed sensing. Exact recovery (via $\ell^1$ or $\ell^2$ minimization) from partial Fourier data is possible when the product of support sizes is less than the specified threshold, with refined guarantees when accounting for additive structure [2311.04331, 2504.14702]. The philosophy extends naturally to coding theory (minimum distance bounds), convex geometry (via Blaschke–Santaló duality [2505.07037]), and sampling theorems (Shannon–Nyquist as a Donoho–Stark instance [1504.01467]).

Table: Representative Settings and Key Donoho-Stark Inequalities

| Setting                                      | Inequality                                                        | Reference        |
|----------------------------------------------|-------------------------------------------------------------------|------------------|
| Finite abelian group $G$                     | $|\mathrm{supp}(f)|\cdot|\mathrm{supp}(\widehat f)| \geq |G|$     | [1804.00367]     |
| Subfactor planar algebra $\mathscr{P}$       | $\mathcal S(x)\mathcal S(\mathcal{F}(x)) \geq \delta^2 $          | [1408.1165]      |
| Finite field (cyclic code)                   | $|\mathrm{supp}(f)|\cdot|\mathrm{supp}(F)| \geq n$                | [2007.04159]     |
| Noncommutative Hilbert $C^*$-module          | $\|\theta_\tau x\|_0 \|\theta_\omega x\|_0 \geq \frac{1}{\sup_{n,m} \|\langle \tau_n, \omega_m \rangle\|^2}$ | [2406.08504] |
| Additive energy refined (finite group)        | $N^d \leq |E| \Lambda_2(\Sigma)^{1/3}$                            | [2504.14702]     |
| Time-frequency STFT                          | $|\mathrm{ess\ supp}(V_g f)| \geq 1 - \epsilon$                   | [2204.05886]     |

## 7. Ongoing Developments and Open Problems

Active research continues to seek optimal constants, sharper bounds leveraging further algebraic/combinatorial structure (e.g., Salem sets, restriction theory [2311.04331]), and improvements under geometric or group-theoretic constraints. Open questions involve the characterization of extremizers in nonabelian and noncommutative frameworks, further connections to geometric functional analysis (e.g., Mahler volume bounds [2505.07037]), and the design of efficient recovery algorithms exploiting refined uncertainty principles.

Collectively, the Donoho-Stark family of uncertainty principles forms a central axis in modern harmonic analysis, connecting the geometry of supports, spectral sparsity, and optimal recovery in both classical and quantum settings [1804.00367, 1510.02621, 2406.08504, 2504.14702, 2510.26664, 2311.04331, 1408.1165, 2007.04159, 1504.01467, 2511.06787, 2505.07037].

Source: https://www.emergentmind.com/topics/donoho-stark-type-uncertainty-principle