Pith. sign in

REVIEW 2 major objections 3 minor 4 cited by

A Counterexample to the Mizohata-Takeuchi Conjecture

T0 review · 2 major / 3 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every C2 hypersurface that is not a hyperplane, the Mizohata–Takeuchi weighted extension inequality fails by a factor of $\log R$.

desk verdict A serious counterexample attempt whose reduction to the moment curve fails on a coordinate mismatch; the main theorem is unproved as written, though the moment-curve lemma may survive. read the letter →

arxiv 2502.06137 v2 pith:46R62CFV submitted 2025-02-10 math.CA

Hannah Cairo This is my paper · ORCID
classification math.CA MSC 42B1042B2544A12
keywords Mizohata–TakeuchiconjectureFourierextensionoperatorweightedL2estimatesX-raytransformmultilinearrestrictionincidencegeometrymomentcurvelogarithmicloss
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper claims that the Mizohata–Takeuchi conjecture, a central weighted $L^2$ estimate for Fourier extension operators, is false in every dimension for every $C^2$ hypersurface that is not contained in a hyperplane. The counterexample is quantitative: on a ball of radius $R$, the integral of $|Ef|^2$ against a nonnegative weight can exceed the conjectured bound by a factor of $\log R$. If correct, this closes the route from Mizohata–Takeuchi to sharp endpoint multilinear restriction estimates, because that route would have implied the $R^{\varepsilon}$-free bound the construction contradicts. It also disproves Stein's conjecture in the form stated in the paper. The proof's heart is a combinatorial incidence lemma about half-sums of points on the surface.

What carries the argument

The load-bearing object is the half-sum set $Q$ together with the claim (Lemma 3.5, proved through Lemma 4.1) that the $N$ points $\xi_i$ can be chosen on any curved $C^2$ hypersurface so that no hyperplane contains more than $2^{d-1}$ of the radius-$R^{-1}$ balls centered in $Q$. The proof of the lemma approximates the surface locally by the moment curve $M_d(t)=(t,t^2,\ldots,t^d)$, places the points at dyadically spaced parameter values, and inducts on dimension with the projection $\varphi(x_1,\ldots,x_d)=(x_2/x_1,\ldots,x_d/x_1)$, which sends hyperplanes to hyperplanes and sends $M_d$ to $M_{d-1}$. A separate estimate (Theorem 2.1) bounds the X-ray transform of the weight by an $L^2(L^1)$ norm of a Fourier slice of $h$, converting the combinatorial incidence control into the upper bound on the right-hand side.

What would settle it

Compute the third-coordinate discrepancy for $d=3$ and for $\Sigma$ given near $0$ by $\Phi(u,v)=u^2+v^2$: the chosen point is $(t,t^3,t^2+o(t^3))$, while the box around $(t,t^2,t^3)$ has third-direction half-width of order $t^3$. Since $t^2\gg t^3$ for $t=c^{-n}$ small, the point lies outside the box; this direct check would settle whether the reduction to the moment-curve case holds.

Watch

Extended reading notes

Core claim

Theorem 1.2 asserts that for any compact $C^2$ hypersurface $\Sigma \subset \mathbb{R}^d$ not lying in a hyperplane, with surface measure $d\sigma$ and extension operator $Ef(x)=\int_\Sigma e^{-2\pi i x\cdot\xi}f(\xi)\,d\sigma(\xi)$, there are $f\in L^2(\Sigma;d\sigma)$ and a nonnegative weight $w$ such that $\int_{B_R(0)}|Ef|^2\,w \gtrsim \log R\,\|f\|_{L^2}^2 \sup_{\ell\subset\mathbb{R}^d\text{ a line}}\int_\ell w$. The conjectured inequality would instead give the right-hand side with no $\log R$ factor, so the two sides are directly comparable. The construction takes $f$ to be a sum of $N\approx\log R$ surface caps at carefully selected separated points $\xi_i$, and takes $h$ to be a counting measure on the lattice $Q=\{\sum_i c_i\xi_i: c_i\in\{0,1\},\ \sum_i c_i=\lfloor N/2\rfloor\}$ convolved with a scale-$R^{-1}$ bump. The convolution $h\ast f\,d\sigma$ accumulates to size roughly $N^2|Q|R^d$, while the incidence lemma guarantees that every hyperplane contains only $O(1)$ of the relevant $R^{-1}$-balls, which keeps the X-ray transform factor bounded by roughly $R|Q|$ and yields the $\log R$ ratio.

