Pith. sign in

REVIEW 3 major objections 4 minor 57 references

Mizohata-Takeuchi inequalities for orthonormal systems

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

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

Pith's one-line read The global Mizohata–Takeuchi inequality, false for single functions, holds for orthonormal systems when the X-ray norm is taken over the midpoint set.

desk verdict Strong paper with a genuinely new theorem, but the key tomographic lemma has a repairable evenness error and the general-hypersurface results lean on a companion preprint. read the letter →

arxiv 2506.03783 v3 pith:TPK53GF2 submitted 2025-06-04 math.CA

Jonathan Bennett , Neal Bez , Susana Gutierrez , Shohei Nakamura , Itamar Oliveira This is my paper
classification math.CA MSC 42B1044A12
keywords orthonormalsystemsFourierextensionoperatorsMizohata–TakeuchiinequalitiesWignerdistributionsSchattendualityX-raytransformrestrictionestimatesStrichartz
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 proves that a global, scale-invariant Mizohata–Takeuchi inequality — a weighted bound that is false for single functions — holds when the inputs are an orthonormal system. The flagship result, Theorem 1.1, says that for an orthonormal sequence $(g_j)$ in $L^2(S^{n-1})$ with $n\ge3$, every signed weight $w$ satisfies $$\sum_j \Big(\int_{\mathbb{R}^n} |\widehat{g_j\,d\$\sigma$}|^2 w\Big)^2 \le \|Xw\|^2_{$L^{2}$(\{(\omega,v): \omega\in K^\diamond,\, v\in\langle\omega\rangle^\perp\})},$$ where $K=\bigcup_j \operatorname{supp}(g_j)$ and $K^\diamond$ is the set of great-circular midpoints of pairs of points in $K$. The right-hand side is purely geometric, an $L^2$ X-ray norm of the weight over directions in $K^\diamond$. The same mechanism gives a paraboloid/Schrödinger analogue, Theorem 1.4, via a direct Wigner-distribution argument, and for $p>2$ the proposed family is recast as co-positivity of explicit tensor forms.

What carries the argument

The two load-bearing mechanisms are the Schatten-duality reduction and the spherical Wigner distribution. Schatten duality converts the desired inequality into the Hilbert–Schmidt norm bound $\|E_K^* w E_K\|_{C^2} \le \|Xw\|_{L^2(\omega\in K^\diamond)}$, which in turn is equivalent to the pointwise tomographic inequality $\widehat{1_K\,d\sigma}*\widetilde{\widehat{1_K\,d\sigma}} \le R_0^*(1_{K^\diamond})$; here $R_0^*$ is the pullback of the radial X-ray transform and $K^\diamond$ is the set of geodesic midpoints. The direct approach uses the spherical Wigner transform $W_{S^{n-1}}(g,g)(\omega,v)$, together with the phase-space identity $|\widehat{g\,d\sigma}|^2 = X^* W_{S^{n-1}}(g,g)$ and the spherical Moyal identity (2.31), which makes $\langle W(f,f),W(g,g)\rangle$ expressible as a sum of two weighted inner products. That identity is what turns orthonormality of the inputs into an $\ell^2$ bound on the phase-space intensities.

What would settle it

Take a Cantor-type set $K\subset S^{n-1}$ with very small surface measure and $K^\diamond$ nearly the whole sphere, and check numerically whether the distribution $X_0^* 1_{K^\diamond} - |\widehat{1_K\,d\sigma}|^2$ has nonnegative expectation against every smooth compactly supported test weight $w$; a single negative expectation would disprove the tomographic estimate and with it Theorem 1.1.

Watch

Extended reading notes

Core claim

The central discovery is that the interference that breaks the global Mizohata–Takeuchi inequality for single functions is controlled by orthonormality, provided the line-integral norm is measured over the midpoint set $K^\diamond$ rather than the support set $K$. The proof via Schatten duality reduces the inequality to the tomographic estimate of Lemma 2.1, $$\widehat{1_K\,d\$\sigma$}*\widetilde{\widehat{1_K\,d\$\sigma$}} \le R_0^*(1_{K^\diamond}),$$ interpreted as positive semi-definite distributions; equivalently, the whole argument rests on a pointwise hyperplane-bundle bound for the Fourier transform of $|\widehat{g\,d\sigma}|^2$. The direct Wigner approach proves a spherical Moyal identity, Proposition 2.9, showing that spherical Wigner transforms of orthonormal inputs inherit an almost-orthonormality property. The paper leaves open whether $K^\diamond$ can be replaced by $K$ for nonnegative weights; that is the co-positivity question (2.14).

