arxiv: 2605.07696 · v1 · submitted 2026-05-08 · 🧮 math.SP · math-ph· math.DS· math.FA· math.MP

Recognition: 2 theorem links

· Lean Theorem

Quantum Ergodicity on large hyperbolic surfaces for local and pseudolocal operators

Nalini Anantharaman, Soumyajit Saha

Pith reviewed 2026-05-11 02:52 UTC · model grok-4.3

classification 🧮 math.SP math-phmath.DSmath.FAmath.MP

keywords quantum ergodicityhyperbolic surfacesBenjamini-Schramm convergencequantum variancepseudolocal operatorsspectral gapinjectivity radius

0 comments

The pith

Quantum variance vanishes for local and pseudolocal operators on sequences of large hyperbolic surfaces.

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

The paper establishes a quantum ergodicity result for closed hyperbolic surfaces that become large while converging in the Benjamini-Schramm sense to the Poincaré disc. It shows that the quantum variance of a class of observables vanishes on fixed spectral windows, provided the surfaces have a uniform lower bound on injectivity radius and satisfy a spectral gap condition. The observables include differential operators and smooth operators with finite propagation. This extends an earlier theorem that applied only to scalar observables. The result implies that eigenfunctions equidistribute with respect to these more general measurements in the high-frequency limit.

Core claim

Under a uniform lower bound on the injectivity radius and a spectral gap, for sequences of closed hyperbolic surfaces converging to the Poincaré disc in the Benjamini-Schramm sense, the quantum variance vanishes on fixed spectral windows for observables that include differential operators and finite-propagation smooth operators.

What carries the argument

The quantum variance for the class of local and pseudolocal operators (containing differential operators and finite-propagation smooth operators), measured against the Liouville measure in the semiclassical limit on fixed spectral windows.

If this is right

Quantum ergodicity holds for all differential operators on the surfaces.
The result applies directly to smooth operators with finite propagation speed.
Equidistribution occurs on fixed spectral windows without averaging over frequencies.
The theorem covers all sequences of surfaces converging in the Benjamini-Schramm sense under the stated hypotheses.

Where Pith is reading between the lines

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

The same variance-vanishing argument might apply to other negatively curved manifolds with analogous convergence and gap conditions.
Explicit arithmetic surfaces could serve as test cases to check the rate at which variance approaches zero.
The pseudolocal extension opens the possibility of treating observables that mix position and momentum information in a controlled way.

Load-bearing premise

The surfaces have a uniform lower bound on injectivity radius together with a spectral gap.

What would settle it

A sequence of hyperbolic surfaces satisfying the injectivity radius bound and Benjamini-Schramm convergence but lacking a spectral gap, for which the quantum variance of some differential operator fails to vanish on a fixed spectral window.

read the original abstract

We prove a quantum ergodicity theorem for sequences of closed hyperbolic surfaces converging to the Poincar\'e disc in the Benjamini-Schramm sense. Assuming a uniform lower bound on the injectivity radius and a spectral gap, we establish vanishing of quantum variance on fixed spectral windows for a class of observables that contains differential operators and finite-propagation smooth operators. This generalises a result of Le Masson and Sahlsten from scalar observables to both local and 'pseudolocal' operator settings.

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

Extends Le Masson-Sahlsten to local and pseudolocal operators on BS-convergent hyperbolic surfaces, but stays within standard strong assumptions.

read the letter

This paper extends the Le Masson-Sahlsten quantum ergodicity result from scalar observables to a class that includes differential operators and finite-propagation smooth operators. It works for sequences of closed hyperbolic surfaces converging to the Poincaré disk in the Benjamini-Schramm sense, on fixed spectral windows, and shows vanishing quantum variance under a uniform lower bound on injectivity radius plus a spectral gap. The reduction uses microlocal approximation and uniform propagation estimates to move from the operator case back to the scalar one. That step looks clean and avoids new circularity or hidden uniformity problems. The assumptions are stated up front, which keeps the claim precise. The main limitation is those assumptions themselves. Uniform injectivity radius excludes many natural sequences of large surfaces, and the spectral gap is a strong extra condition. The paper does not try to remove them, so this is a boundary rather than a flaw. The citation pattern is direct and appropriate, building on the scalar result without overreach. No free parameters or invented entities appear in the statement. This is for people already working in quantum ergodicity or spectral geometry on hyperbolic surfaces, especially those following Benjamini-Schramm limits or handling operator observables. A reader who knows the scalar version will see the value in the extension. It deserves a serious referee because the generalization is a natural, technically grounded step in an active area. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper establishes a quantum ergodicity result for Benjamini-Schramm convergent sequences of closed hyperbolic surfaces. Under the assumptions of a uniform lower bound on the injectivity radius and a spectral gap, it proves that the quantum variance vanishes on fixed spectral windows for a class of observables that includes differential operators and finite-propagation smooth operators. This extends the scalar-observable theorem of Le Masson and Sahlsten to local and pseudolocal operator settings via microlocal approximation and uniform propagation estimates.

Significance. If the result holds, it provides a meaningful generalization of quantum ergodicity to operator-valued observables on large hyperbolic surfaces, strengthening the link between geometric convergence and spectral equidistribution. The explicit hypotheses and reduction to the scalar case are strengths that make the claim falsifiable and potentially useful for further work in spectral geometry.

minor comments (3)

