pith. machine review for the scientific record. sign in

arxiv: 2512.15504 · v3 · submitted 2025-12-17 · 🧮 math.SP · math-ph· math.DS· math.MP

Recognition: 2 theorem links

· Lean Theorem

Quantum Mixing and Benjamini-Schramm Convergence of Hyperbolic Surfaces

Kai Hippi
Authors on Pith no claims yet

Pith reviewed 2026-05-16 22:09 UTC · model grok-4.3

classification 🧮 math.SP math-phmath.DSmath.MP
keywords hyperbolic surfacesquantum mixinglarge genus limitgeodesic flowwave equationmultiplication observablesBenjamini-Schramm convergence
0
0 comments X

The pith

Hyperbolic surfaces satisfy a large-scale quantum mixing property for multiplication observables in the high-genus limit.

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

The paper proves a large-scale analogue of Zelditch's quantum mixing theorem for compact hyperbolic surfaces. Under hypotheses satisfied by both arithmetic surfaces and those drawn from the Weil-Petersson measure, multiplication observables become equidistributed with respect to the geodesic flow when the genus tends to infinity. This complements existing large-scale quantum ergodicity results and gives a more complete description of how observables behave asymptotically. The proof proceeds by relating the wave equation on the surface to the quantitative exponential mixing rates of the geodesic flow.

Core claim

For multiplication observables on compact hyperbolic surfaces, the correlation with the geodesic flow decays exponentially at a rate controlled by the mixing of the flow itself; this decay persists uniformly in the large-genus limit for surfaces meeting the stated hypotheses, including arithmetic and Weil-Petersson random surfaces.

What carries the argument

The hyperbolic wave equation together with the quantitative exponential mixing of the geodesic flow.

Load-bearing premise

The quantitative exponential mixing rates of the geodesic flow apply uniformly across the surfaces under consideration as genus tends to infinity.

What would settle it

A sequence of hyperbolic surfaces of growing genus, satisfying the arithmetic or Weil-Petersson hypotheses, on which the correlation of some multiplication observable with the geodesic flow fails to decay at the predicted exponential rate.

Figures

Figures reproduced from arXiv: 2512.15504 by Kai Hippi.

