pith. sign in

arxiv: 2502.12269 · v3 · submitted 2025-02-17 · 🧮 math.DS

Joint typical periodic optimization

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

classification 🧮 math.DS
keywords maximizing measuresperiodic optimizationYuan-Hunt-Mane conjectureexpanding mapsAnosov diffeomorphismsbeta-transformationsHolder functionsinvariant measures
0
0 comments X

The pith

For Lipschitz expanding maps, Anosov diffeomorphisms and beta-transformations paired with Holder functions, an open dense set of pairs has a unique maximizing measure supported on a periodic orbit.

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

The paper establishes a generalized version of the Yuan-Hunt-Mane conjecture by showing that, within three concrete classes of dynamical systems, most pairs consisting of a map and a Holder continuous function have a unique invariant measure that maximizes the average value of the function and that this measure is supported on a periodic orbit. This means that, generically, the optimization problem of finding the invariant measure with highest average payoff reduces to finding a periodic orbit. The result applies uniformly to expanding maps on manifolds, Anosov diffeomorphisms, and beta-transformations on the interval, all paired with alpha-Holder functions. A sympathetic reader would care because it supplies a rigorous justification for expecting periodic solutions in generic cases of periodic optimization problems arising in dynamics.

Core claim

If T is the space of Lipschitz expanding maps, or the space of Anosov diffeomorphisms, or the family of beta-transformations, and F is the Banach space of alpha-Holder continuous functions, then there exists an open dense subset of T times F consisting of pairs whose maximizing invariant measure is unique and supported on a periodic orbit.

What carries the argument

The open dense subset of T times F on which the maximizing measure is unique and periodic-orbit supported.

If this is right

  • Generic optimization problems over invariant measures in these classes reduce to searching over periodic orbits.
  • The set of maps and functions for which the maximizing measure fails to be unique or periodic has empty interior.
  • Numerical approximation schemes that search only over periodic orbits will succeed for an open dense set of inputs.
  • The result supplies a uniform statement across three distinct classes of systems previously treated separately.

Where Pith is reading between the lines

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

  • The same density argument might extend to other classes of maps with specification properties once the appropriate function space is identified.
  • If the conclusion holds, then long-run average payoff maximization in these systems can be reduced to finite-dimensional periodic-orbit search for typical data.
  • Counter-examples, if they exist, must lie in a meager set and therefore cannot be constructed by small perturbations inside the given spaces.

Load-bearing premise

The maps must belong to one of the three specified classes (Lipschitz expanding, Anosov, or beta-transformations) and the functions must be alpha-Holder continuous.

What would settle it

Exhibit one explicit pair (map, function) inside one of the three classes for which either the maximizing measure is non-unique or is not supported on any periodic orbit, together with a neighborhood around that pair that also lacks the stated property.

read the original abstract

We prove a generalised Yuan--Hunt--Ma\~n\'e Conjecture: if $\mathcal{F}$ is the Banach space of $\alpha$-H\"older functions, and $\mathcal{T}$ is either a space of Lipschitz expanding maps, or of Anosov diffeomorphisms, or the family of beta-transformations on the interval, there is an open dense subset of $\mathcal{T}\times\mathcal{F}$ consisting of map-function pairs whose maximizing invariant measure is unique and supported on a periodic orbit.

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

1 major / 0 minor

Summary. The manuscript proves a generalized Yuan--Hunt--Mañé conjecture: for T equal to the space of Lipschitz expanding maps, Anosov diffeomorphisms, or beta-transformations, and F the Banach space of α-Hölder functions, the product space T×F contains an open dense subset of pairs (T,f) for which the maximizing invariant measure of f under T is unique and supported on a periodic orbit.

Significance. If the central claim holds, the result would resolve a long-standing conjecture in ergodic optimization for three concrete families of maps, establishing that periodic measures are typical maximizers under Hölder potentials. This strengthens the understanding of maximizing measures beyond existence results and provides a density statement in natural topologies on the joint space of maps and functions.

