pith. sign in

arxiv: 2604.17588 · v1 · submitted 2026-04-19 · 🧮 math.DS

A framework for the study of the qualitative dynamics of general Iterated Function Systems

Roberto De Leo This is my paper

Pith reviewed 2026-05-10 04:59 UTC · model grok-4.3

classification 🧮 math.DS
keywords iterated function systemsqualitative dynamicsbinary relationsstreamsrecurrent behaviorgradient-like dynamicsgraph representationdynamical systems
0
0 comments X

The pith

A binary-relation framework extends from semiflows to general IFSs and produces a graph that separates recurrent from gradient-like behavior.

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

The paper extends a binary-relation framework previously developed for semiflows to general iterated function systems acting on locally compact spaces. Streams are defined as binary relations that mark which points lie downstream from others, allowing the entire dynamics to be encoded as a directed graph. In this graph recurrent sets appear as cycles or strongly connected components while gradient-like behavior appears as chains leading to attractors or to infinity. A sympathetic reader would care because the construction supplies a qualitative, visual summary of the global picture for discrete systems that may lack explicit closed-form solutions.

Core claim

By associating to each IFS a binary relation called a stream that encodes the downstream relation between points, the global dynamics can be represented by a graph in which recurrent behavior is confined to cycles and gradient-like behavior consists of paths from sources to sinks.

What carries the argument

The stream, a binary relation on the space indicating which points are downstream from which, that turns the IFS into a directed graph separating recurrent and gradient-like parts.

Load-bearing premise

The binary relation framework developed for semiflows extends directly and usefully to general IFSs on locally compact spaces while preserving the separation of recurrent and gradient-like behaviors.

What would settle it

For a concrete IFS on a locally compact space that mixes a periodic orbit with escaping orbits, build the stream graph and verify whether the periodic orbit forms an isolated cycle and the escaping orbits form acyclic paths.

Figures

Figures reproduced from arXiv: 2604.17588 by Roberto De Leo.