Load-bearing premise

The load-bearing premise is that two quoted results from the companion preprint [8] are correct — the spherical phase-space identity $|\widehat{g\,d\sigma}|^2 = X^* W_{S^{n-1}}(g,g)$ and the Jacobian-ratio estimate $J(u,u')/\widetilde J(u,u') \le c\,Q(S)^{(5n-8)/2}$ — since if either is wrong the Wigner-based and general-hypersurface theorems fail, even though Theorem 1.1 would survive.

Editorial extensions

If this is right

  • Theorem 1.1 yields the refined smoothing estimate $\big\|\sum_j \lambda_j |\widehat{g_j\,d\sigma}|^2\big\|_{\dot H^{1/2}(\mathbb{R}^n)} \lesssim \|(\lambda_j)\|_{\ell^2}$, and hence the orthonormal Stein–Tomas restriction estimate (1.29) for $q\in[2n/(n-1),\infty]$ by interpolation.
  • In the paraboloid case, Theorem 1.4 gives, for $d=1$, the orthonormal Strichartz estimates previously proved by Schatten methods, and it provides a direct Wigner proof of those estimates.
  • Whenever $p=n+1$, the suggested family (1.12) together with the endpoint X-ray estimate of [19] implies the endpoint orthonormal Stein–Tomas inequality of [34].
  • For even $p$, the paper recasts the undirected form of (1.12) as the co-positivity of a specific $p$-tensor form whose kernel is built from autocorrelations of surface measure and an X-ray identity.

Reading between the lines

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

  • The midpoint set $K^\diamond$ appearing on the right suggests that for orthonormal systems the effective direction set for X-ray control is governed by pairwise geodesic midpoints; a natural extension is to test whether nonnegative weights admit the smaller set $K$ by checking co-positivity of (2.14) on fractal examples.
  • Because the spherical Moyal identity is most explicit in $n=3$, the Wigner approach suggests a hierarchy of intermediate direction sets between $K^*$ and $K^\diamond$ in higher dimensions; proving $\ell^2$-boundedness of the kernel $L(j,k)$ in (2.24) would give the stronger estimate directly.
  • The tensor-form co-positivity reformulation connects the $p>2$ cases to a computational hardness question; if the kernels are special enough to avoid general NP-hardness, a proof for all even $p$ would likely require new structure beyond the $p=2$ mechanism.
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

3 major / 4 minor

Summary. This paper studies weighted L^2 inequalities of Mizohata--Takeuchi type for Fourier extension operators applied to orthonormal systems. The flagship result, Theorem 1.1, asserts that for n >= 3 and any orthonormal sequence (g_j) in L^2(S^{n-1}), one has sum_j (integral |g_j dsigma|^2 w)^2 <= ||Xw||^2_{L^2({(omega,v): omega in K^diamond, v in <omega>^bot})} for all signed weights w, where K is the union of the supports of the g_j and K^diamond is the great-circular midpoint set. The proof uses Schatten (Hilbert--Schmidt) duality to reduce the estimate to a tomographic bound, Lemma 2.1, for the Fourier transform of |g dsigma|^2. The paper also develops a direct approach based on spherical and S-carried Wigner distributions, yielding variants with additional orthogonality hypotheses (Theorems 1.2 and 2.8) and an extension to general convex hypersurfaces with bounded curvature quotient (Theorem 3.2). For the paraboloid, Theorem 1.4 proves an analogous orthonormal weighted Strichartz inequality with phase-space support M equal to the union of the supports of the classical Wigner transforms of the initial data. The final sections contain observations for p != 2: interpolation for 1 <= p <= 2, a co-positivity reformulation for even integers p, and reverse inequalities for p <= 1 under completeness assumptions.

