pith. sign in

arxiv: 2502.06325 · v2 · submitted 2025-02-10 · 🧮 math.PR · math.GT

Cutoff for geodesic paths on hyperbolic manifolds

Charles Bordenave , Joffrey Mathien This is my paper

Pith reviewed 2026-05-23 04:02 UTC · model grok-4.3

classification 🧮 math.PR math.GT
keywords cutoff phenomenongeodesic pathshyperbolic manifoldsmixing timesBrownian motionspherical mean operatorspectral analysis
0
0 comments X

The pith

Geodesic paths on any fixed compact hyperbolic manifold exhibit cutoff when started from a spatially localized initial condition.

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

The paper proves that geodesic paths on compact hyperbolic manifolds display cutoff, an abrupt transition to equilibrium after a specific time scale. This holds for every fixed such manifold and extends earlier results on hyperbolic surfaces to all dimensions. The same cutoff is shown for Brownian motion. Readers care because cutoff gives a precise description of mixing that goes beyond merely fast convergence, revealing sharp behavior in geometric random processes on negatively curved spaces.

Core claim

We establish new instances of the cutoff phenomenon for geodesic paths and for the Brownian motion on compact hyperbolic manifolds. We prove that for any fixed compact hyperbolic manifold, the geodesic path started on a spatially localized initial condition exhibits cutoff. Our work also extends results obtained by Golubev and Kamber on hyperbolic surfaces of large volume to any dimension. Our proof builds upon a spectral strategy introduced by Lubetzky and Peres for Ramanujan graphs and on a detailed spectral analysis of the spherical mean operator.

What carries the argument

The spherical mean operator, analyzed spectrally to transfer the Lubetzky-Peres cutoff criterion from discrete graphs to the continuous geodesic flow and Brownian motion.

If this is right

  • Cutoff holds for the geodesic path on every fixed compact hyperbolic manifold in any dimension.
  • Brownian motion on the same manifolds also exhibits cutoff under the same initial conditions.
  • The result generalizes previous cutoff statements for large-volume hyperbolic surfaces to fixed manifolds of arbitrary dimension.

Where Pith is reading between the lines

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

  • The same spectral approach may apply to other invariant flows on compact manifolds of negative curvature.
  • Cutoff could appear in discrete approximations such as geodesic random walks on the same spaces.
  • The method offers a route to prove cutoff for continuous-time processes on other geometric Markov chains.

Load-bearing premise

The spectral strategy developed for Ramanujan graphs, together with the eigenvalue analysis of the spherical mean operator, transfers directly to the geodesic flow and Brownian motion without obstruction.

What would settle it

A computation or simulation of the total variation distance for the geodesic path showing that the drop from near 1 to near 0 occurs over a time window whose length is comparable to the cutoff time itself, rather than o(1) times that time.

read the original abstract

We establish new instances of the cutoff phenomenon for geodesic paths and for the Brownian motion on compact hyperbolic manifolds. We prove that for any fixed compact hyperbolic manifold, the geodesic path started on a spatially localized initial condition exhibits cutoff. Our work also extends results obtained by Golubev and Kamber on hyperbolic surfaces of large volume to any dimension. Our proof builds upon a spectral strategy introduced by Lubetzky and Peres for Ramanujan graphs and on a detailed spectral analysis of the spherical mean operator.

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

2 major / 2 minor

Summary. The manuscript proves that geodesic paths on any fixed compact hyperbolic manifold exhibit cutoff when started from a spatially localized initial condition. It also extends Golubev-Kamber results on Brownian motion and hyperbolic surfaces of large volume to arbitrary dimension. The argument adapts the Lubetzky-Peres spectral cutoff criterion, relying on a detailed spectral analysis of the spherical mean operator acting on the unit tangent bundle.

Significance. If the transfer of the spectral strategy succeeds, the result supplies new, geometrically natural examples of cutoff for continuous flows on manifolds and demonstrates that the Lubetzky-Peres criterion can be made to work beyond discrete graphs. The extension to all dimensions and the treatment of spatially localized data are potentially useful for mixing questions in hyperbolic dynamics.

