pith. sign in

arxiv: 1907.08755 · v1 · pith:R43A6AAGnew · submitted 2019-07-20 · 🧮 math.DS

Physical-like Measures Coincide with Invariant Measures Supported on Chain Recurrent Classes

Pith reviewed 2026-05-24 19:03 UTC · model grok-4.3

classification 🧮 math.DS
keywords physical-like measureschain recurrent classesC0 generic mapsinvariant measuresdynamical systemstopological entropyLebesgue measurehomeomorphisms
0
0 comments X

The pith

For C0 generic continuous maps on compact Riemannian manifolds, physical-like measures coincide with invariant measures supported on chain recurrent classes.

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

The paper proves that in a comeager set of continuous maps and homeomorphisms, the measures that capture the asymptotic statistics of Lebesgue-almost every orbit are exactly the invariant measures living on the chain recurrent classes. It further shows that every point in the manifold is typical for these measures and constructs a zero-volume strongly regular set carrying infinite topological entropy. A sympathetic reader cares because the result removes the need for smoothness or hyperbolicity to describe typical observable behavior in low-regularity systems.

Core claim

For C^0 generic continuous maps or homeomorphisms on compact Riemannian manifolds, the space of physical-like measures coincides with the set of invariant measures supported on chain recurrent classes; every point is typical in the sense that its empirical measures lie in this space; and there exists a strongly regular set of Lebesgue measure zero with infinite topological entropy.

What carries the argument

The coincidence between physical-like measures and invariant measures supported on chain recurrent classes, established under C^0 genericity.

If this is right

  • Every point has empirical measures contained in the space of physical-like measures.
  • A strongly regular set of Lebesgue measure zero carries infinite topological entropy.
  • Direct comparisons become possible between C^0 generic systems and C^0 conservative generic systems.

Where Pith is reading between the lines

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

  • The result suggests that chain recurrence organizes all observable statistics once genericity removes pathological behavior.
  • It may allow transfer of results from smooth dynamics to merely continuous maps on manifolds.
  • Concrete low-dimensional examples such as circle maps could be checked to see whether the zero-volume infinite-entropy set appears explicitly.

Load-bearing premise

The claimed coincidence holds only for a comeager set of maps in the C^0 topology; it can fail for non-generic maps.

What would settle it

Exhibit one explicit C^0 generic map on a compact manifold where an invariant measure supported on a chain recurrent class is not physical-like, or where a physical-like measure is supported outside every chain recurrent class.

read the original abstract

For $C^0$ generic continuous maps or homeomorphisms on compact Riemannian manifold, we prove that (1) the space of physical-like measures coincides with the set of invariant measures supported on chain recurrent classes, (2) every point in the base space is typical (that is, for any point in the base space, its empirical measures are contained in the space of physical-like measures) and (3) there is a subset of strongly regular set with Lebesgue zero measure but has infinite topological entropy. Moreover, some comparison between $C^0$ generic systems and $C^0$ conservative generic systems are discussed.

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 manuscript claims that for C^0-generic continuous maps or homeomorphisms on compact Riemannian manifolds, (1) the space of physical-like measures coincides with the set of invariant measures supported on chain recurrent classes, (2) every point in the base space is typical in that its empirical measures lie in the space of physical-like measures, and (3) there exists a strongly regular set of Lebesgue measure zero possessing infinite topological entropy. Comparisons between C^0-generic systems and C^0-conservative generic systems are also discussed.

Significance. If the stated results hold, they would furnish a characterization of physical-like measures for comeager sets in the C^0 topology by equating them to measures supported on chain recurrent classes. This would clarify ergodic behavior in low-regularity dynamics on manifolds and supply explicit statements about typical points and entropy on zero-measure sets. The work is presented as a direct proof without fitted parameters or ad-hoc constructions.

minor comments (2)
  1. The abstract asserts the existence of proofs for the three statements but supplies no outline of the argument structure, key lemmas, or definitions of 'physical-like measures' and 'strongly regular set,' which hinders immediate assessment of the claims.
  2. Notation for the base space, empirical measures, and chain recurrent classes is used without explicit introduction in the visible text; a preliminary section defining these objects would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for summarizing our manuscript and for noting its potential significance if the results hold. The recommendation is listed as uncertain, yet the report contains no specific major comments, criticisms, or requests for clarification. We therefore respond to the referee summary as the sole point raised and confirm that the stated claims are established by the proofs in the paper.

