pith. machine review for the scientific record. sign in

arxiv: 2605.01550 · v1 · submitted 2026-05-02 · 🧮 math.DS

Recognition: unknown

Joint typical periodic optimization: systems with stable hyperbolicity

Oliver Jenkinson, Yinying Huang, Zelai Hao, Zhiqiang Li

Pith reviewed 2026-05-09 17:38 UTC · model grok-4.3

classification 🧮 math.DS
keywords joint typical periodic optimizationstable hyperbolicityAxiom A diffeomorphismshyperbolic rational mapsreal quadratic polynomialsC^r mapsno-cycle propertyperiodic orbits
0
0 comments X

The pith

Optimizing periodic orbits persist under simultaneous perturbations of both the system and the potential for several classes of hyperbolic maps.

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

The paper extends an earlier framework for joint typical periodic optimization, in which the dynamical system and the potential function vary together, to a wider range of systems. It develops an axiomatic joint perturbation approach that covers systems with stable hyperbolicity. For Axiom A diffeomorphisms with the no-cycle property, hyperbolic rational maps, real quadratic polynomials, and one-dimensional C^r maps, the authors prove that optimizing periodic orbits remain typical after small joint changes. This produces joint locking sets that form open dense subsets of the product space of systems and potentials. A sympathetic reader would care because the result shows that optimal periodic behavior is robust when both the underlying dynamics and the objective function can be adjusted slightly.

Core claim

The paper establishes an axiomatic joint perturbation framework for stably hyperbolic systems and proves that, for Axiom A diffeomorphisms with the no-cycle property, hyperbolic rational maps on the Riemann sphere, real quadratic polynomials, and C^r maps in one dimension, optimizing periodic orbits persist under simultaneous perturbation of the map and the potential, so that the joint locking sets contain open dense subsets of the relevant product spaces.

What carries the argument

The axiomatic joint perturbation framework: a set of conditions on the system and potential that guarantee persistence of optimizing periodic orbits when both are varied simultaneously, producing dense joint locking sets.

If this is right

  • Joint locking sets are open and dense in the product space of maps and potentials for each listed class of systems.
  • Optimizing periodic orbits remain typical for all nearby systems and potentials obtained by simultaneous small perturbations.
  • The same persistence holds for hyperbolic rational maps and for real quadratic polynomials as special cases.
  • One-dimensional C^r maps inherit the same joint optimization robustness under the axiomatic conditions.

Where Pith is reading between the lines

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

  • The axiomatic conditions might extend to other hyperbolic systems not covered in the listed families, such as certain higher-dimensional maps with partial hyperbolicity.
  • Numerical checks on specific quadratic polynomials could confirm the density of locking sets by sampling many nearby maps and potentials.
  • The robustness result suggests that in applications like control or optimization, small adjustments to both the model and the reward function can preserve the optimal periodic regime.

Load-bearing premise

The systems must obey stable hyperbolicity or the specific axiomatic conditions that keep optimizing periodic orbits typical after small simultaneous changes to the dynamics and potential.

What would settle it

For a concrete Axiom A diffeomorphism with the no-cycle property and a smooth potential, exhibit a small joint perturbation of the map and potential such that the previously optimizing periodic orbit ceases to be periodic or loses its maximizing property.

read the original abstract

The framework of joint typical periodic optimization, in which both the dynamical system and the potential function are allowed to vary simultaneously, was introduced in [HHJL25], in a direction motivated by the work of Yang, Hunt & Ott [YHO00]. For certain classes of hyperbolic systems, it was shown there that optimizing periodic orbits persist under simultaneous perturbation, yielding joint locking sets that contain open dense subsets of the relevant product spaces. In the present article we broaden the scope of this theory, by developing an axiomatic joint perturbation framework that accommodates a wider class of stably hyperbolic systems, and by establishing new joint typical periodic optimization results for several natural and important families: Axiom A diffeomorphisms with the no-cycle property, hyperbolic rational maps on the Riemann sphere, real quadratic polynomials, and $C^r$ maps in one dimension.

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

0 major / 2 minor

Summary. The paper develops an axiomatic framework for joint typical periodic optimization in systems with stable hyperbolicity, extending the results of [HHJL25]. It isolates joint perturbation axioms that ensure persistence of optimizing periodic orbits under simultaneous variation of the dynamical system and potential, then verifies these axioms case-by-case for Axiom A diffeomorphisms with the no-cycle property, hyperbolic rational maps on the Riemann sphere, real quadratic polynomials, and C^r maps on the interval. The main conclusion is that the resulting joint locking sets contain open dense subsets of the relevant product parameter spaces.