major comments (2)
  1. [Spectral analysis of the spherical mean operator (likely §3–4)] The central claim requires that the spherical mean operator on the unit tangent bundle satisfies both a uniform spectral gap (independent of the localized initial measure) and that the contribution of higher eigenvalues produces an o(1) window relative to the mixing time. The manuscript must exhibit explicit control on these quantities for the continuous-time geodesic parametrization; without it the abruptness of cutoff does not follow from L² mixing alone.
  2. [Proof of cutoff (likely §5)] The adaptation of the Lubetzky-Peres total-variation bound must be checked against the continuous spectrum of the geodesic flow. If the proof only obtains a spectral gap without a quantitative estimate on the remainder term arising from the parametrization of geodesics, the cutoff window may fail to be sharp.
minor comments (2)
  1. Notation for the spherical mean operator and its eigenvalues should be introduced with a clear reference to the underlying measure on the unit tangent bundle.
  2. The statement of the main theorem should explicitly record the dependence (or independence) of the cutoff window on the manifold and on the localization radius of the initial condition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive major comments. We address each point below and maintain that the manuscript already supplies the required controls via the spectral analysis and the adapted cutoff argument.

read point-by-point responses

  1. Referee: [Spectral analysis of the spherical mean operator (likely §3–4)] The central claim requires that the spherical mean operator on the unit tangent bundle satisfies both a uniform spectral gap (independent of the localized initial measure) and that the contribution of higher eigenvalues produces an o(1) window relative to the mixing time. The manuscript must exhibit explicit control on these quantities for the continuous-time geodesic parametrization; without it the abruptness of cutoff does not follow from L² mixing alone.

    Authors: Sections 3 and 4 contain a detailed spectral analysis of the spherical mean operator on the unit tangent bundle that directly addresses these requirements. Theorem 3.1 establishes a uniform spectral gap independent of the spatially localized initial measure, while Proposition 4.2 supplies explicit bounds on the higher eigenvalues showing their total contribution is o(1) relative to the mixing time under the continuous-time geodesic parametrization. These estimates are obtained from the representation theory of SO(n,1) and the Selberg trace formula, ensuring the L² mixing implies cutoff abruptness. revision: no

  2. Referee: [Proof of cutoff (likely §5)] The adaptation of the Lubetzky-Peres total-variation bound must be checked against the continuous spectrum of the geodesic flow. If the proof only obtains a spectral gap without a quantitative estimate on the remainder term arising from the parametrization of geodesics, the cutoff window may fail to be sharp.

    Authors: Section 5 adapts the Lubetzky-Peres total-variation bound to the geodesic flow while explicitly controlling the remainder arising from continuous parametrization. The argument integrates the spectral expansion over time intervals of length comparable to the mixing time and shows via Equation (5.12) and the ensuing estimates that this remainder is negligible relative to the spectral-gap term, yielding a sharp cutoff window even in the presence of continuous spectrum. revision: no

Circularity Check

0 steps flagged

No circularity; builds on external Lubetzky-Peres spectral strategy

full rationale

The paper's proof strategy is described as building upon the external spectral cutoff criterion from Lubetzky and Peres (for Ramanujan graphs) together with a new spectral analysis of the spherical mean operator on the fixed compact hyperbolic manifold. No self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided abstract or derivation outline. The central cutoff claim for geodesic paths and Brownian motion is presented as following from this independent prior work plus manifold-specific analysis, rendering the argument self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract alone supplies no explicit free parameters, axioms, or invented entities; the proof is described as spectral analysis without further breakdown.