Significance. If Theorem 1.1 holds as stated, it is a substantial new result in weighted extension theory for orthonormal systems: it is a global, scale-invariant estimate whose right-hand side is purely geometric, and it holds with constant one for signed weights. This is genuinely different from the single-input global Mizohata--Takeuchi inequality, which is known to fail in the form conjectured in (1.4). The Schatten proof is explicit and elementary in structure, and the direct Wigner approach provides a route to orthonormal Strichartz estimates that is different from the usual trace-ideal arguments. The paper is also careful to expose the connections to co-positivity, Sobolev smoothing, and reverse inequalities. The main caveats are the proof gap in Lemma 2.1 discussed below and the dependence of the general-hypersurface and direct-approach results on the companion preprint [8]; the spherical Schatten theorem does not inherit the latter dependence once Lemma 2.1 is repaired.

major comments (3)
  1. [Section 2.1, proof of Lemma 2.1] The line 'Here we have used that g^diamond is an even function' is false for the sup-autocorrelation definition in Lemma 2.1. For example, if g = 1_C with C a small cap, then g^diamond is supported near C, not near -C. In the displayed estimate after the change of variables xi = omega' - R_omega omega', the second hemisphere term is bounded by g^diamond(-omega) R_0 phi(omega), not by g^diamond(omega) R_0 phi(omega). The desired conclusion (2.9) is nevertheless recoverable: one should keep the two terms together, bound them pointwise by (1/2)(g^diamond(omega) + g^diamond(-omega)) R_0 phi(omega), integrate in omega, and then use R_0 phi(-omega) = R_0 phi(omega) together with the antipodal invariance of dsigma to obtain (2.9). This symmetrization step is not present in the manuscript; as written, the proof of the flagship lemma is incomplete. Please rewrite this step explicitly.
  2. [Section 3.1--3.2, Theorem 3.2 and Lemma 3.3] The statement of Theorem 3.2 assumes only that S has finite curvature quotient Q(S), but the proof in Section 3.2 uses the additional structural hypothesis introduced in Section 3.1, namely that the normal set N(S) is geodesically convex. This hypothesis is needed both for the global definition of the map R_u and for the asserted surjectivity of u |-> R_u u'. If this hypothesis is intended to be part of the standing assumptions, it should be stated explicitly in Theorem 3.2 and Lemma 3.3; if not, the proof is incomplete as written. Please clarify the precise set of hypotheses under which Theorem 3.2 is claimed.
  3. [Sections 2.2 and 3.3] The direct-approach theorems (Theorem 1.2/2.8) and the general-hypersurface Theorem 3.2 depend on identities and bounds quoted from the companion preprint [8]: the phase-space representation (2.28) and the Jacobian-ratio estimate J(u,u')/J~ (u,u') <= c Q(S)^{(5n-8)/2} used in the proof of Lemma 3.3. Since [8] is a separate manuscript and not part of this paper, these results are conditional on the correctness of borrowed statements. Please either reproduce proofs of the needed identities and bounds in an appendix, or state explicitly that the theorems in question rely on [8]. The spherical Schatten proof of Theorem 1.1 does not share this problem once Lemma 2.1 is repaired.
minor comments (4)
  1. [Lemma 2.1 and Proposition 2.9] The qualifier 'suitable' in Lemma 2.1 and Proposition 2.9 is never defined. Please specify the regularity and support assumptions on g and on the test function phi under which the changes of variables and the sup-autocorrelation formulas are legitimate.
  2. [Theorem 1.1 and Section 2.1] Theorem 1.1 is stated for signed weight functions, but the proof in Section 2.1 initially treats real-valued w. Since the inequality is quadratic in w, complex weights can be handled by decomposing into real and imaginary parts; please state this explicitly in the proof or in a remark.
  3. [Remark 2.3] The notation 'co-positive semi-definite' and the symbol <_{cpd} are used before a formal definition is given. Please add a precise definition of cpd-positivity for distributions or functions of the form (2.14).
  4. [Lemma 2.1, n=2 case] The sentence 'Note that for n=2 the additional hypothesis means that the singularity from the jacobian factor is removed' is too terse. A compactness argument showing that the no-antipodal-points condition gives a uniform lower bound on |omega . omega'| over the relevant pairs would make the n=2 case clear.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main spherical inequality is proved by a new tomographic lemma, and the self-citations to [8] are parameter-free identities, not the target inequalities.

full rationale

