Wigderson's range conjecture for the Fourier norm functional

About 3 years old · traced to

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 2≠p∈(1,∞]2\neq p\in(1,\infty], define

Fp,2(1):S(R)∖{0}→R>0,Fp,2(1)(f)=∥f∥p∥f^∥p∥f∥2∥f^∥2=∥f∥p∥f^∥p∥f∥22.\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.