pith. sign in

arxiv: 2405.05407 · v3 · pith:66TUN7UNnew · submitted 2024-05-08 · 🧮 math.GN · math.DS

Tranched graphs: consequences for topology and dynamics

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

Pith reviewed 2026-05-24 01:28 UTC · model grok-4.3

classification 🧮 math.GN math.DS
keywords quasi-graphssin(1/x)-type continuatranched graphsWarsaw circlecontinuum theorytopological dynamicsgeneralized graphs
0
0 comments X

The pith

Tranched graphs unify quasi-graphs and generalized sin(1/x)-type continua, showing neither class contains the other and that their structure restricts dynamics.

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

The paper compares two classes of continua that extend ordinary graphs: quasi-graphs and generalized sin(1/x)-type continua. Both contain the Warsaw circle but neither class is contained in the other. The authors introduce tranched graphs as a common generalization and examine how the topological features of these spaces constrain the dynamics that can occur on them. This unification helps clarify the boundary between the two earlier notions and highlights dynamical consequences of the shared structure.

Core claim

We compare quasi-graphs and generalized sin(1/x)-type continua, which are two classes of continua that generalize topological graphs and contain the Warsaw circle as a nontrivial common element. We show that neither class is a subset of the other, provide some characterizations, and present illustrative examples. We unify both approaches by considering the class of tranched graphs, compare it to concepts known from the literature, and describe how the topological structure of its elements restricts possible dynamics.

What carries the argument

tranched graphs, the unifying class that merges quasi-graphs and generalized sin(1/x)-type continua while carrying over membership of the Warsaw circle and imposing topological limits on dynamics

If this is right

  • The Warsaw circle belongs to the tranched-graph class.
  • Any dynamical system on a tranched graph must respect topological constraints inherited from both source classes.
  • Characterizations of tranched graphs allow separation of examples that lie in one original class but not the other.
  • Topological structure of tranched graphs provides an upper bound on the complexity of maps that can be realized on them.

Where Pith is reading between the lines

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

  • The unification may permit a single set of theorems that apply simultaneously to all members of both earlier classes.
  • Dynamical restrictions identified for tranched graphs could be tested by constructing explicit maps on the Warsaw circle and checking whether they respect the predicted limits.
  • Tranched graphs might serve as a test bed for deciding which continua admit only rigid or only expansive dynamics.

Load-bearing premise

The definitions of quasi-graphs and generalized sin(1/x)-type continua are taken as given from prior literature, and the Warsaw circle is accepted as a nontrivial common element whose membership properties transfer to the new tranched-graph class.

What would settle it

A concrete continuum that meets one of the original definitions but fails every characterization of a tranched graph, or an explicit continuous map on a tranched graph whose orbit structure violates the claimed dynamical restrictions.

Figures

Figures reproduced from arXiv: 2405.05407 by Micha{\l} Kowalewski, Piotr Oprocha.