Theorem 1.1 is not derived from itself. The paper reduces the sought inequality via Schatten duality to (2.5), then to the pointwise autocorrelation bound (2.6), and proves that bound from scratch in Lemma 2.1 using two changes of variables and the Jacobian relation dσ(ω'')=2^{n-1}|ω·ω'|^{n-2}dσ(ω). The right-hand side K^diamond is not assumed; it is obtained from (1_K)^diamond=1_{K^diamond} after the lemma is applied to g=1_K. The Wigner-based results (Theorem 2.8 and the general-hypersurface Theorem 3.2) quote from the authors' companion preprint [8] the phase-space identity (2.28) and the Jacobian ratio bound J/J~ ≤ c Q(S)^{(5n-8)/2}. These are parameter-free identities with stated assumptions and none of them contains the target Mizohata–Takeuchi-type inequalities, so under the stated review rules they count as independent support rather than circularity. The paraboloid result Theorem 1.4 uses the classical identity |u|^2=ρ(W(u0,u0)), attributed to Wigner and [8], plus the standard Moyal identity (4.5); this is again an identity, not the conclusion. I flag separately a correctness concern that is not circularity: in the proof of Lemma 2.1 the text says 'Here we have used that g⋄ is an even function,' although the sup-autocorrelation definition does not imply evenness; the step is repairable because R0φ is even and the second hemisphere term is bounded by g⋄(-ω)R0φ(ω), which integrates to the same value. This gap affects the write-up of the proof, but it is not a case of a prediction reducing to an input.

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

The flagship result (Theorem 1.1) is self-contained and rests only on classical facts plus the new Lemma 2.1, proved in the text. The general-hypersurface and Wigner-based theorems additionally rely on parameter-free identities and a Jacobian bound quoted from the same authors' companion preprint [8]; these are cited transparently but not proved here. There are no fitted parameters and no invented entities.

assumptions (7)
  • domain assumption Spherical Wigner representation |g dsigma|^2 = X* W_{S^{n-1}}(g,g) (Eq. (2.28)), established in companion paper [8, Section 3]
    Invoked for the direct approach (Section 2.2, Theorem 2.8) and cited to the same authors' arXiv preprint arXiv:2406.14886; not proved in this text.
  • domain assumption Jacobian-ratio bound J(u,u')/J~(u,u') <= c Q(S)^{(5n-8)/2}, quoted from [8, Section 4]
    Used in the proof of Lemma 3.3 (Section 3.2); proof not reproduced, making Theorem 3.2 dependent on the companion preprint.
  • domain assumption Geodesic convexity of the normal set N(S) in S^{n-1}, so u -> R_uu' is surjective and the midpoint set (3.7) is well defined
    Assumed in Section 3.1 for the general-hypersurface formulation; restricts the class of admissible hypersurfaces to those with geodesically convex normal set.
  • standard math Bessel's inequality for orthonormal systems on L^2(S), giving (1.13)
    Classical; used to establish the p=1 case and the base pointwise estimate for the left-hand side.
  • standard math Schatten trace duality principle for extension operators (Frank-Sabin [34])
    Used in Sections 2.1 and 4.1 to reduce orthonormal-system inequalities to trace-norm bounds on E* w E; cited to [34].
  • standard math Classical Wigner transport identity |u(t)|^2 = rho(W(u0,u0)) for the free Schrodinger equation
    Used in the proof of Theorem 1.4 (Section 4.2); classical (Wigner 1932), with details in [8].
  • standard math Fefferman-Stein analytic interpolation theorem
    Used in the proof of Proposition 5.1 (Section 5.1) to interpolate between the p=1 and p=2 cases.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mizohata-Takeuchi inequalities for orthonormal systems." pith.science (2026). https://pith.science/paper/TPK53GF2

@misc{pith2026250603783,
  author       = {Pith},
  title        = {Pith review of: Mizohata-Takeuchi inequalities for orthonormal systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TPK53GF2}},
  note         = {Machine review of arXiv:2506.03783}
}
abstract