Significance. If the axiomatic verifications hold, the work supplies a general, reusable framework that unifies persistence results across several important classes of hyperbolic and one-dimensional systems. It converts known structural stability and hyperbolicity properties into joint optimization statements without introducing new free parameters or circular definitions, thereby strengthening the link between hyperbolic dynamics and ergodic optimization.

minor comments (2)
  1. [Introduction and §2] The abstract and introduction refer to 'stable hyperbolicity' and 'axiomatic joint perturbation conditions' without an early, self-contained statement of the precise axioms; placing the axiom list in §2 before the case studies would improve readability.
  2. [Section on real quadratic polynomials] In the verification for real quadratic polynomials, the dependence of the locking set on the parameter interval should be stated explicitly (e.g., whether the open-dense property holds uniformly or only for a dense set of intervals).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the axiomatic framework, and recommendation to accept the manuscript. The absence of major comments indicates that the joint perturbation axioms and their verifications for the listed classes of systems are satisfactory.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper develops a new axiomatic joint perturbation framework for stably hyperbolic systems and verifies the axioms case-by-case for Axiom A diffeomorphisms (no-cycle), hyperbolic rational maps, real quadratics, and C^r interval maps by direct appeal to established structural stability, hyperbolicity, and perturbation results from the broader dynamical systems literature. The reference to the framework's introduction in [HHJL25] supplies background but does not serve as the sole justification for the new persistence or locking-set claims; those follow from the axioms plus external properties of each family. No step reduces a prediction or central result to a fitted parameter, self-definition, or unverified self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on assumptions of stable hyperbolicity and an axiomatic joint perturbation setup; no free parameters or invented entities are evident from the abstract.

axioms (2)
  • domain assumption Systems possess stable hyperbolicity allowing persistence of optimizing periodic orbits under joint perturbations.
    Invoked to broaden the theory to the listed families of systems.
  • domain assumption The no-cycle property holds for Axiom A diffeomorphisms.
    Required for the persistence result in that class.

pith-pipeline@v0.9.0 · 5440 in / 1273 out tokens · 25076 ms · 2026-05-09T17:38:40.299273+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

