pith. sign in

arxiv: 2511.11271 · v2 · submitted 2025-11-14 · 🧮 math.DS

Every nondegenerate Peano continuum admits a pure mixing selfmap

Klara Karasova , Micha{\l} Kowalewski , Piotr Oprocha This is my paper

Pith reviewed 2026-05-17 22:24 UTC · model grok-4.3

classification 🧮 math.DS
keywords Peano continuumtopologically mixingexact mapperiodic pointsself-mapdynamical systemscontinuum
0
0 comments X

The pith

Every nondegenerate Peano continuum admits a topologically mixing but not exact continuous self-map with 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 any Peano continuum, defined as a compact connected locally connected metric space that is not a single point, supports a continuous self-map which is topologically mixing. This means that iterates of any open set will eventually intersect any other open set. However, the map is not exact, so iterates of open sets do not cover the entire space, and yet periodic points are dense in the space. A reader might care because this shows that a form of chaotic mixing behavior is possible without the map being exact on these common spaces that appear in topology and dynamics.

Core claim

We prove that every Peano continuum (a space that is a continuous image of [0,1]) admits a topologically mixing but not exact map. The constructed map has a dense set of periodic points.

What carries the argument

A constructed continuous self-map on the Peano continuum that is topologically mixing but not exact with dense periodic points.

If this is right

  • Topologically mixing maps that are not exact exist on every such space.
  • The property of having dense periodic points can coexist with mixing without exactness.
  • Peano continua, as continuous images of the interval, all allow for this intermediate level of mixing dynamics.
  • Such maps provide examples separating topological mixing from exactness in continuum dynamics.

Where Pith is reading between the lines

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

  • This construction likely relies on the local connectedness and arcwise connectedness of Peano continua to build the map.
  • Similar results might hold for other classes of continua if the construction can be adapted.
  • The result implies that exactness is not automatic for mixing maps in this setting.

Load-bearing premise

The space is a nondegenerate Peano continuum, that is a compact connected locally connected metric space different from a singleton.

What would settle it

A nondegenerate Peano continuum on which no continuous self-map is simultaneously topologically mixing, not exact, and has a dense set of periodic points would falsify the claim.

read the original abstract

We prove that every Peano continuum (a space that is a continuous image of $[0,1]$) admits a topologically mixing but not exact map. The constructed map has a dense set of periodic points.

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

2 major / 2 minor

Summary. The manuscript proves that every nondegenerate Peano continuum X admits a continuous self-map f:X→X that is topologically mixing but not exact and possesses a dense set of periodic points. The argument proceeds via an explicit construction: a dense countable set of points with prescribed itineraries is chosen, a piecewise-linear action is defined on a sequence of tree-like approximations that encode a mixing shift, and the map is extended continuously to X while maintaining the required intersection properties for open sets; non-exactness is shown by exhibiting a nonempty open set whose forward orbit remains trapped in a proper closed subset.

Significance. If the construction is valid, the result supplies a uniform existence theorem for pure mixing (mixing but not exact) maps on the entire class of nondegenerate Peano continua, together with dense periodic points. This strengthens known facts about interval maps and certain dendrites by covering arbitrary locally connected continua and provides an explicit, non-abstract existence proof that may serve as a template for related questions in topological dynamics.

major comments (2)
  1. [§3] §3 (Construction): the argument that the continuous extension of the piecewise-linear map on the approximating trees preserves topological mixing relies on the intersection condition for every pair of nonempty open sets; the manuscript should verify that this condition survives the limit process uniformly for every nondegenerate Peano continuum, including those that are not arcwise connected.
  2. [§4] §4 (Non-exactness): the exhibited open set U whose forward images remain inside a proper closed subset is claimed to work for arbitrary X; a concrete check that the complement of this subset remains nonempty and open after the extension step would strengthen the claim.
minor comments (2)
  1. Notation for the sequence of approximating trees and the itinerary map should be introduced once and used consistently; occasional reuse of symbols for different objects appears in the later sections.
  2. The statement that the constructed map has a dense set of periodic points is asserted after the construction; a short paragraph summarizing how the finite cycles inserted at each stage remain dense in the limit would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the major comments point by point below and will incorporate revisions where appropriate to strengthen the presentation.

