pith. sign in

arxiv: 2606.27020 · v1 · pith:OEMEUHLKnew · submitted 2026-06-25 · 🧮 math.DS · math.CA· math.NT

Cusp Excursions, Lattice Points on Manifolds, and the Mizohata-Takeuchi Conjecture

Inbo Gottlieb Fenves This is my paper

Pith reviewed 2026-06-26 02:16 UTC · model grok-4.3

classification 🧮 math.DS math.CAmath.NT
keywords Mizohata-Takeuchi conjecturecusp excursionslattice points on manifoldspower lossunimodular latticesgeometry of numbersdynamical systems
0
0 comments X

The pith

Power loss for the local Mizohata-Takeuchi conjecture follows from probabilistic estimates on random unimodular lattices, with explicit errors and genericity in C^k.

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

The paper establishes new logarithm laws for cusp excursions of lattices and derives quantitative lower bounds on lattice points lying near submanifolds, obtained via dynamics on spaces of lattices combined with geometry-of-numbers counting. These bounds are then applied to give a new proof that the local Mizohata-Takeuchi conjecture incurs a power loss, complete with explicit error terms. The same estimates also show that this power loss holds generically for phase functions in the C^k topology. The construction proceeds by sampling random unimodular lattices in high dimensions to control the distribution of lattice points near the submanifolds.

Core claim

Using tools from dynamics and the geometry of numbers, new logarithm laws are proved for cusp excursions of lattices, and quantitative lower bounds are derived for lattice points near submanifolds; these yield a new proof of power loss in the local Mizohata-Takeuchi conjecture with explicit error terms and establish that such power loss is generic within the C^k category.

What carries the argument

Probabilistic estimates based on random unimodular lattices in high dimensions, which control the distribution of lattice points near submanifolds and thereby establish power loss.

If this is right

  • Logarithm laws hold for cusp excursions in spaces of lattices.
  • Lattice points satisfy quantitative lower bounds near submanifolds.
  • The local Mizohata-Takeuchi conjecture exhibits power loss with explicit error terms.
  • Power loss occurs generically for C^k functions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar lattice-based constructions could address related questions in oscillatory integral estimates.
  • The explicit error terms may allow numerical verification of the bounds in low dimensions.
  • Genericity results suggest that power loss is the typical behavior rather than an exceptional case.

Load-bearing premise

High-dimensional random unimodular lattices produce the required distribution of lattice points close enough to submanifolds to force power loss.

What would settle it

An explicit C^k function for which the Mizohata-Takeuchi inequality holds with no power loss, or a direct calculation showing the probabilistic lattice estimates fail to produce the claimed bounds.

Figures

Figures reproduced from arXiv: 2606.27020 by Inbo Gottlieb Fenves.

Figure 1
Figure 1. Figure 1: The Thick-Thin Decomposition of L3 To prove Theorem 1.1 with ⪅ 1-error bounds, we will require the following (semi)- quantitative version of Mahler compactness. Theorem 3.10. For all N ≥ 3 and all ε > 0, we have µ(L thin,ε N ) ≍ ε N . Proof. We present here a simple proof which does not recover the optimal leading constant: a slightly more sophisticated argument is given in Appendix B to get the error boun… view at source ↗
read the original abstract

We prove new logarithm laws for cusp excursions in spaces of lattices, and produce quantitative lower bounds for lattice points near submanifolds, using tools from dynamics and the geometry of numbers. As an application, we provide a new proof of power loss for the local Mizohata-Takeuchi conjecture with explicit error terms, as well as show that power loss is generic in $C^k$. The construction uses high-dimensional probabilistic estimates, but replaces the random orthogonal subspaces of Cairo-Zhang with random unimodular lattices; this yields stronger bounds and provides a richer family of counterexamples.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves new logarithm laws for cusp excursions in spaces of lattices and quantitative lower bounds for lattice points near submanifolds, using tools from homogeneous dynamics and the geometry of numbers. These results are applied to give a new proof of power loss for the local Mizohata-Takeuchi conjecture with explicit error terms and to show that power loss is generic in the C^k topology. The construction relies on high-dimensional probabilistic estimates over random unimodular lattices, which replace the random orthogonal subspaces used in prior work and yield stronger bounds together with a richer family of counterexamples.

Significance. If the central claims hold, the paper supplies an explicit, generic counterexample construction for the local Mizohata-Takeuchi conjecture via dynamical methods, improving on earlier approaches by providing stronger quantitative bounds and a broader set of examples. The explicit error terms and the genericity statement in C^k are concrete advances that strengthen the analytic conclusions.

