pith. sign in

arxiv: 2510.15073 · v2 · submitted 2025-10-16 · 🧮 math.DS

On mixing and dense periodicity on spaces with a free arc

Dominik Kwietniak , Filip Wierzbowski This is my paper

Pith reviewed 2026-05-18 06:00 UTC · model grok-4.3

classification 🧮 math.DS
keywords mixing mapsperiodic pointsfree intervaltopological entropytransitive dynamical systemscompact metric spacesnon-minimal maps
0
0 comments X

The pith

Continuous transitive but non-minimal maps on spaces with a free interval are relatively mixing, non-invertible, have positive topological entropy and dense periodic points.

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

The paper establishes that on compact metric spaces containing a free interval—an open subset homeomorphic to (0,1)—any continuous map that is transitive but not minimal must be relatively mixing. It also proves such maps are non-invertible and exhibit positive topological entropy along with dense periodic points. This result builds on prior work by offering shorter proofs for the implications from weak mixing to full mixing and from transitivity without minimality to periodicity and non-invertibility. A reader would care as it clarifies the strong chaotic features forced by the presence of a free interval in dynamical systems.

Core claim

Every continuous and transitive, but non-minimal map of a space with a free interval is relatively mixing, non-invertible, has positive topological entropy, and dense periodic points. The proof relies on showing that weak mixing implies mixing with positive entropy and that transitivity without minimality implies dense periodic points and non-invertibility.

What carries the argument

The free interval, an open subset homeomorphic to (0,1), which enables short proofs that weakly mixing maps are mixing with positive entropy and that transitive non-minimal maps have dense periodic points and are non-invertible.

If this is right

  • Such maps must have positive topological entropy.
  • The maps are necessarily non-invertible.
  • Periodic points are dense in the space.
  • The dynamics are relatively mixing.

Where Pith is reading between the lines

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

  • If the free interval condition is relaxed, similar results might hold for spaces with other arc-like structures.
  • This simplification could help classify all transitive maps on such spaces.
  • Examples on the circle or other manifolds with free arcs could be constructed to test boundary cases.

Load-bearing premise

The compact metric space must contain a free interval, an open subset homeomorphic to the open interval (0,1).

What would settle it

A counterexample would be a continuous map on a compact metric space with a free interval that is transitive and non-minimal but fails to be relatively mixing or lacks dense periodic points.

Figures

Figures reproduced from arXiv: 2510.15073 by Dominik Kwietniak, Filip Wierzbowski.

Figure 1
Figure 1. Figure 1: Example illustration of the graphs Γn and Γm, and points s, t, u used in the argument. f m([t, y]) ⊇ [x, q] ⊇ [u, s]. This gives f n+m([u, s]) ⊇ [u, s] and so f has a periodic point in [u, s] ⊆ (a, b) by Lemma 2(i). □ A set D ⊂ X is regular closed if it is equal to the closure of its interior. A regular periodic decomposition (RPD) for a map f : X → X is a finite sequence D = (D0, . . . , Dk−1) of nonempty… view at source ↗
read the original abstract

We study the dynamics of continuous maps on compact metric spaces containing a free interval (an open subset homeomorphic to the interval $(0,1)$). We provide a new proof of a result of M. Dirb\'ak, \v{L}. Snoha, V. \v{S}pitalsk\'y [Ergodic Theory Dynam. Systems, vol. 33 (2013), no. 6, pp. 1786--1812] saying that every continuous and transitive, but non-minimal map of a space with a free interval is relatively mixing, non-invertible, has positive topological entropy, and dense periodic points. The key simplification comes from short proofs of two facts. The first says that every weakly mixing map of a space with a free interval must be mixing and have positive entropy. The second says that a transitive but not minimal map of a space with a free interval has dense periodic points and is non-invertible.

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 provides a new proof of a 2013 theorem of Dirbák–Snoha–Špitalský: every continuous transitive but non-minimal map on a compact metric space containing a free interval (open subset homeomorphic to (0,1)) is relatively mixing, non-invertible, has positive topological entropy, and dense periodic points. The argument proceeds by establishing two key facts using the free-interval structure: (i) every weakly mixing map is (strongly) mixing and has positive entropy, and (ii) every transitive but non-minimal map has dense periodic points and is non-invertible. Both facts are proved via direct constructions inside the free interval without heavy external machinery.

Significance. If the result holds, the manuscript supplies a streamlined, self-contained proof that isolates the role of the free interval in forcing strong dynamical properties from transitivity alone. The direct constructions inside the arc and the clean separation into two short arguments constitute a genuine simplification over the 2013 treatment and make the theorem more accessible for further work on interval-like spaces.

