Skip to content
DisprovedAnalysis·2025

Mizohata-Takeuchi Conjecture

17-year-old found a counterexample to the 40-year-old conjecture about Fourier restriction estimates.

Formula

Restriction estimate (disproved conjecture)
fdσ^L2(μ)CμMT1/2fL2(σ)\|\widehat{f\,d\sigma}\|_{L^2(\mu)}\le C\,\|\mu\|_{\text{MT}}^{1/2}\,\|f\|_{L^2(\sigma)}

The Mizohata–Takeuchi conjecture predicted that a single condition on the measure μ would control Fourier restriction.

Mizohata–Takeuchi condition
μMT=supT tubeμ(T)T1/2<\|\mu\|_{\text{MT}} = \sup_{T\text{ tube}} \frac{\mu(T)}{|T|^{1/2}} < \infty

The Mizohata–Takeuchi norm measures concentration of μ along thin tubes — necessary but not sufficient for restriction.

Counterexample
μ:  μMT<   but the restriction estimate fails\exists\,\mu:\;\|\mu\|_{\text{MT}}<\infty\;\text{ but the restriction estimate fails}

Disproved by exhibiting a measure with bounded MT norm but unbounded Fourier restriction — showing the conjecture was too optimistic.

Summary

The Mizohata-Takeuchi conjecture (1985) proposed that certain weighted Fourier restriction estimates should always hold for positive Borel measures on spheres. Hannah Cairo, at age 17, found an explicit counterexample that disproved it. She went directly into a PhD program, skipping undergrad.

Sources