Pith. sign in

REVIEW 3 minor 2 cited by

Ergodic integrals of regular functions along the unit speed horocycle flow on infinite Abelian covers of compact negative curvature surfaces admit asymptotic expansions.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-05-24 01:30 UTC pith:YHD4WTRL

load-bearing objection The paper gives a clean spectral proof of horocycle asymptotics on abelian covers via Fourier modes and twisted transfer operators, recovering Ledrappier-Sarig without symbolic dynamics or pinching.

arxiv 2405.08592 v3 pith:YHD4WTRL submitted 2024-05-14 math.DS

Horocycle flows on abelian covers of surfaces of negative curvature

Roberto Castorrini , Davide Ravotti This is my paper
classification math.DS
keywords horocycle flowabelian coversnegative curvatureergodic integralstransfer operatorsanisotropic Banach spacesspectral gapgeodesic flow
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper establishes asymptotic formulas for the ergodic integrals of sufficiently regular functions under the unit-speed horocycle flow on infinite Abelian covers of compact surfaces with negative curvature. It proceeds via a Fourier decomposition over the covering group combined with spectral analysis of weighted and twisted transfer operators for the geodesic flow acting on anisotropic Banach spaces. This yields the asymptotics without symbolic dynamics and recovers the constant-curvature case of Ledrappier and Sarig as a special instance. A reader would care because the result describes long-term averaging behavior on geometrically infinite manifolds and supplies deviation bounds for the compact base surfaces that avoid prior pinching hypotheses.

Core claim

We prove an asymptotic result for the ergodic integrals of sufficiently regular functions on the unit speed parametrization of the horocycle flow on infinite Abelian covers of compact surfaces of negative curvature. In the case of constant curvature, where the unit speed and the uniformly contracting parametrizations of horocycles coincide, we recover a result by Ledrappier and Sarig. Our method, which does not use symbolic dynamics, is based on a general Fourier decomposition for Abelian covers and on the study of spectral theory of weighted (and twisted) transfer operators for the geodesic flow acting on appropriate anisotropic Banach spaces. Finally, as a byproduct result, we obtain a功率偏差

What carries the argument

Fourier decomposition over the Abelian covering group together with spectral properties of weighted and twisted transfer operators for the geodesic flow on anisotropic Banach spaces.

Load-bearing premise

The weighted and twisted transfer operators for the geodesic flow possess a spectral gap on the chosen anisotropic Banach spaces.

What would settle it

A numerical computation on a specific Abelian cover showing that ergodic integrals deviate from the predicted growth rate for a smooth test function, or an explicit surface where the relevant transfer operators lack a spectral gap.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The asymptotics hold for surfaces of variable negative curvature.
  • The same method supplies a power deviation estimate for horocycle averages on the compact base surfaces without any pinching condition.
  • The result extends previous work to the unit-speed parametrization in all curvature cases.
  • The Fourier-mode analysis controls all characters of the Abelian group uniformly via the spectral gap.

Where Pith is reading between the lines

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

  • Similar spectral techniques might yield asymptotics for horocycle flows on covers by non-Abelian groups if analogous twisted operators can be defined.
  • The deviation estimates on compact surfaces could be checked numerically on explicit examples such as genus-2 surfaces to measure the power.
  • The approach offers a template for studying other invariant foliations on covers by replacing symbolic coding with operator spectra.
  • If the Banach spaces can be chosen more flexibly, the result might extend to lower regularity functions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The manuscript proves an asymptotic result for ergodic integrals of sufficiently regular functions along the unit-speed parametrization of the horocycle flow on infinite Abelian covers of compact surfaces of negative curvature. The argument proceeds via a general Fourier decomposition that reduces the problem to spectral estimates on weighted and twisted transfer operators for the geodesic flow, acting on anisotropic Banach spaces; these operators are shown to possess a spectral gap. In constant curvature the result recovers Ledrappier–Sarig; as a byproduct a power deviation estimate is obtained for horocycle averages on compact surfaces without any curvature-pinching hypothesis. The method avoids symbolic dynamics.

Significance. If the spectral-gap and decay estimates are established as claimed, the work extends horocycle ergodic theory to variable negative curvature and infinite Abelian covers while dispensing with both symbolic coding and pinching assumptions. The explicit construction of the anisotropic spaces and the verification of the gap for the relevant twists constitute a technical contribution that may be reusable in other transfer-operator analyses of geodesic flows.