We establish some weighted $L^2$ inequalities for Fourier extension operators in the setting of orthonormal systems. In the process we develop a direct approach to such inequalities based on generalised Wigner distributions, complementing the Schatten space approach that is prevalent in the wider context of estimates for such orthonormal systems. Our results are set within a broader family of tentatively suggested ($L^p$) inequalities of Mizohata--Takeuchi type. For $p$ an even integer we see that such weighted inequalities may be recast as questions of co-positivity of tensor forms, and for $p\leq 1$ we provide some evidence that they may hold in reverse provided the orthonormal sequence is complete.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

57 extracted references · 52 canonical work pages

  1. [8]

    Bennett, S

    J. Bennett, S. Guti´ errez, S. Nakamura, I. Oliveira,A phase-space approach to weighted Fourier extension inequalities, arXiv:2406.14886

    work page arXiv

  2. [1]

    Agmon, L

    S. Agmon, L. H¨ ormander,Asymptotic properties of solutions in differential equations with simple charac- teristics, J. Anal. Math.30(1976), 1–38

    work page 1976

  3. [2]

    M. A. Alonso,Wigner functions in optics: describing beams as ray bundles and pulses as particle ensembles, Advances in Optics and Photonics Vol. 3, Issue 4, 272–365 (2011)

    work page 2011

  4. [3]

    Baernstein, II and M

    A. Baernstein, II and M. Loss,Some conjectures aboutL p norms ofk-plane transforms, Rend. Sem. Mat. Fis. Milano67(1997), 9–26

    work page 1997

  5. [4]

    J. A. Barcel´ o, J. Bennett, A. Carbery,A note on localised weighted estimates for the extension operator, J. Aust. Math. Soc.84(2008), 289–299

    work page 2008

  6. [5]

    J. A. Barcel´ o, A. Ruiz, L. Vega,Weighted estimates for the Helmholtz equation and some applications, J. Funct. Anal.150(1997), 356–382

    work page 1997

  7. [6]

    Bennett, N

    J. Bennett, N. Bez, S. Guti´ errez, S. Lee,On the Strichartz estimates for the kinetic transport equation, Comm. Partial Differential Equations39(2014), 1821–1826

    work page 2014

  8. [7]

    Bennett, A

    J. Bennett, A. Carbery, F. Soria, A. Vargas,A Stein conjecture for the circle, Math. Ann.336(2006), 671–695

    work page 2006