read point-by-point responses
  1. Referee: The manuscript claims that for C^0-generic continuous maps or homeomorphisms on compact Riemannian manifolds, (1) the space of physical-like measures coincides with the set of invariant measures supported on chain recurrent classes, (2) every point in the base space is typical in that its empirical measures lie in the space of physical-like measures, and (3) there exists a strongly regular set of Lebesgue measure zero possessing infinite topological entropy. Comparisons between C^0-generic systems and C^0-conservative generic systems are also discussed.

    Authors: These three statements, together with the comparisons to the conservative case, are exactly the main theorems proved in the manuscript. The arguments rely on C^0-generic properties of chain recurrent classes and the definition of physical-like measures; the proofs appear in full in Sections 3–5. Because the referee summary accurately restates the claims, no revision to the statements themselves is required. revision: no

Circularity Check

0 steps flagged

No circularity; direct theorem proof under explicit genericity

full rationale

The paper states a theorem for C^0-generic continuous maps and homeomorphisms on compact Riemannian manifolds, asserting that the space of physical-like measures coincides with invariant measures supported on chain recurrent classes, along with two additional properties. No equations, fitted parameters, or predictions appear; the argument is presented as a direct proof rather than a reduction. The genericity hypothesis is an explicit scope condition, not a hidden assumption. No self-definitional steps, fitted-input predictions, or load-bearing self-citation chains are detectable from the provided material, so the derivation remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is limited to the explicit assumptions stated there; standard background from dynamical systems is not enumerated.

axioms (2)
  • domain assumption The underlying space is a compact Riemannian manifold
    Explicitly stated as the setting for the maps and homeomorphisms.
  • domain assumption The maps are C^0 generic (comeager in the C^0 topology)
    The three claims are asserted to hold precisely for this generic class.

pith-pipeline@v0.9.0 · 5623 in / 1200 out tokens · 21307 ms · 2026-05-24T19:03:48.545413+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