minor comments (3)
  1. §1: the precise Hölder or Sobolev regularity class required for the test functions is stated only qualitatively in the abstract; an explicit statement (e.g., C^{1+α} or a specific anisotropic space) should appear in the introduction or the statement of the main theorem.
  2. §3 (definition of the twisted operators): the dependence of the twist parameter on the Fourier mode should be written explicitly, together with the precise range of twists for which the spectral gap is proved.
  3. The comparison with Ledrappier–Sarig is mentioned only in the abstract; a short paragraph in the introduction contrasting the present anisotropic-space approach with their symbolic-dynamics method would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and detailed summary of our work, the assessment of its significance, and the recommendation of minor revision. No specific major comments appear in the report, so we have no points requiring direct response or revision at this stage. We remain available to address any minor editorial suggestions the editor or referee may wish to raise.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from spectral analysis

full rationale

The central asymptotic result for horocycle ergodic integrals is obtained by Fourier decomposition reducing to decay estimates on twisted weighted transfer operators for the geodesic flow, acting on anisotropic Banach spaces constructed and analyzed in the paper. These spectral properties (including gaps) are established directly without reduction to fitted parameters or self-citations for the load-bearing steps. Recovery of the Ledrappier-Sarig result in constant curvature is by external citation, not self-reference. No equation equates a prediction to its own input by construction, and the argument does not rely on uniqueness theorems or ansatzes imported from the authors' prior work. The derivation is independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard background facts of hyperbolic geometry and ergodic theory rather than new postulates. No free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Compact surfaces of negative curvature admit Anosov geodesic flows whose stable/unstable foliations support horocycle flows.
    Invoked implicitly when defining the unit-speed horocycle flow and its ergodic integrals.
  • domain assumption There exist anisotropic Banach spaces on which the weighted and twisted transfer operators of the geodesic flow have a spectral gap.
    Central to the method paragraph; required for controlling the Fourier modes.

pith-pipeline@v0.9.0 · 5659 in / 1477 out tokens · 24537 ms · 2026-05-24T01:30:06.485667+00:00 · methodology

0 comments
read the original abstract

We consider the unit speed parametrization of the horocycle flow on infinite Abelian covers of compact surfaces of negative curvature. We prove an asymptotic result for the ergodic integrals of sufficiently regular functions. In the case of constant curvature, where the unit speed and the uniformly contracting parametrizations of horocycles coincide, we recover a result by Ledrappier and Sarig. Our method, which does not use symbolic dynamics, is based on a general Fourier decomposition for Abelian covers and on the study of spectral theory of weighted (and twisted) transfer operators for the geodesic flow acting on appropriate anisotropic Banach spaces. Finally, as a byproduct result, we obtain a power deviation estimate for the horocycle ergodic averages on compact surfaces, without requiring any pinching condition as in previous results.

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 2 Pith papers

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

  1. K-mixing for aperiodic Lorentz gases

    math.DS 2026-07 accept novelty 7.0

    Recurrent aperiodic Lorentz gases with uniform free-path and curvature bounds are K-mixing, via a general K-decomposition for recurrent 2D piecewise-smooth hyperbolic maps without finite invariant measure.

  2. Maharam-Pollicott-Ruelle resonances and self-similar translation flows on abelian covers

    math.DS 2026-07 accept novelty 7.0

    Twisted transfer operators on anisotropic spaces yield Maharam-Pollicott-Ruelle resonances that control ergodic integrals and dimensions of Maharam measures for self-similar Z^d-covers of translation surfaces.

Reference graph

Works this paper leans on

