Pith. sign in

REVIEW 4 minor 55 references

Twisted transfer operators on anisotropic spaces turn Maharam measures on self-similar abelian covers into discrete spectral data, yielding explicit asymptotics for ergodic integrals at generic points.

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 →

T0 review · grok-4.5

2026-07-14 05:17 UTC pith:EO6NSBAD

load-bearing objection Solid spectral extension of the Faure–Gouëzel–Lanneau / Dang–Rivière picture to Maharam measures on self-similar abelian covers; the asymptotics and CLT are the real payoff.

arxiv 2607.11482 v1 pith:EO6NSBAD submitted 2026-07-13 math.DS

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

classification math.DS MSC 37A4037C3037D2037E35
keywords Maharam measuresPollicott-Ruelle resonancestwisted transfer operatorsanisotropic Banach spacestranslation surfacesabelian coverspseudo-Anosov mapsergodic integrals
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.

Self-similar translation flows on Z^d-covers of compact translation surfaces are infinite-measure systems whose natural invariant measures are the Maharam measures. The paper builds a family of twisted transfer operators for the renormalizing pseudo-Anosov map, acting on anisotropic Banach spaces of distributions. It proves these operators are quasi-compact and identifies their discrete spectrum with the action of the pseudo-Anosov on twisted cohomology; the peripheral dual eigenstates produce the Maharam distributions themselves. From this spectral picture the authors extract three concrete consequences: an asymptotic formula for ergodic integrals of smooth compactly supported observables at Maharam-generic points, a central limit theorem for the Frobenius cocycle, and an explicit formula for the Hausdorff dimension of the Maharam measures. The result gives a renormalization-based dictionary that converts geometric data on the base surface into statistical information about the infinite cover.

Core claim

For self-similar Z^d-covers the discrete spectrum of the twisted transfer operators L_z on the anisotropic spaces B_{p,q} is completely described by the induced action of the pseudo-Anosov on the twisted cohomology groups H^1_z; the peripheral dual eigenstates construct Maharam distributions invariant under the horizontal flow, and for small real twist parameters the ergodic integrals of C^1_c observables at µ_r-generic points admit the explicit asymptotic of Theorem E involving the factor (λ ρ(r))^n e^{-r·ξ} times a Gaussian oscillatory term.

What carries the argument

The family of twisted transfer operators L_z = L_{z,F} associated with the renormalizing linear pseudo-Anosov and the Frobenius function F, acting on the anisotropic Banach spaces B_{p,q} of distributions; quasi-compactness plus the correspondence between their discrete spectrum and the action on twisted cohomology supplies the Maharam-Pollicott-Ruelle resonances that control the dynamics.

Load-bearing premise

The cover must admit a linear pseudo-Anosov lift that commutes with every deck transformation, and the asymptotic formula further requires the real twist parameter r to be sufficiently small.

What would settle it

For a concrete self-similar cover (for instance the 3×1 staircase) compute the eigenvalues of the induced action of the pseudo-Anosov on the twisted cohomology H^1_z and check whether they match the discrete spectrum of L_z on B_{p,q}; or numerically verify the predicted growth rate and Gaussian factor of ergodic integrals against direct orbit averages for a small-r Maharam measure.

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

If this is right

  • Ergodic integrals of smooth compactly supported observables at µ_r-generic points grow like (λ ρ(r))^n e^{-r·ξ} times a Gaussian oscillatory factor whose covariance is determined by the Frobenius cocycle.
  • The Frobenius cocycle itself satisfies a central limit theorem with respect to the Gibbs measure ν_T associated with the maximal eigenvalue.
  • The Hausdorff dimension of the Maharam measure µ_r (equivalently of the probability measure ν_r on the base) is given by the explicit formula 1 + (log λ + log ρ(r) - r·ν_T(F))/log λ.
  • Every peripheral dual eigenstate of L'_r produces a flow-invariant Maharam distribution on the cover, giving an infinite family of such distributions parametrized by the twisted-cohomology spectrum.