§2.2: the definition of pseudolocal operators via finite propagation speed is clear, but the precise norm in which the approximation error is controlled (e.g., operator norm vs. Sobolev) should be stated explicitly to facilitate comparison with the scalar case.
Theorem 1.1: the fixed spectral window is taken around a fixed energy; it would help to clarify whether the constants in the variance bound depend on the window location or remain uniform.
The reference list omits a recent related work on BS-convergence and quantum limits (e.g., the 2023 paper by Abert et al. on hyperbolic surfaces); adding it would strengthen the contextual discussion in the introduction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. No major comments were provided in the report, so there are no specific points requiring point-by-point responses or changes to the paper.

Circularity Check

0 steps flagged

No circularity: direct reduction to scalar result via standard microlocal estimates

full rationale

The paper proves vanishing quantum variance for local and pseudolocal operators on BS-convergent hyperbolic surfaces by reducing the operator case to the known scalar result of Le Masson–Sahlsten. This is accomplished through explicit microlocal approximation and uniform propagation estimates on fixed spectral windows, under the stated hypotheses of injectivity-radius lower bound and spectral gap. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear; the argument is self-contained against external benchmarks and does not reduce any central claim to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on geometric convergence and two explicit assumptions plus standard tools from spectral theory and microlocal analysis.

axioms (3)

domain assumption Benjamini-Schramm convergence of the surfaces to the Poincaré disc
Invoked to define the large-surface limit in which the variance vanishes.
domain assumption Uniform lower bound on the injectivity radius
Assumed to control short geodesics and ensure uniform geometry.
domain assumption Existence of a uniform spectral gap for the Laplacian
Assumed to obtain the vanishing on fixed spectral windows.

pith-pipeline@v0.9.0 · 5385 in / 1333 out tokens · 57948 ms · 2026-05-11T02:52:30.150150+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
sequences of closed hyperbolic surfaces converging to the Poincaré disc in the Benjamini-Schramm sense... uniform lower bound on the injectivity radius and a spectral gap

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Duke Math

Le Masson, Etienne and Sahlsten, Tuomas , TITLE =. Duke Math. J. , FJOURNAL =. 2017 , NUMBER =. doi:10.1215/00127094-2017-0027 , URL =

work page doi:10.1215/00127094-2017-0027 2017
[2]

Monk, Laura , TITLE =. Anal. PDE , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/apde.2022.15.727 , URL =

work page doi:10.2140/apde.2022.15.727 2022
[3]

Gorodnik, Alexander and Nevo, Amos , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S0273-0979-2014-01462-4 , URL =

work page doi:10.1090/s0273-0979-2014-01462-4 2015
[4]

1986 , issn =

Pseudo-differential analysis on hyperbolic surfaces , journal =. 1986 , issn =. doi:https://doi.org/10.1016/0022-1236(86)90058-3 , url =

work page doi:10.1016/0022-1236(86)90058-3 1986
[5]

2002 , PAGES =

Iwaniec, Henryk , TITLE =. 2002 , PAGES =. doi:10.1090/gsm/053 , URL =

work page doi:10.1090/gsm/053 2002
[6]

Anantharaman, Nalini and Zelditch, Steve , TITLE =. Math. Ann. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00208-011-0708-6 , URL =

work page doi:10.1007/s00208-011-0708-6 2012
[7]

Anantharaman, Nalini and Zelditch, Steve , TITLE =. Ann. Henri Poincar\'e , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00023-006-0311-7 , URL =

work page doi:10.1007/s00023-006-0311-7 2007
[8]

John J. F. Fournier , title =. Pacific Journal of Mathematics , number =

work page
[9]

1994 , publisher=

Fourier Analysis: Analytic and Geometric Aspects , author=. 1994 , publisher=

work page 1994
[10]

Duke Math

Anantharaman, Nalini and Le Masson, Etienne , title =. Duke Math. J. , issn =. 2015 , language =. doi:10.1215/00127094-2881592 , keywords =

work page doi:10.1215/00127094-2881592 2015
[11]

Snirelman, A. I. , TITLE =. Uspehi Mat. Nauk , FJOURNAL =. 1974 , NUMBER =

work page 1974
[12]

Duke Math

Zelditch, Steven , TITLE =. Duke Math. J. , FJOURNAL =. 1987 , NUMBER =. doi:10.1215/S0012-7094-87-05546-3 , URL =

work page doi:10.1215/s0012-7094-87-05546-3 1987
[13]

, TITLE =

Colin de Verdi\`ere, Y. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1985 , NUMBER =

work page 1985
[14]

Abert, Miklos and Bergeron, Nicolas and Biringer, Ian and Gelander, Tsachik and Nikolov, Nikolay and Raimbault, Jean and Samet, Iddo , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2017 , NUMBER =. doi:10.4007/annals.2017.185.3.1 , URL =

work page doi:10.4007/annals.2017.185.3.1 2017
[15]

Benjamini and O

Benjamini, Itai and Schramm, Oded , TITLE =. Electron. J. Probab. , FJOURNAL =. 2001 , PAGES =. doi:10.1214/EJP.v6-96 , URL =

work page doi:10.1214/ejp.v6-96 2001
[16]

Nevo, Amos , TITLE =. Math. Res. Lett. , FJOURNAL =. 1998 , NUMBER =. doi:10.4310/MRL.1998.v5.n3.a5 , URL =

work page doi:10.4310/mrl.1998.v5.n3.a5 1998