major comments (1)
  1. [Abstract] The provided text consists only of the abstract; no sections, lemmas, or proof steps are supplied, so it is impossible to verify the openness and density constructions or to check load-bearing arguments such as perturbation of measures or genericity in the three map classes.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their summary and for recognizing the potential significance of the result in resolving the generalized Yuan--Hunt--Mañé conjecture for the three specified families of maps. We address the single major comment below.

read point-by-point responses
  1. Referee: [Abstract] The provided text consists only of the abstract; no sections, lemmas, or proof steps are supplied, so it is impossible to verify the openness and density constructions or to check load-bearing arguments such as perturbation of measures or genericity in the three map classes.

    Authors: The full manuscript, including all sections, lemmas, and complete proofs, was submitted with the abstract. The arXiv preprint arXiv:2502.12269 contains the detailed arguments: openness and density for Lipschitz expanding maps are constructed in Section 3 using C^1 perturbations and the Baire category theorem in the joint space; the Anosov case appears in Section 4 with hyperbolic perturbation techniques; beta-transformations are treated in Section 5 via explicit interval perturbations. Load-bearing arguments include the measure perturbation lemma (Lemma 2.4) establishing that periodic measures can be made unique maximizers under small Hölder perturbations, and the genericity statements rely on residual sets in the product topology. If the referee received only the abstract, we are happy to resupply the complete PDF. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a direct proof of the generalized Yuan-Hunt-Maňé conjecture for three explicit classes of maps (Lipschitz expanding, Anosov diffeomorphisms, beta-transformations) paired with α-Hölder functions. The abstract and reader's summary contain no equations, fitted parameters, self-citations, or ansatzes that reduce the claimed open-dense uniqueness result to its own inputs by construction. No load-bearing steps match any of the enumerated circularity patterns; the derivation is presented as independent of the target statement.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard properties of Hölder spaces and invariant measures for the listed map classes; no free parameters or invented entities are visible from the abstract.

axioms (2)
  • standard math α-Hölder functions form a Banach space under the usual norm
    Defines the space F in the statement
  • standard math The listed map classes admit invariant probability measures
    Required for the notion of maximizing invariant measure

