Joint typical periodic optimization
Pith reviewed 2026-05-23 02:54 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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
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
-
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
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
axioms (2)
- standard math α-Hölder functions form a Banach space under the usual norm
- standard math The listed map classes admit invariant probability measures
Forward citations
Cited by 2 Pith papers
-
Joint typical periodic optimization: systems with stable hyperbolicity
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...
-
Joint typical periodic optimization: systems with stable hyperbolicity
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
-
[1]
[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,
work page 2009
-
[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.,...
work page 2009
-
[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...
work page 1986
-
[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]
[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]
[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...
work page 2015
-
[7]
[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...
work page 1988
-
[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...
work page 2024
-
[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]
[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...
work page 2023
-
[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...
work page 1994
-
[12]
[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]
[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...
work page 2006
-
[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]
[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...
work page 2025
-
[16]
[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., ...
work page 1983
-
[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...
work page 1941
-
[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...
work page 1967
-
[19]
[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...
work page 2012
-
[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,
work page 1948
-
[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...
work page 1999
-
[22]
[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,
work page 2000
-
[23]
[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...
work page 1976
-
[24]
[Smo73]Smorodinsky, M.,β-automorphisms are Bernoulli shifts.Acta Math. Acad. Sci. Hung.24(1973), 273–
work page 1973
-
[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,
work page 2019
-
[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–
work page 2000
-
[27]
[YH99]Yuan, Guocheng andHunt, B.R., Optimal orbits of hyperbolic systems.Nonlinearity12(1999), 1207–
work page 1999
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.