Load-bearing premise

The whole construction reduces to Lemma 4.4's claim that the points chosen on an arbitrary curved $C^2$ hypersurface, through the ansatz $(c^{-n},c^{-3n},\ldots,c^{-dn})$, land inside the rectangular boxes built around the standard moment curve; if that containment fails in any coordinate, the incidence lemma and the $\log R$ counterexample do not follow.

Editorial extensions

If this is right

  • For every $C^2$ hypersurface not contained in a hyperplane, the original Mizohata–Takeuchi inequality fails by a $\log R$ factor.
  • The functional-analytic route from Mizohata–Takeuchi to endpoint multilinear restriction cannot produce $R^{\varepsilon}$-free bounds; a different input would be needed to sharpen those estimates.
  • Stein's conjecture in the form (1.2), which implies Mizohata–Takeuchi, also fails as stated.
  • The local reformulation with an $R^{\varepsilon}$ loss (Conjecture 1.5) is not contradicted by the construction and remains open.
  • The failure is uniform: it is measured by the supremum of the X-ray transform over all lines, not by a single selected direction.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the containment gap in Lemma 4.4 is real, a natural repair is a permuted moment curve whose second coordinate carries the quadratic term $t^2$ and whose remaining coordinates are higher-order monomials; the theorem-level claim could survive if the incidence argument goes through under that reordering.
  • The strength of the failure ($\log R$ rather than $R^{\delta}$) suggests that the sharp universal obstruction for weighted extension is logarithmic, so the local $R^{\varepsilon}$ bound may be the natural endpoint for Kakeya-free methods.
  • The half-sum lattice construction may transplant to other weighted Fourier inequalities, such as Bochner–Riesz or Stein-type maximal estimates, whenever an analogous plane-incidence lemma holds.
  • A concrete next test is to replace planes by cones or curved submanifolds in the incidence lemma and check whether the $\log R$ loss persists for surfaces with flat components, which the current $C^2$ non-planar hypothesis does not cover.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper claims a counterexample to the Mizohata-Takeuchi conjecture: for every C2 hypersurface in R^d not contained in a hyperplane, there exist f in L^2(Sigma) and a nonnegative weight w such that the extension-operator energy on B_R has a log R lower bound relative to the squared L2 norm of f times the supremum of line integrals of w (Theorem 1.2). The proof has three parts: an L^p estimate for the X-ray transform (Theorem 2.1), a reduction of the desired weighted inequality to an incidence statement for lacunary points on Sigma (Lemma 3.5 via Proposition 3.1), and a proof of that incidence lemma by approximating any C2 hypersurface by the moment curve M_d(t)=(t,t^2,...,t^d) (Lemma 4.4) and proving a moment-curve incidence bound (Lemma 4.3).

Significance. If the main theorem were proved, this would be an important development: it would refute a long-standing conjecture, imply that Stein's conjecture as stated in (1.2) is false, and show that the CHV approach cannot yield endpoint multilinear restriction estimates. The paper also contains a clean and apparently correct X-ray transform estimate (Theorem 2.1) and a plausible induction proof of the moment-curve incidence lemma (Lemma 4.3). However, the transfer lemma that connects the moment-curve construction to a general C2 hypersurface is false as stated, and the main theorem is therefore not established by the argument given.

major comments (2)
  1. [Section 4, Lemma 4.4] The containment xi_n in U^d_{b,c,n} asserted in Lemma 4.4 is false for d >= 3. By (4.4), U^d_{b,c,n} is centered at M_d(c^{-n})=(c^{-n}, c^{-2n}, ..., c^{-dn}) and has side length in the j-th coordinate comparable to (b/c)^j c^{-jn}. The point constructed before Lemma 4.4 is xi_n = (c^{-n}, c^{-3n}, c^{-4n}, ..., c^{-dn}, Phi(omega_n)). Its second coordinate differs from that of the center by c^{-3n} - c^{-2n}, whose size is c^{-2n}; since c is much larger than b, this is much larger than the allowed width (b/c)^2 c^{-2n}. Moreover, by (4.7), Phi(omega_n) is approximately c^{-2n}, while the d-th coordinate of the center is c^{-dn} and the allowed width there is (b/c)^d c^{-dn}; the discrepancy of size c^{-2n} again far exceeds the width. The proof's assertion that Mtilde_d - M_d lies only in the second-coordinate direction is contradicted by direct computation. Since Lemma 4.4 is the only step transferring Lemma 4.1 for arbitrary curved C2 hypersurfaces to the moment-curve Lemma 4.3, Lemma 4.1, and with it Proposition 3.1 and Theorem 1.2, are unsupported.
  2. [Section 3.4, Eqs. (3.8)-(3.9)] The proof of the lower bound (3.6) is incomplete. The step that if q, xi_i, xi_j are randomly chosen then there is a probability at least 1/4 that q + xi_i - xi_j will lie in Q is asserted without a precise probability model or proof, and the conclusion (3.8) is not derived from it. In addition, the deduction that every R^{-1}-ball contains at most O(1) points of Q from Lemma 3.5 is not immediate and requires an argument; Lemma 3.5 controls intersections with planes, not with balls. These gaps matter because (3.6) is the source of the log R factor. I list this as a separate concern, but it is secondary to the failure of Lemma 4.4.