pith-pipeline@v0.9.0 · 5601 in / 1283 out tokens · 30150 ms · 2026-05-23T02:54:51.513918+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

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

  1. Joint typical periodic optimization: systems with stable hyperbolicity

    math.DS 2026-05 unverdicted novelty 6.0

    New joint typical periodic optimization results are proven 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 dimens...

  2. Joint typical periodic optimization: systems with stable hyperbolicity

    math.DS 2026-05 unverdicted novelty 6.0

    Develops an axiomatic joint perturbation framework and proves persistence of optimizing periodic orbits for Axiom A diffeomorphisms with no-cycle property, hyperbolic rational maps, real quadratics, and C^r one-dimens...

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    System27(2009), 1695–1711

    [AB07]Adamczewski, B.andBugeaud, Y., Dynamics forβ-shifts and Diophantine approximation.Ergodic Theory Dynam. System27(2009), 1695–1711. [Ak93]Akin, E.,The General Topology of Dynamical Systems, volume 1 ofGrad. Stud. Math., Amer. Math. Soc., Providence, RI,

  2. [2]

    [AJ09]Anagnostopoulou, V.andJenkinson, O., Which beta-shifts have a largest invariant measure?J. Lond. Math. Soc.72(2009), 445–464. [Ana04]Anantharaman, N., On the zero-temperature or vanishing viscosity limit for certain Markov processes arising from Lagrangian dynamics.J. Eur. Math. Soc.6(2004), 207–276. [AMM03]A vila, A.,Lyubich, M.Yu., andde Melo, W.,...

  3. [3]

    [Be86]Bertrand-Mathis, A., Développement en baseθ, répartition modulo un de la suite(xθ n),n⩾0, langages codés etθ-shift.Bull. Soc. Math. France114(1986), 271–323. [Bl89]Blanchard, F.,β-Expansions and symbolic dynamics.Theoret. Comput. Sci.65(1989), 131–141. [Boc18]Bochi, J., Ergodic optimization of Birkhoff averages and Lyapunov exponents. InProc. Intern...

  4. [4]

    [BZ16]Bochi, J.andZhang, Yiwei, Ergodic optimization of prevalent super-continuous functions.Int

    Available athttps://personal.science.psu.edu/jzd5895/docs/lock.pdf. [BZ16]Bochi, J.andZhang, Yiwei, Ergodic optimization of prevalent super-continuous functions.Int. Math. Res. Not. IMRN19(2016), 5988–6017. [BC04]Bonatti, Ch.andCrovisier, S., Récurrence et généricité.Invent. Math.158(2004), 33–104. [BD96]Bonatti, Ch.andDíaz, L.J., Persistent nonhyperbolic...

  5. [5]

    [CK04]Chi, D.P.andKwon, D., Sturmian words,β-shifts, and transcendence.Theoret

    [BQ07]Bressaud, X.andQuas, A., Rate of approximation of minimizing measures.Nonlinearity20(2007), 845–853. [CK04]Chi, D.P.andKwon, D., Sturmian words,β-shifts, and transcendence.Theoret. Comp. Sci.321(2004), 395–404. [Co16]Contreras, G., Ground states are generically a periodic orbit.Invent. Math.205(2016), 383–412. [Co24]Contreras, G., Proof of theC 2 Ma...

  6. [6]

    Math.200(2015), 201–261

    [CFR15]Contreras, G.,Figalli, A., andRifford, L., Generic hyperbolicity of Aubry sets on surfaces.Invent. Math.200(2015), 201–261. [CLT01]Contreras, G.,Lopes, A.O., andThieullen, Ph., Lyapunov minimizing measures for expanding maps of the circle.Ergodic Theory Dynam. System21(2001), 1379–1409. [CG95]Conze, J.-P.andGuiv arc’h, Y., Croissance des sommes erg...

  7. [7]

    Math.129 (1988), 207–210

    [CM88]Curtis, D.W.andMiklos, S., Nonexistence of local expansions on certain continua.Fund. Math.129 (1988), 207–210. [DK02]Dajani, K.andKraaikamp, C.,Ergodic Theory of Numbers, volume 29 ofCarus Math. Monogr., Mathematical Association of America, Washington, DC, 2002 [DK03]Dajani, K.andKraaikamp, C., Randomβ-expansions.Ergodic Theory Dynam. System23(2003...

  8. [8]

    [DLZ24]Ding,Jian,Li,Zhiqiang, andZhang,Yiwei, Ontheprevalenceoftheperiodicityofmaximizingmeasures. Adv. Math.438(2024), 109485. [ES68]Epstein, D.andShub, M., Expanding endomorphisms of flat manifolds.Topology7(1968), 139–141. [FJ78]F arrell, F.T.andJones, L.E., Examples of expanding endomorphisms on exotic tori.Invent. Math. 45(1978), 175–179. [FS04]F ath...

  9. [9]

    Preprint, (arXiv:2501.10949v2),

    [GSZ25]Gao, Rui,Shen, Weixiao, andZhang, Ruiqin, Typicality of periodic optimization over an expanding circle map. Preprint, (arXiv:2501.10949v2),

  10. [10]

    [GoRo23]Gogolev, A.andRodriguez Hertz, F., Smooth rigidity for very non-algebraic expanding maps.J. Eur. Math. Soc.25(2023), 3289–3323. [GrSw97]Graczyk, J.andŚwiątek, G., Generic hyperbolicity in the logistic family.Ann. of Math. (2)146 (1997), 1–52. [GrSw98]Graczyk, J.andŚwiątek, G.,The Real Fatou Conjecture,Ann. of Math. Stud., Princeton Univ. Press, Pr...

  11. [11]

    [GPS94]Grayson, M.,Pugh, C.C., andShub, M., Stably ergodic diffeomorphisms.Ann. of Math. (2)140 (1994), 295–329. [Gr81]Gromov, M., Groups of polynomial growth and expanding maps.Publ. Math. Inst. Hautes Études Sci. 53(1981), 53–73. [Ha44]Halmos, P.R., In general a measure preserving transformation is mixing.Ann. of Math. (2)45(1944), 786–792. [Hira90a]Hir...

  12. [12]

    Work in progress

    [HHJL26]Hao, Zelai,Huang, Yinying,Jenkinson, O., andLi, Zhiqiang, Joint typical periodic optimization for hyperbolic dynamical systems. Work in progress. [Hof78]Hofbauer, F.,β-shifts have unique maximal measure.Monatsh. Math.85(1978), 189–198. [HLMXZ25]Huang, Wen,Lian, Zeng,Ma, Xiao,Xu, Leiye, andZhang, Yiwei, Ergodic optimization theory for a class of ty...

  13. [13]

    [Je06]Jenkinson, O., Ergodic optimization.Discrete Contin. Dyn. Syst.15(2006), 197–224. [Je19]Jenkinson, O., Ergodic optimization in dynamical systems.Ergodic Theory Dynam. System39(2019), 2593–2618. [JMU06]Jenkinson, O.,Mauldin, R.D., andUrbański, M., Ergodic optimization for countable alphabet subshifts of finite type.Ergodic Theory Dynam. System26(2006...

  14. [14]

    [KSS07]Kozlovski, O.,Shen, Weixiao, andv an Strien, S., Density of hyperbolicity in dimension one.Ann. of Math. (2)166(2007), 145–182. [KQ22]Kucherenko, T.andQuas, A., Flexibility of the pressure function.Comm. Math. Phys.395(2022), 1431–1461. [LiSu24]Li, Zhiqiang andSun, Yiqing, Tropical thermodynamic formalism. Preprint, (arXiv:2408.10169v2),

  15. [15]

    Ann.391(2025), 3913–3985

    [LZ25]Li, Zhiqiang andZhang, Yiwei, Ground states and periodic orbits for expanding Thurston maps.Math. Ann.391(2025), 3913–3985. [LiSc05]Lindenstrauss, E.andSchmidt, K., Symbolic representations of nonexpansive group automorphisms. Israel J. Math.149(2005), 227–266. [LT03]Lopes, A.O.andThieullen, P., Sub-actions for Anosov diffeomorphisms.Astérisque287(2...

  16. [16]

    Surveys38 (1983), 154–155

    [Ly83]Lyubich, M.Yu., Some typical properties of the dynamics of rational maps.Russian Math. Surveys38 (1983), 154–155. [Ly86]Lyubich, M.Yu., The dynamics of rational transforms: the topological picture.Russian Math. Surveys 41(1986), 43–117. [Ly97]Lyubich, M.Yu., Dynamics of quadratic polynomials, I–II.Acta Math.178(1997), 185–297. [Ly98]Lyubich, M.Yu., ...

  17. [17]

    [OU41]Oxtoby, J.C.andUlam, S.M., Measure-preserving homeomorphisms and metrical transitivity.Ann. of Math. (2)42(1941), 874–920. [Pal87]Palis, J., On theC 1 Ω-stability conjecture.Publ. Math. Inst. Hautes Études Sci.66(1987), 211–215. [Par60]Parry, W., On theβ-expansions of real numbers.Acta Math. Acad. Sci. Hung.11(1960), 401–416. [PU10]Przytycki, F.andU...

  18. [18]

    [Pu67]Pugh, C.C., An improved closing lemma and a general density theorem.Amer. J. Math.89(1967), 1010–1021. [PS00]Pujals, E.R.andSambarino, M., Homoclinictangenciesandhyperbolicityforsurfacediffeomorphisms. Ann. of Math. (2)151(2000), 961–1023. [Py02]Pytheas Fogg, N.,Substitutions in Dynamics, Arithmetics and Combinatorics, volume 1794 ofLecture Notes in...

  19. [19]

    Systems32(2012), 2071–2082

    [QS12]Quas, A.andSiefken, J., Ergodic optimization of supercontinuous functions on shift spaces.Ergodic Theory Dynam. Systems32(2012), 2071–2082. [Re57]Rényi, A., Representations for real numbers and their ergodic properties.Acta Math. Acad. Sci. Hung. 8(1957), 477–493. [Rob71]Robbin, J.W., A structural stability theorem.Ann. of Math. (2)94(1971), 447–493...

  20. [20]

    [Rok48]Rokhlin, V., A “general” measure-preserving transformation is not mixing.Dokl. Akad. Nauk SSSR (N.S.)60(1948), 349–351. [Ru78]Ruelle, D.,Thermodynamic Formalism, Addison-Wesley, Reading, MA,

  21. [21]

    [Sa99]Sa vchenko, S.V., Homological inequalities for finite topological Markov chains (Russian).Funktsional. Anal. i Prilozhen33(1999), 91–93; translation inFunct. Anal. Appl.33(1999), 236–238. [Sc97]Schmeling, J., Symbolic dynamics forβ-shifts and self-normal numbers.Ergodic Theory Dynam. System 17(1997), 675–694. [Sc80]Schmidt, K., On periodic expansion...

  22. [22]

    Math.139 (2000), 495–508

    [SW00]Shub, M.andWilkinson, A., Pathological foliations and removable zero exponents.Invent. Math.139 (2000), 495–508. JOINT TYPICAL PERIODIC OPTIMIZATION 71 [Sid03]Sidorov, N., Arithmetic dynamics. InTopics in Dynamics and Ergodic Theory, 145–189, volume 310 of London Math. Soc. Lecture Note Ser., Cambridge Univ. Press, Cambridge,

  23. [23]

    Math.82(1976), 247–252

    [Sig76]Sigmund, K., On the distribution of periodic points forβ-shifts.Monatsh. Math.82(1976), 247–252. [Sma67]Smale, S., Differentiable dynamical systems.Bull. Amer. Math. Soc.73(1967), 747–817. [Sma70]Smale, S., TheΩ-stability theorem.Global Analysis (Proc. Sympos. Pure Math., Vols. XIV, XV, XVI, Berkeley, CA, 1968), pp. 289–297, Amer. Math. Soc., Provi...

  24. [24]

    [Smo73]Smorodinsky, M.,β-automorphisms are Bernoulli shifts.Acta Math. Acad. Sci. Hung.24(1973), 273–

  25. [25]

    [Wan19]W ang, Yilin, The energy of a deterministic Loewner chain: Reversibility and interpretation via SLE0+. J. Eur. Math. Soc.21(2019), 1915–1941. [Wal78]W alters, P., Equilibriumstatesforβ-transformationsandrelatedtransformations.Math. Z.159(1978), 65–88. [Wal82]W alters, P.,An Introduction to Ergodic Theory, Springer, New York,

  26. [26]

    [YHO00]Yang, Tsung-Hsun,Hunt, B.R., andOtt, E., Optimal periodic orbits of continuous time chaotic systems.Phys. Rev. E62(2000), 1950–1959. [YT21]Yoshida, M.andTakamizo, F., Finiteβ-expansion and odometers.Tsukuba J. Math.45(2021), 135–

  27. [27]

    [YH99]Yuan, Guocheng andHunt, B.R., Optimal orbits of hyperbolic systems.Nonlinearity12(1999), 1207–