REVIEW 3 major objections 3 minor 25 references
Spectral gap with polynomial rate for random covering surfaces
T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read A uniformly random degree-n cover of any closed hyperbolic surface has no new Laplacian eigenvalue below 1/4 - c n^{-b}, with probability tending to 1.
desk verdict The polynomial spectral gap claim is likely right in spirit, but the main probability estimate does not follow from the quoted theorem as stated. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the Selberg transform, the spherical transform that converts a radial kernel on the hyperbolic plane into a Fourier multiplier evaluated at the Laplacian spectral parameter $r$ (with eigenvalue $\lambda = \frac14 + r^2$). The paper works with the geometric ball cutoff $k_1(z,w) = \mathbf{1}_{d(z,w) \leq 1}$ and its integral operator $P_{k_1}$; on the new spectrum of a cover, the operator norm of $P_{k_1}$ equals $h_1\!\left(i\sqrt{\frac14 - \lambda^{\mathrm{new}}_1(X_n)}\right)$, where $h_1$ is the Selberg transform of $k_1$, so an upper bound on that norm translates directly into a lower bound on $\lambda^{\mathrm{new}}_1(X_n)$. To compare the cover's operator norm with the corresponding operator on the universal cover, the paper decomposes $P_{k_1}$ as a finite sum $\sum_{\gamma \in S(1)} a_{\gamma,1} \otimes \rho_n(\gamma^{-1})$ over short elements of the surface group, approximates each compact operator $a_{\gamma,1}$ by a rank-$r$ operator $b^{(r)}_{\gamma,1}$ with error $O(r^{-1/2})$, and assembles these blocks into a self-adjoint matrix-valued group-algebra polynomial to which an effective strong-convergence theorem applies. The Selberg transform is what monitors the spectral parameter near $\frac14$, and the finite-rank reduction is what lets the infinite-dimensional operator be treated by finite-dimensional probabilistic bounds.
What would settle it
Compute the precise dependence of $c_d$ and $b$ in the effective strong-convergence theorem quoted as Theorem 2.2 (the cited paper's Theorem 6.1), and evaluate the failure probability bound at $\varepsilon = (r\log n/n)^{1/b}$ with $r = n^a$ for some small $a>0$; if the only bound is $c_d n^{-\varepsilon b}$, then $n^{-\varepsilon b} = \exp\left(-b r^{1/b} n^{-1/b} (\log n)^{1+1/b}\right) \to 1$, so the failure probability does not tend to 0 and the proof of Theorem 1.1 cannot be completed as written.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1: for any closed hyperbolic surface $X$, there are constants $b, c > 0$ depending only on the genus of $X$ such that a uniformly random degree-$n$ cover $X_n$, sampled uniformly among the finitely many labelled degree-$n$ covers, satisfies $\lambda^{\mathrm{new}}_1(X_n) \geq \frac14 - c n^{-b}$ with probability tending to 1 as $n \to \infty$. The theorem concerns only the new spectrum, the part of $L^2(X_n)$ orthogonal to lifts of functions from the base. Because $\frac14$ is the bottom of the $L^2$ spectrum of the Laplacian on the hyperbolic plane, no weaker lower bound can be expected asymptotically; the content is that the gap approaches this optimal value at a polynomial rate in $n$. Along the way the paper quantifies the failure probability in the strong-convergence input as $O((\log n)^{-1/b})$, so the high-probability statement is itself quantitative.
Load-bearing premise
The proof's central step assumes that the quoted effective strong-convergence theorem gives a failure probability tending to 0 when the spectral slack $\varepsilon$ is as small as $(r\log n / n)^{1/b}$ and the matrix dimension grows polynomially in $n$; as the theorem is stated in the paper (failure probability bounded by $c_d n^{-\varepsilon b}$), that quantity approaches 1, not 0, in this regime, so the high-probability conclusion depends on unstated information about how $c_d$ depends on $d$ and how $b$ depends on $\varepsilon$.
Editorial extensions
If this is right
- For any fixed closed hyperbolic base surface, with probability tending to 1, the random degree-$n$ cover has no new Laplacian eigenvalues in $[0, \frac14 - c n^{-b})$, so the first new eigenvalue converges to $\frac14$ at the polynomial rate $c n^{-b}$.
- This is the first polynomial error rate for spectral gaps in any random surface model; previously the best available rates for covers were of order $\log\log n / \log n$ or worse.
- Because the constants depend only on the genus of the base, the same quantitative bound applies uniformly across all degree-$n$ covers sampled from a given base surface.
- Taking $n$ growing along a sequence and passing to the corresponding covers gives a tower of closed hyperbolic surfaces whose Laplacian first eigenvalue approaches $\frac14$ at a polynomial rate in the cover degree.
- The paper's failure-probability bound, $O((\log n)^{-1/b})$, makes the convergence statement quantitative: not merely 'probability tends to 1' but an explicit decay rate for the exceptional covers.
Reading between the lines
- The same Selberg-transform-and-finite-rank scheme should apply to other radial observables built from the Laplacian on random covers, such as heat-kernel traces or spectral window counts near $\frac14$, yielding polynomial-rate estimates wherever the strong-convergence theorem provides the comparison.
- The expected fluctuation scale for $\lambda^{\mathrm{new}}_1$ is $n^{-2/3}$ (by analogy with random regular graphs and Tracy-Widom statistics), so the exponent $b$ in the theorem is likely far from optimal; extracting the actual $b$ from the strong-convergence argument would show how much room remains.
- If the effective strong-convergence theorem also holds for finite-area non-compact hyperbolic surfaces, the same proof structure would give polynomial-rate spectral gaps in that setting, extending the result beyond closed base surfaces.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims a polynomial-rate spectral gap for uniformly random degree-n covers of a fixed closed hyperbolic surface: for every such surface X there exist b,c>0 such that a uniformly random degree-n cover X_n has λ_1^new(X_n) ≥ 1/4 − c n^{-b} with probability tending to 1. The proof uses the Selberg transform of a ball kernel to convert the spectral gap question into an operator norm problem on the new subspace, approximates the relevant operators by finite-rank operators, and applies an effective strong-convergence theorem of Magee, Puder, and van Handel for random permutation representations of surface groups. If the high-probability comparison with the regular representation is valid, the final polynomial error rate follows from a simple lower bound on the Selberg transform.
Significance. A polynomial error rate for the new spectral gap of random covers would be a substantial quantitative improvement over the previously known rates of order log log n/log n, and it would move the study of these surfaces closer to the conjectured n^{-2/3+o(1)} fluctuation scale. The paper is concise and the reduction via the Selberg transform and finite-rank approximation is elegant. The main theorem is crisp and falsifiable, and the method is a natural application of the recent breakthrough in strong convergence. However, as written the central probability estimate is not justified: the quoted effective theorem, as stated, does not give a vanishing failure probability in the regime used in the proof, and the growth of the constant c_d with the matrix dimension is left uncontrolled. These issues are load-bearing for the proof of Theorem 1.1.
major comments (3)
- [Section 3, paragraph beginning 'We now apply Theorem 2.2'] Theorem 2.2 is applied with ε = (r log n/n)^{1/b}, and the proof immediately asserts success with probability 1 − O_X((log n)^{-1/b}). This does not follow from the displayed bound P ≤ c_d n^{-ε b}. Indeed, with r = n^a one has n^{-ε b} = exp(−b n^{-(1-a)/b} (log n)^{1+1/b}), which tends to 1 as n → ∞, not to 0. Thus the displayed bound does not even tend to zero at the chosen ε, and it certainly does not imply the claimed O_X((log n)^{-1/b}) failure probability. This high-probability comparison is the step that connects the finite-rank operator to the regular representation and from which the polynomial rate is extracted, so Theorem 1.1 is unsupported as written. The authors need to quote the exact ε-dependence in [MPvH25, Theorem 6.1] (e.g., whether the failure probability is of the form c_d n^{-c ε^2}, c_d exp(−c n ε^b), or something else) and then verify that the chosen ε produces a vanishing failure probability.
- [Section 3, same paragraph] The prefactor c_d is never quantified. In the same application, the matrix dimension satisfies d ≤ r|S(1)|, so d grows like n^a after the choice r = n^a, while Theorem 2.2 only states that c depends on g and the word length and writes c_d. If c_d grows rapidly with d, then even a corrected tail bound might not be o(1). A valid derivation must either specify the growth of c_d in d or impose a restriction on a that ensures c_d times the tail bound tends to zero. As the manuscript stands, the high-probability event is not established even if the exponent in Theorem 2.2 were corrected.
- [Theorem 1.1 and final paragraph of Section 3] The theorem and abstract claim that b,c depend only on the genus of X, but the proof records constants A, C, a diameter bound, and a word-length bound that depend on the specific base surface X, and the final 'const' is not argued to be uniform over all closed hyperbolic surfaces of a fixed genus. No argument is supplied that these constants can be bounded in terms of the genus alone. The authors should either weaken the statement to say the constants depend on X or provide the missing uniformity argument.
minor comments (3)
- [Section 3, proof of Theorem 1.1] The symbol r is used both for the truncation rank in Lemma 3.3 and for the auxiliary parameter r = n^a. Since the rank must be an integer, the proof should take r = floor(n^a) and note that the estimates are unaffected.
- [Lemmas 3.2 and 3.3] Both lemmas are only sketched, with details deferred to [Hid23, Lemmas 5.1 and 5.2]. Since the constants in these lemmas enter the main quantitative estimates, the paper would be more self-contained if the proofs were given in full or the precise constant dependencies were stated.
- [Theorem 2.2] The displayed exponent in the denominator of the failure probability is written as ε b; because b also appears in the main theorem and the subsequent application, the authors should make the intended exponent unambiguous and check it against the source theorem.
Circularity Check
No circularity: the proof is a direct application of an external effective strong-convergence theorem, with only auxiliary self-citations that are not load-bearing.
full rationale
The paper's derivation chain does not reduce to its own inputs by construction. Lemma 3.1 connects the new spectral gap to the Selberg transform norm using standard functional calculus; it is not equivalent to the claimed bound. Lemmas 3.2 and 3.3 are quantitative approximation and support estimates; although they cite the first author's earlier work [Hid23], the present paper includes proof sketches, and their role is only to control error terms, not to encode the final spectral gap. The central probabilistic input is Theorem 2.2, quoted from Magee, Puder and van Handel [MPvH25], which are not authors of this paper and which is an independent external result about strong convergence of random permutation representations. The final estimate is obtained by choosing r = n^a, not by fitting a parameter to the desired conclusion. The skeptic's concern that the displayed failure probability in Theorem 2.2 may not vanish for the chosen epsilon is a quantitative correctness issue about the applicability of an external theorem, not a circularity: no equation in this paper is defined in terms of the theorem it derives, no fitted value is renamed as a prediction, and no uniqueness theorem from the authors' prior work is invoked to force the argument. Self-citation appears only for routine auxiliary lemmas, and those lemmas are not the source of the optimal rate. Therefore the manuscript exhibits no significant circularity.
Assumptions & free parameters
free parameters (4)
- a (exponent in r = n^a) =
unspecified, small positive
- constant b =
unspecified
- constant c =
unspecified
- t (kernel radius) =
1
assumptions (4)
- domain assumption Theorem 2.2 ([MPvH25, Theorem 6.1]): effective strong convergence with failure probability c_d n^{-ε b}
- standard math Selberg transform and spectral decomposition of the Laplacian on hyperbolic surfaces
- standard math L^2(F)⊗ℓ^2(Γ_g) is isometrically isomorphic to L^2(H) via f⊗δ_γ ↦ f∘γ^{-1}
- standard math Liebeck-Shalev theorem: uniform random covers are connected with probability tending to 1
Cite this review
Pith. "Pith review of Spectral gap with polynomial rate for random covering surfaces." pith.science (2026). https://pith.science/paper/UEKPF6YU
@misc{pith2026250508479,
author = {Pith},
title = {Pith review of: Spectral gap with polynomial rate for random covering surfaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/UEKPF6YU}},
note = {Machine review of arXiv:2505.08479}
}
abstract
In this note we show that the recent work of Magee, Puder and van Handel [MPvH25] can be applied to obtain an optimal spectral gap result with polynomial error rate for uniformly random covers of closed hyperbolic surfaces. Let $X$ be a closed hyperbolic surface. We show there exists $b,c>0$ such that a uniformly random degree-$n$ cover $X_{n}$ of $X$ has no new Laplacian eigenvalues below $\frac{1}{4}-cn^{-b}$ with probability tending to $1$ as $n\to\infty$.
Reference graph
Works this paper leans on
-
[1]
Nalini Anantharaman and Laura Monk, Friedman-Ramanujan functions in random hyperbolic geometry and application to spectral gaps , arXiv:2304.02678 (2023)
arXiv 2023
-
[2]
, Friedman-Ramanujan functions in random hyperbolic geometry and application to spectral gaps II , arXiv:2502.12268 (2025)
arXiv 2025
-
[3]
1339, Springer, Berlin, 1988, pp
Peter Buser, Marc Burger, and Jozef Dodziuk, Riemann surfaces of large genus and large _1 , Geometry and analysis on manifolds ( K atata/ K yoto, 1987), Lecture Notes in Math., vol. 1339, Springer, Berlin, 1988, pp. 54--63. 961472
work page 1987
-
[4]
Charles Bordenave and Benoit Collins, Norm of matrix-valued polynomials in random unitaries and permutations, arXiv preprint arXiv:2304.05714 (2023)
arXiv 2023
-
[5]
Nicolas Bergeron, The spectrum of hyperbolic surfaces, Springer, 2016
work page 2016
-
[6]
Oriol Bohigas, Marie-Joya Giannoni, and Charles Schmit, Characterization of chaotic quantum spectra and universality of level fluctuation laws, Physical review letters 52 (1984), no. 1, 1
work page 1984
-
[7]
Martin R. Bridson and Andr \'e Haefliger, Metric Spaces of Non-Positive Curvature , Grundlehren Der Mathematischen Wissenschaften , vol. 319, Springer, Berlin, Heidelberg, 1999
work page 1999
-
[8]
Chi-Fang Chen, Jorge Garza-Vargas , Joel A. Tropp, and Ramon van Handel , A new approach to strong convergence, Annals of Mathematics, to appear (2024)
work page 2024
Show all 25 references
-
[9]
The classical ensembles , arXiv:2412.00593 (2024)
Chi-Fang Chen, Jorge Garza-Vargas , and Ramon van Handel, A new approach to strong convergence II . The classical ensembles , arXiv:2412.00593 (2024)
2024 arXiv
-
[10]
1, 62--110
Clifford Gilmore, Etienne Le Masson, Tuomas Sahlsten, and Joe Thomas, Short geodesic loops and L^p norms of eigenfunctions on large genus random surfaces , Geometric and Functional Analysis 31 (2021), no. 1, 62--110
2021
-
[11]
Will Hide, Effective lower bounds for spectra of random covers and random unitary bundles, Israel Journal of Mathematics, to appear (2023)
2023
-
[12]
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
-
[13]
Jiaoyang Huang, Theo McKenzie, and Horng-Tzer Yau, Ramanujan property and edge universality of random regular graphs, arXiv:2412.20263 (2025)
2025 arXiv
-
[14]
U ber den ersten E igenwert des L aplace- O perators auf kompakten R iemannschen F l\
H. Huber, \" U ber den ersten E igenwert des L aplace- O perators auf kompakten R iemannschen F l\" a chen , Commentarii Mathematici Helvetici 49 (1974), 251--259. 365408
1974
-
[15]
Larsen Louder and Michael Magee, Strongly convergent unitary representations of limit groups, arXiv:2210.08953 (2023)
2023 arXiv
-
[16]
1, 845--898
Etienne Le Masson and Tuomas Sahlsten, Quantum ergodicity for E isenstein series on hyperbolic surfaces of large genus , Mathematische Annalen 389 (2024), no. 1, 845--898
2024
-
[17]
2, 552--601
M Liebeck and A Shalev, Fuchsian groups, coverings of riemann surfaces, subgroup growth, random quotients and random walks, Journal of Algebra 276 (2004), no. 2, 552--601
2004
-
[18]
2, 545--575
Michael Lipnowski and Alex Wright, Towards optimal spectral gaps in large genus, The Annals of Probability 52 (2024), no. 2, 545--575
2024
-
[19]
Michael Magee, The limit points of the bass notes of arithmetic hyperbolic surfaces, arXiv:2403.00928 (2024)
2024 arXiv
-
[20]
Mirzakhani, Growth of W eil- P etersson volumes and random hyperbolic surfaces of large genus , Journal of Differential Geometry 94 (2013), no
M. Mirzakhani, Growth of W eil- P etersson volumes and random hyperbolic surfaces of large genus , Journal of Differential Geometry 94 (2013), no. 2, 267--300. 3080483
2013
-
[21]
3, 595--661
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), no. 3, 595--661
2022
-
[22]
Michael Magee and Doron Puder, The asymptotic statistics of random covering surfaces, Forum of Mathematics, Pi 11 (2023), e15
2023
-
[23]
Michael Magee, Doron Puder, and Ramon van Handel, Strong convergence of uniformly random permutation representations of surface groups, arXiv:2504.08988 (2025)
2025 arXiv
-
[24]
Tracy and Harold Widom, On orthogonal and symplectic matrix ensembles, Communications in Mathematical Physics 177 (1996), 727--754
Craig A. Tracy and Harold Widom, On orthogonal and symplectic matrix ensembles, Communications in Mathematical Physics 177 (1996), 727--754
1996
-
[25]
2, 340--410
Yunhui Wu and Yuhao Xue, Random hyperbolic surfaces of large genus have first eigenvalues greater than 3 16 - , Geometric and Functional Analysis 32 (2022), no. 2, 340--410
2022
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.