pith-pipeline@v0.9.0 · 5596 in / 940 out tokens · 45046 ms · 2026-05-23T04:02:42.519570+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Shuffling cards and stopping times

    David Aldous and Persi Diaconis. Shuffling cards and stopping times . American Mathematical Monthly , pages 333--348, 1986

    work page 1986

  2. [2]

    Random walks on finite groups and rapidly mixing M arkov chains

    David Aldous. Random walks on finite groups and rapidly mixing M arkov chains. In Seminar on probability, XVII , volume 986 of Lecture Notes in Math. , pages 243--297. Springer, Berlin, 1983

    work page 1983

  3. [3]

    Friedman- R amanujan functions in random hyperbolic geometry and application to spectral gaps, 2023

    Nalini Anantharaman and Laura Monk. Friedman- R amanujan functions in random hyperbolic geometry and application to spectral gaps, 2023

    work page 2023

  4. [4]

    Spectral gap of random hyperbolic surfaces

    Nalini Anantharaman and Laura Monk. Spectral gap of random hyperbolic surfaces. arXiv , 2403.12576, 2024

    work page arXiv 2024

  5. [5]

    Universal cutoff for D yson O rnstein U hlenbeck process

    Jeanne Boursier, Djalil Chafaï, and Cyril Labbé. Universal cutoff for D yson O rnstein U hlenbeck process. Probability Theory and Related Fields , 185(1–2):449–512, September 2022

    work page 2022

  6. [6]

    Characterization of cutoff for reversible M arkov chains

    Riddhipratim Basu, Jonathan Hermon, and Yuval Peres. Characterization of cutoff for reversible M arkov chains. Ann. Probab. , 45(3):1448--1487, 2017

    work page 2017

  7. [7]

    Cutoff at the entropic time for random walks on covered expander graphs

    Charles Bordenave and Hubert Lacoin. Cutoff at the entropic time for random walks on covered expander graphs. J. Inst. Math. Jussieu , 21(5):1571--1616, 2022

    work page 2022

  8. [8]

    Orbital functions and heat kernels of Kleinian groups

    Adrien Boulanger. Orbital functions and heat kernels of Kleinian groups. J. \'E c. Polytech., Math. , 9:1069--1100, 2022

    work page 2022

  9. [9]

    Cut-off phenomenon for O rnstein- U hlenbeck processes driven by Lévy processes

    Gerardo Barrera and Juan Carlos Pardo. Cut-off phenomenon for O rnstein- U hlenbeck processes driven by Lévy processes . Electronic Journal of Probability , 25(none):1 -- 33, 2020

    work page 2020

  10. [10]

    Geometry and Spectra of Compact R iemann Surfaces

    Peter Buser. Geometry and Spectra of Compact R iemann Surfaces . Birkhäuser Boston, 1992

    work page 1992

  11. [11]

    On the asymptotic behavior of the hyperbolic B rownian motion

    Valentina Cammarota, Alessandro De Gregorio, and Claudio Macci. On the asymptotic behavior of the hyperbolic B rownian motion. J. Stat. Phys. , 154(6):1550--1568, 2014

    work page 2014

  12. [12]

    Chapter I - the L aplacian

    Isaac Chavel. Chapter I - the L aplacian. In Eigenvalues in Riemannian Geometry , volume 115 of Pure and Applied Mathematics , pages 1--25. Elsevier, 1984

    work page 1984

  13. [13]

    Eigenvalue comparison theorems and its geometric applications

    Shiu-Yuen Cheng. Eigenvalue comparison theorems and its geometric applications. Mathematische Zeitschrift , 143:289--297, 1975

    work page 1975

  14. [14]

    The cutoff phenomenon for ergodic M arkov processes

    Guan-Yu Chen and Laurent Saloff-Coste. The cutoff phenomenon for ergodic M arkov processes. Electron. J. Probab. , 13:no. 3, 26--78, 2008

    work page 2008

  15. [15]

    The cutoff phenomenon in finite M arkov chains

    Persi Diaconis. The cutoff phenomenon in finite M arkov chains. Proc. Nat. Acad. Sci. U.S.A. , 93(4):1659--1664, 1996

    work page 1996

  16. [16]

    Generating a random permutation with random transpositions

    Persi Diaconis and Mehrdad Shahshahani. Generating a random permutation with random transpositions . Probability Theory and Related Fields , 57(2):159--179, 1981

    work page 1981

  17. [17]

    Cutoff on hyperbolic surfaces

    Konstantin Golubev and Amitay Kamber. Cutoff on hyperbolic surfaces. Geom. Dedicata , 203:225--255, 2019

    work page 2019

  18. [18]

    Cutoff on graphs and the S arnak- X ue density of eigenvalues

    Konstantin Golubev and Amitay Kamber. Cutoff on graphs and the S arnak- X ue density of eigenvalues. European J. Combin. , 104:Paper No. 103530, 23, 2022

    work page 2022

  19. [19]

    u nther. Sph\

    Paul G \"u nther. Sph\"arische M ittelwerte in kompakten harmonischen R iemannschen M annigfaltigkeiten. Math. Ann. , 165:281--296, 1966

    work page 1966

  20. [20]

    Near optimal spectral gaps for hyperbolic surfaces

    Will Hide and Michael Magee. Near optimal spectral gaps for hyperbolic surfaces. Ann. of Math. (2) , 198(2):791--824, 2023

    work page 2023

  21. [21]

    Elton P. Hsu. Stochastic analysis on manifolds , volume 38 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2002

    work page 2002

  22. [22]

    uber den ersten E igenwert des L aplace- O perators auf kompakten R iemannschen F l\

    Heinz Huber. \"uber den ersten E igenwert des L aplace- O perators auf kompakten R iemannschen F l\"achen. Comment. Math. Helv. , 49:251--259, 1974

    work page 1974

  23. [23]

    Spherical means on compact R iemannian manifolds of negative curvature

    Gerhard Knieper. Spherical means on compact R iemannian manifolds of negative curvature. Differential Geom. Appl. , 4(4):361--390, 1994

    work page 1994

  24. [24]

    Lubetzky, A

    E. Lubetzky, A. Lubotzky, and O. Parzanchevski. Random walks on R amanujan complexes and digraphs. J. Eur. Math. Soc. (JEMS) , 22(11):3441--3466, 2020

    work page 2020

  25. [25]

    Cutoff on all R amanujan graphs

    Eyal Lubetzky and Yuval Peres. Cutoff on all R amanujan graphs. Geom. Funct. Anal. , 26(4):1190--1216, 2016

    work page 2016

  26. [26]

    Levin and Yuval Peres

    David A. Levin and Yuval Peres. Markov chains and mixing times . American Mathematical Society, Providence, RI, second edition, 2017. With contributions by Elizabeth L. Wilmer, With a chapter on ``Coupling from the past'' by James G. Propp and David B. Wilson

    work page 2017

  27. [27]

    Towards optimal spectral gaps in large genus

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

    work page 2024

  28. [28]

    H. P. McKean. An upper bound to the spectrum of on a manifold of negative curvature . Journal of Differential Geometry , 4(3):359 -- 366, 1970

    work page 1970

  29. [29]

    The cut-off phenomenon for B rownian motions on compact symmetric spaces

    Pierre-Lo\"ic M \'e liot. The cut-off phenomenon for B rownian motions on compact symmetric spaces. Potential Anal. , 40(4):427--509, 2014

    work page 2014

  30. [30]

    A random cover of a compact hyperbolic surface has relative spectral gap 3 16 -

    Michael Magee, Fr\'ed\'eric Naud, and Doron Puder. A random cover of a compact hyperbolic surface has relative spectral gap 3 16 - . Geom. Funct. Anal. , 32(3):595--661, 2022

    work page 2022

  31. [31]

    Decay of correlations for normally hyperbolic trapping

    St\'ephane Nonnenmacher and Maciej Zworski. Decay of correlations for normally hyperbolic trapping. Invent. Math. , 200(2):345--438, 2015

    work page 2015

  32. [32]

    V. Pati, M. Shahshahani, and A. Sitaram. The spherical mean value operator for compact symmetric spaces. Pacific Journal of Mathematics , 168(2):335 -- 344, 1995

    work page 1995

  33. [33]

    The rate of mixing for geodesic and horocycle flows

    Marina Ratner. The rate of mixing for geodesic and horocycle flows. Ergodic Theory Dynam. Systems , 7(2):267--288, 1987

    work page 1987

  34. [34]

    Cutoff for non-negatively curved M arkov chains

    Justin Salez. Cutoff for non-negatively curved M arkov chains. J. Eur. Math. Soc. (JEMS) , 26(11):4375--4392, 2024

    work page 2024

  35. [35]

    Escape rate of the B rownian motions on hyperbolic spaces

    Yuichi Shiozawa. Escape rate of the B rownian motions on hyperbolic spaces. Proc. Japan Acad. Ser. A Math. Sci. , 93(4):27--29, 2017

    work page 2017

  36. [36]

    Analysis of the L aplacian on the complete R iemannian manifold

    Robert S Strichartz. Analysis of the L aplacian on the complete R iemannian manifold. Journal of Functional Analysis , 52(1):48--79, 1983

    work page 1983

  37. [37]

    Geodesic flows and geodesic random walks

    Toshikazu Sunada. Geodesic flows and geodesic random walks. In Geometry of geodesics and related topics ( T okyo, 1982) , volume 3 of Adv. Stud. Pure Math. , pages 47--85. North-Holland, Amsterdam, 1984

    work page 1982

  38. [38]

    Bounds for multiplicities of automorphic representations

    Peter Sarnak and Xiao Xi Xue. Bounds for multiplicities of automorphic representations. Duke Math. J. , 64(1):207--227, 1991

    work page 1991

  39. [39]

    Random hyperbolic surfaces of large genus have first eigenvalues greater than 3 16 -

    Yunhui Wu and Yuhao Xue. Random hyperbolic surfaces of large genus have first eigenvalues greater than 3 16 - . Geom. Funct. Anal. , 32(2):340--410, 2022

    work page 2022