pith. machine review for the scientific record. sign in

arxiv: 2605.14574 · v1 · submitted 2026-05-14 · 🧮 math.GT · math.MG· math.NT

Recognition: no theorem link

McShane-Rivin norm balls and simple-length multiplicities

Nhat Minh Doan , Xiaobin Li , Van Nguyen
Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:18 UTC · model grok-4.3

classification 🧮 math.GT math.MGmath.NT
keywords simple closed geodesicshyperbolic once-punctured torilength spectrum multiplicitiesMcShane-Rivin norm ballsMarkoff numbersnormal-turn estimatesnorm ball geometry
0
0 comments X

The pith

For any finite-area hyperbolic once-punctured torus, at most C (log L)^2 simple closed geodesics share any fixed length L.

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

The paper proves an upper bound of C_X (log L)^2 on the number of simple closed geodesics of exact length L on any complete finite-area hyperbolic once-punctured torus X. The proof converts growth control on McShane-Rivin norm balls into this multiplicity bound via normal-turn estimates. A reader cares because the result limits how often lengths can repeat among the simplest geodesics and sharpens earlier bounds on Markoff number fibers for the modular torus.

Core claim

For every complete finite-area hyperbolic once-punctured torus X the number of simple closed geodesics of length exactly L ≥ 2 is at most C_X (log L)^2. Specializing to the modular torus gives that the preimage size #λ_M^{-1}(m) is at most C (log log(3m))^2 for every Markoff number m. The same estimates also supply new quantitative control on the local geometry of the McShane-Rivin norm balls, including obstructions to infinite-order flatness at certain irrational directions.

What carries the argument

Normal-turn estimates for McShane-Rivin norm balls, which bound directional turning inside the balls and thereby turn volume-growth data into exact-norm multiplicity bounds.

If this is right

  • The multiplicity bound holds uniformly for all complete finite-area hyperbolic once-punctured tori.
  • Markoff-number fibers satisfy the improved bound C (log log(3m))^2.
  • The same estimates yield quantitative obstructions to infinite-order flatness at certain irrational directions in the norm balls.
  • Local geometry of the McShane-Rivin norm balls receives new explicit controls near the boundary.

Where Pith is reading between the lines

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

  • The normal-turn estimates might be sharpened to replace the (log L)^2 factor by a slower-growing function or even a constant.
  • The same ball-geometry technique could be tested on simple geodesics for other finite-area hyperbolic surfaces with punctures.
  • Explicit constants in the bound C_X would allow effective computational checks of the multiplicity for moderate L.

Load-bearing premise

The normal-turn estimates for McShane-Rivin norm balls hold uniformly enough to convert growth control into a multiplicity bound without additional length-dependent losses.

What would settle it

An explicit sequence of lengths L_n on some once-punctured torus where the number of distinct simple closed geodesics of length exactly L_n grows faster than any constant times (log L_n)^2 would falsify the claim.

Figures

Figures reproduced from arXiv: 2605.14574 by Nhat Minh Doan, Van Nguyen, Xiaobin Li.