Figure 1
Figure 1. Figure 1: The Warsaw circle W and its image ϕ(W) under map￾ping ϕ from Definition 2.4. The points in topological graph ϕ(W) are colored in accordance to their preimage. Oscillatory quasi-arc required by Definition 2.3 is marked in blue. in particular, we try to understand the intersection of these classes. For the latter, we find very useful the class of continua known in literature as Class(W), defined by Lelek in … view at source ↗
Figure 2
Figure 2. Figure 2: A quasi-arc with 4-star as the limit set. If a map ϕ col￾lapses the 4-star to a point, then approxima￾tion property is violated, e.g. by subcontinuum marked in green [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 4
Figure 4. Figure 4: A quasi-graph which is generalized sin(1/x)-type con￾tinuum and contains 4-star as a tranche only a sufficient condition ensuring that the resulting space is sin(1/x)-type contin￾uum.On the other hand, the next result shows that condition (1) in Theorem 3.13 is necessary. Lemma 3.15. Let X be a tranched graph with finitely many tranches. Then every tranche is a union of limit sets of finitely many oscillat… view at source ↗
Figure 5
Figure 5. Figure 5: An exemplary generalized sin(1/x)-type continuum whose set of tranches is not closed nondegenerate ϕ −1 (y) for every y ∈ Q. It is a particular example of the situation described in Remark 4.2. Later, in Example 4.8 we show that even stronger extreme is possible. We will construct a generalized sin(1/x)-type continuum with a dense set of tranches and without an oscillatory quasi-arc (in fact, X does not co… view at source ↗
Figure 6
Figure 6. Figure 6: The map f : (0, 1] → (0, 1] from Example 4.4 It is easy to see that the sequence {An}∞ n=1 converges, as the difference between the n − th and (n + 1)th elements only appears in the (n + 1)th coordinate. Now let A = limn→∞ An, which equivalently means that: (4.2) A = [∞ n=0 θ n ({x, f(x), . . . , f n (x), . . .) : x ∈ (0, 1]}) ∪ {0} ∞. In what follows, we will take a closer look at the properties of the se… view at source ↗
Figure 7
Figure 7. Figure 7: Projections of continua A0, A1, A2 defined by (4.1). Let Z be a subcontinuum of ϕ −1 (0). Note that the projection of A onto the first n + 1-coordinates is the same as the projection of An onto these coordinates. Take n such that if y, z satisfy yi = zi for i = 0, . . . , n then d(y, z) < ε/4. Let Zn be the projection of Z onto first n + 1 coordinates with 0 on coordinates with index i > n. In other words,… view at source ↗
Figure 8
Figure 8. Figure 8: The continuum X and projection of continuum X2 from Example 4.8. Points where X2 is not locally arcwise con￾nected are marked in red. Roughly speaking they appear at the faces of the boundary cube; on two faces these sets are copy of X; at another two adjacent faces they appear as vertical lines exactly at extrema of blue curve defining X. It is easy to check that X is a generalized sin(1/x)-type continuum… view at source ↗
Figure 9
Figure 9. Figure 9: A sketch of constructions in Lemma 4.19, from top￾left: Continuum X, continuum XL and continuum XL/∼. On the bottom X1 and ϕT (T /∼) with points that will be identified marked in the same color. In the next lemma we prove that for arcwise connected continua, the image of a tranche has to be contained in a circle. This is in line with the arguments shown before in the paper. Lemma 4.20. Let X be an arcwise … view at source ↗
Figure 10
Figure 10. Figure 10: The quasi-graphs X1 and X from Example 4.28 Denote by φ1, φ2 parametrizations of quasi-arcs L1 and L2 respectively. Let γ i N : [0, 1] → X1 for N ∈ N be curves defined as: γ 1 N (t) = φ1(N t), γ 2 N (t) = (1 − t)φ1(N) + tφ2(N), γ 3 N (t) = φ2(N − N t), γ 4 N (t) = φ2(N t), γ 5 N (t) = tφ1(N) + (1 − t)φ2(N), γ 6 N (t) = φ1(N − N t). The parameter N decides how far into the quasi-arc L1 we get, before we mo… view at source ↗
Figure 11
Figure 11. Figure 11: From left to right: (A) graphs of f5 (in red) and f (in blue, beyond graph overlap with f5), (B) the Warsaw circle X and (C) the continuum X1 from Example 5.1 . Denote by {z (i)}i∈N, {y (i)}i∈N, the sets of local maxima and minima of f, with ordering z (m) < z(n) if and only if m > n. By definition y (1) = 1, hence y (n+1) < [PITH_FULL_IMAGE:figures/full_fig_p028_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: An arcwise connected tranched graph, that doesn’t admit a mixing map. Theorem 6.6. Suppose that X is a tranched graph and let Y be a topological graph such that ϕ: X → Y satisfies the definition. Assume that the set {x : ϕ −1 (ϕ(x)) = {x}} is arcwise connected. Then there exists a topologically mixing map f : X → X. Proof. Let X be a tranched graph and let Y be a topological graph such that ϕ: X → Y satis… view at source ↗
read the original abstract

We compare quasi-graphs and generalized $\sin(1/x)$-type continua, which are two classes of continua that generalize topological graphs and contain the Warsaw circle as a nontrivial common element. We show that neither class is a subset of the other, provide some characterizations, and present illustrative examples. We unify both approaches by considering the class of tranched graphs, compare it to concepts known from the literature, and describe how the topological structure of its elements restricts possible dynamics.

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 compares quasi-graphs and generalized sin(1/x)-type continua (both containing the Warsaw circle as a common element), proves that neither class is contained in the other via explicit separating examples, supplies characterizations, and unifies the two classes under the new notion of tranched graphs. It further compares tranched graphs to existing concepts in the literature and derives restrictions that the tranched-graph structure imposes on possible dynamics.

Significance. If the comparisons, separating examples, and dynamical restrictions hold, the work supplies a useful unifying framework in continuum theory that links topological structure directly to dynamical constraints. The explicit demonstration that the two prior classes are incomparable and the preservation of the Warsaw circle as a nontrivial common element are concrete contributions that clarify the landscape of graph-like continua.

minor comments (3)
  1. The abstract states that 'proofs and examples exist' but does not indicate where the separating examples for the two classes appear; a forward reference to the relevant section or theorem would improve readability.
  2. Notation for the new class (tranched graphs) is introduced without an explicit comparison table to the two source classes; adding such a table would clarify which properties are preserved or strengthened.
  3. The discussion of dynamical restrictions would benefit from a brief statement of the precise dynamical setting (e.g., continuous maps on the continuum) assumed throughout §4 or wherever the restrictions are derived.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of its contributions, and the recommendation for minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper takes definitions of quasi-graphs and generalized sin(1/x)-type continua from prior literature, exhibits explicit separating examples (including the Warsaw circle), introduces tranched graphs as a unifying class by direct construction, and derives dynamical restrictions from the resulting topological properties. No step reduces a claimed result to a fitted input, self-referential definition, or load-bearing self-citation chain; all comparisons and restrictions are obtained by standard continuum-theoretic arguments against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review performed on abstract only; no free parameters, axioms, or invented entities are identifiable from the provided text.

pith-pipeline@v0.9.0 · 5595 in / 1047 out tokens · 21531 ms · 2026-05-24T01:28:40.517345+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

  1. [1]

    M. M. Awartani and David W. Henderson. Compactifications of the ray with the arc as remainder admit non-mean. Proc. Amer. Math. Soc., 123(10):3213–3217, 1995

    work page 1995

  2. [2]

    Charatonik and Robert P

    Włodzimierz J. Charatonik and Robert P. Roe. On Mahavier products.Topology Appl., 166:92–97, 2014

    work page 2014

  3. [3]

    PhD thesis, AGH University of Science and Technology, Faculty of Applied Mathematics, Kraków, Poland, 2019

    Tomasz Drwiega.Dynamics of Low-Dimensional Maps: Entropy, Mixing, and Chaos. PhD thesis, AGH University of Science and Technology, Faculty of Applied Mathematics, Kraków, Poland, 2019

    work page 2019

  4. [4]

    Grispolakis and E

    J. Grispolakis and E. D. Tymchatyn. Weakly confluent mappings and the covering property of hyperspaces.Proc. Amer. Math. Soc., 74(1):177–182, 1979

    work page 1979

  5. [5]

    Topological structure and en- tropy of mixing graph maps.Ergodic Theory Dynam

    Grzegorz Harańczyk, Dominik Kwietniak, and Piotr Oprocha. Topological structure and en- tropy of mixing graph maps.Ergodic Theory Dynam. Systems, 34(5):1587–1614, 2014

    work page 2014

  6. [6]

    Hierarchies of chaotic maps on continua.Ergodic Theory Dynam

    Logan Hoehn and Christopher Mouron. Hierarchies of chaotic maps on continua.Ergodic Theory Dynam. Systems, 34(6):1897–1913, 2014

    work page 1913

  7. [7]

    Hoehn and Lex G

    Logan C. Hoehn and Lex G. Oversteegen. A complete classification of homogeneous plane continua. Acta Math., 216(2):177–216, 2016

    work page 2016

  8. [8]

    Nadler, Jr

    Alejandro Illanes and Sam B. Nadler, Jr. Hyperspaces, volume 216 of Monographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker, Inc., New York, 1999. Fun- damentals and recent advances

    work page 1999

  9. [9]

    Kuratowski

    K. Kuratowski. Topology. Vol. I. Academic Press, New York-London; Państwowe Wydawnictwo Naukowe [Polish Scientific Publishers], Warsaw, 1966. New edition, revised and augmented, Translated from the French by J. Jaworowski

    work page 1966

  10. [10]

    Kuratowski

    K. Kuratowski. Topology. Vol. II. Academic Press, New York-London; Państwowe Wydawnictwo Naukowe [Polish Scientific Publishers], Warsaw, 1968. New edition, revised and augmented, Translated from the French by A. Kirkor

    work page 1968

  11. [11]

    Quasi-graphs, zero entropy and measures with discrete spectrum.Nonlinearity, 35(3):1360–1379, 2022

    Jian Li, Piotr Oprocha, and Guohua Zhang. Quasi-graphs, zero entropy and measures with discrete spectrum.Nonlinearity, 35(3):1360–1379, 2022

    work page 2022

  12. [12]

    Structures of quasi-graphs andω-limit sets of quasi-graph maps

    Jiehua Mai and Enhui Shi. Structures of quasi-graphs andω-limit sets of quasi-graph maps. Trans.Amer. Math. Soc., 369(1):139–165, 2017

    work page 2017

  13. [13]

    Uncountable families of metric compactifica- tions of the ray.Topology Appl., 173:28–31, 2014

    Verónica Martínez-de-la Vega and Piotr Minc. Uncountable families of metric compactifica- tions of the ray.Topology Appl., 173:28–31, 2014

    work page 2014

  14. [14]

    Minimal sets on continua with a dense free interval.J.Math.Anal.Appl., 517(1):Paper No

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

    work page 2023

  15. [15]

    Piotr Minc and W. R. R. Transue. Sarkovski˘ ı’s theorem for hereditarily decomposable chain- able continua.Trans.Amer. Math. Soc., 315(1):173–188, 1989

    work page 1989

  16. [16]

    Piotr Minc and W. R. R. Transue. Accessible points of hereditarily decomposable chainable continua. Trans.Amer. Math. Soc., 332(2):711–727, 1992

    work page 1992

  17. [17]

    Nadler, Jr.Continuum theory, volume 158 ofMonographs and Textbooks in Pure and Applied Mathematics

    Sam B. Nadler, Jr.Continuum theory, volume 158 ofMonographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker, Inc., New York, 1992. An introduction

    work page 1992

  18. [18]

    Oversteegen and E

    Lex G. Oversteegen and E. D. Tymchatyn. Subcontinua with degenerate tranches in heredi- tarily decomposable continua.Trans.Amer. Math. Soc., 278(2):717–724, 1983. TRANCHED GRAPHS: CONSEQUENCES FOR TOPOLOGY AND DYNAMICS 39

    work page 1983

  19. [19]

    Wayne Proctor

    C. Wayne Proctor. A characterization of absolutelyC∗-smooth continua.Proc. Amer. Math. Soc., 92(2):293–296, 1984

    work page 1984

  20. [20]

    American Math- ematical Society, Providence, RI, 2017

    Sylvie Ruette.Chaos on the interval, volume 67 ofUniversityLecture Series. American Math- ematical Society, Providence, RI, 2017

    work page 2017

  21. [21]

    The structures of pointwise recurrent quasi-graph maps

    Ziqi Yu, Suhua Wang, and Enhui Shi. The structures of pointwise recurrent quasi-graph maps. J. Math. Anal. Appl., 526(1):Paper No. 127334, 7, 2023. (M. Kowalewski)AGH University of Krakow, Faculty of Applied Mathematics, al. Mickiewicza 30, 30-059 Kraków, Poland. Email address:kowalewski@agh.edu.pl (P. Oprocha)Centre of Excellence IT4Innovations - Institu...

    work page 2023