pith. sign in

arxiv: 2410.12958 · v5 · submitted 2024-10-16 · 🧮 math.DS

On sufficient conditions for the transitivity of homeomorphisms

Maria Carvalho , Vin\'icius Coelho , Luciana Salgado This is my paper

Pith reviewed 2026-05-23 18:52 UTC · model grok-4.3

classification 🧮 math.DS
keywords homeomorphismshadowing propertytopological transitivitybarycenter propertynon-wandering setAnosov diffeomorphismC1 interior
0
0 comments X

The pith

A homeomorphism with shadowing is topologically transitive if and only if it has an invariant dense subset of the non-wandering set satisfying the barycenter property.

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

The paper shows that topological transitivity for a homeomorphism with the shadowing property is equivalent to the existence of an invariant subset A that is dense in the non-wandering set and on which the barycenter property holds. This provides an exact characterization rather than merely sufficient conditions. Readers interested in dynamical systems would care because it pins down precisely when such maps mix orbits densely. The authors further compare the condition to known sufficient conditions for Anosov diffeomorphisms and analyze its behavior under small C1 perturbations.

Core claim

For homeomorphisms possessing the shadowing property, topological transitivity is equivalent to the existence of an invariant subset A that is dense in the non-wandering set and satisfies the barycenter property.

What carries the argument

The barycenter property satisfied by an invariant subset A dense in the non-wandering set, serving as the criterion that, together with shadowing, characterizes transitivity.

If this is right

  • The condition can be compared with other properties known to be sufficient for transitivity of Anosov diffeomorphisms.
  • The C1 interior of the set of diffeomorphisms complying with the condition can be described.
  • Examples with a variety of dynamics can be presented that satisfy the condition.
  • Applications of interest follow from the characterization.

Where Pith is reading between the lines

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

  • The characterization may facilitate proving transitivity by verifying the barycenter property on a suitable dense subset rather than checking all orbits.
  • Connections to neighbouring problems in robust transitivity could be explored using the description of the C1 interior.

Load-bearing premise

The homeomorphism is assumed to have the shadowing property for the necessary and sufficient condition to apply.

What would settle it

A homeomorphism with the shadowing property that is topologically transitive but lacks an invariant subset A dense in the non-wandering set with the barycenter property would show the condition is not necessary.

read the original abstract

We derive a necessary and sufficient condition for a homeomorphism with the shadowing property to be topologically transitive: to have an invariant subset $A$, dense in the non-wandering set, where the barycenter property holds. To elucidate its dynamical nature, we compare this condition with other properties known to be sufficient for an Anosov diffeomorphism to be topologically transitive. We also describe the $C^1$ interior of the set of diffeomorphisms which comply with this condition, discuss examples with a variety of dynamics and present some applications of interest.

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 / 3 minor

Summary. The paper derives a necessary and sufficient condition for a homeomorphism with the shadowing property to be topologically transitive: the existence of an invariant subset A, dense in the non-wandering set, that satisfies the barycenter property. It compares this condition to other known sufficient conditions for transitivity of Anosov diffeomorphisms, describes the C^1 interior of the set of diffeomorphisms satisfying the condition, discusses examples with a variety of dynamics, and presents applications.

Significance. If the equivalence holds, the result supplies a new if-and-only-if characterization that isolates the dynamical content of transitivity under the shadowing assumption. The comparison with Anosov cases, the C^1-interior description, and the examples connect the abstract condition to existing theory in differentiable dynamics and provide concrete illustrations, which could prove useful for verifying transitivity in systems possessing shadowing.

