The local Mizohata-Takeuchi conjecture

Let Σ\Sigma be a C2C^2 hypersurface, let BRRnB_R\subset\mathbb R^n be an RR-ball, and let ww be a non-negative weight. With extΣ\operatorname{ext}_{\Sigma} the Fourier extension operator and M\mathcal M the Kakeya-type maximal operator on Sn1S^{n-1}, the conjecture asserts:

Local Mizohata-Takeuchi conjecture. For every α>0\alpha>0, one has

extΣfL2(BR;w(x)dx)2RαMwL(Sn1)fL2(Σ)2.\|\operatorname{ext}_{\Sigma}f\|_{L^2(B_R;w(x)\,dx)}^2\lesssim R^\alpha\|\mathcal M w\|_{L^\infty(S^{n-1})}\,\|f\|_{L^2(\Sigma)}^2.

The local conjecture asks whether the estimate can hold with arbitrarily small power loss. The paper's abstract says that it fails with a definite power loss for a dense family of compact CkC^k convex hypersurfaces, including many C2C^2 hypersurfaces, but the parser supplied no formal resolution status for the conjecture itself.

Sources & referencesView supporting material

Primary source

Hannah Cairo and Ruixiang Zhang, “Power loss for the Mizohata-Takeuchi conjecture on C^k convex hypersurfaces”, arXiv:2512.08064 (2025).

Additional references

2 papers in this index state this conjecture (2025). The statement above is taken from the most recent of them; the others are arXiv:2502.06137.

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.