45 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Iteration of Rational Functions, Springer, New York, 1991

    Beardon, A.F. Iteration of Rational Functions, Springer, New York, 1991

    1991

  2. [2]

    , Ergodic optimization of Birkhoff averages and Lyapunov exponents

    Bochi, J. , Ergodic optimization of Birkhoff averages and Lyapunov exponents. In Proc.\ Internat.\ Congr.\ Math.\ (Rio de Janeiro 2018), Volume III, World Sci.\ Publ., Singapore, 2018, pp. 1825--1846

    2018

  3. [3]

    , La condition de Walters

    Bousch, T. , La condition de Walters. Ann.\ Sci.\ \'Ec.\ Norm.\ Sup\'er.\ (4) 34 (2001), 287--311

    2001

  4. [4]

    , Nouvelle preuve d'un th\'eor\`eme de Yuan et Hunt

    Bousch, T. , Nouvelle preuve d'un th\'eor\`eme de Yuan et Hunt. Bull.\ Soc.\ Math.\ France 126 (2008), 227--242

    2008

  5. [5]

    , Le lemme de Ma\ n\'e-Conze-Guivarc’h pour les syst\`emes amphidynamiques rectifiables

    Bousch, T. , Le lemme de Ma\ n\'e-Conze-Guivarc’h pour les syst\`emes amphidynamiques rectifiables. Ann.\ Fac.\ Sci.\ Toulouse Math.\ (6) 20 (2011), 1--14

    2011

  6. [6]

    and Quas, A

    Bressaud, X. and Quas, A. , Rate of approximation of minimizing measures. Nonlinearity 20 (2007), 845--853

    2007

  7. [7]

    , Ground states are generically a periodic orbit

    Contreras, G. , Ground states are generically a periodic orbit. Invent.\ Math. 205 (2016), 383--412

    2016

  8. [8]

    , Lopes, A.O

    Contreras, G. , Lopes, A.O. , and Thieullen, Ph. , Lyapunov minimizing measures for expanding maps of the circle. Ergodic Theory Dynam.\ System 21 (2001), 1379--1409

    2001

  9. [9]

    and \'Swiatek, G , Generic hyperbolicity in the logistic family

    Graczyk, J. and \'Swiatek, G , Generic hyperbolicity in the logistic family. Ann.\ Math.\ (2) 146 (1997), 1--52

    1997

  10. [10]

    Joint typical periodic optimization

    Hao , Zelai, Huang , Yinying, Jenkinson O. , and Li , Zhiqiang, Joint typical periodic optimization. Preprint, (arXiv:2502.12269), 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  11. [11]

    Hirsch, M. W. , Differentiable Topology, volume 33 of Grad.\ Stud.\ Math., Springer, New York, 1976

    1976

  12. [12]

    J.\ Eur.\ Math.\ Soc

    Huang , Wen, Lian , Zeng, Ma , Xiao, Xu , Leiye, and Zhang , Yiwei, Ergodic optimization theory for a class of typical maps. J.\ Eur.\ Math.\ Soc. doi:10.4171/JEMS/1652

    work page doi:10.4171/jems/1652

  13. [13]

    , Ergodic optimization

    Jenkinson, O. , Ergodic optimization. Discrete Contin.\ Dyn.\ Syst. 15 (2006), 197--224

    2006

  14. [14]

    , Ergodic optimization in dynamical systems

    Jenkinson, O. , Ergodic optimization in dynamical systems. Ergodic Theory Dynam.\ System 39 (2019), 2593--2618

    2019

  15. [15]

    , and Hasselblatt, B

    Katok, A. , and Hasselblatt, B. , Introduction to the Modern Theory of Dynamical Systems, volume 54 of Encyclopedia Math.\ Appl., Cambridge Univ.\ Press, Cambridge, 1995

    1995

  16. [16]

    , Classical Descriptive Set Theory, Springer, New York, 1995

    Kechris, A.S. , Classical Descriptive Set Theory, Springer, New York, 1995

    1995

  17. [17]

    , Shen , Weixiao, and van Strien, S

    Kozlovski, O. , Shen , Weixiao, and van Strien, S. , Density of hyperbolicity in dimension one. Ann.\ Math.\ (2) 166 (2007), 145--182

    2007

  18. [18]

    Introduction to Riemannian manifolds, 2nd ed., Springer, Cham, 2018

    Lee, J.M. Introduction to Riemannian manifolds, 2nd ed., Springer, Cham, 2018

    2018

  19. [19]

    Adv.\ Math

    Li , Zhiqiang and Sun , Yiqing, Tropical thermodynamic formalism. Adv.\ Math. 491 (2026), 110864

    2026

  20. [20]

    Math.\ Ann

    Li , Zhiqiang and Zhang , Yiwei, Ground states and periodic orbits for expanding Thurston maps. Math.\ Ann. 391 (2025), 3913--3985

    2025

  21. [21]

    , Some typical properties of the dynamics of rational maps

    Lyubich, M.Yu. , Some typical properties of the dynamics of rational maps. Russian Math.\ Surveys 38 (1983), 154--155

    1983

  22. [22]

    , The dynamics of rational transforms: the topological picture

    Lyubich, M.Yu. , The dynamics of rational transforms: the topological picture. Russian Math.\ Surveys 41 (1986), 43--117

    1986

  23. [23]

    , Dynamics of quadratic polynomials, I-II

    Lyubich, M.Yu. , Dynamics of quadratic polynomials, I-II. Acta Math. 178 (1997), 185--297

    1997

  24. [24]

    , Six Lectures on Real and Complex Dynamics

    Lyubich, M.Yu. , Six Lectures on Real and Complex Dynamics. Available at https://www.math.stonybrook.edu/ mlyubich/Archive/Selected/lectures.pdf

  25. [25]

    , Sad, P

    Ma\ n\'e, R. , Sad, P. , and Sullivan, D.P. , On the dynamics of rational maps. Ann.\ Sci.\ \'Ec.\ Norm.\ Sup\'er.\ (4) 16 (1983), 193--217

    1983

  26. [26]

    , Frontiers in complex dynamics

    McMullen, C. , Frontiers in complex dynamics. Bull.\ Amer.\ Math.\ Soc.\ (N.S.) 31 (1994), 155--172

    1994

  27. [27]

    and Sullivan, D.P

    McMullen, C. and Sullivan, D.P. , Quasiconformal homeomorphisms and dynamics III. The Teichm\"uller space of a holomorphic dynamical system Adv.\ Math. 135 (1998), 351--395

    1998

  28. [28]

    , and van Strien, S

    de Melo, M. , and van Strien, S. , One-dimensional Dynamics, volume 25 of Ergeb.\ Math.\ Grenzgeb.\ (3), Springer, New York, 1993

    1993

  29. [29]

    , Geometry and dynamics of quadratic rational maps

    Milnor, J. , Geometry and dynamics of quadratic rational maps. Exp.\ Math. 2 (1993), 37--83

    1993

  30. [30]

    , Dynamics in One Complex Variable, 3rd ed., Princeton Univ.\ Press, 2006

    Milnor, J. , Dynamics in One Complex Variable, 3rd ed., Princeton Univ.\ Press, 2006

    2006

  31. [31]

    , Maximizing measures of generic H\"older functions have zero entropy

    Morris, I.D. , Maximizing measures of generic H\"older functions have zero entropy. Nonlinearity 21 (2008), 993--1000

    2008

  32. [32]

    , A note on -stability, in Global analysis, edited by Smale, S

    Palis, J. , A note on -stability, in Global analysis, edited by Smale, S. and Chern, S.S. , pp. 220--222, volume XIV of Proc.\ Sympos.\ Pure Math., Amer.\ Math.\ Soc., Providence, RI., 1970

    1970

  33. [33]

    , On the C^1 -stability conjecture

    Palis, J. , On the C^1 -stability conjecture. Publ.\ Math.\ Inst.\ Hautes \'Etudes Sci. 66 (1987), 211--215

    1987

  34. [34]

    and Urba\'nski, M

    Przytycki, F. and Urba\'nski, M. , Conformal Fractals: Ergodic Theory Methods, Cambridge Univ.\ Press, Cambridge, 2010

    2010

  35. [35]

    and Siefken, J

    Quas, A. and Siefken, J. , Ergodic optimization of supercontinuous functions on shift spaces. Ergodic Theory Dynam.\ Systems 32 (2012), 2071--2082

    2012

  36. [36]

    , The topology of spaces of rational functions

    Segal, G. , The topology of spaces of rational functions. Acta Math. 143 (1979), 39--72

    1979

  37. [37]

    , Differentiable dynamical systems

    Smale, S. , Differentiable dynamical systems. Bull. Amer. Math. Soc. 73 (1967), 747--817

    1967

  38. [38]

    , The -stability theorem

    Smale, S. , The -stability theorem. Global Analysis (Proc.\ Sympos.\ Pure Math., Vols. XIV, XV, XVI, Berkeley, CA, 1968), pp. 289–297, Amer.\ Math.\ Soc., Providence, RI, 1970

    1968

  39. [39]

    , and Yu , Wenzhe, Lipschitz sub-actions for locally maximal hyperbolic sets of a C^1 map

    Su , Xifeng, Thieullen, P. , and Yu , Wenzhe, Lipschitz sub-actions for locally maximal hyperbolic sets of a C^1 map. Discrete Contin.\ Dyn.\ Syst. 44 (2024), 656--677

    2024

  40. [40]

    , Roy, M

    Urba\' n ski, M. , Roy, M. , and Munday, S. , Non-invertible Dynamical Systems. Volume 1.\ Ergodic Theory -- Finite and Infinite, Thermodynamic Formalism, Symbolic Dynamics and Distance Expanding Maps, volume 69.1 of De Gruyter Exp.\ Math., De Gruyter, Berlin, 2022

    2022

  41. [41]

    , An Introduction to Ergodic Theory, Springer, New York, 1982

    Walters, P. , An Introduction to Ergodic Theory, Springer, New York, 1982

    1982

  42. [42]

    , Lipschitz Algebras, 2nd ed., World Sci.\ Publ., Hackensack, NJ, 2018

    Weaver, N. , Lipschitz Algebras, 2nd ed., World Sci.\ Publ., Hackensack, NJ, 2018

    2018

  43. [43]

    Wen , Lan, Differentiable Dynamical Systems: An Introduction to Structural Stability and Hyperbolicity, volume 173 of Grad.\ Stud.\ Math., Amer.\ Math.\ Soc., Providence, RI, 2016

    2016

  44. [44]

    , and Ott, E

    Yang , Tsung-Hsun, Hunt, B.R. , and Ott, E. , Optimal periodic orbits of continuous time chaotic systems. Phys.\ Rev.\ E 62 (2000), 1950--1959

    2000

  45. [45]

    , Optimal orbits of hyperbolic systems

    Yuan , Guocheng and Hunt, B.R. , Optimal orbits of hyperbolic systems. Nonlinearity 12 (1999), 1207--1224

    1999