arxiv: 2605.02686 · v1 · submitted 2026-05-04 · 🧮 math.GT · math.DG· math.PR

Recognition: unknown

A sharper bound on the minimal possible diameter of a closed hyperbolic surface

Bram Petri, Joffrey Mathien

Pith reviewed 2026-05-08 03:03 UTC · model grok-4.3

classification 🧮 math.GT math.DGmath.PR

keywords hyperbolic surfacesdiametergenus gclosed surfacesminimal diameterlogarithmic boundshyperbolic geometry

0 comments

The pith

The smallest possible diameter of a closed hyperbolic surface of genus g is at most log g plus 25 log log g plus a constant.

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

This paper establishes a concrete upper bound on the minimal diameter among all closed hyperbolic surfaces of a given genus g. It proves existence of a hyperbolic metric on such a surface whose diameter satisfies the stated logarithmic expression. A sympathetic reader would care because the bound improves on earlier estimates and shows that diameters need not grow faster than log g even as the surface becomes topologically more complex. The leading term matches the known lower bound order of magnitude, leaving only the secondary logarithmic term and constant to be sharpened further.

Core claim

The paper proves that the minimal possible diameter of a closed hyperbolic surface of genus g is at most log(g) + 25 log log(g) + O(1).

What carries the argument

The explicit or probabilistic construction of a hyperbolic metric on a genus-g surface that realizes the diameter bound.

If this is right

The minimal diameter over all closed hyperbolic genus-g surfaces grows at most like log g with a controlled secondary term.
The gap between this upper bound and known lower bounds of order log g is now reduced to the coefficient of log log g.
For all sufficiently large g there exists a hyperbolic surface whose diameter is bounded by the given expression.
The result applies uniformly to every genus g once g exceeds some absolute threshold.

Where Pith is reading between the lines

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

Refinements of the same construction technique might reduce the coefficient 25 in front of log log g.
Analogous diameter bounds could be derived for hyperbolic 3-manifolds or for surfaces with boundary.
The construction may also yield control on other geometric invariants such as the systole or the injectivity radius.

Load-bearing premise

The proof constructs or exhibits a hyperbolic metric on a genus-g surface whose diameter satisfies the stated bound.

What would settle it

An explicit computation or independent verification showing that the diameter of the constructed family of surfaces exceeds log(g) + 25 log log(g) + C for arbitrarily large g and any fixed C would settle the claim.

Figures

Figures reproduced from arXiv: 2605.02686 by Bram Petri, Joffrey Mathien.

**Figure 1.** Figure 1: A path between o and some other vertex x. All the symbols refer to the proof of Lemma 3.2. The point h is on one of the sides of length ℓ/2 of H, so we have d(xH, h) ≤ Cℓ + ℓ 4 . The point h divides the geodesic into two parts, one from o to h of length l1 and one from h to x of length l2. Because xH is in SR, we have that R − 2Cℓ ≤ d(o, xH) ≤ d(o, h) + d(h, xH) ≤ l1 + ℓ 4 + Cℓ . As a consequence, l1 ≥ R −… view at source ↗

read the original abstract

We prove that the minimal possible diameter of a closed hyperbolic surface of genus $g$ is at most $\log(g)+25 \log \log(g) + O(1)$.

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.

Desk Editor's Note private letter to a colleague

This paper sharpens the upper bound on the minimal diameter of genus-g hyperbolic surfaces to log g + 25 log log g + O(1), a modest quantitative step if the probabilistic estimates hold.

read the letter