Figure 1
Figure 1. Figure 1: The Sierpinsky gasket. The picture shows the equilateral triangle T with vertices A, B, C and the set H4 S (T). Triangles are colored based on the last map they are the image of. Recall that the Sierpinsky gasket is obtained as the limit of Hk S (T) for k → ∞. The disc Q is a compact global trapping region for the Sierpinsky IFS, HS(Q) is its image under the Hutchinson map. it follows that ΩF (Q) ⊂ Nε(B). … view at source ↗
Figure 2
Figure 2. Figure 2: Some numerical result on non-contractive IFSs on the unit interval. (Top) Full picture and some zooms of the numerical attractor of the logistic IFS L3,2. The picture strongly suggest that the attractor of this IFS is a Cantor set. (Middle) Bifurcation diagram showing the attractors of the IFS family Lµ,3 for µ ∈ [0, 4]. (Bottom) Bifurcation diagram showing the attractors of the IFS family Ts,√ 2 for s ∈ [… view at source ↗
Figure 3
Figure 3. Figure 3: Numerical approximations of attractors of four non-contractive IFSs. (a) The Levitt-Yoccoz gasket C; (b) The tent map-Sierpinsky gasket T1; (c) The logistic map-Sierpinsky gasket L2; (d) The logistic map triangle gasket F3. 70 [PITH_FULL_IMAGE:figures/full_fig_p070_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Four fixed points of the Hutchinson map of the tent map-Sierpinsky IFS T1. 71 [PITH_FULL_IMAGE:figures/full_fig_p071_4.png] view at source ↗
read the original abstract

We develop a qualitative-dynamics framework for general Iterated Function Systems (IFSs) on locally compact spaces. Our approach extends to IFSs a framework recently developed in the semiflows setting by James Yorke and the present author based on binary relations (streams) that encode which point can be regarded as "downstream" from which. This leads to a graph representation of the global qualitative dynamics that separates recurrent behavior from gradient-like behavior.

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

1 major / 2 minor

Summary. The manuscript develops a qualitative-dynamics framework for general iterated function systems (IFSs) on locally compact spaces. It extends the authors' prior binary-relation ('stream') framework from semiflows, in which streams encode downstream relations between points. The extension produces a graph representation of global qualitative dynamics that separates recurrent behavior from gradient-like behavior.

Significance. If the extension is carried through rigorously, the framework supplies a graph-theoretic language for IFS dynamics that is consistent with the semiflow case and respects the locally compact topology. This could be useful for classifying global orbit structures in IFSs arising in fractal geometry and chaotic maps. The separation of recurrent and gradient-like components follows directly from the cycle structure of the induced relation (recurrent components admit cycles; gradient-like parts are acyclic), which is definitional once the stream is defined via the semigroup generated by the IFS maps. No machine-checked proofs or reproducible code are supplied, but the construction is conceptual and builds explicitly on prior work.

major comments (1)
  1. [Main construction of the IFS stream and induced graph (likely §3)] The central claim is that the stream extension yields a graph separating recurrent from gradient-like behavior. However, recurrent components are defined precisely as those admitting cycles in the induced binary relation (see the construction of the stream via the IFS semigroup and the subsequent graph). This separation is therefore built into the definitions rather than derived from additional dynamical properties of the IFS. The manuscript should clarify what non-definitional consequences or new theorems follow from the framework.
minor comments (2)
  1. [Abstract] The abstract remains at a high level and does not indicate specific theorems, preservation results, or illustrative examples that would allow a reader to verify that key semiflow properties carry over.
  2. [Introduction or §4] No concrete IFS examples (e.g., the Sierpiński gasket or a simple two-map system on the line) are referenced in the provided summary; adding one or two worked examples would make the graph construction and the recurrent/gradient-like distinction more accessible.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive evaluation and the recommendation of minor revision. The single major comment is addressed point by point below; we will revise the manuscript to improve clarity on the framework's contributions.

read point-by-point responses

  1. Referee: [Main construction of the IFS stream and induced graph (likely §3)] The central claim is that the stream extension yields a graph separating recurrent from gradient-like behavior. However, recurrent components are defined precisely as those admitting cycles in the induced binary relation (see the construction of the stream via the IFS semigroup and the subsequent graph). This separation is therefore built into the definitions rather than derived from additional dynamical properties of the IFS. The manuscript should clarify what non-definitional consequences or new theorems follow from the framework.

    Authors: We agree that the separation of recurrent and gradient-like components follows directly from the cycle structure of the induced graph once the stream relation is defined via the IFS semigroup; this is intentional and mirrors the construction in the semiflow setting. The primary non-definitional contribution of the present work is the rigorous extension of the stream framework to general IFSs on locally compact spaces, including verification that the resulting binary relation and induced graph are well-defined while respecting the topology. This supplies a uniform graph-theoretic language for IFS qualitative dynamics that is consistent with the prior semiflow case. We will revise the manuscript (particularly the introduction and the discussion following the main construction) to explicitly enumerate these aspects and to state the consequences that follow from the construction, such as the applicability of the framework to classifying global orbit structures in IFSs arising in fractal geometry. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper extends an existing binary-relation (stream) framework from semiflows to general IFSs on locally compact spaces, producing an induced graph that encodes downstream relations. The separation of recurrent (cyclic) from gradient-like (acyclic) components follows directly from the topological properties of the semigroup action and the definition of the stream relation itself; this is a standard construction in qualitative dynamics and does not reduce any claimed result to a fitted parameter or to a self-referential definition. The citation to the author's prior joint work with Yorke supplies the base semiflow framework but is not load-bearing for the IFS extension, which is developed independently with its own definitions and theorems. No equation or derivation in the manuscript equates a prediction to its own input by construction, and the work remains self-contained against external topological benchmarks for IFSs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The framework rests on the transferability of the stream concept from semiflows and standard assumptions about locally compact spaces; no free parameters or new entities with independent evidence are introduced in the abstract.

axioms (2)
  • domain assumption The underlying space is locally compact.
    Explicitly stated as the setting for the IFSs.
  • ad hoc to paper Streams defined as binary relations can be extended from semiflows to IFSs while encoding downstream relations.
    The central extension assumes this analogy holds without loss of qualitative properties.
invented entities (1)
  • Stream no independent evidence
    purpose: Binary relation that encodes which point is downstream from which in the IFS dynamics.
    Extended from prior semiflows work to represent qualitative relations; no independent falsifiable evidence provided in abstract.

pith-pipeline@v0.9.0 · 5355 in / 1241 out tokens · 45598 ms · 2026-05-10T04:59:39.183290+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

24 extracted references · 2 canonical work pages

  1. [1]

    Anusic and R

    A. Anusic and R. De Leo,Graph and backward asymptotics of the tent map, Journal of Differ- ence Equations and Applications31(2024), no. 3

    2024

  2. [2]

    Arnoux and S

    P. Arnoux and S. Starosta,Rauzy gasket, Further Developments in Fractals and related fields: Mathematical Foundations and Connections (J. Barral and S. Seuret, eds.), Trends in Mathe- matics, Springer, 2013

    2013

  3. [3]

    Auslander,Generalized recurrence in dynamical systems, Contr

    J. Auslander,Generalized recurrence in dynamical systems, Contr. Diff. Eqs.3(1963), 65–74

    1963

  4. [4]

    Barnsley,Fractals everywhere, Academic Press, 1988

    M.F. Barnsley,Fractals everywhere, Academic Press, 1988. 69 (a) (b) (c) (d) Figure 3:Numerical approximations of attractors of four non-contractive IFSs.(a) The Levitt-Yoccoz gasketC; (b) The tent map-Sierpinsky gasketT 1; (c) The logistic map-Sierpinsky gasketL 2; (d) The logistic map triangle gasketF 3. 70 (a) (b) (c) (d) Figure 4:Four fixed points of t...

    1988

  5. [5]

    Barnsley and K

    M.F. Barnsley and K. Le´ sniak,The chaos game on a general iterated function system from a topological point of view, International Journal of Bifurcation and Chaos24(2014), no. 11, 1450139

    2014

  6. [6]

    Barnsley and A

    M.F. Barnsley and A. Vince,The chaos game on a general iterated function system, Ergodic theory and dynamical systems31(2011), no. 4, 1073–1079

    2011

  7. [7]

    Barnsley and A

    M.F. Barnsley and A. Vince,Real Projective Iterated Function Systems, Journal of Geometric Analysis22(2012), no. 4, 1137–1172

    2012

  8. [8]

    Barnsley and A

    M.F. Barnsley and A. Vince,The Conley attractors of an iterated function system, Bulletin of the Australian Mathematical Society88(2013), no. 2, 267–279

    2013

  9. [9]

    Brucks and H

    K.M. Brucks and H. Bruin,Topics from one-dimensional dynamics, vol. 62, Cambridge Uni- versity Press, 2004

    2004

  10. [10]

    Conley,The gradient structure of a flow: I, IBM Research, RC 3932 (#17806) (1972), reprinted in Ergodic Theory Dynam

    C. Conley,The gradient structure of a flow: I, IBM Research, RC 3932 (#17806) (1972), reprinted in Ergodic Theory Dynam. Systems, vol 8 (1988), Charles Conley Memorial Issue

    1972

  11. [11]

    De Leo,On a generalized Sierpinski fractal inRP n, (2008), arXiv:0804.1154 [math.CA]

    R. De Leo,On a generalized Sierpinski fractal inRP n, (2008), arXiv:0804.1154 [math.CA]

    work page arXiv 2008

  12. [12]

    ,Exponential growth of norms in semigroups of linear automorphisms and Hausdorff dimension of self-projective ifs, (2012), arXiv:1204.0250 [math.DS]

    work page arXiv 2012

  13. [13]

    3, 270–288

    ,A conjecture on the Hausdorff dimension of attractors of real self-projective Iterated Function Systems, Experimental Mathematics24(2015), no. 3, 270–288

    2015

  14. [14]

    3, 1798–1827

    ,Exponential growth of norms in semigroups of linear automorphisms and the Hausdorff dimension of self-projective Iterated Function Systems., Journal of Geometrical Analysis25 (2015), no. 3, 1798–1827

    2015

  15. [15]

    De Leo and I.A

    R. De Leo and I.A. Dynnikov,Geometry of plane sections of the infinite regular skew polyhedron {4,6|4}, Geometriae Dedicata138(2009), no. 1, 51–67

    2009

  16. [16]

    De Leo and J.A

    R. De Leo and J.A. Yorke,The graph of the logistic map is a tower, Discrete and Continuous Dynamical Systems41(2021), no. 11, 5243–5269

    2021

  17. [17]

    ,Streams and graphs of dynamical systems, Qualitative Theory of Dynamical Systems 24(2025), no. 1, 1

    2025

  18. [18]

    Edelstein,On fixed and periodic points under contractive mappings, Journal of the London Mathematical Society1(1962), no

    M. Edelstein,On fixed and periodic points under contractive mappings, Journal of the London Mathematical Society1(1962), no. 1, 74–79

    1962

  19. [19]

    Hutchinson,Fractals and self similarity, Indiana University Mathematics Journal30 (1981), no

    J.E. Hutchinson,Fractals and self similarity, Indiana University Mathematics Journal30 (1981), no. 5, 713–747

    1981

  20. [20]

    De Leo and J.A

    R. De Leo and J.A. Yorke,Streams, graphs and global attractors of dynamical systems on locally compact spaces, Discrete and Continuous Dynamical Systems47(2026), 308–340

    2026

  21. [21]

    Levitt,La dynamique des pseudogroupes de rotations, Inventiones Mathematicæ113(1993), 633–670

    G. Levitt,La dynamique des pseudogroupes de rotations, Inventiones Mathematicæ113(1993), 633–670

    1993

  22. [22]

    Lorenz,Deterministic nonperiodic flow, Journal of the atmospheric sciences20(1963), no

    E.N. Lorenz,Deterministic nonperiodic flow, Journal of the atmospheric sciences20(1963), no. 2, 130–141. 72

    1963

  23. [23]

    Milnor and W

    J.W. Milnor and W. Thurston,On iterated maps of the interval, Dynamical systems, Springer, 1988, pp. 465–563

    1988

  24. [24]

    Vince,M¨ obius Iterated Function Systems, Trans

    A. Vince,M¨ obius Iterated Function Systems, Trans. Amer. Math. Soc.365(2013), 491–509. 73

    2013