Where Pith is reading between the lines

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

  • The same spectral dictionary should control correlation decay or a suitable infinite-measure mixing notion for the lifted pseudo-Anosov itself, once a global-local mixing framework is adopted.
  • Removing self-similarity would require replacing the single twisted operator by a cocycle of operators over the base Teichmüller flow; the paper's Fourier-decomposition step already suggests how the twist parameters would become dynamical variables.
  • The stationary-phase analysis that produces the Gaussian factor is robust enough that a local limit theorem or large-deviation principle for the same cocycle should follow by standard refinements of the same perturbation theory.

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 / 4 minor

Summary. The paper studies self-similar translation flows on Z^d-covers of compact translation surfaces that admit a linear pseudo-Anosov lift commuting with the deck group. It constructs a family of twisted transfer operators L_z on anisotropic Banach spaces B_{p,q} of distributions, proves their quasi-compactness (Lasota–Yorke + Hennion), identifies the discrete spectrum with the action of the pseudo-Anosov on twisted cohomology H^1_z, and shows that peripheral dual eigenstates produce Maharam distributions (and the Maharam measures µ_r when the eigenvalue is maximal). Applications include an asymptotic formula for ergodic integrals of C^1_c observables at µ_r-generic points (for small r), a CLT for the Frobenius cocycle, and a formula for the Hausdorff dimension of the measures ν_r.

Significance. The work supplies a coherent spectral renormalization framework for Maharam measures on self-similar abelian covers, extending the Faure–Gouëzel–Lanneau / Dang–Rivière programme from the compact (or Lebesgue) setting to a continuous family of infinite invariant measures. The explicit asymptotic of Theorem E, the CLT for the Frobenius cocycle, and the independent spectral derivation of the Hausdorff-dimension formula (recovering Berk–Frączek–Kotlewski–Trujillo) are concrete advances. The self-similarity hypothesis and the small-r restriction are stated openly; within that class the results appear complete and of clear interest to infinite ergodic theory and translation-surface dynamics.

minor comments (4)
  1. [§1.5 / Theorem E] The small-r condition (53) that makes the stationary-phase argument of Theorem E work is stated only in Section 6; a one-sentence forward reference in the statement of Theorem E (or in the introduction) would help the reader.
  2. [§1.6] In the road-map of §1.6 the Fourier decomposition is written with θ ∈ (−1/2,1/2)^d while later sections use (−π,π)^d for the imaginary part of z; a brief remark that the two conventions differ only by the 2π scaling would avoid momentary confusion.
  3. [Appendix A] Appendix A gives useful explicit matrices for the twisted action on the staircase and wind-tree examples; a short numerical check that the top eigenvalue of those matrices equals λρ(r) for a sample r would make the geometric correspondence more tangible.
  4. A few typographical slips remain (e.g., “Maharam-Ruelle-Pollicott” versus “Maharam-Pollicott-Ruelle” in the abstract and body; occasional missing spaces after commas in multi-line displays). They do not affect readability.

Circularity Check

0 steps flagged

No significant circularity: spectral objects and asymptotics are derived from transfer-operator constructions and geometry, not fitted or self-defined by the target claims.

full rationale

The paper constructs anisotropic spaces B_{p,q}, proves Lasota–Yorke inequalities (Prop. 3.8) and quasi-compactness of the twisted operators L_z (Cor. 3.16 via Hennion), identifies the peripheral spectrum under a non-cohomology assumption verified for the Frobenius function (Prop. 4.7), and links discrete eigenvalues to the action of the pseudo-Anosov on twisted cohomology H^1_z via the operators X_z, Y_z and de Rham-type arguments (Props. 5.13–5.15, Thm. 5.16). Dual peripheral eigenstates produce Maharam distributions by Fourier decomposition and invariance (Prop. 5.8, Cor. 5.9); the name “Maharam-Pollicott-Ruelle resonances” is merely nomenclature. Ergodic-integral asymptotics (Thm. 6.2) and the CLT (Thm. 3.33) follow from the spectral gap, perturbation theory (Prop. 3.32) and stationary phase, under the explicit small-r hypothesis (53). Hausdorff dimension (Thm. 7.3) recovers a known formula by an independent spectral route. Self-citations supply background lemmas or related settings and are not load-bearing uniqueness theorems that force the claims. No parameter is fitted to data and then re-predicted; no definition equates a claimed output to its own input. The derivation is therefore self-contained mathematical analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 1 invented entities

