Pith. sign in

REVIEW 1 major objections 4 minor 45 references

Spectral gaps on thick part of moduli spaces

T0 review · 1 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper proves that in every thick part of moduli space, the maximum $k$-th spectral gap of closed hyperbolic surfaces tends to $\tfrac14$ as the genus tends to infinity.

desk verdict A serious and mostly convincing proof that thick parts of moduli space contain surfaces with spectral gaps approaching 1/4, genuinely new for higher eigenvalues and built on a careful new compactification. read the letter →

arxiv 2501.09266 v1 pith:A3BNSBF3 submitted 2025-01-16 math.DG math.CVmath.GTmath.NTmath.SP

Yunhui Wu , Haohao Zhang This is my paper · ORCID
classification math.DGmath.CVmath.GTmath.NTmath.SP MSC 58J5030F6032G15
keywords spectralgapshyperbolicsurfacesmodulispacethickpartLaplacianeigenvaluesrandomcoversNeumannthree-puncturedsphere
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

This paper proves that on every thick part of the moduli space of closed hyperbolic surfaces—the compact region where the shortest closed geodesic has length at least a fixed $\varepsilon>0$—the largest possible $k$-th spectral gap tends to $\tfrac14$ as the genus $g$ goes to infinity, for every fixed $k\geq1$. Previously, the value $\tfrac14$ was known as the asymptotic supremum over the whole moduli space, but the surfaces realizing it degenerated toward the boundary. Here the gap $\lambda_k-\lambda_{k-1}$ is shown to approach $\tfrac14$ for surfaces whose systole is bounded below, so the extremal surfaces stay in the interior. The proof constructs such surfaces by cutting off large cusps from random covers of the three-punctured sphere, preserving the spectral bottom in the first Neumann eigenvalue, then gluing $k$ copies together.

What carries the argument

The argument runs on a cusp-compactification comparison. Starting from a finite-area non-compact hyperbolic surface $X$ with large cusps of length $l$, one removes the cusp ends below a fixed horocycle length $\epsilon_0$ and takes the compact convex core $Y$ of the remaining infinite-area surface; Theorem 1.2 shows that when $l$ is large, the first Neumann eigenvalue $\sigma_1(Y)$ is at least $(1-4\delta)\bar\lambda_1(X)-\delta$, so the spectral bottom of the non-compact surface is almost preserved. Theorem 1.3 then perturbs the boundary lengths of $Y$ by factors $1+\delta_i$ through bi-Lipschitz maps whose deviation and Neumann-eigenvalue change are $O(\sqrt{\delta})$, independent of the surface, so the boundaries can be made equal and glued.

What would settle it

Compute the discrete spectrum of the three-punctured sphere: if it has any non-zero eigenvalue below $\tfrac14$, then Proposition 3.1 cannot hold for small $\delta$, since random covers inherit the base spectrum below $\tfrac14-\delta$; a direct numerical check of this base spectral fact would settle the input to the construction.

Watch

Extended reading notes

Core claim

The central discovery is that the universal bound $\tfrac14$ for spectral gaps is attained inside every thick part: for any fixed $\varepsilon>0$ and fixed $k$, one has $\lim_{g\to\infty}\max_{X_g\in M_g^{\geq\varepsilon}}(\lambda_k(X_g)-\lambda_{k-1}(X_g))=\tfrac14$. For $k=1$ this says the maximum of $\lambda_1$ over the $\varepsilon$-thick part tends to $\tfrac14$; for general $k$, the constructed surfaces have $\lambda_k\to\tfrac14$ while the first $k-1$ eigenvalues are pushed down to zero, so the $k$-th gap alone carries the whole spectral radius. The matching upper bound comes from the standard eigenvalue comparison estimate, so the limit is exact.

Load-bearing premise

The proof needs, for every $\varepsilon$, $l$, $\delta$ and all sufficiently large $i$, a finite-area non-compact hyperbolic surface of Euler characteristic $-i$ with systole at least $\varepsilon$, cusps of length at least $l$, and no non-zero Laplacian spectrum below $\tfrac14-\delta$; this is assembled from four separate probabilistic theorems about random covers of the three-punctured sphere, and the proof also uses without citation that this base surface has no small eigenvalue.