read point-by-point responses

  1. Referee: [§3] §3 (Construction): the argument that the continuous extension of the piecewise-linear map on the approximating trees preserves topological mixing relies on the intersection condition for every pair of nonempty open sets; the manuscript should verify that this condition survives the limit process uniformly for every nondegenerate Peano continuum, including those that are not arcwise connected.

    Authors: We agree that an explicit verification of the survival of the intersection condition through the limit process would improve clarity. In the revised manuscript, we will insert a new lemma (or subsection) that demonstrates this uniformity. The construction relies on a sequence of tree-like approximations that become dense in X, and the mixing shift is encoded in a way that ensures the required intersections for open sets in the approximations. Since every Peano continuum is a continuous image of [0,1], it is arcwise connected, so the referee's mention of non-arcwise connected cases does not apply; however, the argument holds for all locally connected continua in this class. The limit map inherits the mixing property because any two nonempty open sets in X contain points from the dense set with itineraries that intersect appropriately, and continuity of the extension preserves this. revision: yes

  2. Referee: [§4] §4 (Non-exactness): the exhibited open set U whose forward images remain inside a proper closed subset is claimed to work for arbitrary X; a concrete check that the complement of this subset remains nonempty and open after the extension step would strengthen the claim.

    Authors: We will enhance the non-exactness argument with a more detailed verification. The proper closed subset Y is defined as the set of points whose itineraries avoid certain symbols in the mixing shift, making it proper and closed. The open set U is chosen within a region that maps into Y under the piecewise-linear approximations. After continuous extension, since the map is continuous and Y is closed and invariant under the approximating maps, the forward orbit of U remains in Y. The complement X minus Y is nonempty because the space is nondegenerate and the construction leaves room for points with other itineraries; it is open as the complement of a closed set. We will add this explicit check in the revision. revision: yes

Circularity Check

0 steps flagged

No significant circularity in explicit constructive proof

full rationale

The manuscript gives a direct existence proof via an explicit construction: select a dense countable set of points with prescribed itineraries, define a piecewise-linear action on a tree-like approximation that encodes a mixing shift, extend continuously to the Peano continuum while preserving open-set intersections, and ensure dense periodic points by including finite cycles at each stage. Non-exactness follows by exhibiting a fixed nonempty open set whose forward images remain inside a proper closed subset. This chain is self-contained, uses no fitted parameters renamed as predictions, invokes no self-citation as a load-bearing uniqueness theorem, and does not smuggle ansatzes or rename known results. The argument holds uniformly for arbitrary nondegenerate Peano continua by the choice of approximating trees and requires no external verification beyond the stated topological properties.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard definition and properties of Peano continua from continuum theory together with basic facts about continuous maps and periodic points in topological dynamics; no free parameters or new entities are introduced in the stated claim.

axioms (1)
  • domain assumption A Peano continuum is a compact connected locally connected metric space that is a continuous image of [0,1]
    This is the explicit definition used in the statement of the theorem.