The work rests on standard functional-analytic and geometric facts about translation surfaces, pseudo-Anosov maps, and anisotropic Banach spaces, plus the structural hypothesis that a linear pseudo-Anosov lifts and commutes with the deck group. No free parameters are fitted; spectral radii and covariance matrices are derived objects.

axioms (4)
  • domain assumption Existence of a linear pseudo-Anosov T on the compact base that lifts to a map eT commuting with all deck transformations of the Z^d-cover.
    Stated in Section 1.3 and used throughout; without it the renormalization operators L_z are undefined.
  • domain assumption For all v ∈ (−π,π)^d \ {0}, the function v·F is not cohomologous to a constant mod 2π.
    Proposition 3.22 / 4.7; guarantees simplicity of the peripheral spectrum and non-degeneracy of the CLT covariance.
  • standard math Hennion’s theorem on quasi-compactness of operators satisfying a Lasota–Yorke inequality with compact embedding.
    Invoked in Corollary 3.16 to obtain the discrete spectrum outside the essential radius.
  • standard math Standard properties of twisted cohomology H^1_z(S_0,C) and the isomorphism with Maharam cohomology on the cover (Lemmas 5.3–5.5).
    Taken from Forni and classical local-coefficient cohomology; used to identify the discrete spectrum.
invented entities (1)
  • Maharam-Pollicott-Ruelle resonances independent evidence
    purpose: Name for the discrete eigenvalues of the twisted transfer operators L_z that correspond to Maharam distributions via dual eigenstates.
    Terminological packaging of spectral objects already constructed; no new physical entity is postulated.

pith-pipeline@v1.1.0-grok45 · 72913 in / 2620 out tokens · 31605 ms · 2026-07-14T05:17:19.350236+00:00 · methodology

0 comments
read the original abstract

We study self-similar translation flows on $\mathbb Z^d$-covers of compact translation surfaces. Our main goal is to investigate their ergodic properties with respect to general Maharam measures. To this end, we develop a renormalization approach based on a family of twisted transfer operators associated with the renormalizing pseudo-Anosov map acting on anisotropic spaces of distributions. We describe the discrete spectrum of these operators in terms of the action of the pseudo-Anosov on suitable twisted cohomology groups. We further show that the resonant states of the dual operator corresponding to peripheral eigenvalues give rise to Maharam distributions which are invariant under the translation flow. Motivated by this correspondence, we refer to these eigenvalues as Maharam-Pollicott-Ruelle resonances. As applications, we derive asymptotic formulas for ergodic integrals of smooth observables at Maharam-generic points, prove a central limit theorem for the associated Frobenius cocycle, and compute the Hausdorff dimension of Maharam measures.

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