Editorial extensions

If this is right

  • For every $\varepsilon>0$ and every fixed $k$, there are closed hyperbolic surfaces of arbitrarily large genus, with systole at least $\varepsilon$, whose $k$-th Laplacian gap is within any prescribed tolerance of $\tfrac14$; the first $k-1$ gaps are simultaneously pushed down to zero.
  • The maximum of $\lambda_1$ over the $\varepsilon$-thick part converges to $\tfrac14$, so the known optimal first-eigenvalue bound holds uniformly on compact subsets of moduli space rather than only near the boundary.
  • The matching upper bound shows the value $\tfrac14$ is sharp: for large genus no surface in the thick part can have a $k$-th gap larger than $\tfrac14$.
  • The compactification used here avoids the older procedure that forces closed geodesics to become very short, so the resulting surfaces remain in the thick part by construction.
  • For the first two distinct eigenvalues, the gap between the second and first distinct eigenvalue also tends to $\tfrac14$ on the thick part.

Reading between the lines

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

  • The constant $\tfrac14$ is the bottom of the continuous spectrum of non-compact finite-area hyperbolic surfaces; this suggests that the extremal spectral behaviour of large-genus thick-part surfaces is inherited from an idealized cusp-like spectrum even though the final closed surfaces have no cusps.
  • Theorem 1.3 is a genus-independent stability statement for Neumann eigenvalues under boundary-length changes, so it may be useful for other problems where bordered hyperbolic surfaces with slightly different boundary geometry must be compared.
  • The random-cover input suggests a concrete numerical probe: sample random covers of the three-punctured sphere, cut off long cusps, adjust boundary lengths, and check empirically whether $\lambda_k-\lambda_{k-1}$ approaches $\tfrac14$; such simulations could indicate how large the genus must be before the asymptotic is visible.
  • The paper hints at a possible extension to arithmetic hyperbolic surfaces; a testable question is whether explicit arithmetic sequences with uniformly bounded systole can realize the $\tfrac14$ gap.
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

1 major / 4 minor

Summary. The paper proves that for every fixed k≥1 and every fixed ε>0, the maximum of λ_k−λ_{k−1} over the ε-thick part of the moduli space of closed hyperbolic surfaces of genus g tends to 1/4 as g→∞. The proof has three main ingredients: (i) a comparison theorem (Theorem 1.2) between the first non-zero spectrum of a finite-area non-compact surface and the first Neumann eigenvalue of a compact core obtained by cutting off large cusps; (ii) a uniform stability theorem (Theorem 1.3) for first Neumann eigenvalues under small changes of boundary lengths of a bordered hyperbolic surface; and (iii) an input from random covers (Proposition 3.1) producing finite-area starting surfaces with large spectral gap, large cusps, and long systole. These ingredients are then combined by gluing several copies of a bordered surface with two boundary components to obtain closed surfaces with large k-th spectral gap. The paper also contains several auxiliary results, including a mass-distribution estimate for eigenfunctions on collars and a detailed deformation argument for pairs of pants.

Significance. If the proof is completed as intended, the result is a natural and significant extension of the Hide–Magee theorem and of the authors' earlier work with Zhu to the compact thick part of moduli space. The paper gives a genuinely new compactification procedure that avoids the long thin collars produced by earlier Buser–Burger–Dodziuk-type methods. Theorem 1.2 and Theorem 1.3 are of independent interest: the latter provides a uniform spectral stability statement with explicit constants that is not available elsewhere. The use of random covers is appropriate, and the proof is largely self-contained modulo the cited probabilistic theorems. The manuscript is carefully written, with detailed computations in Section 8.