minor comments (3)
  1. [Section 3.2, Lemma 3.5(i)] The display in Lemma 3.5(i) appears to have a typo: the summands are written as c1(xi_1-xi_0)+...+c_N(xi_1-xi_0), which would use xi_1 in every term; presumably the intended expression is c1(xi_1-xi_0)+...+c_N(xi_N-xi_0).
  2. [Section 3.4, definition of eta] The construction of eta in Section 3.4 should justify that there is a function eta with eta_hat supported in B(C), 1_{B(C^{-1})} <= eta_hat <= 1_{B(C)}, and eta*eta >= B_1(0) on a fixed ball while the negative part of eta*eta has sufficiently small integral; the current text states this as a choice without details.
  3. [General presentation] The 'White Lie' notation A is approximately B is used in displays that later enter the formal proof, e.g., in Eq. (3.3); the paper would benefit from stating exactly which approximations are valid and which are only heuristic, even after the rigorous Section 3.4.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the counterexample is constructed from scratch with standard inequalities; the serious issue flagged in Lemma 4.4 is a correctness concern, not circularity.

full rationale

The paper's derivation chain is self-contained and does not reduce its conclusions to its inputs. Section 2 proves X-ray transform estimates from the projection-slice theorem, Minkowski's inequality, and Hausdorff-Young, which are standard external facts. Section 3 constructs the counterexample explicitly: f is built from surface caps and h from a lattice of sums of selected points, and the lower bound on ||h * f dσ||_2^2 and the upper bound on ||P_nu h||_2^2(L^1) are proven directly from these definitions using local constancy and separation properties supplied by Lemma 3.5. No parameter is fitted to the target inequality, and the target Mizohata-Takeuchi bound is never assumed. Section 4 proves the incidence lemma by induction on the moment curve and then attempts to transfer it to a general C^2 hypersurface via Lemma 4.4; this transfer is a mathematical step subject to the correctness objection that the containment of the points xi_n in the standard boxes U^d_{b,c,n} is false for d >= 3. But that is an ordinary proof error or gap, not circularity: the lemma is not defined in terms of the theorem it supports, and the paper does not cite its own prior work as the source of the load-bearing claim. The self-citations that appear are contextual (e.g., [CIW24] for background on the conjecture, [CHV23] for the implication to multilinear restriction) and are not used in place of the proof. There is no fitted-input-called-prediction step, no uniqueness theorem imported from the authors' prior work, and no ansatz smuggled in via citation. Accordingly, the circularity score is 0, even though the paper may have substantive correctness problems elsewhere.

Assumptions & free parameters 4 free parameters · 4 assumptions · 0 invented entities

The central construction uses no new physical entities. The free parameters N, c, b, C are chosen by hand to make the proof work. The key unproved assumption is the containment of the constructed points in the moment-curve boxes, which is the load-bearing step that transfers the incidence geometry to a general C2 hypersurface.

free parameters (4)
  • N = ~ log R
    Number of points on the hypersurface; chosen to balance the lower bound N^2 |Q| R^d against the upper bound log R · N R^d |Q|, giving N proportional to log R.
  • c = large constant, c >> b
    Base of the dyadic scaling t_n = c^{-n} in the moment-curve construction; must be large enough for the geometric lemma.
  • b = large constant, c >> b > 1
    Aspect ratio of the boxes U^d_{b,c,n}; chosen sufficiently large for the 'b ~ b'' absorption steps.
  • C = constant > 1 in the cutoff definition
    Determines the support and lower bound of the smooth cutoff η; chosen so the kernel engineering gives the lower bound (3.6).