The punchline is that this paper improves the known upper bound for the minimal diameter of a closed hyperbolic surface of genus g to log(g) + 25 log log(g) + O(1). It's a modest sharpening of the secondary term. The new element is that specific coefficient of 25. The abstract indicates they have a construction or existence proof that beats previous published bounds on this quantity. They do a good job focusing on a concrete improvement rather than just asymptotics. The paper handles the probabilistic construction reasonably if the details are filled in. Standard methods in this area use random pants decompositions or geodesic graphs to bound diameter, and getting down to 25 suggests they optimized the union bound or concentration inequalities. Soft spots are around the verification of the probability estimates. The concern is whether the random choices give sufficient independence for the union bound to work with that coefficient, and whether all constants in the O(1) are properly accounted for from the hyperbolic trigonometry. If there's a gap in controlling the maximal graph distance, the bound could be off. The full manuscript would need to show the calculations explicitly. The citation pattern looks fine based on the abstract, building on prior work in the field without obvious omissions. This paper is for people in geometric topology interested in diameter bounds, systolic geometry, or random hyperbolic surfaces. A reader who needs the best known constants for their own estimates would get something from it. It deserves a serious referee because the result is precise and the method is standard but with a new constant that can be checked. I recommend sending it out for review, but the referees should pay close attention to the probabilistic success probability and the constant terms.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that the minimal possible diameter of a closed hyperbolic surface of genus g is at most log(g) + 25 log log(g) + O(1). The proof proceeds via a probabilistic construction that produces a hyperbolic metric on a genus-g surface whose diameter satisfies the stated bound.

Significance. If the central existence argument holds, the result sharpens known upper bounds on the minimal diameter of hyperbolic surfaces and supplies explicit secondary terms. The probabilistic method for controlling diameter via random pants decompositions or geodesic graphs is standard in the area; a rigorous verification of the constants would constitute a modest but useful advance.

major comments (2)

[§4] §4, probabilistic construction: the union-bound estimate controlling the maximal graph distance (leading to the coefficient 25) assumes sufficient independence among the random distance events for pairs of points in the 1-skeleton. The manuscript must verify that the dependence introduced by overlapping geodesics does not inflate the failure probability beyond 1, otherwise the existence statement fails.
[Theorem 1.1] Theorem 1.1 and the O(1) term: the constants absorbed in O(1) arise from hyperbolic trigonometry (law of cosines) and the choice of base length scale in the construction. These must be bounded independently of g; an explicit upper bound on the hidden constant is required to confirm the headline inequality holds for all sufficiently large g.

minor comments (2)

[Introduction] The introduction should include a brief comparison table or explicit citation of the best previous upper bound (e.g., the log g + C log log g result with larger C) to clarify the improvement.
[§4] Notation for the random variables in the concentration estimates (e.g., the maximal distance random variable) should be defined before its first use in §4.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address each major comment below. The first concern is resolved by noting that the union bound requires no independence assumption. The second is addressed by adding an explicit bound on the constant via a minor revision.

read point-by-point responses

Referee: §4, probabilistic construction: the union-bound estimate controlling the maximal graph distance (leading to the coefficient 25) assumes sufficient independence among the random distance events for pairs of points in the 1-skeleton. The manuscript must verify that the dependence introduced by overlapping geodesics does not inflate the failure probability beyond 1, otherwise the existence statement fails.

Authors: The union bound holds for any collection of events, independent or not: for events E_i, P(∪ E_i) ≤ ∑ P(E_i) always. In the construction, we apply this directly to the events that a given pair of 1-skeleton points has graph distance exceeding the target threshold. Each such probability is bounded exponentially small by the random choice of pants decomposition and geodesic lengths. Overlaps among geodesics create dependence, but this cannot increase the union bound above the sum. The parameters are chosen so that the sum is less than 1 for large g, yielding the desired existence. The argument in §4 is therefore already rigorous and requires no modification. revision: no
Referee: Theorem 1.1 and the O(1) term: the constants absorbed in O(1) arise from hyperbolic trigonometry (law of cosines) and the choice of base length scale in the construction. These must be bounded independently of g; an explicit upper bound on the hidden constant is required to confirm the headline inequality holds for all sufficiently large g.

Authors: We agree that an explicit numerical bound strengthens the result. The base length scale is fixed independently of g, and all applications of the hyperbolic law of cosines and related inequalities produce constants uniform in g. Tracing these estimates through the proof of Theorem 1.1 yields a concrete upper bound on the hidden constant. We will revise the manuscript to replace the O(1) by an explicit additive constant C (with a short remark deriving its value from the fixed parameters and trigonometric bounds) and update the statement of Theorem 1.1 accordingly. revision: yes