major comments (1)
  1. [Proposition 1.4, Step 4, and proof of Theorem 1.1] The systole bound for the glued surfaces is not justified for arbitrary ε>0. In Step 4, a new simple closed geodesic δ in Y_{g,2} that intersects a glued boundary component γ'_j of length ε is ruled out by 'by (9) we find that it always has length ≥ε.' However, equation (9) gives only ℓ(δ) ≥ 2 arcsinh(1/sinh(ε/2)), which for ε>2 arcsinh 1 is strictly smaller than ε. The presence of an embedded half-collar of width ε/2 does not force a geodesic crossing the seam to reach the outer boundary of that half-collar; a geodesic can cross the seam while staying arbitrarily close to it, so the half-collar alone does not supply the claimed lower bound. The same gap appears in the final gluing of k copies of Y_{g,2} in the proof of Theorem 1.1, where Z_g is asserted to lie in M^{≥ε}_g. As written, the argument establishes the claimed systole control only for ε ≤ 2 arcsinh 1. A twist-selection argument, or an additional estimate controlling the shortest geodesic crossing the identified boundary components, is needed for the theorem as stated for all fixed ε>0.
minor comments (4)
  1. [Proposition 3.1, proof] The proof states without citation that λ1(X)>1/4 for X=S0,3, the three-punctured sphere. This is a classical Selberg-type fact and is very likely true, but a reference should be provided. Moreover, the argument only needs that S0,3 has no eigenvalues in [0,1/4−δ], so the statement could be relaxed to 'λ1(S0,3) ≥ 1/4' or 'no discrete eigenvalue in [0,1/4−δ]'.
  2. [Lemma 8.28 and Lemma 8.17] Lemma 8.28 states that inequality (92) holds with δ0 = 54e^{2\bar h}δd, while Lemma 8.17 uses δ0 = 54e^{2\bar h}√δd. The former is stronger and the combination is valid, but the notation should be reconciled to avoid apparent inconsistency.
  3. [Theorem 4.2, Part (3)] The strict inequality ds²_X < ds²_{X^fu} on the stated subsurface is asserted in the statement of Theorem 4.2, but the proof only cites Lemma 4.5 together with Lemma 4.4(3), which give (1−δ)ds²_{X^δ} ≤ ds²_{X^fu} and ds²_{X^δ} ≥ ds²_X. The strict inequality follows from the domain monotonicity of Poincaré metrics (Ahlfors–Schwarz), and this should be stated explicitly.
  4. [Lemma 6.4] In the estimate of the second term in (67), the paper uses dvol_X ≤ dvol_Y on the collars C(√w). This is true because X^fu ⊂ X and the Poincaré metric of a subdomain dominates the ambient one, but it is not explicitly justified at that point.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; the construction is self-contained and imports only external random-cover theorems.

full rationale

The central derivation is not circular. The lower bound in Theorem 1.1 is obtained by explicitly constructing, for each large genus, a closed surface Z_g in the thick part with λ_{k−1}(Z_g)→0 and λ_k(Z_g)≥1/4−O(δ): Proposition 3.1 supplies finite-area non-compact starting surfaces whose required properties (|χ|=i, systole ≥ε, large cusps of length l, λ̄1>1/4−δ) come from four external probabilistic results (Hide–Magee, Klukowski–Marković/Magee, Nica, Puder–Zimhoni) about random covers of a fixed three-punctured sphere; no fitted parameter or target spectral gap enters. The comparison theorems (Theorems 1.2 and 1.3) are proved in this paper from the mini-max principle, the Ahlfors–Schwarz lemma and explicit hyperbolic-geometry estimates, and the eigenvalue collapse λ_{k−1}(Z_g)→0 is proved via Corollary 2.12 using collars and the mini-max principle. The upper bound 1/4 is Cheng's classical theorem. The only self-citation, [WZZ24], is used in the introduction and in Section 9 remarks; the proof of Theorem 1.1 reproves the needed gluing and degenerating-mini-max inputs rather than importing them. One presentation gap is the uncited assertion in the proof of Proposition 3.1 that λ1(S0,3)>1/4; this is a missing reference (and a mild correctness risk if false), but it concerns external facts about the base sphere, not the target result, and it is not equivalent by construction to the predicted spectral gap.

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

The central claim rests on standard hyperbolic geometry facts (uniformization, Ahlfors-Schwarz, collar lemma, mini-max principle) and on four external random-covering theorems. The paper introduces no new entities and fits no constants; all proof parameters (δ, l, ε0) are existential and tend to zero or infinity by construction.