49 extracted references · 49 canonical work pages

  1. [1]

    Abdenur and M

    F. Abdenur and M. Andersson, Ergodic theory of generic continuous maps, Comm. Math. Phys. 318 (2013), no. 3, 831-855

  2. [2]

    Athanassopoulos, One-dimensional chain recurrent sets of flows in the 2-spher e, Math

    K. Athanassopoulos, One-dimensional chain recurrent sets of flows in the 2-spher e, Math. Z. 223(1996), 643-649

  3. [3]

    Barreira, Dimension and recurrence in hyperbolic dynamics , Progress in Mathematics, vol

    L. Barreira, Dimension and recurrence in hyperbolic dynamics , Progress in Mathematics, vol. 272, Birkh¨auser, 2008

  4. [4]

    Barreira, Thermodynamic formalism and applications to dimension theo ry

    L. Barreira, Thermodynamic formalism and applications to dimension theo ry. Springer Science & Business Media, 2011

  5. [5]

    Variational principles and mixed multifractal spectra

    Barreira L, Saussol B. Variational principles and mixed multifractal spectra . Transactions of the American Mathematical Society, 2001, 353(10):3919- 3944

  6. [6]

    Barreira, J

    L. Barreira, J. Schmeling, Sets of non-typical points have full topological entropy an d full Hausdorff dimension, Israel Journal of Mathematics, 2000, 116(1): 29-70

  7. [7]

    A. D. Barwell, C. Good, R. Knight and B. E. Raines. A characterization of ω-limit sets in shift spaces. Ergod. Th. & Dynam. Sys. 30(1) (2010), 21-31

  8. [8]

    A. D. Barwell, C. Good, P. Oprocha and B. E. Raines. Characterizations of ω-limit sets of topologically hyperbolic spaces. Discrete Contin. Dyn. Syst. 33(5) (2013), 1819-1833

  9. [9]

    A. D. Barwell, J. Meddaugh and B. E. Raines. Shadowing and ω-limit sets of circular Julia sets. Ergod. Th. & Dynam. Sys. 35(4) (2015), 1045-1055

  10. [10]

    A. D. Barwell and B. E. Raines. The ω-limit sets of quadratic Julia sets. Ergod. Th. & Dynam. Sys. 35(2) (2015), 337-358

  11. [11]

    Bowen, Periodic point and measures for Axiom-A diffeomorphisms, Trans

    R. Bowen, Periodic point and measures for Axiom-A diffeomorphisms, Trans. Amer. Math. Soc. 154 (1971), 377-397

  12. [12]

    R. Bowen. ω-limit sets for axiom A diffeomorphisms. J. Differential Equations 18(2) (1975), 333-339

  13. [13]

    Bowen, Periodic orbits for hyperbolic flows, Amer

    R. Bowen, Periodic orbits for hyperbolic flows, Amer. J. Math., 94 (1972), 1-30

  14. [14]

    Bowen, Equilibrium states and the ergodic theory of Anosov diffeomo rphisms, Springer, Lecture Notes in Math

    R. Bowen, Equilibrium states and the ergodic theory of Anosov diffeomo rphisms, Springer, Lecture Notes in Math. 470 (1975)

  15. [15]

    Bowen, Topological entropy for noncompact sets, Trans

    R. Bowen, Topological entropy for noncompact sets, Trans. Amer. Math. Soc. 184 (1973), 125-136

  16. [16]

    Catsigeras, H

    E. Catsigeras, H. Enrich, SRB-like measures for C 0 dynamics, Bull. Pol. Acad. Sci. Math. 59, 2011, 151-164. 10 X. TIAN

  17. [17]

    E Catsigeras, X Tian, Dominated Splitting, Partial Hyperbolicity and Positive E ntropy, Discrete and Continuous Dynamical System - Series A 36 (9), 4 739-4759

  18. [18]

    E Catsigeras, X Tian, E Vargas, Topological Entropy on Points without Physical-like Behaviour, Mathematische Zeitschrift, to appear

  19. [19]

    Catsigeras, S

    E. Catsigeras, S. Troubetzkoy, Invariant measures for typical continuous maps on man- ifolds, arXiv:1811.04805

  20. [20]

    On the irregular points for systems with the shadowing property

    Dong Y, Oprocha P, Tian X. On the irregular points for systems with the shadowing property. Ergod. Th. Dynam. Sys. , 2018, 38 (6), 2108-2131

  21. [21]

    Y. Dong, X. Tian, Different Statistical Future of Dynamical Orbits over Expan ding or Hyperbolic Systems (I): Empty Syndetic Center , arXiv:1701.01910v2

  22. [22]

    Denker, C

    M. Denker, C. Grillenberger and K. Sigmund, Ergodic Theory on the Compact Space, Lecture Notes in Mathematics 527

  23. [23]

    Good , J.Meddaugh, Orbital shadowing, internal chain transitivity and ω-limit sets

    C. Good , J.Meddaugh, Orbital shadowing, internal chain transitivity and ω-limit sets. Ergodic Theory and Dynamical Systems. 2018, 38(1), 143-154

  24. [24]

    22, Sociedade Brasileira de Matematica, Rio de J aneiro, 2012

    P A Guiheneuf, Proprietes dynamiques generiques des homeomorphismes con servatifs (French, with English and French summaries), Ensaios Matematicos [Mathematical Sur- veys], vol. 22, Sociedade Brasileira de Matematica, Rio de J aneiro, 2012

  25. [25]

    On the genericity of the shadowing property for con- servative homeomorphisms

    Guiheneuf P A, Lefeuvre T. On the genericity of the shadowing property for con- servative homeomorphisms. Proceedings of the American Mathematical Society. 2018; 146(10):4225-37

  26. [26]

    M. W. Hirsch, H. L. Smith and X.-Q. Zhao. Chain transitivity, attractivity, and strong repellors for semidynamical systems. J. Dynam. Differential Equations 13(1) (2001), 107- 131

  27. [27]

    Kiriki and T

    S. Kiriki and T. Soma, Takens’ last problem and existence of non-trivial wanderin g domains, Advances in Mathematics, 306, 524-588, 2017

  28. [28]

    Koscielniak

    P. Koscielniak. On genericity of shadowing and periodic shadowing property . J. Math. Anal. Appl. 310 (2005), 188-196

  29. [29]

    Koscielniak

    P. Koscielniak. On the genericity of chaos, Topology Appl. 154 (2007), 1951-1955

  30. [30]

    Koscielniak, M

    P. Koscielniak, M. Mazur, P. Oprocha and P. Pilarczyk., Shadowing is generic-a contin- uous case. Discrete Contin. Dyn. Syst. 34 (2014), 3591-3609

  31. [31]

    Meddaugh and B

    J. Meddaugh and B. E. Raines. Shadowing and internal chain transitivity. Fund. Math. 222 (2013), 279-287

  32. [32]

    J. C. Oxtoby, Ergodic sets, Bull. Amer. Math. Soc. 58, 116-136 (1952)

  33. [33]

    Y. B. Pesin, Dimension theory in dynamical systems: contemporary views and applica- tions, Chicago Lectures in Mathematics, University of Chicago Pr ess, 2008

  34. [34]

    Y. B. Pesin and B. S. Pitskel ′, Topological pressure and the variational principle for noncompact sets, Functional Analysis and its Applications, 1984, 18(4): 30 7-318

  35. [35]

    Pfister, W.G

    C.-E. Pfister, W.G. Sullivan, Large Deviations Estimates for Dynamical Systems without the Specification Property. Application to the β-shifts, Nonlinearity 18, 237-261 (2005)

  36. [36]

    Pfister, W

    C. Pfister, W. Sullivan, On the topological entropy of saturated sets, Ergod. Th. Dynam. Sys. 27, 929-956 (2007)

  37. [37]

    Pugh, The C 1+α hypothesis in Pesin theory, Publ

    C. Pugh, The C 1+α hypothesis in Pesin theory, Publ. Math., Inst. Hautes tud. Sci. 59 (1984), 143-161

  38. [38]

    Richeson and J

    D. Richeson and J. Wiseman, Chain recurrence rates and topological entropy, Topology Appl. 156 (2008), 251-261

  39. [39]

    Ruelle, Historic behaviour in smooth dynamical systems, Global Analysis of Dynam- ical Systems (H

    D. Ruelle, Historic behaviour in smooth dynamical systems, Global Analysis of Dynam- ical Systems (H. W. Broer, B. Krauskopf, and G. Vegter, eds.) , Bristol: Institute of Physics Publishing, 2001

  40. [40]

    Sakai, C 1 -stably shadowable chain components, Ergodic Theory Dyn

    K. Sakai, C 1 -stably shadowable chain components, Ergodic Theory Dyn. Syst. 28 (2008), 987-1029

  41. [41]

    Sigmund, Generic properties of invariant measures for axiom A diffeom orphisms, Invention Math

    K. Sigmund, Generic properties of invariant measures for axiom A diffeom orphisms, Invention Math. 11 (1970), 99-109. INV ARIANT MEASURES SUPPORTED ON CHAIN RECURRENT CLASSES AR E PHYSICAL-LIKE 11

  42. [42]

    Takens, Orbits with historic behaviour, or non-existence of averag es, Nonlinearity, 21 (2008), 33-36

    F. Takens, Orbits with historic behaviour, or non-existence of averag es, Nonlinearity, 21 (2008), 33-36

  43. [43]

    On the variational principle for the topological entropy of certain non-compact sets

    Takens F, Verbitskiy E. On the variational principle for the topological entropy of certain non-compact sets. Ergodic Theory & Dynamical Systems, 2003, 23(1):317-348

  44. [44]

    Thompson, The irregular set for maps with the specification property has full topolog- ical pressure, Dyn

    D. Thompson, The irregular set for maps with the specification property has full topolog- ical pressure, Dyn. Syst. 25 (2010), no. 1, 25-51

  45. [45]

    Thompson, Irregular sets, the β-transformation and the almost specification property , Transactions of the American Mathematical Society, 2012, 3 64 (10): 5395-5414

    D. Thompson, Irregular sets, the β-transformation and the almost specification property , Transactions of the American Mathematical Society, 2012, 3 64 (10): 5395-5414

  46. [46]

    X. Tian, P. Varandas, Topological entropy of level sets of empirical measures for non- uniformly expanding maps, Discrete and Continuous Dynamical Systems - Series A, 37:10 (2017) 5407-5431

  47. [47]

    Walters, An introduction to ergodic theory, Springer-Verlag, 2001

    P. Walters, An introduction to ergodic theory, Springer-Verlag, 2001

  48. [48]

    X. Wen, S. Gan and L. Wen, C 1 -stably shadowable chain components are hyperbolic, J. Differ. Equations 246 (2009), 340-357

  49. [49]

    K. Yano. A remark on the topological entropy of homeomorphisms. Invent. Math. 59 (1980), 215-220. (X. Tian) School of Mathematical Science, Fudan University, Shangha i 200433, Peo- ple’s Republic of China E-mail address : xuetingtian@fudan.edu.cn URL: http://homepage.fudan.edu.cn/xuetingtian