A discrete Hardy uncertainty principle

Abstract

We show that knowing the decay of a function $f$ on a discrete set $Λ\subset\mathbb{R}$ and the decay of its Fourier transform $\hat{f}$ on a discrete set $M\subset\mathbb{R}$ is enough to determine the global decay of $f$ and $\hat{f}$, provided that $(Λ,M)$ is a supercritical pair in the sense of Kulikov, Nazarov, and Sodin. This decay transfer result leads to a discrete generalization of Morgan's uncertainty principle: it is enough to require $|f(λ)|\lesssim e^{-\frac{2}{p}Aπ|λ|^p}$ for all $λ\inΛ$ and $|\hat{f}(μ)|\lesssim e^{-\frac{2}{q}Aπ|μ|^q}$ for all $μ\in M$, where $(p,q)$ are Hölder conjugates, $A>|\cos(\frac{rπ}{2})|^\frac{1}{r}$, and $r:=\min\{p,q\}$. For $A=1$ and $p,q=2$, we also show that any such function must be a scaled Gaussian. This yields a discrete version of Hardy's uncertainty principle and resolves two questions posed by Ramos and Sousa.