minor comments (3)
  1. The barycenter property is introduced as a new notion; its definition should appear explicitly before the statement of the main theorem (likely in Section 2 or the introduction) so that readers can assess its independence from the shadowing assumption.
  2. In the examples section, each example should include an explicit verification that the shadowing property holds, as this is the standing hypothesis for the equivalence.
  3. The abstract mentions the C^1 interior without indicating the ambient manifold or the precise topology; a brief clarification would improve accessibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments appear in the report, so we have no specific points requiring response or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives a necessary-and-sufficient characterization of topological transitivity for homeomorphisms possessing the shadowing property, expressed in terms of an invariant dense subset A of the non-wandering set that satisfies the barycenter property. Both directions of the claimed equivalence are presented as derived from standard dynamical-systems arguments rather than from any fitted parameter, self-referential definition, or load-bearing self-citation. The abstract explicitly compares the new condition to known sufficient conditions for Anosov diffeomorphisms and discusses the C^1-interior and examples, indicating an independent mathematical result. No equations or steps reduce by construction to the inputs, and no uniqueness theorem or ansatz is imported from prior work by the same authors. The derivation is therefore self-contained against external benchmarks in the field.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on standard background from topological dynamics; the barycenter property appears introduced or specialized in this work.

axioms (1)
  • standard math Standard axioms and definitions of topological dynamics, including homeomorphisms, shadowing property, non-wandering set, and topological transitivity.
    The paper operates entirely within established framework of dynamical systems on metric spaces.
invented entities (1)
  • Barycenter property no independent evidence
    purpose: Serves as the key additional structure in the invariant set A that completes the characterization of transitivity.
    Appears as a new or specialized notion used to formulate the condition; no independent evidence outside the paper is mentioned.

pith-pipeline@v0.9.0 · 5612 in / 1252 out tokens · 40317 ms · 2026-05-23T18:52:51.455250+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