Show all 57 references
  1. [9]

    Bennett, S

    J. Bennett, S. Nakamura,Tomography bounds for the Fourier extension operator and applications, Math. Ann.380(2021), 119–159

    2021

  2. [10]

    Bennett, S

    J. Bennett, S. Nakamura, S. Shiraki,Tomographic Fourier extension identities for submanifolds ofR n, Selecta Math.30(2024), Article 80

    2024

  3. [11]

    Bennett, T

    J. Bennett, T. Tao,Adjoint Brascamp–Lieb inequalities, Proc. Lond. Math. Soc.129(2024), e12633

    2024

  4. [12]

    N. Bez, S. Lee, S. Nakamura,Maximal estimates for the Schr¨ odinger equation with orthonormal initial data, Selecta Math.26(2020), Article 52

    2020

  5. [13]

    H. M. Cairo,A counterexample to the Mizohata–Takeuchi conjecture, arXiv:2502.06137

    arXiv

  6. [14]

    Carbery, M

    A. Carbery, M. Iliopoulou, H. Wang,Some sharp inequalities of Mizohata–Takeuchi-type, Rev. Mat. Iberoam.40(2024), 1387–1418

    2024

  7. [15]

    Carbery, F

    A. Carbery, F. Soria,Pointwise Fourier inversion and localisation inR n, J. Fourier Anal. Appl.3(special issue) (1997), 847–858

    1997

  8. [16]

    Castella, B

    F. Castella, B. Perthame,Estimations de Strichartz pour les ` equations de transport cin´ etique, C. R. Acad. Sci. Paris S´ er. I Math.332(1996), 535–540

    1996

  9. [17]

    T. Chen, Y. Hong, N. Pavlovi´ c,Global well-posedness of the NLS system for infinitely many fermions, Arch. Rational Mech. Anal.224(2017), 91–123

    2017

  10. [18]

    T. Chen, Y. Hong, N. Pavlovi´ c,On the scattering problem for infinitely many fermions in dimensiond≥3 at positive temperature, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire35(2018), 393–416

    2018

  11. [19]

    Christ,Estimates for thek-plane Transform, Indiana U

    M. Christ,Estimates for thek-plane Transform, Indiana U. Math. J.33(1984), 891–910

    1984

  12. [20]

    Colton, R

    D. Colton, R. Kress, Inverse Acoustic and Electromagnetic Scattering Theory, Springer-Verlag 1992

    1992

  13. [21]

    Dendrinos, A

    S. Dendrinos, A. Mustata, M. Vitturi,A restricted 2-plane transform related to Fourier restriction for surfaces of codimension 2, Anal. PDE25(2025), 475–526

    2025

  14. [22]

    S. W. Drury,L p estimates for the X-ray transform, Illinois Journal of Mathematics27(1983), 125–129

    1983

  15. [23]

    X. Du, L. Guth, Y. Ou, H. Wang, B. Wilson, R. Zhang,Weighted restriction estimates and application to Falconer distance set problem, Amer. J. Math.143(2021), 175–211

    2021

  16. [24]

    X. Du, J. Li, H. Wang, R. ZhangL p weighted Fourier restriction estimates, arXiv:2404.10951

    arXiv

  17. [25]

    X. Du, Y. Ou, K. Ren, R. Zhang,Weighted refined decoupling estimates and application to Falconer distance set problem, arXiv:2309.04501

    arXiv

  18. [26]

    X. Du, R. Zhang,SharpL 2 estimates of the Schr¨ odinger maximal function in higher dimensions, Ann. of Math.189(2019), 837–861

    2019

  19. [27]

    F. J. Dyson, A. Lenard,Stability of matter. I, J. Math. Phys.8(1967), 423–434

    1967

  20. [28]

    F. J. Dyson, A. Lenard,Stability of matter. II, J. Math. Phys.9(1968), 1538–1545

    1968

  21. [29]

    Fefferman, E

    C. Fefferman, E. M. Stein,H p spaces of several variables, Acta Math.129(1972), 137–193

    1972

  22. [30]

    G. B. Folland, Harmonic Analysis in Phase Space, Annals of Mathematics Studies Volume 122, 1989

    1989

  23. [31]

    Forbes, M

    A. Forbes, M. de Oliveira, M. R. Dennis,Structured light, Nat. Photonics15(2021), 253–262. 30 BENNETT, BEZ, GUTI ´ERREZ, NAKAMURA, AND OLIVEIRA

    2021

  24. [32]

    R. L. Frank,The Lieb–Thirring inequalities: Recent results and open problems, Nine mathematical chal- lenges: an elucidation, A. Kechris, et al. (eds.), 45–86, Proceedings of Symposia in Pure Mathematics 104, Amer. Math. Soc., Providence, RI, 2021

    2021

  25. [33]

    R. L. Frank, M. Lewin, E. H. Lieb, R. Seiringer,Strichartz inequality for orthonormal functions, J. Eur. Math. Soc.16(2014), 1507–1526

    2014

  26. [34]

    R. L. Frank, J. Sabin,Restriction theorems for orthonormal functions, Strichartz inequalities, and uniform Sobolev estimates, Amer. J. Math.139(2017), 1649–1691

    2017

  27. [35]

    Frank and J

    R. Frank and J. Sabin,The Stein–Tomas inequality in trace ideals, S´ eminaire Laurent Schwartz – EPD et applications (2015-2016), Exp. No. XV, 12pp., 2016

    2015

  28. [36]

    Golse, J

    F. Golse, J. M¨ oller,Velocity Averaging for the Wigner Kinetic Equation in the Semiclassical Regime, arXiv:2503.09924

    arXiv

  29. [37]

    de Gosson, The Wigner Transform, Advanced Textbooks in Mathematics, World Scientific 2017

    M. de Gosson, The Wigner Transform, Advanced Textbooks in Mathematics, World Scientific 2017

    2017

  30. [38]

    S. Guo, H. Wang, R. Zhang,A dichotomy for H¨ ormander-type oscillatory integral operators, Invent. Math. 238(2024), 503–584

    2024

  31. [39]

    Z. Guo, L. Peng,Endpoint Strichartz estimate for the kinetic transport equation in one dimension, C. R. Math. Acad. Sci. Paris345(2007), 253–256

    2007

  32. [40]

    Hickman, J

    J. Hickman, J. Zahl,A note on Fourier restriction and nested Polynomial Wolff axioms, J. Anal. Math. 152(2024), 19–52

    2024

  33. [41]

    P. Jaming,A qualitative uncertainty principle and phase retrieval for the Wigner distribution, Comptes Rendus de l’Acad´ emie des Sciences - Series I - Mathematics Volume 327, Issue 3, August 1998, Pages 249–254

    1998

  34. [42]

    A. J. E. M. Janssen,Proof of a conjecture on the supports of Wigner distributions, J. Fourier Anal. Appl. 4(1998), 723–726

    1998

  35. [43]

    M. Keel, T. Tao,Endpoint Strichartz estimates, Amer. J. Math.120(1998), 955–980

    1998

  36. [44]

    Lerner,Integrating the Wigner distribution on subsets of the phase space, Mem

    N. Lerner,Integrating the Wigner distribution on subsets of the phase space, Mem. Eur. Math. Soc.12 (2024)

    2024

  37. [45]

    Lewin, J

    M. Lewin, J. Sabin,The Hartree equation for infinitely many particles. I. Well-posedness theory, Comm. Math. Phys.334(2015), 117–170

    2015

  38. [46]

    Lewin, J

    M. Lewin, J. Sabin,The Hartree equation for infinitely many particles. II. Dispersion and scattering in 2D, Anal. PDE7(2014), 1339–1363

    2014

  39. [47]

    E. H. LiebThe stability of matter: from atoms to stars, Bull. Amer. Math. Soc.22(1990), 1–49

    1990

  40. [48]

    E. H. Lieb, W. E. Thirring,Bound for the kinetic energy of fermions which proves the stability of matter, Phys. Rev. Lett.35(1975), 687–689

    1975

  41. [49]

    Mulherkar,Random Constructions for Sharp Estimates of Mizohata–Takeuchi Type, arXiv:2506.05624

    S. Mulherkar,Random Constructions for Sharp Estimates of Mizohata–Takeuchi Type, arXiv:2506.05624

    arXiv

  42. [50]

    K. G. Murty, S. N. Kabadi,Some NP-complete problems in quadratic and nonlinear programming, Math. Program.39(1987), 117–129

    1987

  43. [51]

    Ortiz,A sharp weighted Fourier extension estimate for the cone inR 3 based on circle tangencies, arXiv:2307.11731

    A. Ortiz,A sharp weighted Fourier extension estimate for the cone inR 3 based on circle tangencies, arXiv:2307.11731

  44. [52]

    Sabin,The Hartree equation for infinite quantum systems, Journ´ ees ´ equations aux d´ eriv´ ees partielles, (2014), Exp

    J. Sabin,The Hartree equation for infinite quantum systems, Journ´ ees ´ equations aux d´ eriv´ ees partielles, (2014), Exp. No. 8

    2014

  45. [53]

    Shayya,Mizohata–Takeuchi estimates in the plane, Bull

    B. Shayya,Mizohata–Takeuchi estimates in the plane, Bull. Lond. Math. Soc.55(2023), 2176–2194

    2023

  46. [54]

    Stovall,Waves, Spheres, and Tubes

    B. Stovall,Waves, Spheres, and Tubes. A Selection of Fourier Restriction Problems, Methods, and Appli- cations, Notices Amer. Math. Soc.66(2019), 1013–1022

    2019

  47. [55]

    R. S. Strichartz,L p estimates for Radon transforms in Euclidean and non-Euclidean spaces, Duke Math. J.48(1981), 699–727

    1981

  48. [56]

    Wigner,On the Quantum Correction For Thermodynamic Equilibrium, Phys

    E. Wigner,On the Quantum Correction For Thermodynamic Equilibrium, Phys. Rev.40(1932), 749–759

    1932

  49. [57]

    Wu,WeightedL 2 estimates with applications toL p problems, arXiv:2506.02650

    S. Wu,WeightedL 2 estimates with applications toL p problems, arXiv:2506.02650. MIZOHATA–TAKEUCHI INEQUALITIES FOR ORTHONORMAL SYSTEMS 31 (Jonathan Bennett)School of Mathematics, The W atson Building, University of Birmingham, Edgbaston, Birmingham, B15 2TT, England. Email add...

    arXiv

Pith tools

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