Exponential smallness of discrete fractal uncertainty exponents

For an integer base MM and an alphabet A{0,,M1}\mathcal A\subset\{0,\ldots,M-1\}, let δ(M,A)=logMA\delta(M,\mathcal A)=\log_M|\mathcal A|, let Ck\mathcal C_k be the associated discrete Cantor set, and set N=MkN=M^k. Define

β(M,A):=lim supklog1CkFN1CkCNCNlogN.\beta(M,\mathcal A):=-\limsup_{k\to\infty}\frac{\log\|\mathbf 1_{\mathcal C_k}\mathcal F_N\mathbf 1_{\mathcal C_k}\|_{\mathbb C^N\to\mathbb C^N}}{\log N}.

Exponential-smallness conjecture. Fix δ(1/2,1)\delta\in(1/2,1). There exists a sequence of pairs (Mj,Aj)(M_j,\mathcal A_j) such that

δ(Mj,Aj)δ,β(Mj,Aj)0.\delta(M_j,\mathcal A_j)\to\delta,\qquad \beta(M_j,\mathcal A_j)\to0.

This predicts that for dimensions above 1/21/2, the improvement over the elementary exponent may be arbitrarily small; the source presents it as suggested by numerics.

Sources & referencesView supporting material

Primary source

Semyon Dyatlov, “An introduction to fractal uncertainty principle”, arXiv:1903.02599 (2019).

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.