minor comments (3)
  1. [Abstract and §1] The abstract states that explicit error terms are obtained, but the main theorems section should include a clear statement of the precise form of these terms (e.g., the dependence on dimension and the C^k norm) to make the power-loss claim immediately verifiable.
  2. [§4] The transition from the probability space of random unimodular lattices to the C^k topology on the space of submanifolds is described as producing genericity; a short paragraph clarifying the measure-theoretic notion of genericity (e.g., full measure in a suitable Baire category sense) would aid readability.
  3. [§2] Notation for the space of unimodular lattices and the height function used in the cusp-excursion laws should be introduced uniformly in the preliminaries rather than piecemeal across sections.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the supportive summary of our work on logarithm laws for cusp excursions, lattice point bounds near submanifolds, and the resulting proof of power loss in the local Mizohata-Takeuchi conjecture with explicit errors together with the genericity statement in the C^k topology. The report correctly identifies the use of high-dimensional probabilistic estimates over random unimodular lattices as the key technical improvement over prior constructions. No specific major comments are provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper derives new logarithm laws for cusp excursions and quantitative lattice-point bounds on manifolds using tools from dynamics and the geometry of numbers, then applies these to produce explicit power-loss results and genericity statements for the local Mizohata-Takeuchi conjecture via high-dimensional random unimodular lattice estimates. These steps rely on standard external techniques and probabilistic constructions that are independent of the target analytic conclusion, with no reductions by definition, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no concrete free parameters, axioms, or invented entities can be extracted. Paper invokes standard tools from dynamics and geometry of numbers without further specification.

pith-pipeline@v0.9.1-grok · 5627 in / 1057 out tokens · 27401 ms · 2026-06-26T02:16:35.180372+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