pith-pipeline@v0.9.0 · 5323 in / 1200 out tokens · 33152 ms · 2026-05-17T22:24:15.611753+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

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

  1. [1]

    Agronsky and J

    S. Agronsky and J. G. Ceder, Each Peano subspace of Ek is an ω-limit set, Real Anal. Exchange17(1991/92), no. 1, 371–378. MR 1147375

    work page 1991

  2. [2]

    J. P. Boroński, Alex Clark, and P. Oprocha,A compact minimal space Y such that its square Y×Y is not minimal, Adv. Math.335(2018), 261–275. MR 3836665

    work page 2018

  3. [3]

    MR 3558919

    Michael Brin and Garrett Stuck,Introduction to dynamical systems, Cambridge University Press, Cambridge, 2015. MR 3558919

    work page 2015

  4. [4]

    Bruin and S

    H. Bruin and S. Štimac,Entropy of homeomorphisms on unimodal inverse limit spaces, Non- linearity26(2013), no. 4, 991–1000. MR 3040592

    work page 2013

  5. [5]

    Devaney,An introduction to chaotic dynamical systems, CRC Press, Boca Raton, FL, 2022

    Robert L. Devaney,An introduction to chaotic dynamical systems, CRC Press, Boca Raton, FL, 2022. MR 4495651

    work page 2022

  6. [6]

    Systems33(2013), no

    Matúš Dirbák, L’ubomír Snoha, and Vladimír Špitalský,Minimality,transitivity,mixing and topological entropyon spaces with a free interval, Ergodic Theory Dynam. Systems33(2013), no. 6, 1786–1812. MR 3122152

    work page 2013

  7. [7]

    Tomasz Downarowicz, L’ubomír Snoha, and Dariusz Tywoniuk,Minimal spaces with cyclic group of homeomorphisms, J. Dynam. Differential Equations29(2017), no. 1, 243–257. MR 3612974

    work page 2017

  8. [8]

    Grzegorz Harańczyk and Dominik Kwietniak,When lower entropy implies stronger Devaney chaos, Proc. Amer. Math. Soc.137(2009), no. 6, 2063–2073. MR 2480288

    work page 2009

  9. [9]

    Difference Equ

    Grzegorz Harańczyk, Dominik Kwietniak, and Piotr Oprocha, A note on transitivity, sensitivity and chaos for graph maps, J. Difference Equ. Appl.17(2011), no. 10, 1549–1553. MR 2836880

    work page 2011

  10. [10]

    Systems34(2014), no

    , Topological structure and entropy of mixing graph maps, Ergodic Theory Dynam. Systems34(2014), no. 5, 1587–1614. MR 3255434

    work page 2014

  11. [11]

    Alejandro Illanes and Leonel Rito,Strongly mixing, but not exact mappings on dendrites, European Journal of Mathematics11(2025), no. 3, 54. MR 4954464

    work page 2025

  12. [12]

    115848, 10

    Klára Karasová and Benjamin Vejnar,Topological fractals revisited, Chaos Solitons Fractals 192(2025), Paper No. 115848, 10. MR 4847148

    work page 2025

  13. [13]

    Dynam.4(1996), no

    Sergi˘ ı Kolyada and ubomír Snoha,Topologicalentropyof nonautonomous dynamical systems, Random Comput. Dynam.4(1996), no. 2-3, 205–233. MR 1402417

    work page 1996

  14. [14]

    Math., vol

    Dominik Kwietniak, Martha Łącka, and Piotr Oprocha,A panorama of specification-like properties and their consequences, Dynamics and numbers, Contemp. Math., vol. 669, Amer. Math. Soc., Providence, RI, 2016, pp. 155–186. MR 3546668

    work page 2016

  15. [15]

    Theory Dyn

    Dominik Kwietniak and Michał Misiurewicz,Exact Devaneychaosand entropy, Qual. Theory Dyn. Syst.6(2005), no. 1, 169–179. MR 2273492

    work page 2005

  16. [16]

    Dominik Kwietniak, Piotr Oprocha, and Jakub Tomaszewski,Onentropyofpuremixingmaps on dendrites, (2025), preprint arXiv:2504.05121

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  17. [17]

    Nadler, Continuum theory: An introduction, Chapman & Hall/CRC Pure and Applied Mathematics, CRC Press, 2017

    S. Nadler, Continuum theory: An introduction, Chapman & Hall/CRC Pure and Applied Mathematics, CRC Press, 2017

    work page 2017

  18. [18]

    67, American Mathemat- ical Society, Providence, RI, 2017

    Sylvie Ruette,Chaos on the interval, University Lecture Series, vol. 67, American Mathemat- ical Society, Providence, RI, 2017. MR 3616574

    work page 2017

  19. [19]

    Sivak,On the structure of transitive ω-limit sets for continuousmaps, Qual

    Andrei G. Sivak,On the structure of transitive ω-limit sets for continuousmaps, Qual. Theory Dyn. Syst.4(2003), no. 1, 99–113

    work page 2003

  20. [20]

    Systems35(2015), no

    Vladimír Špitalský,Topological entropy of transitive dendrite maps, Ergodic Theory Dynam. Systems35(2015), no. 4, 1289–1314. MR 3345173

    work page 2015

  21. [21]

    Whyburn, Concerning the cut points of continua, Trans

    Gordon T. Whyburn, Concerning the cut points of continua, Trans. Amer. Math. Soc.30 (1928), no. 3, 597–609. MR 1501448 (K. Karasova)Charles University, F aculty of Mathematics and Physics Email address:karasova@karlin.mff.cuni.cz (M. Kowalewski)AGH University of Krakow, F aculty of Applied Mathematics, al. Mickiewicza 30, 30-059 Kraków, Poland. Email addr...

    work page 1928