Local smoothing conjecture for curve averages

Let n2n \geq 2 and 2<p<2 < p < \infty. If γ:IRn\gamma:I \to \mathbb R^n is a non-degenerate curve, then the inequality

(12AtfLσp(Rn)pdt)1/pp,γ,χfLp(Rn)\left( \int_1^2\| A_t f \|_{L^p_\sigma(\mathbb R^n)}^p \, \mathrm{d} t \right)^{1/p} \lesssim_{p,\gamma,\chi} \| f \|_{L^p(\mathbb R^n)}

holds for all σ<σ(p,n)\sigma < \sigma(p,n), where

σ(p,n)=min{1n,1n(12+2p),2p}.\sigma(p,n)=\min \left\{ \frac{1}{n}, \frac{1}{n}\left(\frac{1}{2} + \frac{2}{p} \right), \frac{2}{p} \right\}.

Local smoothing conjecture. The displayed inequality holds for all σ<σ(p,n)\sigma < \sigma(p,n). This conjecture is solved affirmatively for n=2n=2; for n3n \geq 3, it is known when p>4n2p>4n-2, while the range 2<p4n22<p\leq 4n-2 remains open.

Sources & referencesView supporting material

Primary source

David Beltran and Jonathan Hickman, “A counterexample for local smoothing for averages over curves”, arXiv:2505.07788 (2025).

Additional references

7 papers in this index state this conjecture (2018–2025). The statement above is taken from the most recent of them; the others are arXiv:2502.05973, arXiv:2409.05579, arXiv:2203.11475, arXiv:2010.14390, arXiv:2001.08574, arXiv:1812.11616.

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.