Bound on the number of Ruelle resonances for Gevrey hyperbolic flows
Pith reviewed 2026-05-10 12:07 UTC · model grok-4.3
The pith
Gevrey hyperbolic flows have fewer Ruelle resonances in large disks than prior bounds allowed.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For Gevrey uniformly hyperbolic flows the number of Ruelle resonances inside a disk of radius R is bounded above by a quantity smaller than the best previously known estimate, obtained by replacing the flow with a family of open hyperbolic maps and extracting the resonances as zeros of the associated dynamical determinant.
What carries the argument
Rugh's dynamical determinant constructed from transfer operators on the open hyperbolic maps that encode the return dynamics of the flow.
If this is right
- Sharper bounds on resonance density imply improved estimates for the rate of correlation decay along the flow.
- The method supplies a template that can be reused for other hyperbolic systems once their regularity class is fixed.
- The location of the resonances becomes more constrained, tightening predictions for the analytic continuation of the associated dynamical zeta function.
Where Pith is reading between the lines
- The same reduction to open maps might produce comparable improvements for Gevrey Anosov diffeomorphisms.
- Numerical checks on low-dimensional examples, such as a Gevrey perturbation of the geodesic flow on a surface of negative curvature, could test how close the new bound comes to being sharp.
- If the bound extends to C^infty or analytic regularity, it would connect to existing results on the distribution of resonances for smoother hyperbolic systems.
Load-bearing premise
The flow must be simultaneously Gevrey smooth and uniformly hyperbolic so that the open hyperbolic maps are well-defined and the dynamical determinant yields a valid count.
What would settle it
Take any explicit Gevrey uniformly hyperbolic flow, compute its Ruelle resonances numerically out to a large radius R, and verify whether their count exceeds the new upper bound stated in the paper.
read the original abstract
We improve the best known upper bounds on the number of Ruelle resonances in disks of large radius for Gevrey uniformly hyperbolic flows. The proof is based on Rugh's approach of dynamical determinants that replaces the study of the flow itself by the analysis of a system of open hyperbolic maps.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to improve the best known upper bounds on the number of Ruelle resonances in disks of large radius for Gevrey uniformly hyperbolic flows. The proof reduces the flow to a system of open hyperbolic maps and applies Rugh's dynamical determinant construction, using Gevrey regularity to obtain improved exponential decay in the determinant coefficients.
Significance. If the estimates hold, the result strengthens quantitative control on the distribution of Ruelle resonances for hyperbolic flows of intermediate (Gevrey) regularity, a regime between C^∞ and analytic. This has direct implications for correlation decay and spectral gaps in dynamical systems. The paper correctly credits the reduction to open maps and the application of Rugh's method as the technical core; no free parameters or ad-hoc axioms appear in the argument.
minor comments (3)
- The abstract and introduction would benefit from an explicit statement of the previous best bound (e.g., the constant or exponent improved upon) so that the quantitative gain is immediately visible to readers.
- Notation for the Gevrey class and the precise radius of the disks in the resonance count should be fixed consistently between the statement of the main theorem and the estimates derived from the dynamical determinant.
- A short paragraph recalling the precise form of Rugh's determinant (including the role of the open hyperbolic maps) would make the reduction step more self-contained for readers outside the immediate subfield.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript and for recommending minor revision. No major comments appear in the report.
Circularity Check
No significant circularity detected
full rationale
The derivation applies Rugh's external dynamical determinant construction to open hyperbolic maps obtained from the given Gevrey hyperbolic flows. The improved resonance count bound follows from exponential decay estimates on the determinant coefficients that are supplied directly by the Gevrey regularity hypothesis; these estimates are not obtained by fitting parameters to the target count or by any self-referential definition. No load-bearing step reduces the final bound to a prior result by the same authors, nor does any equation equate the claimed prediction to its own inputs by construction. The argument therefore remains self-contained against the stated assumptions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The dynamical system is a Gevrey uniformly hyperbolic flow.
Reference graph
Works this paper leans on
-
[1]
D. V. Anosov and Ya. G. Sina . Some smooth ergodic systems. With an appendix by G . A . Margulis . Usp. Mat. Nauk , 22(5(137)):107--172, 1967
work page 1967
-
[2]
Dynamical zeta functions and dynamical determinants for hyperbolic maps
Viviane Baladi. Dynamical zeta functions and dynamical determinants for hyperbolic maps. A functional approach , volume 68 of Ergeb. Math. Grenzgeb., 3. Folge . Cham: Springer, 2018
work page 2018
-
[3]
FBI transform in Gevrey classes and Anosov flows , volume 456 of Ast \'e risque
Yannick Guedes Bonthonneau and Malo J \'e z \'e quel. FBI transform in Gevrey classes and Anosov flows , volume 456 of Ast \'e risque . Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2025
work page 2025
-
[4]
Smooth Anosov flows: Correlation spectra and stability
Oliver Butterley and Carlangelo Liverani. Smooth Anosov flows: Correlation spectra and stability. J. Mod. Dyn. , 1(2):301--322, 2007
work page 2007
-
[5]
Robustly invariant sets in fiber contracting bundle flows
Oliver Butterley and Carlangelo Liverani. Robustly invariant sets in fiber contracting bundle flows. J. Mod. Dyn. , 7(2):255--267, 2013
work page 2013
-
[6]
Periodic orbits for hyperbolic flows
Rufus Bowen. Periodic orbits for hyperbolic flows. Am. J. Math. , 94:1--30, 1972
work page 1972
-
[7]
Symbolic dynamics for hyperbolic flows
Rufus Bowen. Symbolic dynamics for hyperbolic flows. Amer. J. Math. , 95:429--460, 1973
work page 1973
-
[8]
Dynamical determinants and spectrum for hyperbolic diffeomorphisms
Viviane Baladi and Masato Tsujii. Dynamical determinants and spectrum for hyperbolic diffeomorphisms. In Geometric and probabilistic structures in dynamics. Workshop on dynamical systems and related topics in honor of Michael Brin on the occasion of his 60th birthday, College Park, MD, USA, March 15--18, 2008 , pages 29--68. Providence, RI: American Mathe...
work page 2008
-
[9]
Rufus Bowen and Peter Walters. Expansive one-parameter flows. J. Differ. Equations , 12:180--193, 1972
work page 1972
-
[10]
N. I. Chernov. Markov approximations and decay of correlations for A nosov flows. Ann. of Math. (2) , 147(2):269--324, 1998
work page 1998
-
[11]
Pollicott- R uelle resonances for open systems
Semyon Dyatlov and Colin Guillarmou. Pollicott- R uelle resonances for open systems. Ann. Henri Poincar\'e , 17(11):3089--3146, 2016
work page 2016
-
[12]
Afterword: dynamical zeta functions for A xiom A flows
Semyon Dyatlov and Colin Guillarmou. Afterword: dynamical zeta functions for A xiom A flows. Bull. Amer. Math. Soc. (N.S.) , 55(3):337--342, 2018
work page 2018
-
[13]
Dynamical zeta functions for Anosov flows via microlocal analysis
Semyon Dyatlov and Maciej Zworski. Dynamical zeta functions for Anosov flows via microlocal analysis. Ann. Sci. \'E c. Norm. Sup \'e r. (4) , 49(3):543--577, 2016
work page 2016
-
[14]
Todd Fisher and Boris Hasselblatt. Hyperbolic flows . Zur. Lect. Adv. Math. Berlin: European Mathematical Society (EMS), 2019
work page 2019
-
[15]
The zeta functions of Ruelle and Selberg
David Fried. The zeta functions of Ruelle and Selberg . I . Ann. Sci. \'E c. Norm. Sup \'e r. (4) , 19(4):491--517, 1986
work page 1986
-
[16]
Meromorphic zeta functions for analytic flows
David Fried. Meromorphic zeta functions for analytic flows. Commun. Math. Phys. , 174(1):161--190, 1995
work page 1995
-
[17]
Upper bound on the density of Ruelle resonances for Anosov flows
Fr \'e d \'e ric Faure and Johannes Sj \"o strand. Upper bound on the density of Ruelle resonances for Anosov flows. Commun. Math. Phys. , 308(2):325--364, 2011
work page 2011
-
[18]
Micro-local analysis of contact Anosov flows and band structure of the Ruelle spectrum
Fr \'e d \'e ric Faure and Masato Tsujii. Micro-local analysis of contact Anosov flows and band structure of the Ruelle spectrum. Commun. Am. Math. Soc. , 4:641--745, 2024
work page 2024
-
[19]
Anosov flows and dynamical zeta functions
Paolo Giulietti, Carlangelo Liverani, and Mark Pollicott. Anosov flows and dynamical zeta functions. Ann. Math. (2) , 178(2):687--773, 2013
work page 2013
-
[20]
Produits tensoriels topologiques et espaces nucl \'e aires
Alexandre Grothendieck. Produits tensoriels topologiques et espaces nucl \'e aires. , volume 16 of Mem. Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), 1955
work page 1955
-
[21]
Morris W. Hirsch. Differential topology , volume 33 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994. Corrected reprint of the 1976 original
work page 1994
-
[22]
Local and global trace formulae for smooth hyperbolic diffeomorphisms
Malo J \'e z \'e quel. Local and global trace formulae for smooth hyperbolic diffeomorphisms. J. Spectr. Theory , 10(1):185--249, 2020
work page 2020
-
[23]
Global trace formula for ultra-differentiable Anosov flows
Malo J \'e z \'e quel. Global trace formula for ultra-differentiable Anosov flows. Commun. Math. Phys. , 385(3):1771--1834, 2021
work page 2021
-
[24]
Transfer operators for ultradifferentiable expanding maps of the circle
Malo J \'e z \'e quel. Transfer operators for ultradifferentiable expanding maps of the circle. Ergodic Theory Dyn. Syst. , 41(7):2049--2068, 2021
work page 2049
-
[25]
Distribution of Ruelle resonances for real-analytic Anosov diffeomorphisms
Malo J \'e z \'e quel. Distribution of Ruelle resonances for real-analytic Anosov diffeomorphisms. Ann. Henri Lebesgue , 7:673--726, 2024
work page 2024
-
[26]
Counting Pollicott - Ruelle resonances for axiom a flows
Long Jin and Zhongkai Tao. Counting Pollicott - Ruelle resonances for axiom a flows. Commun. Math. Phys. , 406(2):43, 2025. Id/No 26
work page 2025
-
[27]
Zeta functions and the Fried conjecture for smooth pseudo- Anosov flows
Malo J \'e z \'e quel and Jonathan Zung. Zeta functions and the Fried conjecture for smooth pseudo- Anosov flows. Preprint, arXiv :2409.17014 [math. DS ] (2024), 2024
-
[28]
Anatole Katok and Boris Hasselblatt. Introduction to the modern theory of dynamical systems , volume 54 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 1995. With a supplementary chapter by Katok and Leonardo Mendoza
work page 1995
-
[29]
Andreas Kriegl, Peter W. Michor, and Armin Rainer. The convenient setting for non-quasianalytic D enjoy- C arleman differentiable mappings. J. Funct. Anal. , 256(11):3510--3544, 2009
work page 2009
-
[30]
Microlocal analysis in hyperbolic dynamics and geometry
Thibault Lefeuvre. Microlocal analysis in hyperbolic dynamics and geometry. With a contributed chapter by Yann Chaubet , volume 32 of Cours Sp \'e c. (Paris) . Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2025
work page 2025
-
[31]
Carlangelo Liverani. On contact Anosov flows. Ann. Math. (2) , 159(3):1275--1312, 2004
work page 2004
-
[32]
Axiom A diffeomorphisms have rational zeta functions
Anthony Manning. Axiom A diffeomorphisms have rational zeta functions. Bull. London Math. Soc. , 3:215--220, 1971
work page 1971
-
[33]
J. N. Mather. Characterization of Anosov diffeomorphisms. Nederl. Akad. Wet., Proc., Ser. A , 71:479--483, 1968
work page 1968
-
[34]
A Morse complex for axiom A flows
Antoine Meddane. A Morse complex for axiom A flows. J. \'E c. Polytech., Math. , 12:641--712, 2025
work page 2025
-
[35]
T. Regge. Analytic properties of the scattering matrix. Nuovo Cimento, X. Ser. , 8:671--679, 1958
work page 1958
-
[36]
Hans H. Rugh. The correlation spectrum for hyperbolic analytic maps. Nonlinearity , 5(6):1237--1263, 1992
work page 1992
-
[37]
Generalized Fredholm determinants and Selberg zeta functions for Axiom A dynamical systems
Hans Henrik Rugh. Generalized Fredholm determinants and Selberg zeta functions for Axiom A dynamical systems. Ergodic Theory Dyn. Syst. , 16(4):805--819, 1996
work page 1996
-
[38]
Ya. G. Sina \" . Geodesic flows on compact surfaces of negative curvature. Sov. Math., Dokl. , 2:106--109, 1961
work page 1961
-
[39]
S. Smale. Differentiable dynamical systems. With an appendix to the first part of the paper: `` Anosov diffeomorphisms'' by John Mather . Bull. Am. Math. Soc. , 73:747--817, 1967
work page 1967
-
[40]
Semiclassical analysis , volume 138 of Grad
Maciej Zworski. Semiclassical analysis , volume 138 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2012
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.