minor comments (3)
  1. §2, Definition of 'relatively mixing': the precise meaning (relative to the free interval or to the whole space) should be stated explicitly before the main theorem, as the term is used in the abstract but defined only later.
  2. Proof of Fact 1 (weak mixing implies mixing + positive entropy): the passage from local behavior on the free interval to global entropy lower bound could be expanded by one sentence to make the covering argument fully explicit.
  3. The citation to the 2013 paper appears only in the abstract and introduction; a short comparison paragraph in the introduction would help readers see exactly which steps are shortened.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and constructive report, which accurately summarizes the main contributions of the manuscript. We appreciate the recognition that the direct constructions inside the free interval provide a genuine simplification over the 2013 treatment. The recommendation for minor revision is noted, and we will prepare a revised version accordingly.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained via direct constructions

full rationale

The paper supplies an independent, simplified proof of the 2013 Dirbák–Snoha–Špitalský theorem by isolating two short, direct arguments that operate inside the free interval (open arc homeomorphic to (0,1)). The first upgrades weak mixing to mixing plus positive entropy; the second deduces dense periodic points and non-invertibility from transitivity without minimality. Both steps rely only on standard topological definitions and the local arc structure, without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The cited 2013 result is by different authors and is not invoked as an unverified premise; the present work replaces it with explicit constructions. Consequently the claimed properties follow from the free-interval hypothesis by ordinary dynamical reasoning and do not collapse to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard axioms from topology and dynamical systems with no free parameters or invented entities; the free interval is a domain assumption enabling the lemmas.

axioms (2)
  • domain assumption The underlying space is a compact metric space containing a free interval (an open subset homeomorphic to (0,1)).
    This structural assumption is central to proving the two key facts mentioned in the abstract.
  • standard math The map under consideration is continuous.
    Standard assumption in topological dynamics for studying orbits and mixing.

pith-pipeline@v0.9.0 · 5695 in / 1485 out tokens · 49070 ms · 2026-05-18T06:00:40.217093+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