Figure 1
Figure 1. Figure 1: Contour plot of Gτ,T (a, b). Two pronounced “ridges” are visible along the lines b = a + τ and b = a − τ . The ridges get pronounced as T increases. For a fixed δ, Gτ,t(a, b) has a positive lower bound when a − b − τ ∈ (−δ, δ). Notice also how the ridges decay as a and b grow. By using the definitions of ht and ht,τ , we write Gτ,T (a, b) as 1 T ab [PITH_FULL_IMAGE:figures/full_fig_p014_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The case of t > t′ + ρ. The integration domain B(z, t) ∩ B(z ′ , t′ ) is just the smaller ball B(z ′ , t′ ) for it is enveloped by the bigger ball B(z, t). The bound in this case is established using the polar coordinates around z ′ [PITH_FULL_IMAGE:figures/full_fig_p034_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The case of ρ < t < t′ + ρ, where a + b = ρ. The integration domain B(z, t) ∩ B(z ′ , t′ ) is the intersection of two balls. The middle point z ′ of the smaller ball is contained in the bigger ball. The integration domain is split into two parts, D1 and D2 by two geodesics of length t ′ going from z ′ to points w and w ′ which are the points where the two balls intersect. The bound in this case is establis… view at source ↗
Figure 4
Figure 4. Figure 4: The case of t < ρ. The integration domain B(z, t)∩B(z ′ , t′ ) is the intersec￾tion of two balls. The middle point z ′ of the smaller ball is not contained in the bigger ball. The bound in this case is established using the polar coordinates around m which is the intersection of geodesics [z, z′ ] and [w, w′ ], where w and w ′ are the intersections of the two balls [PITH_FULL_IMAGE:figures/full_fig_p035_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The case is split into two case which are bounded separately. Proof of Lemma 7.4. The integration domain of Ft,t′ ,ρ can be split into a sum of integration over two disjoint domains, D1 and D2, see [PITH_FULL_IMAGE:figures/full_fig_p038_5.png] view at source ↗
read the original abstract

We study compact hyperbolic surfaces and multiplication observables, establishing a large-scale analogue of Zelditch's quantum mixing theorem with hypotheses that hold for both arithmetic and Weil--Petersson random surfaces of large genus. This complements the large-scale quantum ergodicity theorems of Le Masson and Sahlsten, which themselves are large-scale analogues of the quantum ergodicity theorem of Shnirelman, Zelditch, and Colin de Verdi\`{e}re, thereby providing a more complete picture of the asymptotic behavior of observables in the large-scale limit. Our approach does not rely on the ball averaging operator or Nevo's ergodic theorem. Instead, we introduce a new method based on the hyperbolic wave equation and the quantitative exponential mixing of the geodesic flow established by Ratner and Matheus.

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

1 major / 2 minor

Summary. The manuscript proves a large-scale analogue of Zelditch's quantum mixing theorem for compact hyperbolic surfaces. Under hypotheses compatible with both arithmetic surfaces and Weil-Petersson random surfaces of large genus, multiplication observables are shown to mix in the Benjamini-Schramm limit. The argument replaces ball averaging with the hyperbolic wave equation combined with quantitative exponential mixing of the geodesic flow (Ratner-Matheus), thereby complementing existing large-scale quantum ergodicity theorems of Le Masson-Sahlsten.

Significance. If the uniformity of the cited mixing rates holds, the result supplies the missing mixing counterpart to large-scale quantum ergodicity, yielding a fuller description of the asymptotic behavior of observables on hyperbolic surfaces in the large-genus limit. The method is technically distinct from prior approaches and applies uniformly to both arithmetic and random families.

major comments (1)
  1. [Proof of Theorem 1.1 / §4 (mixing estimate via wave equation)] The central mixing estimate (obtained by integrating the wave propagator against the Ratner-Matheus bounds) requires that the exponential decay rate and prefactors remain controlled uniformly across the sequence of surfaces. The manuscript invokes these bounds but does not appear to verify that their dependence on geometric invariants (shortest geodesic length, injectivity-radius distribution, diameter) stays bounded under the stated hypotheses and Benjamini-Schramm convergence; without such control the passage to the large-genus limit fails for the random and arithmetic cases alike.
minor comments (2)
  1. [Introduction] The hypotheses on the surfaces are described only qualitatively in the abstract and introduction; an explicit list (e.g., lower bound on injectivity radius or control on short geodesics) should be stated once, early in the paper, to make the scope of the result transparent.
  2. [§2 (preliminaries)] Notation for the large-scale limit (e.g., the precise definition of the averaged observable and the test function class) could be collected in a single preliminary subsection to ease reading of the main argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need to confirm uniformity of the mixing rates. We address the major comment below and will revise the manuscript to include the required verification.

read point-by-point responses

  1. Referee: [Proof of Theorem 1.1 / §4 (mixing estimate via wave equation)] The central mixing estimate (obtained by integrating the wave propagator against the Ratner-Matheus bounds) requires that the exponential decay rate and prefactors remain controlled uniformly across the sequence of surfaces. The manuscript invokes these bounds but does not appear to verify that their dependence on geometric invariants (shortest geodesic length, injectivity-radius distribution, diameter) stays bounded under the stated hypotheses and Benjamini-Schramm convergence; without such control the passage to the large-genus limit fails for the random and arithmetic cases alike.

    Authors: We agree that the uniformity of the Ratner-Matheus exponential decay rates and prefactors with respect to geometric invariants must be verified explicitly to justify passing to the large-genus limit. The current draft invokes these bounds in §4 but does not contain a dedicated check. In the revised manuscript we will add a short lemma immediately after the statement of the mixing bounds. The lemma will use the Benjamini-Schramm convergence hypothesis (stated in §2 and known to hold for both the arithmetic and Weil-Petersson random families) to show: (i) a uniform positive lower bound on the spectral gap (hence on the decay rate) via existing results of Magee et al. for random surfaces and standard facts for arithmetic surfaces; (ii) that the measure of the set where the injectivity radius is smaller than any fixed positive number tends to zero, so that its contribution to the integrated estimates remains negligible; and (iii) that the diameter grows at most logarithmically in the genus, which is absorbed into the prefactors of the cited bounds. These controls are uniform across the sequence and suffice for the limit argument. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on independent external mixing results

full rationale

The paper derives its large-scale quantum mixing statement from the hyperbolic wave equation combined with quantitative exponential mixing rates of the geodesic flow taken from the external Ratner-Matheus theorems. These cited results are independent of the present work, are not obtained by fitting parameters within the paper, and are not justified by self-citation chains. No equation or claim reduces by construction to a redefinition or renaming of its own inputs, and the argument is not forced by any uniqueness theorem imported from the authors' prior work. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard axioms of hyperbolic geometry, the existence and properties of the geodesic flow on compact surfaces, and the quantitative exponential mixing theorem of Ratner-Matheus; no free parameters or new invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Compact hyperbolic surfaces admit a geodesic flow whose quantitative exponential mixing rates are given by Ratner-Matheus.
    Invoked to replace ball averaging and Nevo's theorem in the wave-equation approach.
  • domain assumption The large-genus limit hypotheses hold uniformly for both arithmetic and Weil-Petersson random surfaces.
    Required for the mixing statement to apply to the two families mentioned.

pith-pipeline@v0.9.0 · 5428 in / 1428 out tokens · 34550 ms · 2026-05-16T22:09:48.673302+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Quantum Mixing for Schr\"odinger eigenfunctions in Benjamini-Schramm limit

    math.SP 2026-04 unverdicted novelty 6.0

    Eigenfunctions of Schrödinger operators on BS-converging hyperbolic surfaces exhibit quantum mixing in sufficiently large spectral windows.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Spectral gap of random hyperbolic surfaces.arXiv preprint arXiv:2403.12576,

    [AM24] Nalini Anantharaman and Laura Monk. Spectral gap of random hyperbolic surfaces.arXiv preprint arXiv:2403.12576,

    work page arXiv

  2. [2]

    Regular and irregular semiclassical wavefunctions.Journal of Physics A: Mathematical and General, 10(12):2083,

    [Ber77] Michael V Berry. Regular and irregular semiclassical wavefunctions.Journal of Physics A: Mathematical and General, 10(12):2083,

    work page 2083

  3. [3]

    Local semicircle law for random regular graphs

    [BKY17] Roland Bauerschmidt, Antti Knowles, and Horng-Tzer Yau. Local semicircle law for random regular graphs. Communications on Pure and Applied Mathematics, 70(10):1898–1960,

    work page 1960

  4. [4]

    Quantum ergodicity and averaging operators on the sphere.International Mathematics Research Notices, 2016(19):6034–6064,

    [BLL16] Shimon Brooks, Etienne Le Masson, and Elon Lindenstrauss. Quantum ergodicity and averaging operators on the sphere.International Mathematics Research Notices, 2016(19):6034–6064,

    work page 2016

  5. [5]

    Quantum mixing on large schreier graphs

    [BLS] Charles Bordenave, Cyril Letroit, and Mostafa Sabri. Quantum mixing on large schreier graphs. Preprint in preparation (2025). [BS19] Ágnes Backhausz and Balázs Szegedy. On the almost eigenvectors of random regular graphs.The Annals of Probability, 47(3):1677–1725,

    work page 2025

  6. [6]

    Quantum ergodicity for schrödinger eigenfunctions on hyperbolic surfaces

    [HLM+] Kai Hippi, Félix Lequen, Søren Mikkelsen, Tuomas Sahlsten, and Henrik Ueberschär. Quantum ergodicity for schrödinger eigenfunctions on hyperbolic surfaces. Preprint in preparation (2025). [HM23] Will Hide and Michael Magee. Near optimal spectral gaps for hyperbolic surfaces.Annals of Mathematics, 198(2):791–824,

    work page 2025

  7. [7]

    On the spectral gap of negatively curved surface covers.Interna- tional Mathematics Research Notices, 2025(24):rnaf357,

    [HMN25] Will Hide, Julien Moy, and Frédéric Naud. On the spectral gap of negatively curved surface covers.Interna- tional Mathematics Research Notices, 2025(24):rnaf357,

    work page 2025

  8. [8]

    Spectral gap with polynomial rate for weil-petersson random surfaces.arXiv preprint arXiv:2508.14874,

    [HMT25] Will Hide, Davide Macera, and Joe Thomas. Spectral gap with polynomial rate for weil-petersson random surfaces.arXiv preprint arXiv:2508.14874,

    work page arXiv

  9. [9]

    The limit points of the bass notes of arithmetic hyperbolic surfaces.arXiv preprint arXiv:2403.00928,

    [Mag24] Michael Magee. The limit points of the bass notes of arithmetic hyperbolic surfaces.arXiv preprint arXiv:2403.00928,

    work page arXiv

  10. [10]

    Selberg's trace formula: an introduction

    [Mar04] Jens Marklof. Selberg’s trace formula: an introduction.arXiv preprint math/0407288,

    work page internal anchor Pith review Pith/arXiv arXiv

  11. [11]

    Quantum Ergodicity and Mixing

    [Zel05] Steve Zelditch. Quantum ergodicity and mixing.arXiv preprint math-ph/0503026,

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Mathematics of quantum chaos in 2019.Notices of the American Mathematical Society, 66(9):1412–1421,

    [Zel19] Steve Zelditch. Mathematics of quantum chaos in 2019.Notices of the American Mathematical Society, 66(9):1412–1421,

    work page 2019