51 extracted references · 37 canonical work pages · 3 internal anchors

  1. [1]

    , title =

    Cairo, H. , title =. arXiv preprint arXiv:2502.06137 , year =. doi:10.48550/arXiv.2502.06137 , url =

    work page doi:10.48550/arxiv.2502.06137

  2. [2]

    and Zhang, R

    Cairo, H. and Zhang, R. , title =. arXiv preprint arXiv:2512.08064 , year =. doi:10.48550/arXiv.2512.08064 , url =

    work page doi:10.48550/arxiv.2512.08064

  3. [3]

    and Iliopoulou, M

    Carbery, A. and Iliopoulou, M. and Wang, H. , title =. Revista Matemática Iberoamericana , volume =. 2024 , month =. doi:10.4171/rmi/1463 , url =

    work page doi:10.4171/rmi/1463 2024

  4. [4]

    Siegel, C. L. , title =. The Annals of Mathematics , volume =. 1945 , month =. doi:10.2307/1969027 , url =

    work page doi:10.2307/1969027 1945

  5. [5]

    Rogers, C. A. , title =. Proceedings of the London Mathematical Society , volume =. 1956 , month =. doi:10.1112/plms/s3-6.2.305 , url =

    work page doi:10.1112/plms/s3-6.2.305 1956

  6. [6]

    and Margulis, G

    Athreya, J. and Margulis, G. A. , title =. Journal of Modern Dynamics , volume =

  7. [7]

    , title =

    Randol, B. , title =. Problems in Analysis: A Symposium in Honor of Salomon Bochner , editor =

  8. [8]

    Stein, E. M. , title =. Harmonic Analysis in Euclidean Spaces, Part 1 , editor =

  9. [9]

    , title =

    Lang, S. , title =. 1985 , doi =

    1985

  10. [10]

    Schmidt, W. M. , title =. Transactions of the American Mathematical Society , volume =. 1960 , doi =

    1960

  11. [11]

    and Han, J

    Fairchild, S. and Han, J. , title =. Journal of Modern Dynamics , volume =. 2025 , month =. doi:10.3934/jmd.2025015 , url =

    work page doi:10.3934/jmd.2025015 2025

  12. [12]

    and Yu, S

    Kelmer, D. and Yu, S. , title =. arXiv preprint arXiv:1802.09645 , year =. doi:10.48550/arXiv.1802.09645 , url =

    work page doi:10.48550/arxiv.1802.09645

  13. [13]

    Veech, W. A. , title =. The Annals of Mathematics , volume =. 1998 , month =. doi:10.2307/121033 , url =

    work page doi:10.2307/121033 1998

  14. [14]

    Siegel-Veech transforms are in $L^2$

    Athreya, J. and Cheung, Y. and Masur, H. , title =. arXiv preprint arXiv:1711.08537 , year =. doi:10.48550/arXiv.1711.08537 , url =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1711.08537

  15. [15]

    , title =

    Takeuchi, J. , title =. Proceedings of the Japan Academy , volume =. 1974 , publisher =

    1974

  16. [16]

    , title =

    Takeuchi, J. , title =. Kyoto Journal of Mathematics , volume =. 1980 , month =. doi:10.1215/kjm/1250522323 , url =

    work page doi:10.1215/kjm/1250522323 1980

  17. [17]

    , title =

    Mizohata, S. , title =

  18. [18]

    and Gutiérrez, S

    Bennett, J. and Gutiérrez, S. and Nakamura, S. and Oliveira, I. , title =. Forum of Mathematics, Sigma , volume =. 2025 , month =. doi:10.1017/fms.2025.10127 , url =

    work page doi:10.1017/fms.2025.10127 2025

  19. [19]

    and Carbery, A

    Bennett, J. and Carbery, A. and Tao, T. , title =. Acta Mathematica , volume =. 2006 , month =. doi:10.1007/s11511-006-0006-4 , url =

    work page doi:10.1007/s11511-006-0006-4 2006

  20. [20]

    Dynamics, Geometry, Number Theory: The Impact of Margulis on Modern Mathematics , editor=

    Margulis functions and their applications , author=. Dynamics, Geometry, Number Theory: The Impact of Margulis on Modern Mathematics , editor=. 2022 , publisher=

    2022

  21. [21]

    and Mirzakhani, M

    Eskin, A. and Mirzakhani, M. and Mohammadi, A. , year=. Isolation, equidistribution, and orbit closures for the. doi:10.4007/annals.2015.182.2.7 , journal=

    work page doi:10.4007/annals.2015.182.2.7 2015

  22. [22]

    Cassels, J. W. S. , title =. 1959 , doi =

    1959

  23. [23]

    and Sawyer, E

    Iosevich, A. and Sawyer, E. T. and Seeger, A. , title =. Journal d’Analyse Mathématique , volume =. 2007 , month =. doi:10.1007/s11854-007-0002-4 , url =

    work page doi:10.1007/s11854-007-0002-4 2007

  24. [24]

    Barcelo, J. A. and Ruiz, A. and Vega, L. , title =. Journal of Functional Analysis , volume =. 1997 , month =. doi:10.1006/jfan.1997.3131 , url =

    work page doi:10.1006/jfan.1997.3131 1997

  25. [25]

    , title =

    Schmidt, W. , title =. Canadian Journal of Mathematics , volume =. 1958 , month =. doi:10.4153/CJM-1958-013-2 , url =

    work page doi:10.4153/cjm-1958-013-2 1958

  26. [26]

    Kleinbock, D. Y. and Margulis, G. A. , title =. Inventiones mathematicae , volume =. 1999 , month =. doi:10.1007/s002220050350 , url =

    work page doi:10.1007/s002220050350 1999

  27. [27]

    Successive Minima and Lattice Points

    Henk, M. , title =. arXiv preprint arXiv:math/0204158 , year =. doi:10.48550/arXiv.math/0204158 , url =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.math/0204158

  28. [28]

    , title =

    Beresnevich, V. , title =. Annals of Mathematics , volume =. 2012 , month =. doi:10.4007/annals.2012.175.1.5 , url =

    work page doi:10.4007/annals.2012.175.1.5 2012

  29. [29]

    and Li, Z

    Carbery, A. and Li, Z. K. and Pang, Y. and Yung, P-L , title =. 2025 , month =

    2025

  30. [30]

    and Katok, A

    Einsiedler, M. and Katok, A. and Lindenstrauss, E. , title =. Annals of Mathematics , volume =. 2006 , month =. doi:10.4007/annals.2006.164.513 , url =

    work page doi:10.4007/annals.2006.164.513 2006

  31. [31]

    , title =

    Huang, J.-J. , title =. Duke Mathematical Journal , volume =. 2020 , month =. doi:10.1215/00127094-2020-0004 , url =

    work page doi:10.1215/00127094-2020-0004 2020

  32. [32]

    Kleinbock, D. Y. and Margulis, G. A. , title =. The Annals of Mathematics , volume =. 1998 , doi =

    1998

  33. [33]

    and Srivastava, R

    Schindler, D. and Srivastava, R. and Technau, N. , title =. arXiv preprint arXiv:2310.03867 , year =. doi:10.48550/arXiv.2310.03867 , url =

    work page doi:10.48550/arxiv.2310.03867

  34. [34]

    and Kleinbock, D

    Bernik, V. and Kleinbock, D. and Margulis, G. A. , title =. Internat. Math. Res. Notices. 2001, no. 9, 453--486 , year =

    2001

  35. [35]

    Duke Mathematical Journal , author=

    Mixing, counting, and equidistribution in Lie groups , volume=. Duke Mathematical Journal , author=. 1993 , month=july, pages=. doi:10.1215/S0012-7094-93-07108-6 , number=

    work page doi:10.1215/s0012-7094-93-07108-6 1993

  36. [36]

    Morris, D. W. , year=. Introduction to Arithmetic Groups , ISBN=

  37. [37]

    Geometric and Functional Analysis , author=

    Measure bound for translation surfaces with short saddle connections , volume=. Geometric and Functional Analysis , author=. 2023 , month=apr, pages=. doi:10.1007/s00039-023-00636-9 , number=

    work page doi:10.1007/s00039-023-00636-9 2023

  38. [38]

    The Annals of Mathematics , author=

    Upper Bounds and Asymptotics in a Quantitative Version of the Oppenheim Conjecture , volume=. The Annals of Mathematics , author=. 1998 , month=jan, pages=. doi:10.2307/120984 , number=

    work page doi:10.2307/120984 1998

  39. [39]

    Smith, A. , year=. Lattice points in thickened parabolas and rational points near hypersurfaces , url=. doi:10.48550/arXiv.2512.00202 , note=

    work page doi:10.48550/arxiv.2512.00202

  40. [40]

    Srivastava, R. , year=. Counting rational points in non-isotropic neighborhoods of manifolds , volume=. doi:10.1016/j.aim.2025.110394 , journal=

    work page doi:10.1016/j.aim.2025.110394 2025

  41. [41]

    Lattice points close to families of surfaces, non-isotropic dilations and regularity of generalized Radon transforms

    Iosevich, A. and Taylor, K. , year=. Lattice points close to families of surfaces, non-isotropic dilations and regularity of generalized Radon transforms , url=. doi:10.48550/arXiv.1103.1670 , note=

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1103.1670

  42. [42]

    Kim, S. , year=. Adelic Rogers integral formula , url=. doi:10.48550/arXiv.2205.03138 , note=

    work page doi:10.48550/arxiv.2205.03138

  43. [43]

    Geometriae Dedicata , author=

    Comparison of volumes of. Geometriae Dedicata , author=. 2019 , month=apr, pages=. doi:10.1007/s10711-018-0350-5 , number=

    work page doi:10.1007/s10711-018-0350-5 2019

  44. [44]

    Weil, A. , year=. Adeles and Algebraic Groups , rights=. doi:10.1007/978-1-4684-9156-2 , publisher=

    work page doi:10.1007/978-1-4684-9156-2

  45. [45]

    Garrett, P. , note=. Volumes of. 2014 , url=

    2014

  46. [46]

    L’Enseignement Mathématique , author=

    The distribution of closed geodesics on the modular surface, and Duke’s theorem , volume=. L’Enseignement Mathématique , author=. 2012 , month=dec, pages=. doi:10.4171/lem/58-3-2 , number=

    work page doi:10.4171/lem/58-3-2 2012

  47. [47]

    and Kleinbock, D

    Singular systems of linear forms and non-escape of mass in the space of lattices , volume=. Journal d’Analyse Mathématique , author=. 2017 , month=oct, pages=. doi:10.1007/s11854-017-0033-4 , number=

    work page doi:10.1007/s11854-017-0033-4 2017

  48. [48]

    Journal of the European Mathematical Society , author=

    Bounding entropy for one-parameter diagonal flows on. Journal of the European Mathematical Society , author=. 2025 , month=feb, language=. doi:10.4171/jems/1592 , abstractNote=

    work page doi:10.4171/jems/1592 2025

  49. [49]

    Acta Arithmetica , author=

    Verallgemeinerung einer Mordellschen Beweismethode in der Geometrie der Zahlen , volume=. Acta Arithmetica , author=. 1935 , pages=. doi:10.4064/aa-1-1-62-66 , number=

    work page doi:10.4064/aa-1-1-62-66 1935

  50. [50]

    Zimmer, Robert J. , year=. Ergodic Theory and Semisimple Groups , rights=. doi:10.1007/978-1-4684-9488-4 , publisher=

    work page doi:10.1007/978-1-4684-9488-4

  51. [51]

    Communications on Pure and Applied Mathematics , author=

    Invariant measures on G/ for split simple Lie groups G , volume=. Communications on Pure and Applied Mathematics , author=. 2003 , month=aug, pages=. doi:10.1002/cpa.10092 , number=

    work page doi:10.1002/cpa.10092 2003