55 extracted references · 2 linked inside Pith

  1. [1]

    Jon Aaronson,An introduction to infinite ergodic theory, Math. Surv. Monogr., vol. 50, Providence, RI: American Mathematical Society, 1997 (English)

  2. [2]

    Jon Aaronson, Hitoshi Nakada, Omri Sarig, and Rita Solomyak,Invariant measures and asymptotics for some skew products, Isr. J. Math.128(2002), 93–134 (English)

  3. [3]

    Adams and John J

    Robert A. Adams and John J. F. Fournier,Sobolev spaces, 2nd ed. ed., Pure Appl. Math., Academic Press, vol. 140, New York, NY: Academic Press, 2003 (English)

  4. [4]

    Athreya and Howard Masur,Translation surfaces, Grad

    Jayadev S. Athreya and Howard Masur,Translation surfaces, Grad. Stud. Math., vol. 242, Providence, RI: American Mathematical Society (AMS), 2024 (English)

  5. [5]

    Avila, D

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

  6. [6]

    Artur Avila and Giovanni Forni,Weak mixing for interval exchange transformations and translation flows, Ann. Math. (2)165(2007), no. 2, 637–664

  7. [7]

    Proceedings of the international colloquium, Mumbai, India, January 4–12, 1996, New Delhi: Narosa Publishing House; Bombay: Tata Institute of Fundamental Research, 1998, pp

    Martine Babillot and François Ledrappier,Geodesic paths and horocycle flow on abelian covers, Lie groups and ergodic theory. Proceedings of the international colloquium, Mumbai, India, January 4–12, 1996, New Delhi: Narosa Publishing House; Bombay: Tata Institute of Fundamental Research, 1998, pp. 1–32 (English)

  8. [8]

    8, 2169–2192

    Viviane Baladi and Roberto Castorrini,Thermodynamic formalism for piecewise expanding maps in finite dimension, Discrete and Continuous Dynamical Systems44(2024), no. 8, 2169–2192

  9. [9]

    P. Berk, K. Fr ˛ aczek, Ł. Kotlewski, and F. Trujillo,On measures and semiconjugacies for affine interval exchange transformations, 2025, arXiv:2511.05069

  10. [10]

    Math.284(2025), no

    Henk Bruin, Charles Fougeron, Davide Ravotti, and Dalia Terhesiu,On asymptotic expansions of ergodic integrals forZ d-extensions of translation flows, Stud. Math.284(2025), no. 3, 229–280 (English)

  11. [11]

    10, 3631–3662

    Oliver Butterley, Giovanni Canestrari, and Roberto Castorrini,Discontinuities cause essential spectrum on surfaces, Annales Henri Poincaré25(2024), no. 10, 3631–3662

  12. [12]

    Oliver Butterley, Giovanni Canestrari, and Sakshi Jain,Discontinuities cause essential spectrum, Comm. Math. Phys.398(2023), no. 2, 627–653

  13. [13]

    1, 513–566 (English)

    Oliver Butterley, Niloofar Kiamari, and Carlangelo Liverani,Locating Ruelle-Pollicott resonances, Nonlinearity 35(2022), no. 1, 513–566 (English)

  14. [14]

    2, 301–322

    Oliver Butterley and Carlangelo Liverani,Smooth Anosov flows: Correlation spectra and stability, Journal of Modern Dynamics1(2007), no. 2, 301–322

  15. [15]

    Roberto Castorrini and Davide Ravotti,Horocycle flows on abelian covers of surfaces of negative curvature, Preprint, arXiv:2405.08592 [math.DS] (2024), 2024

  16. [16]

    Nguyen Viet Dang and Gabriel Rivière,Topology of Pollicott-Ruelle resonant states, Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5)21(2020), 827–871 (English)

  17. [17]

    6, 1085–1110

    Vincent Delecroix, Pascal Hubert, and Samuel Lelièvre,Diffusion for the periodic wind-tree model, Annales Scientifiques de l’École Normale Supérieure47(2014), no. 6, 1085–1110

  18. [18]

    Vincent Delecroix, Pascal Hubert, and Ferrán Valdez,Infinite Translation Surfaces in the Wild, Preprint, arXiv:2403.05424 [math.GT] (2024), 2024

  19. [19]

    Dmitry Dolgopyat and Omri Sarig,Generic points on the staircase and irregularities in uniform distribution, (2026)

  20. [20]

    MAHARAM-POLLICOTT-RUELLE RESONANCES AND SELF-SIMILAR TRANSLATION FLOWS 73

    Paul Ehrenfest and Tatjana Ehrenfest,Begriffliche Grundlagen der statistischen Auffassung in der Mechanik, Encyklopädie der mathematischen WissenschaftenIV 32(1911), 1–90. MAHARAM-POLLICOTT-RUELLE RESONANCES AND SELF-SIMILAR TRANSLATION FLOWS 73

  21. [21]

    Frédéric Faure, Sébastien Gouëzel, and Erwan Lanneau,Ruelle spectrum of linear pseudo-Anosov maps, J. Éc. Polytech., Math.6(2019), 811–877 (English)

  22. [22]

    7, 26 (English), Id/No 075015

    Livio Flaminio and Davide Ravotti,Abelian covers of hyperbolic surfaces: equidistribution of spectra and infinite volume mixing asymptotics for horocycle flows, Nonlinearity37(2024), no. 7, 26 (English), Id/No 075015

  23. [23]

    Giovanni Forni,Deviation of ergodic averages for area-preserving flows on surfaces of higher genus, Ann. Math. (2)155(2002), no. 1, 1–103 (English)

  24. [24]

    Systems42(2022), no

    ,Twisted cohomological equations for translation flows, Ergodic Theory Dynam. Systems42(2022), no. 3, 881–916. MR 4374962

  25. [25]

    ,Twisted translation flows and effective weak mixing, J. Eur. Math. Soc. (JEMS)24(2022), no. 12, 4225–4276 (English)

  26. [26]

    Math.197(2014), no

    Krzysztof Fr ˛ aczek and Corinna Ulcigrai,Non-ergodicZ-periodic billiards and infinite translation surfaces, Invent. Math.197(2014), no. 2, 241–298 (English)

  27. [27]

    Daniele Galli,A cohomological approach to Ruelle-Pollicott resonances and speed of mixing of Anosov diffeomorphisms, Commun. Math. Phys.407(2026), no. 7, 54 (English), Id/No 149

  28. [28]

    Paolo Giulietti and Carlangelo Liverani,Parabolic dynamics and anisotropic Banach spaces, J. Eur. Math. Soc. (JEMS)21(2019), no. 9, 2793–2858 (English)

  29. [29]

    Theory Relat

    Sébastien Gouëzel,Central limit theorem and stable laws for intermittent maps, Probab. Theory Relat. Fields 128(2004), no. 1, 82–122

  30. [30]

    ,Limit theorems in dynamical systems using the spectral method, Hyperbolic dynamics, fluctuations and large deviations. Special semester on hyperbolic dynamics, large deviations and fluctuations, January – June 2013, Centre Interfacultaire Bernoulli, École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland. Proceedings, Providence, RI: American Mat...

  31. [31]

    Syst.26(2006), no

    Sébastien Gouëzel and Carlangelo Liverani,Banach spaces adapted to Anosov systems, Ergodic Theory Dyn. Syst.26(2006), no. 1, 189–217 (English)

  32. [32]

    ,Compact locally maximal hyperbolic sets for smooth maps: Fine statistical properties, J. Differ. Geom. 79(2008), no. 3, 433–477 (English)

  33. [33]

    7, 1802–1808

    Jean Hardy and Jacques Weber,Diffusion in a periodic wind-tree model, Journal of Mathematical Physics21 (1980), no. 7, 1802–1808

  34. [34]

    Hubert Hennion,On a spectral theorem and its application to Lipschitzian kernels, Proc. Am. Math. Soc.118 (1993), no. 2, 627–634 (French)

  35. [35]

    Patrick Hooper,The invariant measures of some infinite interval exchange maps, Geom

    W. Patrick Hooper,The invariant measures of some infinite interval exchange maps, Geom. Topol.19(2015), no. 4, 1895–2038 (English)

  36. [36]

    Patrick Hooper, Pascal Hubert, and Barak Weiss,Dynamics on the infinite staircase, Discrete Contin

    W. Patrick Hooper, Pascal Hubert, and Barak Weiss,Dynamics on the infinite staircase, Discrete Contin. Dyn. Syst.33(2013), no. 9, 4341–4347 (English)

  37. [37]

    Pascal Hubert and Gabriela Schmithüsen,Infinite translation surfaces with infinitely generated Veech groups, J. Mod. Dyn.4(2010), no. 4, 715–732 (English)

  38. [38]

    Tosio Kato,Perturbation theory for linear operators., reprint of the corr. print. of the 2nd ed. 1980 ed., Class. Math., Berlin: Springer-Verlag, 1995 (English)

  39. [39]

    Anatole Katok,Interval exchange transformations and some special flows are not mixing, Isr. J. Math.35(1980), 301–310 (English)

  40. [40]

    François Ledrappier and Omri Sarig,Unique ergodicity for non-uniqueli ergodic horocycle flows, Discrete Contin. Dyn. Syst.16(2006), no. 2, 411–433 (English)

  41. [41]

    ,Invariant measures for the horocycle flow on periodic hyperbolic surfaces, Isr. J. Math.160(2007), 281–315 (English)

  42. [42]

    ,Fluctuations of ergodic sums for horocycle flows on Zd-covers of finite volume surfaces, Discrete Contin. Dyn. Syst.22(2008), no. 1-2, 247–325 (English)

  43. [43]

    Marco Lenci,On infinite-volume mixing, Commun. Math. Phys.298(2010), no. 2, 485–514 (English)

  44. [44]

    Maharam,Incompressible transformations, Fundam

    D. Maharam,Incompressible transformations, Fundam. Math.56(1964), 35–50 (English)

  45. [45]

    Howard Masur,Interval exchange transformations and measured foliations, Ann. Math. (2)115(1982), 169– 200

  46. [46]

    12, 2365–2375 (English)

    Mark Pollicott and Richard Sharp,Pseudo-Anosov foliations on periodic surfaces, Topology Appl.154(2007), no. 12, 2365–2375 (English). 74 M. ARTIGIANI, R. CASTORRINI, D. RA VOTTI, AND Y . TUMARKIN

  47. [47]

    Przytycki and M

    F. Przytycki and M. Urba´nski,On the Hausdorff dimension of some fractal sets, Stud. Math.93(1989), no. 2, 155–186 (English)

  48. [48]

    6, 18 (English), Id/No 065014

    Alba Málaga Sabogal and Serge Troubetzkoy,Unique ergodicity for infinite area translation surfaces, Nonlin- earity38(2025), no. 6, 18 (English), Id/No 065014

  49. [49]

    Math.157(2004), no

    Omri Sarig,Invariant Radon measures for horocycle flows on Abelian covers, Invent. Math.157(2004), no. 3, 519–551 (English)

  50. [50]

    Omri Sarig and Barbara Schapira,The generic points for the horocycle flow on a class of hyperbolic surfaces with infinite genus, Int. Math. Res. Not.2008(2008), 37 (English), Id/No rnn086

  51. [51]

    Notes Math

    Klaus Schmidt,Unique ergodicity and related problems, Ergodic theory, Proc., Oberwolfach 1978, Lect. Notes Math. 729, 188-198 (1979)., 1979

  52. [52]

    Yuriy Tumarkin,Ergodic measures for periodic type Zm-skew-products over interval exchange transformations, J. Anal. Math.155(2025), no. 2, 699–741 (English)

  53. [53]

    Veech,Gauss measures for transformations on the space of interval exchange maps, Ann

    William A. Veech,Gauss measures for transformations on the space of interval exchange maps, Ann. Math. (2) 115(1982), 201–242

  54. [54]

    Math.29(2016), 55–63

    Humihiko Watanabe,Twisted cohomology of a punctured riemann surface, Kumamoto J. Math.29(2016), 55–63

  55. [55]

    DEPARTAMENTO DEMATEMÁTICAS, UNIVERSIDADNACIONAL DECOLOMBIA, CARRERA30 NO

    David Williams,Probability with martingales, Cambridge University Press, 1991. DEPARTAMENTO DEMATEMÁTICAS, UNIVERSIDADNACIONAL DECOLOMBIA, CARRERA30 NO. 45-03, 111321, BOGOTÁ, COLOMBIA Email address:martigiani@unal.edu.co SCUOLANORMALESUPERIORE, PIAZZA DEICAVALIERI7, PISA, ITALY, 56126 Email address:roberto.castorrini@gmail.com UNIVERSITÉ DELILLE, CNRS, U...