33 extracted references · 33 canonical work pages · 1 internal anchor

  1. [1]

    Alsedà, S

    L. Alsedà, S. Kolyada, J. Llibre, and Ľ. Snoha,Entropy and periodic points for transitive maps, Trans. Amer. Math. Soc.351(1999), no. 4, 1551–1573

    work page 1999

  2. [2]

    Alsedà, M

    L. Alsedà, M. A. del Río, and J. A. Rodríguez,Transitivity and dense peri- odicity for graph maps, J. Difference Equ. Appl.9(2003), no. 6, 577–598

    work page 2003

  3. [3]

    5, World Scientific Publishing Co., Inc., River Edge, NJ, 2000

    L.Alsedà,J.Llibre,andM.Misiurewicz,Combinatorial dynamics and entropy in dimension one(Advanced Series in Nonlinear Dynamics) vol. 5, World Scientific Publishing Co., Inc., River Edge, NJ, 2000

    work page 2000

  4. [4]

    M. M. Awartani,An uncountable collection of mutually incomparable chain- able continua, Proc. Amer. Math. Soc.118(1993), no. 1, 239–245

    work page 1993

  5. [5]

    Banks,Regular periodic decompositions for topologically transitive maps, Ergodic Theory Dynam

    J. Banks,Regular periodic decompositions for topologically transitive maps, Ergodic Theory Dynam. Systems17(1997), no. 3, 505–529

    work page 1997

  6. [6]

    Banks,Topological mapping properties defined by digraphs, Discrete Contin

    J. Banks,Topological mapping properties defined by digraphs, Discrete Contin. Dynam. Systems5(1999), no. 1, 83–92

    work page 1999

  7. [7]

    A. M. Blokh,Dynamical systems on one-dimensional branched manifolds. I, Teor. Funktsi˘ ı Funktsional. Anal. i Prilozhen. (1986), no. 46, 8–18

    work page 1986

  8. [8]

    A. M. Blokh,Dynamical systems on one-dimensional branched manifolds. II, Teor. Funktsi˘ ı Funktsional. Anal. i Prilozhen. (1987), no. 47, 67–77

    work page 1987

  9. [9]

    A. M. Blokh,Dynamical systems on one-dimensional branched manifolds. III, Teor. Funktsi˘ ı Funktsional. Anal. i Prilozhen. (1987), no. 48, 32–46

    work page 1987

  10. [10]

    Bowen,Entropy for group endomorphisms and homogeneous spaces, Trans

    R. Bowen,Entropy for group endomorphisms and homogeneous spaces, Trans. Amer. Math. Soc.153(1971), 401–414

    work page 1971

  11. [11]

    Buzzi,Specification on the interval, Trans

    J. Buzzi,Specification on the interval, Trans. Amer. Math. Soc.349(1997), no. 7, 2737–2754

    work page 1997

  12. [12]

    Byszewski, F

    J. Byszewski, F. Falniowski, and D. Kwietniak,Transitive dendrite map with zero entropy, Ergodic Theory Dynam. Systems37(2017), no. 7, 2077–2083

    work page 2017

  13. [13]

    Dirbák, R

    M. Dirbák, R. Hric, P. Maličký, L. Snoha, and V. Špitalský,Minimality for actions of abelian semigroups on compact spaces with a free interval, Ergodic Theory Dynam. Systems39(2019), no. 11, 2968–2982

    work page 2019

  14. [14]

    Dirbák, L

    M. Dirbák, L. Snoha, and V. Špitalský,Minimality, transitivity, mixing and topological entropy on spaces with a free interval, Ergodic Theory Dynam. Systems33(2013), no. 6, 1786–1812

    work page 2013

  15. [15]

    Downarowicz and X

    T. Downarowicz and X. Ye,When every point is either transitive or periodic, Colloq. Math.93(2002), no. 1, 137–150

    work page 2002

  16. [16]

    T.Drwięga,Dynamika odwzorowań w niskich wymiarach: Entropia, mieszanie i chaos, Polish, Kraków, 2019

    work page 2019

  17. [17]

    Falniowski, M

    F. Falniowski, M. Kulczycki, D. Kwietniak, and J. Li,Two results on entropy, chaos and independence in symbolic dynamics, Discrete Contin. Dyn. Syst. Ser. B20(2015), no. 10, 3487–3505

    work page 2015

  18. [18]

    Harańczyk, D

    G. Harańczyk, D. Kwietniak, and P. Oprocha,A note on transitivity, sensi- tivity and chaos for graph maps, J. Difference Equ. Appl.17(2011), no. 10, 1549–1553

    work page 2011

  19. [19]

    Harańczyk, D

    G. Harańczyk, D. Kwietniak, and P. Oprocha,Topological structure and en- tropy of mixing graph maps, Ergodic Theory Dynam. Systems34(2014), no. 5, 1587–1614

    work page 2014

  20. [20]

    Hoehn and C

    L. Hoehn and C. Mouron,Hierarchies of chaotic maps on continua, Ergodic Theory Dynam. Systems34(2014), no. 6, 1897–1913. REFERENCES 11

    work page 2014

  21. [21]

    Kawamura,A direct proof that each Peano continuum with a free arc admits no expansive homeomorphisms, Tsukuba J

    K. Kawamura,A direct proof that each Peano continuum with a free arc admits no expansive homeomorphisms, Tsukuba J. Math.12(1988), no. 2, 521–524

    work page 1988

  22. [22]

    Kinoshita,On orbits of homeomorphisms, Colloq

    S. Kinoshita,On orbits of homeomorphisms, Colloq. Math.6(1958), 49–53

    work page 1958

  23. [23]

    Kočan, V

    Z. Kočan, V. Kurková, and M. Málek,Properties of dynamical systems on dendrites and graphs, Internat. J. Bifur. Chaos Appl. Sci. Engrg.31(2021), no. 7, Paper No. 2150100, 10

    work page 2021

  24. [24]

    Kolyada and L

    S. Kolyada and L. Snoha,Some aspects of topological transitivity—a survey, inIteration theory (ECIT 94) (Opava), ser. Grazer Math. Ber.334, Karl- Franzens-Univ. Graz, Graz, 1997, 3–35

    work page 1997

  25. [25]

    Kwietniak, M

    D. Kwietniak, M. Łącka, and P. Oprocha,A panorama of specification-like properties and their consequences, inDynamics and numbers, ser. Contemp. Math.669, Amer. Math. Soc., Providence, RI, 2016, 155–186

    work page 2016

  26. [26]

    On entropy of pure mixing maps on dendrites

    D. Kwietniak, P. Oprocha, and J. Tomaszewski,On entropy of pure mixing maps on dendrites, arXiv:2504.05121(2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  27. [27]

    Martínez-de-la-Vega and P

    V. Martínez-de-la-Vega and P. Minc,Uncountable families of metric compact- ifications of the ray, Topology Appl.173(2014), 28–31

    work page 2014

  28. [28]

    Mihoková,Minimal sets on continua with a dense free interval, J

    M. Mihoková,Minimal sets on continua with a dense free interval, J. Math. Anal. Appl.517(2023), no. 1, Paper No. 126607, 17

    work page 2023

  29. [29]

    Ruette,Chaos on the interval(University Lecture Series) vol

    S. Ruette,Chaos on the interval(University Lecture Series) vol. 67, American Mathematical Society, Providence, RI, 2017

    work page 2017

  30. [30]

    Silverman,On maps with dense orbits and the definition of chaos, Rocky Mountain J

    S. Silverman,On maps with dense orbits and the definition of chaos, Rocky Mountain J. Math.22(1992), no. 1, 353–375

    work page 1992

  31. [31]

    Snoha, V

    L. Snoha, V. Špitalský, and M. Takács,Generic chaos on dendrites, Ergodic Theory Dynam. Systems42(2022), no. 6, 2108–2150

    work page 2022

  32. [32]

    Špitalský,Topological entropy of transitive dendrite maps, Ergodic Theory Dynam

    V. Špitalský,Topological entropy of transitive dendrite maps, Ergodic Theory Dynam. Systems35(2015), no. 4, 1289–1314

    work page 2015

  33. [33]

    Weiss,Topological transitivity and ergodic measures, Math

    B. Weiss,Topological transitivity and ergodic measures, Math. Systems The- ory5(1971), 71–75

    work page 1971