assumptions (7)
  • standard math Uniformization theorem and Ahlfors-Schwarz lemma: every simply connected or annular domain carries a unique complete hyperbolic metric, and conformal metrics with curvature ≤ -1 dominate the hyperbolic metric.
    Used in Lemma 2.8 and Lemma 4.5 to define and compare the Poincaré metric on X_fu.
  • standard math Collar lemma for simple closed geodesics (Theorem 2.5).
    Used throughout to control half-collars, boundary lengths, and lower bounds for intersecting geodesics.
  • standard math Mini-max principle for eigenvalues (Theorem 2.10).
    The main tool converting upper bounds on Rayleigh quotients of test functions into lower bounds on λ_k and λ_{k-1}.
  • domain assumption Hide-Magee theorem on a.a.s. spectral gap of random covers (Theorem 3.2).
    Supplies the starting surfaces with λ̄1 > 1/4 - δ; imported from [HM23].
  • domain assumption Klukowski-Marković and Magee theorems on large cusps for random covers (Theorem 3.3).
    Needed for the cusp-cutting procedure; imported from [KM24, Mag24].
  • domain assumption Nica and Puder-Zimhoni theorems on fixed points of random permutations (Theorems 3.4 and 3.5).
    Used to show a positive lower bound on the probability that the systole of a random cover exceeds ε.
  • domain assumption Spectral fact λ1(S0,3)>1/4 for the hyperbolic three-punctured sphere.
    Stated as 'It is known' without citation in the proof of Proposition 3.1; needed so the base surface has no eigenvalues below 1/4 - δ.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Spectral gaps on thick part of moduli spaces." pith.science (2026). https://pith.science/paper/A3BNSBF3

@misc{pith2026250109266,
  author       = {Pith},
  title        = {Pith review of: Spectral gaps on thick part of moduli spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A3BNSBF3}},
  note         = {Machine review of arXiv:2501.09266}
}
abstract

In this paper, we study spectral gaps of closed hyperbolic surfaces for large genus. We show that for any fixed $k\geq 1$, as the genus goes to infinity, the maximum of $\lambda_k-\lambda_{k-1}$ over any thick part of the moduli space of closed Riemann surfaces approaches the limit $\frac{1}{4}$.

Figures

Figures reproduced from arXiv: 2501.09266 by the authors.