Figure 1
Figure 1. Figure 1: The McShane–Rivin unit ball BX for the modular torus and the dilated boundary L∂BX, with L = 2 arccosh(15/2). The 12 large red primitive lattice points on L∂BX correspond to 6 unoriented simple closed geodesics of length L. 1 arXiv:2605.14574v1 [math.GT] 14 May 2026 [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: An illustration for Lemma 2.5. The edge e separates the gap side TJ , adjacent to Ru+v, from the sink side T−. The arrows point toward the Bowditch sink sX. We next combine the Farey-neighbor property with Bowditch’s sink theorem. Let r1, r2, r3 ∈ P be the three labels of the complementary regions of T incident to the Bowditch sink sX. Define H0 = max{ht(r1), ht(r2), ht(r3)}. Lemma 2.5 (The gap side carrie… view at source ↗
Figure 3
Figure 3. Figure 3: The McShane–Rivin unit ball for the modular torus. The ray R>0a meets ∂BX at pa = a/∥a∥X, where λ = 1 supports BX. The red arrow is the support direction ν(λ), and the orange arc selects the one-sided supporting functional determined by the cone spanned by a and b. For a ∈ R 2 \ {0}, set pa = a ∥a∥X ∈ ∂BX. Define ∂X(a) = {λ ∈ (R 2 ) ∗ : λ(y) ≤ 1 for all y ∈ BX, λ(pa) = 1}. Equivalently, λ ∈ ∂X(a) if and on… view at source ↗
Figure 4
Figure 4. Figure 4: The row h shows the set Ah of exponentially small neighborhoods of primitive directions of height h. Since the total length is summable, Borel– Cantelli implies that almost every direction is hit only finitely often. Proposition 5.5. Let β ∈ (0, 1) \ Q have continued fraction expansion β = [0; a1, a2, . . .], and let pj/qj be its convergents. For A > 0, define NA = n β ∈ (0, 1) \ Q : qj+1(β) ≥ e Aqj (β) fo… view at source ↗
read the original abstract

We use normal-turn estimates for McShane--Rivin norm balls to prove that, for every complete finite-area hyperbolic once-punctured torus $X$, the number of simple closed geodesics of length exactly $L\geq 2$ is at most $C_X(\log L)^2$. For the modular torus, this gives $$ \#\lambda_M^{-1}(m)\leq C(\log\log(3m))^2 $$ for every Markoff number $m$, improving the previous logarithmic Markoff-fiber bounds. These estimates also give new quantitative information on the local geometry of McShane--Rivin norm balls, including obstructions to infinite-order flatness at certain irrational directions.

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 / 2 minor

Summary. The paper uses normal-turn estimates for McShane-Rivin norm balls to prove that, for every complete finite-area hyperbolic once-punctured torus X, the number of simple closed geodesics of length exactly L ≥ 2 is at most C_X (log L)^2. For the modular torus this specializes to the bound #λ_M^{-1}(m) ≤ C (log log(3m))^2 on Markoff-number multiplicities, improving prior logarithmic bounds. The estimates also yield quantitative control on the local geometry of the norm balls, including obstructions to infinite-order flatness at certain irrational directions.

Significance. If the central derivation holds, the result supplies improved, explicit multiplicity bounds for simple geodesics on once-punctured tori and for Markoff fibers, obtained from uniform geometric estimates rather than parameter fitting. The conversion of controlled ball growth into a (log L)^2 multiplicity bound without additional length-dependent losses is technically useful and strengthens the link between norm-ball geometry and counting problems in hyperbolic surfaces.

minor comments (2)
  1. [Main theorem statement] The dependence of the constant C_X on the surface X should be stated more explicitly in the main theorem (e.g., whether it depends only on the area or on additional geometric invariants of X).
  2. [Abstract and introduction] The abstract refers to 'new quantitative information' on obstructions to infinite-order flatness; the introduction or §4 should list the precise statements (e.g., which irrational directions are obstructed and by what quantitative measure).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The central result improves the multiplicity bound for simple geodesics on hyperbolic once-punctured tori to O((log L)^2) via normal-turn estimates on McShane-Rivin norm balls, with the stated specialization to Markoff numbers. We address the report below.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent geometric estimates

full rationale

The paper derives the multiplicity bound #λ^{-1}(L) ≤ C_X (log L)^2 directly from normal-turn estimates on McShane-Rivin norm balls. These estimates are obtained from the hyperbolic geometry of the once-punctured torus and control the growth of the balls uniformly in length. The resulting multiplicity bound follows by converting this growth control into a counting argument without any parameter fitting to the target count, without self-definitional reduction, and without load-bearing self-citations that would collapse the claim. The specialization to the modular torus and Markoff numbers is a direct substitution of the same estimates. The argument is therefore self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The proof rests on standard facts about hyperbolic geometry and the McShane-Rivin norm together with new normal-turn estimates whose derivation is internal to the paper.

free parameters (1)
  • C_X
    Surface-dependent constant allowed by the statement; not fitted to data but permitted to vary with X.
axioms (1)
  • domain assumption Hyperbolic once-punctured tori admit a complete finite-area metric and the McShane-Rivin norm is well-defined on the space of measured laminations.
    Invoked throughout the abstract as the setting for the norm balls.

pith-pipeline@v0.9.0 · 5413 in / 1205 out tokens · 27502 ms · 2026-05-15T01:18:59.552058+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

36 extracted references · 36 canonical work pages

  1. [1]

    2013 , doi =

    Aigner, Martin , title =. 2013 , doi =

    work page 2013

  2. [2]

    Khinchin, Aleksandr Yakovlevich , title =

    work page

  3. [3]

    Rockett, Andrew M. and Sz. Continued Fractions , publisher =

    work page

  4. [4]

    Durrett, Rick , title =

    work page

  5. [5]

    Cassels, J. W. S. , title =

    work page

  6. [6]

    Button, J. O. , title =. Journal of Number Theory , volume =. 2001 , doi =

    work page 2001

  7. [7]

    Journal of Number Theory , volume =

    Chen, Feng-Juan and Chen, Yong-Gao , title =. Journal of Number Theory , volume =. 2013 , doi =

    work page 2013

  8. [8]

    The Electronic Journal of Combinatorics , volume =

    Gyoda, Yasuaki and Matsushita, Kodai , title =. The Electronic Journal of Combinatorics , volume =. 2023 , doi =

    work page 2023

  9. [9]

    The Ramanujan Journal , volume =

    Banaian, Esther and Sen, Archan , title =. The Ramanujan Journal , volume =. 2024 , doi =

    work page 2024

  10. [10]

    2025 , note =

    Banaian, Esther , title =. 2025 , note =

    work page 2025

  11. [11]

    Schneider, Rolf , title =

    work page

  12. [12]

    Tyrrell , title =

    Rockafellar, R. Tyrrell , title =

    work page

  13. [13]

    Canadian Mathematical Bulletin , volume =

    Baragar, Arthur , title =. Canadian Mathematical Bulletin , volume =. 1996 , doi =

    work page 1996

  14. [14]

    Bowditch, B. H. , title =. Bulletin of the London Mathematical Society , volume =. 1996 , doi =

    work page 1996

  15. [15]

    Bowditch, B. H. , title =. Proceedings of the London Mathematical Society , volume =. 1998 , doi =

    work page 1998

  16. [16]

    Button, J. O. , title =. Journal of the London Mathematical Society , volume =. 1998 , doi =

    work page 1998

  17. [17]

    Annals of Mathematics , volume =

    Cohn, Harvey , title =. Annals of Mathematics , volume =. 1955 , doi =

    work page 1955

  18. [18]

    Geometric and Functional Analysis , volume =

    Erlandsson, Viveka and Souto, Juan , title =. Geometric and Functional Analysis , volume =. 2016 , doi =

    work page 2016

  19. [19]

    2022 , doi =

    Erlandsson, Viveka and Souto, Juan , title =. 2022 , doi =

    work page 2022

  20. [20]

    Sitzungsberichte der K

    Frobenius, Georg , title =. Sitzungsberichte der K

    work page

  21. [21]

    Advances in Mathematics , volume =

    Gaster, Jonah , title =. Advances in Mathematics , volume =. 2022 , doi =

    work page 2022

  22. [22]

    Mathematische Zeitschrift , volume =

    Jarn. Mathematische Zeitschrift , volume =. 1926 , doi =

    work page 1926

  23. [23]

    Advances in Applied Mathematics , volume =

    Lee, Kyungyong and Li, Li and Rabideau, Michelle and Schiffler, Ralf , title =. Advances in Applied Mathematics , volume =. 2023 , doi =

    work page 2023

  24. [24]

    McShane, Greg , title =

    work page

  25. [25]

    Inventiones Mathematicae , volume =

    McShane, Greg , title =. Inventiones Mathematicae , volume =. 1998 , doi =

    work page 1998

  26. [26]

    Geometry & Topology , volume =

    McShane, Greg and Parlier, Hugo , title =. Geometry & Topology , volume =. 2008 , doi =

    work page 2008

  27. [27]

    International Mathematics Research Notices , volume =

    McShane, Greg and Rivin, Igor , title =. International Mathematics Research Notices , volume =. 1995 , doi =

    work page 1995

  28. [28]

    Comptes Rendus de l'Acad

    McShane, Greg and Rivin, Igor , title =. Comptes Rendus de l'Acad

    work page

  29. [29]

    Annals of Mathematics , volume =

    Mirzakhani, Maryam , title =. Annals of Mathematics , volume =. 2008 , doi =

    work page 2008

  30. [30]

    Advances in Mathematics , volume =

    Rabideau, Michelle and Schiffler, Ralf , title =. Advances in Mathematics , volume =. 2020 , doi =

    work page 2020

  31. [31]

    Mathematische Annalen , volume =

    Schmutz, Paul , title =. Mathematische Annalen , volume =. 1996 , doi =

    work page 1996

  32. [32]

    1996 , doi =

    The modular torus has maximal length spectrum , journal =. 1996 , doi =

    work page 1996

  33. [33]

    , title =

    Sorrentino, Alfonso and Veselov, Alexander P. , title =. Nonlinearity , volume =. 2019 , doi =

    work page 2019

  34. [34]

    Geometriae Dedicata , volume =

    Lang, Mong Lung and Tan, Ser Peow , title =. Geometriae Dedicata , volume =. 2007 , doi =

    work page 2007

  35. [35]

    Mathematics of Computation , volume =

    Zagier, Don , title =. Mathematics of Computation , volume =. 1982 , doi =

    work page 1982

  36. [36]

    Acta Arithmetica , volume =

    Zhang, Ying , title =. Acta Arithmetica , volume =. 2007 , doi =

    work page 2007