63 extracted references · 63 canonical work pages

  1. [1]

    Abdenur, C

    F. Abdenur, C. Bonatti and L. J. D´ ıaz. Non-wandering sets with non-empty interiors. Nonlinearity 17 (2004), 175–191. 1

    work page 2004

  2. [2]

    Abdenur, C

    F. Abdenur, C. Bonatti and S. Crovisier. Non-uniform hyperbolicity for C 1-generic diffeomorphisms. Israel J. of Math. 183 (2011), 1–60. 1

    work page 2011

  3. [3]

    Abdenur and S

    F. Abdenur and S. Crovisier. Transitivity and topological mixing for C 1 diffeomor- phisms. In Essays in Mathematics and its Applications , Springer, Heidelberg, 2012, pages 1–16. 7.1, 7.1

    work page 2012

  4. [4]

    Akin and J

    E. Akin and J. D. Carlson. Conceptions of topological transitivity. Topology Appl. 159 (2012), 2815–2830. 2.1, 4

    work page 2012

  5. [5]

    D. Anosov. Geodesic flows on closed Riemannian manifolds with negative curvature. Proc. Steklov Inst. Math. 90 (1967). 1

    work page 1967

  6. [6]

    Aoki and K

    N. Aoki and K. Hiraide. Topological Theory of Dynamical Systems. North-Holland Math. Library, vol. 52, North-Holland Publishing Co., Amsterdam, 1994. 1, 6, 4, 4, 5, 5, 5

    work page 1994

  7. [7]

    Arbieto and T

    A. Arbieto and T. Catalan. Hyperbolicity in the volume preserving scenario. Ergod. Th. & Dynam. Sys. 33 (2013), 1644–1666. 7.5, 7.5

    work page 2013

  8. [8]

    Arbieto and R

    A. Arbieto and R. Ribeiro. Flows with the (asymptotic) average shadowing property on three-dimensional closed manifolds. Dynamical Systems 26 (2011), 425–432. 7.19

    work page 2011

  9. [9]

    Bomfim and P

    T. Bomfim and P. Varandas. The gluing orbit property, uniform hyperbolicity and large deviations principles for semiflows.J. Differential Equations 267:1 (2019), 228–

    work page 2019

  10. [10]

    Bonatti and S

    C. Bonatti and S. Crovisier. R ˜A©currence et g ˜A©n˜A©ricit˜A©. Invent. math. 158 (2004), 33–104. 1, 7.1, 7.1

    work page 2004

  11. [11]

    R. Bowen. Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms. Lecture Notes in Math. 470, second revised edition, Springer, 2008. 1, 1, 1

    work page 2008

  12. [12]

    M. I. Brin. Topological transitivity of a certain class of dynamical systems, and flows of frames on manifolds of negative curvature. Funct. Anal. Appl. 9:1 (1975), 9–19. 1, 1, 9

    work page 1975

  13. [13]

    M. I. Brin. Nonwandering points of Anosov diffeomorphisms. Ast´ erisque49 (1977), 11–18. 1

    work page 1977

  14. [14]

    Carvalho

    B. Carvalho. Hyperbolicity, transitivity and the two-sided limit shadowing property. Proc. Amer. Math. Soc. 143:2 (2015), 657–666. 1, 3.2, 5, 5, 6, 7.2, 7.2, 7.8, 7.3.1, 7.3.1, 7.3.2

    work page 2015

  15. [15]

    Carvalho

    B. Carvalho. The two-sided limit shadowing property. UFRJ. PhD thesis, 2015. http://objdig.ufrj.br/11/teses/830762.pdf 1, 5, 6

    work page 2015

  16. [16]

    Carvalho, V

    M. Carvalho, V. Coelho and L. Salgado. On the completely irregular set of maps with the shadowing property. Topology Appl. 355 (2024), 109025. 6, 6.3 ON SUFFICIENT CONDITIONS FOR THE TRANSITIVITY 39

    work page 2024

  17. [17]

    Chu and K.-S

    C.-K. Chu and K.-S. Koo. Recurrence and the shadowing property. Topology Appl. 71 (1996), 217–225. 4

    work page 1996

  18. [18]

    Denker, C

    M. Denker, C. Grillenberger and K. Sigmund. Ergodic Theory on Compact Spaces. Lecture Notes in Math. 527, Springer-Verlag, 1976. 4

    work page 1976

  19. [19]

    L. J. D ˜Aaz and K. Gelfert. Porcupine-like horseshoes: transitivity, Lyapunov spec- trum and phase transitions. Fund. Math. 216 (2012), 55–100. 7.2

    work page 2012

  20. [20]

    Dolgopyat and A

    D. Dolgopyat and A. Wilkinson. Stable accessibility is C 1-dense. Ast´ erisque287 (2003), 33–60. 1

    work page 2003

  21. [21]

    H. Enrich. A heteroclinic bifurcation of Anosov diffeomorphisms. Ergod. Th. & Dy- nam. Sys. 18 (1998), 567–608. 8

    work page 1998

  22. [22]

    Gan and Y

    S. Gan and Y. Shi. A chain transitive accessible partially hyperbolic diffeomorphism which is non-transitive. Proc. Amer. Math. Soc. 146:1 (2018), 223–232. 9

    work page 2018

  23. [23]

    A. Gogolev. Diffeomorphisms Holder conjugate to Anosov diffeomorphisms. Ergod. Th. & Dynam. Sys. 30:2 (2010), 441–456. 8

    work page 2010

  24. [24]

    P. A. Guih ˜A©neuf and T. Lefeuvre. On the genericity of the shadowing property for conservative homeomorphisms. Proc. Amer. Math. Soc. 146 (2018), 4225–4237. 2

    work page 2018

  25. [25]

    R. Gu. The asymptotic average shadowing property and transitivity.Nonlinear Anal- ysis 67 (2007), 1680–1689. 6

    work page 2007

  26. [26]

    S. Hayashi. Diffeomorphisms in F 1(M) satisfy Axiom A. Ergod. Th. & Dynam. Sys. 12:2 (1992), 233–253. 7.2

    work page 1992

  27. [27]

    Hu and L.-S

    H. Hu and L.-S. Young. Nonexistence of SBR measures for some diffeomorphism that are almost Anosov. Ergod. Th. & Dynam. Sys. 15:1 (1995), 67–76. 8

    work page 1995

  28. [28]

    H. Hu. Conditions for the existence of SBR measures for almost Anosov diffeomor- phisms. Trans. Amer. Math. Soc. 352:5 (2000), 2331–2367. 8

    work page 2000

  29. [29]

    Kulczycki, D

    M. Kulczycki, D. Kwietniak and P. Oprocha. On almost specification and average shadowing properties. Fund. Math. 224 (2014), 241–278. 6

    work page 2014

  30. [30]

    Kwietniak, M

    D. Kwietniak, M. Lacka and P. Oprocha. A panorama of specification-like properties and their consequences. Dynamics and Numbers, Contemporary Mathematics , vol. 669, 2016, 155–186. 4, 5, 5, 6, 7.3.2

    work page 2016

  31. [31]

    M. Lee. Chain transitive set with asymptotic average shadowing property. Far East J. Math. Sci. 61 (2012), 207–212. 9, 4

    work page 2012

  32. [32]

    M. Lee. Robustly chain transitive diffeomorphisms. J. Inequal. Appl. 230 (2015), 1–6. 7.4

    work page 2015

  33. [33]

    M. Lee. The limit shadowing property and Li-Yorke’s chaos. Asian-Eur. J. Math. 9:1 (2016), 1650007. 3.2

    work page 2016

  34. [34]

    M. Lee. The barycenter property for robust and generic diffeomorphisms.Acta Math. Sin. (Engl. Ser.) 32 (2016), 975–981. 1, 4, 7.3.1, 7.3.2

    work page 2016

  35. [35]

    M. Lee. A type of the shadowing properties for generic view points. Axiom 7 (2018), 1–7. 7.4

    work page 2018

  36. [36]

    Lee and K

    K. Lee and K. Tajbakhsh. Dynamical systems with specification. J. Chungcheong Math. Soc. 28:1 (2015), 103–103. 7.3.2

    work page 2015

  37. [37]

    Li and P

    J. Li and P. Oprocha. Properties of invariant measures in dynamical systems with the shadowing property. Ergod. Th. & Dynam. Sys. 38 (2018), 2257–2294. 6

    work page 2018

  38. [38]

    Ma˜ n´ e

    R. Ma˜ n´ e. Contributions to the stability conjecture.Topology 17 (1978), 383–396. 7.19

    work page 1978

  39. [39]

    Ma˜ n´ e

    R. Ma˜ n´ e. Expansive homeomorphisms and topological dimension. Trans. Amer. Math. Soc. 252 (1979), 313–319. 1

    work page 1979

  40. [40]

    Ma˜ n´ e

    R. Ma˜ n´ e. An ergodic closing lemma.Ann. of Math. 116:3 (1982), 503–540. 7.4, 7.17

    work page 1982

  41. [41]

    F. Micena. Some sufficient conditions for transitivity of Anosov diffeomorphisms. J. Math. Anal. Appl. 515:2 (2022), 126433. 1

    work page 2022

  42. [42]

    Micena and J

    F. Micena and J. Rodriguez-Hertz. A relation between entropy and transitivity of Anosov diffeomorphisms. J. Dyn. Control Syst. 29 (2023), 1241–1249. 1 40 M. CAR V ALHO, V. COELHO, AND L. SALGADO

    work page 2023

  43. [43]

    Newhouse and J

    S. Newhouse and J. Palis. Hyperbolic nonwandering sets on two-dimensional man- ifolds. Dynamical Systems. Proceedings of a symposium held at the University of Bahia, Salvador, Brasil, July 26-August 14, 1971, 293–301 7.3

    work page 1971

  44. [44]

    Nitica and A

    V. Nitica and A. Torok. An open dense set of stably ergodic diffeomorphisms in a neighborhood of a non-ergodic one. Topology 40 (2001), 259–278. 1

    work page 2001

  45. [45]

    Oseledets

    V. Oseledets. Multiplicative ergodic theorem. Lyapunov characteristic numbers for dynamical systems. Trans. Moscow Math. Soc. 19 (1968), 197–221. 1

    work page 1968

  46. [46]

    Pennings and J

    T. Pennings and J. Van Eeuwen. Pseudo-orbit shadowing on the unit interval. Real Anal. Exchange 16 (1990–91), 238–244. 7

    work page 1990

  47. [47]

    Pfister and W

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

    work page 2007

  48. [48]

    S. Yu. Pilyugin. Shadowing in Dynamical Systems. Lecture Notes in Math. 1706, Springer-Verlag Berlin, 1999. 4, 5

    work page 1999

  49. [49]

    C. Pugh. An improved closing lemma and a general density theorem. Amer. J. Math. 89 (1967), 1010–1021. 1, 6

    work page 1967

  50. [50]

    Robinson

    C. Robinson. Dynamical Systems: Stability, Symbolic Dynamics and Chaos. Studies in Advanced Mathematics, CRC Press, Boca Raton, 1999. 3

    work page 1999

  51. [51]

    Robinson

    C. Robinson. Generic properties of conservative systems. Amer. J. Math. 92 (1970), 747–817. 7.5

    work page 1970

  52. [52]

    K. Sakai. Diffeomorphisms with the average-shadowing property on two-dimensional closed manifolds. Rocky Mountain J. Math. 30:3 (2000), 1129–1137. 7.4

    work page 2000

  53. [53]

    Sakai, N

    K. Sakai, N. Sumi and K. Yamamoto. Diffeomorphisms satisfying the specification property. Proc. Amer. Math. Soc. 138:1 (2010), 315–321. 6.4, 7.5, 7.3.1, 7.3.1, 7.3.2

    work page 2010

  54. [54]

    M. Shub. Topologically transitive diffeomorphisms on T 4. Lecture Notes in Math. 206, Springer-Verlag, 1971. 7.19

    work page 1971

  55. [55]

    M. Shub. Stabilit´ e globale des syst` emes dynamiques.Ast´ erisque56 (1978), 1–211. 1

    work page 1978

  56. [56]

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

    work page 1967

  57. [57]

    S. Smale. The Ω-stability theorem. Proc. Symp. in Pure Math. 14, Global Analysis, AMS, 1970, 289–298. 6

    work page 1970

  58. [58]

    Sun and X

    W. Sun and X. Tian. Diffeomorphisms with various C 1-stable properties. Acta Math. Sci. Ser. B (Engl. Ed.) 32:2 (2012), 552–558. 1, 1, 2.8, 5, 6

    work page 2012

  59. [59]

    P. Sun. Minimality and gluing orbit property. Discrete Contin. Dyn. Syst. Ser. A 39:7 (2019), 4041–4056. 2.8

    work page 2019

  60. [60]

    Thompson

    D. Thompson. Irregular sets, the β-transformation and the almost specification prop- erty. Trans. Amer. Math. Soc. 364:9 (2012), 5395–5414. 6

    work page 2012

  61. [61]

    P. Walters. On the pseudo-orbit tracing property and its relationship to stability. Proc. Conf. North Dakota State Univ., Fargo, N.D. (1977), 231–244. In: The Struc- ture of Attractors in Dynamical Systems, Lecture Notes in Math. 668, Springer- Verlag Berlin, 1978. 1

    work page 1977

  62. [62]

    P. Walters. An Introduction to Ergodic Theory. Springer-Verlag New York, 2000. 2.1, 2.2, 3, 4, 5

    work page 2000

  63. [63]

    L. Wen. Differentiable Dynamical Systems. Graduate Studies in Math. 173, AMS, Providence, RI, 2016. 7.4 Maria Carvalho, CMUP & Departamento de Matem´atica, Faculdade de Ciˆencias da Universidade do Porto, Rua do Campo Alegre 687, 4169-007 Porto, Portugal. Email address : mpcarval@fc.up.pt ON SUFFICIENT CONDITIONS FOR THE TRANSITIVITY 41 Vin´ıcius Coelho, ...

    work page 2016