Figure 1
Figure 1. An illustration from X to Y . Our proof of Theorem 1.1 could be regarded as another method to compactify a finite-area non-compact hyperbolic surface, avoiding the appearance of long thin collars in the compactification procedure of Buser-Burger-Dodziuk. 1.2. Proof sketch of Theorem 1.1. The proof of Theorem 1.1 mainly consists of the following three parts, each of which is of independent interest. 1.2.1. Comparison… view at source ↗
Figure 2
Figure 2. The construction of desired closed hyperbolic surfaces of large genus in Theorem 1.1 when k = 4. 1.2.3. Endgame of the proof of Theorem 1.1 based on random surfaces. Now one can choose a sequence of finite-area non-compact hyperbolic surfaces {Xi}, all having large λ¯ 1, large cusps and long systoles, to serve as a starting point. The existence of such a sequence (see Proposition 3.1, which is essentially due to Hid… view at source ↗
Figure 3
Figure 3. Cusp, collar and funnel Here, for each point (ρ, t), its projection to the geodesic γi is (0, t), and the distance between them is |ρ|. In fact, any collar C(γ, w) will isometric to such a cylinder with the metric (7) as long as it is embedded in S. In particular, the area of a collar C(γ, w(γ)) satisfies (8) Area(C(γ, w(γ))) = Z 1 0 Z w(γ) −w(γ) ℓ(γ) cosh ρ dρ dt = 2 ℓ(γ) sinh(w(γ)) = 2 ℓ(γ) sinh ℓ(γ) 2 ≤ 4. Let γ … view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: An illustration for the metric ds2 Xδ on Cuspi (l). (2) ds2 Xδ = ds2 R on each component of the disjoint union of annuli Gn i=1 Cuspi (ϵ0, 2ϵ0). (3) ds2 Xδ ≥ ds2 X on Xfu, and ds2 Xδ = ds2 X on the subsurface X \ Gn i=1 Cuspi (lδ,ϵ0 ). (4) The Gaussian curvature of ds2…
Figure 5
Figure 5. Figure 5: The location of γi in the proof of Lemma 4.7. which means that γi,δ is contained in the annulus Cuspi (ϵ0, 2ϵ0). Thus, by Part (2) of Lemma 4.4, γi,δ is a simple closed geodesic in ds2 Xδ . By (12) we have ℓXδ (γi,δ) = 2π 2 log R2 − log R1 , it follows that (32) ℓXδ (γ…
Figure 6
Figure 6. Figure 6: Hyperbolic polygons 8.1. Pants decompositions. A pair of pants is a hyperbolic surface of genus zero with three totally geodesic boundaries (a cusp is viewed as a geodesic boundary component of zero length). We denote a pair of pants by P = P(α, β, γ), where α, β, and …
Figure 7
Figure 7. Figure 7: One special pants decomposition of Y . Show SVG Download SVG Serif \gamma i Enter LaTeX Show SVG Download SVG Serif \gamma i+1 Enter LaTeX Show SVG Download SVG Serif \widetilde{\alpha} i Enter LaTeX Show SVG Enter LaTeX Show SVG Download SVG Serif \gamma i+1 Enter LaT…
Figure 8
Figure 8. Figure 8: One Whitehead move with the property that each new pair of pants still has at most one boundary component of Y . Construction of Y ′ g,n. Let Y = Yg.n. Since g ≥ 1, by Lemma 8.8, we can find a pants decomposition of Y such that Y = 2g−[ 2+n i=1 Pi , and γi ⊂ Pi , ∀ 1 ≤…
Figure 9
Figure 9. Figure 9: The construction of Y ′ . is a piecewise smooth homeomorphism. Denote by ds2 Y and ds2 Y ′ the hyperbolic metrics of Y and Y ′ , respectively, then at the points where µ is smooth, by Part (2) of Proposition 8.7 we have Proposition 8.9. For δ sufficiently small, we hav…
Figure 10
Figure 10. Figure 10: The construction of the map µ : Pent → Pent′ . It follows from (87), (88) and (89) that tanh α(u) · tanh α = tanh α ′ (u ′ ) · tanh α ′ . Thus if α = α ′ , then α(u) = α ′ (u ′ ), i.e. µ [PITH_FULL_IMAGE:figures/full_fig_p044_10.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 43 canonical work pages

  1. [1]

    1339, Springer Berlin, Heidelberg, 1988, pp

    Peter Buser, Marc Burger, and J \'o zef Dodziuk, Riemann surfaces of large genus and large _1 , Geometry and Analysis on Manifolds (Toshikazu Sunada, ed.), Lecture Notes in Mathematics, vol. 1339, Springer Berlin, Heidelberg, 1988, pp. 54--63

    work page 1988

  2. [2]

    Nicolas Bergeron, The Spectrum of Hyperbolic Surfaces , Universitext, Springer, Cham; EDP Sciences, Les Ulis, 2016, Appendix C by Valentin Blomer and Farrell Brumley, Translated from 2011 French language edition by Farrell Brumley. 2857626

    work page 2016

  3. [3]

    Bishop, Quasiconformal mappings of y-pieces, Revista Matematica Iberoamericana 18 (2002), 627--652

    Christopher J. Bishop, Quasiconformal mappings of y-pieces, Revista Matematica Iberoamericana 18 (2002), 627--652

    work page 2002

  4. [4]

    Robert Brooks and Eran Makover, Riemann surfaces with large first eigenvalue, Journal d'Analyse Math \'e matique 83 (2001), 243--258

    work page 2001

  5. [5]

    318, Birkhäuser Cham, 2016

    David Borthwick, Spectral Theory of Infinite-Area Hyperbolic Surfaces , 2 ed., Progress in Mathematics, vol. 318, Birkhäuser Cham, 2016

    work page 2016

  6. [6]

    Robert Brooks, Platonic surfaces, Commentarii Mathematici Helvetici 74 (1999), 156--170

    work page 1999

  7. [7]

    Peter Buser, Cubic graphs and the first eigenvalue of a R iemann surface , Mathematische Zeitschrift 162 (1978), 87--99

    work page 1978

  8. [8]

    , On the bipartition of graphs, Discrete Applied Mathematics 9 (1984), 105--109

    work page 1984

Show all 45 references
  1. [9]

    106, Birkh\"auser Boston, Inc., Boston, MA, 1992

    , Geometry and Spectra of Compact Riemann Surfaces , Progress in Mathematics, vol. 106, Birkh\"auser Boston, Inc., Boston, MA, 1992. 1183224

    1992

  2. [10]

    115, Academic Press, Orlando, FL, 1984, Including a chapter by Burton Randol, with an appendix by J \'o zef Dodziuk

    Isaac Chavel, Eigenvalues in Riemannian Geometry , Pure and Applied Mathematics, vol. 115, Academic Press, Orlando, FL, 1984, Including a chapter by Burton Randol, with an appendix by J \'o zef Dodziuk. 0768584

    1984

  3. [11]

    Shiu-yuen Cheng, Eigenvalue comparison theorems and its geometric applications, Mathematische Zeitschrift 143 (1975), 289--297

    1975

  4. [12]

    John Douglas Dixon, The probability of generating the symmetric group, Mathematische Zeitschrift 110 (1969), 199 -- 205

    1969

  5. [13]

    congruence

    Alex Gamburd, On the spectral gap for infinite index “congruence” subgroups of SL_2( Z ) , Israel Journal of Mathematics 127 (2002), 157--200

    2002

  6. [14]

    2, 791 -- 824

    Will Hide and Michael Magee, Near optimal spectral gaps for hyperbolic surfaces, Annals of Mathematics 198 (2023), no. 2, 791 -- 824

    2023

  7. [15]

    Will Hide and Bram Petri, Limit points of uniform arithmetic bass notes, preprint (2024), arXiv:2412.15111

    2024 arXiv

  8. [16]

    U ber den ersten Eigenwert des Laplace-Operators auf kompakten Riemannschen Fl \

    Heinrich Huber, \"U ber den ersten Eigenwert des Laplace-Operators auf kompakten Riemannschen Fl \"a chen , Commentarii Mathematici Helvetici 49 (1974), 251--259

    1974

  9. [17]

    114, Springer Berlin, Heidelberg, 1970

    Herv \'e Jacquet and Robert Phelan Langlands, Automorphic Forms on GL(2) , Lecture Notes in Mathematics, vol. 114, Springer Berlin, Heidelberg, 1970

    1970

  10. [18]

    J \"u rgen Jost, Compact R iemann surfaces , 3 ed., Universitext, Springer Berlin, Heidelberg, 2006

    2006

  11. [19]

    Kim, Functoriality for the exterior square of GL _4 and the symmetric fourth of GL _2 , Journal of the American Mathematical Society 16 (2003), no

    Henry H. Kim, Functoriality for the exterior square of GL _4 and the symmetric fourth of GL _2 , Journal of the American Mathematical Society 16 (2003), no. 1, 139--183, With appendix 1 by Dinakar Ramakrishnan and appendix 2 by Kim and Peter Sarnak. 1937203

    2003

  12. [20]

    Adam Klukowski and Vladimir Marković, Tangle free permutations and the P utman- W ieland property of random covers , International Mathematics Research Notices (2024), to appear

    2024

  13. [21]

    Larsen Louder and Michael Magee, Strongly convergent unitary representations of limit groups, Journal of Functional Analysis (2022), to appear, With an Appendix by Will Hide and Michael Magee

    2022

  14. [22]

    5, 1609--1645

    Cyril Letrouit and Simon Machado, Maximal multiplicity of L aplacian eigenvalues in negatively curved surfaces , Geometric and Functional Analysis 34 (2024), no. 5, 1609--1645

    2024

  15. [23]

    1, 100--135

    Nati Linial and Doron Puder, Word maps and spectra of random graph lifts, Random Structures & Algorithms 37 (2010), no. 1, 100--135

    2010

  16. [24]

    2, 387--401

    Wenzhi Luo, Ze\'ev Rudnick, and Peter Sarnak, On S elberg's eigenvalue conjecture , Geometric and Functional Analysis 5 (1995), no. 2, 387--401. 1334872

    1995

  17. [25]

    Michael Magee, The limit points of the bass notes of arithmetic hyperbolic surfaces, preprint (2024), arxiv:2403.00928

    2024 arXiv

  18. [26]

    Michael Magee and Fr \'e d \'e ric Naud, Explicit spectral gaps for random covers of R iemann surfaces , Publications math \'e matiques de l'IH \'E S 132 (2020), 137--179

    2020

  19. [27]

    Michael Magee, Fr \'e d \'e ric Naud, and Doron Puder, A random cover of a compact hyperbolic surface has relative spectral gap 3 16 - , Geometric and Functional Analysis 32 (2022), 595--661

    2022

  20. [28]

    24, 13208--13237

    Sugata Mondal, On topological upper-bounds on the number of small cuspidal eigenvalues of hyperbolic surfaces of finite area, International Mathematics Research Notices 2015 (2015), no. 24, 13208--13237

    2015

  21. [29]

    Michael Magee and Doron Puder, The asymptotic statistics of random covering surfaces, Forum of Mathematics, Pi 11 (2023), e15:1--51

    2023

  22. [30]

    1, 289--294

    David Mumford, A remark on M ahler's compactness theorem , Proceedings of the American Mathematical Society 28 (1971), no. 1, 289--294

    1971

  23. [31]

    Fr \'e d \'e ric Naud, Random covers of compact surfaces and smooth linear spectral statistics, Annales Henri Poincaré (2022), to appear

    2022

  24. [32]

    , Determinants of Laplacians on random hyperbolic surfaces , Journal d'Analyse Math \'e matique 151 (2023), 265--291

    2023

  25. [33]

    5, 703--730

    Alexandru Nica, On the number of cycles of given length of a free word in several random permutations, Random Structures & Algorithms 5 (1994), no. 5, 703--730

    1994

  26. [34]

    Mathematica 30 (2005), no

    Hugo Parlier, Lengths of geodesics on riemann surfaces with boundary, Annales Academiae Scientiarum Fennicae. Mathematica 30 (2005), no. 2, 227--236

    2005

  27. [35]

    Ralph Phillips and Peter Sarnak, On cusp forms for co-finite subgroups of PSL(2, R ) , Inventiones mathematicae 80 (1985), 339--364

    1985

  28. [36]

    Athanase Papadopoulos and Guillaume Th \'e ret, Some Lipschitz maps between hyperbolic surfaces with applications to Teichm \"u ller theory , Geometriae Dedicata 161 (2012), 63 -- 83

    2012

  29. [37]

    u ller spaces , Monatshefte f \

    Athanase Papadopoulos and Sumio Yamada, Deforming hyperbolic hexagons with applications to the arc and the Thurston metrics on Teichm \"u ller spaces , Monatshefte f \"u r Mathematik 182 (2015), 913 -- 939

    2015

  30. [38]

    5, 4242--4300

    Doron Puder and Tomer Zimhoni, Local statistics of random permutations from free products, International Mathematics Research Notices 2024 (2024), no. 5, 4242--4300

    2024

  31. [39]

    IV, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978

    Michael Reed and Barry Simon, Analysis of Operators , Methods of Modern Mathematical Physics, vol. IV, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. 493421

    1978

  32. [40]

    Peter Sarnak, Spectra of hyperbolic surfaces, Bulletin of the American Mathematical Society 40 (2003), 441--478

    2003

  33. [41]

    VIII, American Mathematical Society, 1965, pp

    Atle Selberg, On the estimation of Fourier coefficients of modular forms , Theory of Numbers (Providence, R.I.) (Albert Leon Whiteman, ed.), Proceedings of Symposia in Pure Mathematics, vol. VIII, American Mathematical Society, 1965, pp. 1--15

    1965

  34. [42]

    Yang Shen and Yunhui Wu, Arbitrarily small spectral gaps for random hyperbolic surfaces with many cusps, preprint (2022), arXiv:2203.15681

    2022 arXiv

  35. [43]

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

    2022

  36. [44]

    4, 1377--1395

    Yunhui Wu, Haohao Zhang, and Xuwen Zhu, Degenerating hyperbolic surfaces and spectral gaps for large genus, Analysis & PDE 17 (2024), no. 4, 1377--1395

    2024

  37. [45]

    Peter Zograf, Small eigenvalues of automorphic laplacians in spaces of parabolic forms, Journal of Soviet Mathematics 36 (1987), 106--114

    1987

Pith tools

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