Square-cap decoupling conjecture for the cone

Let C2={(ξ1,ξ2,ξ12+ξ22):14ξ12+ξ224}{\mathcal C}^2=\{(\xi_1,\xi_2,\sqrt{\xi_1^2+\xi_2^2}):\frac14\leq\xi_1^2+\xi_2^2\leq4\}, and let Nδ(C2){\mathcal N}_\delta({\mathcal C}^2) denote its δ\delta-neighborhood. Suppose Pδ(C2){\mathcal P}_\delta({\mathcal C}^2) is a partition of this neighborhood into roughly δ1\delta^{-1} near-rectangular boxes τ\tau of dimensions δ1/2×δ1/2×δ\sim\delta^{1/2}\times\delta^{1/2}\times\delta. For a function ff whose Fourier transform is supported in Nδ(C2){\mathcal N}_\delta({\mathcal C}^2), write fτf_\tau for its Fourier restriction to τ\tau. Square-cap decoupling conjecture. For 2p42\leq p\leq4,

fLp(R3)ϵ(δ1)121p+ϵ(τPδ(C2)fτLp(R3)p)1/p.\|f\|_{L^p({\mathbb R}^3)}\lesssim_{\epsilon}(\delta^{-1})^{\frac12-\frac1p+\epsilon}\left(\sum_{\tau\in{\mathcal P}_\delta({\mathcal C}^2)}\|f_\tau\|_{L^p({\mathbb R}^3)}^p\right)^{1/p}.

This asks whether the cone admits decoupling into square-like caps, an open question highlighted as one of the most interesting unresolved problems for surfaces in R3{\mathbb R}^3.

Sources & referencesView supporting material

Primary source

Jean Bourgain, Ciprian Demeter and Dominique Kemp, “Decouplings for Real Analytic Surfaces of Revolution”, arXiv:1908.07053 (2020).

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.