46 extracted references · 46 canonical work pages · cited by 2 Pith papers

  1. [1]

    Aaronson

    J. Aaronson. An Introduction to Infinite Ergodic Theory. Math. Surveys and Monographs 50, Amer. Math. Soc. (1997)

    work page 1997

  2. [2]

    A. Adam, V . Baladi. Horocycle averages on closed manifol ds and transfer operators. Tunisian J. Math 4 387–441 (2022)

    work page 2022

  3. [3]

    Avila, D

    A. Avila, D. Dolgopyat, E. Duryev, and O. Sarig. The visit s to zero of a random walk driven by an irrational rotation. Isr. J. Math. 207, 653–717 (2015)

    work page 2015

  4. [4]

    Babillot, F

    M. Babillot, F. Ledrappier. Geodesic paths and horocycl e flows on Abelian covers. Lie groups and ergodic theory (Mumbai, 1996), 1–32, Tata Inst. Fund. Res. Stud. Mat h. 14, Tata Inst. Fund. Res., Bombay, (1998)

    work page 1996

  5. [5]

    Blank, G

    M. Blank, G. Keller, and C. Liverani, Ruelle-Perron-Fro benius spectrum for Anosov maps, Nonlinearity 15 (2002), 1905-1973. MR 1938476. Zbl 1021. 37015

    work page 2002

  6. [6]

    R. Bowen. Periodic orbits for hyperbolic flows, Amer. J. M ath. 94 (1972), 1–30

    work page 1972

  7. [7]

    Bruin, C

    H. Bruin, C. Fougeron, D. Ravotti, and D. Terhesiu. On asy mptotic expansions of ergodic integrals for Zd- extensions of translation flows. Preprint arXiv:2402.0226 6 (2024)

    work page arXiv 2024

  8. [8]

    Bufetov, G

    A. Bufetov, G. Forni. Limit theorems for horocycle flows. Ann. Sci. Éc. Norm. Supér. 47(5) (2014), 851–903

    work page 2014

  9. [9]

    M. Burger. Horocycle flow on geometrically finite surface s. Duke Math. J. 61(3) (1990), 779–803

    work page 1990

  10. [10]

    Butterley

    O. Butterley. A note on operator semigroups associated to chaotic flows–corrigendum. Ergodic Theory Dy- nam. Systems 36.5, pp. 1409–1410, (2016)

    work page 2016

  11. [11]

    Butterley

    O. Butterley. Expanding semiflows on branched surfaces and one-parameter semigroups of operators. Non- linearity 25(12) (2012), 3487–3503

    work page 2012

  12. [12]

    Butterley and C

    O. Butterley and C. Liverani. Smooth Anosov flows: corre lation spectra and stability. J. Mod. Dyn. 1(2) (2007), 301–322

    work page 2007

  13. [13]

    Butterley and L.D

    O. Butterley and L.D. Simonelli. Parabolic flows renorm alized by partially hyperbolic maps. Bollettino dell’Unione Matematica Italiana 13, 341–360 (2020)

    work page 2020

  14. [14]

    Butterley, G

    O. Butterley, G. Canestrari, R. Castorrini, Discontin uities cause essential spectrum on surfaces, Preprint arXiv:2306.00484 (2024)

    work page arXiv 2024

  15. [15]

    Castorrini, C

    R. Castorrini, C. Liverani. Quantitative statistical properties of two-dimensional partially hyperbolic syste ms. Adv. Math., 409, Part A, 1–122 (2022)

    work page 2022

  16. [16]

    B. Davies. Linear operators and their spectra. V ol. 106 . Cambridge Studies in Advanced Mathematics. Cam- bridge University Press, Cambridge, pp. xii+451 (2007)

    work page 2007

  17. [17]

    M. F. Demers, N. Kiamari, C. Liverani, Transfer operato rs in hyperbolic dynamics. An introduction. 33 o Colóq. Bras. Mat. Instituto Nacional de Matemática Pura e Ap licada (IMP A), Rio de Janeiro, 2021

    work page 2021

  18. [18]

    do Carmo

    M.P . do Carmo. Riemannian Geometry. Mathematics: Theo ry and Applications. Birkhäuser Boston, MA (1992)

    work page 1992

  19. [19]

    Faure, S

    F. Faure, S. Gouezel, and E. Lanneau. Ruelle spectrum of linear pseudo-Anosov maps. J. Éc. Polytech. Math. 6, 811-877 (2019). 42 ROBERTO CASTORRINI AND DA VIDE RA VOTTI

    work page 2019

  20. [20]

    Flaminio, G

    L. Flaminio, G. Forni. Invariant distributions and tim e averages for horocycle flows. Duke Math. J. 119(3) (2003), 465–526

    work page 2003

  21. [21]

    Flaminio, D

    L. Flaminio, D. Ravotti. Abelian covers of hyperbolic s urfaces: equidistribution of spectra and infinite mixing asymptotics for horocycle flows. Preprint arXiv:2207.0826 3 (2022)

    work page arXiv 2022

  22. [22]

    Giulietti and C

    P . Giulietti and C. Liverani, Parabolic dynamics and an isotropic Banach spaces, JEMS 21 2793–2858 (2019)

    work page 2019

  23. [23]

    Giulietti, C

    P . Giulietti, C. Liverani, and M. Pollicott, Anosov flow s and dynamical zeta functions, Ann. of Math. (2) 178:2 (2013), 687–773

    work page 2013

  24. [24]

    Gouëzel , Limit theorems in dynamical systems using t he spectral method (Proceedings of Symposia in Pure Mathematics 89:161–193, 2015)

    S. Gouëzel , Limit theorems in dynamical systems using t he spectral method (Proceedings of Symposia in Pure Mathematics 89:161–193, 2015)

    work page 2015

  25. [25]

    Gouëzel and C

    S. Gouëzel and C. Liverani, Banach spaces adapted to Ano sov systems, Er- godic Theory Dynam. Systems 26 (2006), 189–217

    work page 2006

  26. [26]

    Green, Remarks on uniformly expanding horocycle r eparametrization, J

    L.W . Green, Remarks on uniformly expanding horocycle r eparametrization, J. Differential Geometry, 13 (1978) 263–271

    work page 1978

  27. [27]

    B.M. Gurevic. The entropy of a horocycle flow, Soviet Mat h. Doklady 2 (1961), 124–130

    work page 1961

  28. [28]

    Guivarc’h, Y

    Y . Guivarc’h, Y . Le Jan. Asymptotic winding of the geode sic flow on modular surfaces and continuous frac- tions. Annales scientifiques de l’ École Normale Supérieure , Serie 4, V olume 26 (1993) no. 1, pp. 23–50

    work page 1993

  29. [29]

    Ledrappier, O

    F. Ledrappier, O. Sarig. Unique ergodicity for non-uni quely ergodic horocycle flows. Discrete and Continuous Dynamical Systems, 16(2) (2006), 411–433

    work page 2006

  30. [30]

    Ledrappier, O

    F. Ledrappier, O. Sarig. Fluctuations of ergodic sums f or horocycle flows on Zd-covers of finite volume surfaces. Discrete Contin. Dyn. Syst., 22(1-2) (2008), 247 –325

    work page 2008

  31. [31]

    Liverani, On contact Anosov flows, Ann

    C. Liverani, On contact Anosov flows, Ann. of Math. (2) 15 9:3 (2004), 1275–1312

    work page 2004

  32. [32]

    Hasselblatt, A

    B. Hasselblatt, A. Katok. Introduction to the Modern Th eory of Dynamical Systems. Encyclopedia of Math- ematics and its Applications, Issue 54, Cambridge Universi ty Press (1995)

    work page 1995

  33. [33]

    H. Hennion. Sur un théorème spectral et son application aux noyaux lipchitziens. Proc. Amer. Math. Soc. 118:2 (1993), 627–634

    work page 1993

  34. [34]

    Hurder, A

    S. Hurder, A. Katok. Differentiability, rigidity and G odbillon-V ey classes for Anosov flows. Publications mathématiques de l’IHES., tome 72 (1990), p. 5–61

    work page 1990

  35. [35]

    T. Kato. Perturbation theory for linears operators. Gr undlehren der Mathematicschen Wissenschaften 132 (1996)

    work page 1996

  36. [36]

    Katsuda, T

    A. Katsuda, T. Sunada. Closed orbits in homology classe s. Publications Mathematiques de l’IHES, V olume 71 (1990), pp. 5–32

    work page 1990

  37. [37]

    Margulis

    G.A. Margulis. Certain measures associated with U-flow s on compact manifolds. Functional Anal. Appl. 4 (1) (1970), 55–67

    work page 1970

  38. [38]

    B. Marcus. Unique ergodicity of the horocycle flow: vari able negative curvature case. Israel J. Math., 21(2-3) (1975), 133–144

    work page 1975

  39. [39]

    B. Marcus. Ergodic Properties of Horocycle Flows for Su rfaces of Negative Curvature. Annals of Mathemat- ics, Second Series, V ol. 105, No. 1 (1977), pp. 81–105

    work page 1977

  40. [40]

    J. Plante. Anosov flows, Amer. J. Math. 94 (1972), 729–75 4

    work page 1972

  41. [41]

    D. Ravotti. Asymptotics and limit theorems for horocyc le ergodic integrals à la Ratner (with an appendix by Emilio Corso), Journal de l’Écolepolytechnique-Mathémat iques, Tome 10 (2023), 305-334

    work page 2023

  42. [42]

    O. Sarig. Invariant measures for the horocycle flow on Ab elian covers, Inv. Math. 157 (2004), 519–551

    work page 2004

  43. [43]

    Sarig, B

    O. Sarig, B. Schapira. The Generic Points for the Horocy cle Flow on a Class of Hyperbolic Surfaces with Infinite Genus, IMRN (2008), Article ID rnn086

    work page 2008

  44. [44]

    Schwartz, Théorie Des Distributions, Publications de l’Institut de Mathématique de l’Université de Stras- bourg, Hermann: Paris, 1966

    L. Schwartz, Théorie Des Distributions, Publications de l’Institut de Mathématique de l’Université de Stras- bourg, Hermann: Paris, 1966

    work page 1966

  45. [45]

    Strömbergsson

    A. Strömbergsson. On the deviation of ergodic averages for horocycle flows, J. Mod. Dyn. 7(2) (2013), 291– 328

    work page 2013

  46. [46]

    Tsujii, Quasi-compactness of transfer operators fo r contact Anosov flows, Nonlinearity 23:7 (2010), 1495– 1545

    M. Tsujii, Quasi-compactness of transfer operators fo r contact Anosov flows, Nonlinearity 23:7 (2010), 1495– 1545. SCUOLA NORMALE SUPERIORE , P IAZZA DEI CAVALIERI 7, P ISA , I TALY, 56126 Email address: roberto.castorrini@gmail.com UNIVERSITÉ DE LILLE , CNRS, UMR 8524 - L ABORATOIRE PAUL PAINLEVÉ , F-59000 L ILLE , F RANCE Email address: davide.ravotti@gmail.com

    work page 2010