Wigderson's range conjecture for the Fourier norm functional

From papers

Let S(R)\mathcal{S}(\mathbb{R}) denote the Schwartz space, let f^\widehat{f} be the Fourier transform of ff, and let p\|\cdot\|_p denote the LpL^p norm. For 2p(1,]2\neq p\in(1,\infty], define

Fp,2(1):S(R){0}R>0,Fp,2(1)(f)=fpf^pf2f^2=fpf^pf22.\mathcal{F}_{p,2}^{(1)}:\mathcal{S}(\mathbb{R})\setminus\{0\}\to\mathbb{R}_{>0},\qquad \mathcal{F}_{p,2}^{(1)}(f)=\frac{\|f\|_p\|\widehat{f}\|_p}{\|f\|_2\|\widehat{f}\|_2}=\frac{\|f\|_p\|\widehat{f}\|_p}{\|f\|_2^2}.

Wigderson's conjecture. The image of Fp,2(1)\mathcal{F}_{p,2}^{(1)} is all of R>0\mathbb{R}_{>0}.

The conjecture concerns the possible values of a product of Fourier-related LpL^p norms on the real line. Its status is open and it was stated by the authors as Conjecture 4.13 in the cited work by Wigderson.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Nuno Costa Dias, Franz Luef and João Nuno Prata, “On Wigdersons' approach to the uncertainty principle”, arXiv:2312.17438 (2025).

Solutions 0

No solutions have been posted yet.