assumptions (4)
  • standard math Hausdorff-Young inequality holds for the Fourier transform on R^{d-1} slices
    Used in the proof of Theorem 2.1 to bound ||\widehat{P_ν h(λ)}||_{L^{2p}} by ||P_ν h(λ)||_{L^q}.
  • standard math Stirling's approximation for the central binomial coefficient
    Used to estimate |Q| = binom(N, floor(N/2)) ~ 2^N / sqrt(N) in Section 3.2.
  • domain assumption Every C2 hypersurface not contained in a hyperplane has a point where the second fundamental form is nonzero, so it is locally a graph with quadratic part as in (4.7)
    Used in Lemma 4.4 to transfer the moment-curve construction to general Σ.
  • ad hoc to paper The parametrized points ξ_n = (ω_n, Φ(ω_n)) lie in the boxes U^d_{b,c,n} around the standard moment curve M_d
    This is the assertion of Lemma 4.4. It is not established as written for d ≥ 3 because the last-coordinate difference is O(t^2) rather than O(t^d). The proof of Lemma 4.1 depends on it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Counterexample to the Mizohata-Takeuchi Conjecture." pith.science (2026). https://pith.science/paper/46R62CFV

@misc{pith2026250206137,
  author       = {Pith},
  title        = {Pith review of: A Counterexample to the Mizohata-Takeuchi Conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/46R62CFV}},
  note         = {Machine review of arXiv:2502.06137}
}
abstract

We derive a family of $L^p$ estimates of the X-Ray transform of positive measures in $\mathbb R^d$, which we use to construct a $\log R$-loss counterexample to the Mizohata-Takeuchi conjecture for every $C^2$ hypersurface in $\mathbb R^d$ that does not lie in a hyperplane. In particular, multilinear restriction estimates at the endpoint cannot be sharpened directly by the Mizohata-Takeuchi conjecture.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Lebesgue measure of distance sets with regular pins and multi-scale Mizohata-Takeuchi-type estimates

    math.CA 2026-03 unverdicted novelty 8.0 of 10

    Under dim_H E >1, dim_H E + dim_H F >2 and F regular (equal Hausdorff and packing dimensions), there exists y in F such that the pinned distance set Δ_y(E) has positive Lebesgue measure.

  2. Trace and Observability Inequalities for Laplace Eigenfunctions on the Torus

    math.AP 2025-07 conditional novelty 8.0 of 10

    The paper proves that on the d-torus, trace and observability inequalities for Laplace eigenfunctions require the measure's support to have dimension at least d-2, and gives Fourier-decay and Sobolev-regularity condit...

  3. Mizohata-Takeuchi inequalities for orthonormal systems

    math.CA 2025-06 conditional novelty 8.0 of 10

    Orthonormal systems of inputs satisfy a global Mizohata-Takeuchi-type weighted inequality for the sphere and paraboloid, with an X-ray transform norm over the midpoint set K^diamond on the right-hand side.

  4. Random Constructions for Sharp Estimates of Mizohata-Takeuchi Type

    math.CA 2025-06 conditional novelty 6.0 of 10

    A random construction of weights yields, with high probability, sharp epsilon-loss Mizohata-Takeuchi estimates for the Fourier extension operator.

Reference graph

Works this paper leans on

2 extracted references · cited by 4 Pith papers

  1. [1]

    A note on localised weighted inequalities for the extension operator

    [BBC08] Juan Antonio Barcel´ o, Jonathan Bennett, and Anthony C arbery. “A note on localised weighted inequalities for the extension operator”. In: Journal of the Australian Math- ematical Society 84.3 (2008), pp. 289–299. [BCSV06] Jonathan Bennett, Anthony Carbery, Fernando Soria, and Ana Vargas. “A Stein con- jecture for the circle”. In: Mathematische A...

    arXiv 2008

  2. [1985]

    A sharp weighted Fourier extension estim ate for the cone in R3 based on circle tangencies

    [Ort23] Alexander Ortiz. “A sharp weighted Fourier extension estim ate for the cone in R3 based on circle tangencies”. In: arXiv preprint arXiv:2307.11731 (2023). url: https://arxiv.org/pdf/2307.1173 [Sha23] Bassam Shayya. “Mizohata–Takeuchi estimates in the plan e”. In: Bulletin of the Lon- don Mathematical Society 55.5 (2023), pp. 2176–2194. url: https:...

    arXiv 2023

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.