Circularity Check

0 steps flagged

No circularity: direct existence proof via metric construction

full rationale

The paper claims to prove an upper bound on the minimal diameter of a closed hyperbolic surface of genus g by exhibiting (or proving existence of) a hyperbolic metric achieving diameter at most log g + 25 log log g + O(1). This is a standard direct existence argument in geometric topology. No quoted equations, definitions, or citations in the abstract or description reduce the claimed bound to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation chain. The derivation is self-contained as a mathematical construction against external benchmarks in hyperbolic geometry and does not rely on renaming known results or smuggling ansatzes via prior self-work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the existence of hyperbolic metrics on closed genus-g surfaces (standard by uniformization) and on a construction that controls diameter; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Every closed orientable surface of genus g ≥ 2 admits a hyperbolic metric.
Uniformization theorem, standard background in the field.
standard math The hyperbolic plane is a complete Riemannian manifold of constant curvature −1 with well-defined distance function.
Foundational differential geometry invoked implicitly for diameter.

pith-pipeline@v0.9.0 · 5310 in / 1209 out tokens · 94983 ms · 2026-05-08T03:03:23.275339+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references

[1]

Disques extr\'emaux et surfaces modulaires

Christophe Bavard. Disques extr\'emaux et surfaces modulaires. Ann. Fac. Sci. Toulouse Math. (6) , 5(2):191--202, 1996

1996
[2]

On the minimal diameter of closed hyperbolic surfaces

Thomas Budzinski, Nicolas Curien, and Bram Petri. On the minimal diameter of closed hyperbolic surfaces. Duke Math. J. , 170(2):365--377, 2021

2021
[3]

Bollob\' a s and W

B. Bollob\' a s and W. Fernandez de la Vega. The diameter of random regular graphs. Combinatorica , 2(2):125--134, 1982

1982
[4]

Small eigenvalues of R iemann surfaces and graphs

Marc Burger. Small eigenvalues of R iemann surfaces and graphs. Math. Z. , 205(3):395--420, 1990

1990
[5]

a user Classics. Birkh\

Peter Buser. Geometry and spectra of compact R iemann surfaces . Modern Birkh\" a user Classics. Birkh\" a user Boston, Ltd., Boston, MA, 2010. Reprint of the 1992 edition

2010
[6]

Petites valeurs propres du laplacien sur une surface de R iemann compacte et graphes

Bruno Colbois. Petites valeurs propres du laplacien sur une surface de R iemann compacte et graphes. C. R. Acad. Sci. Paris S\'er. I Math. , 301(20):927--930, 1985

1985
[7]

Estimating small eigenvalues of R iemann surfaces

Jozef Dodziuk, Thea Pignataro, Burton Randol, and Dennis Sullivan. Estimating small eigenvalues of R iemann surfaces. In The legacy of S onya K ovalevskaya ( C ambridge, M ass., and A mherst, M ass., 1985) , volume 64 of Contemp. Math. , pages 93--121. Amer. Math. Soc., Providence, RI, 1987

1985
[8]

Diameter of a new model of random hyperbolic surfaces

Joffrey Mathien. Diameter of a new model of random hyperbolic surfaces. Ann. Inst. H. Poincaré Sect. B (N.S.), to appear, 2026+

2026
[9]

McMullen

Curtis T. McMullen. Hausdorff dimension and conformal dynamics. III . C omputation of dimension. Amer. J. Math. , 120(4):691--721, 1998

1998
[10]

S. J. Patterson. The limit set of a F uchsian group. Acta Math. , 136(3-4):241--273, 1976

1976
[11]

Related aspects of positivity in R iemannian geometry

Dennis Sullivan. Related aspects of positivity in R iemannian geometry. J. Differential Geom. , 25(3):327--351, 1987

1987