pith. sign in

arxiv: 2602.18463 · v2 · submitted 2026-02-06 · 🧮 math.DS · nlin.CD

Functorial invariants for chaos topology from data

Denisse Sciamarella This is my paper

Pith reviewed 2026-05-16 05:51 UTC · model grok-4.3

classification 🧮 math.DS nlin.CD
keywords templexfunctorial invariantsdirected path algebrachaos topologyhomology groupssemigroupstopological modes of variabilitynon-metric chaos criterion
0
0 comments X

The pith

A category theory approach defines functorial invariants that detect chaos non-metrically from finite-time data.

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

The paper develops a framework that embeds the templex, a topological object for chaotic dynamics, into category theory. It introduces a directed path algebra along with an equivalence relation on cycles that differs from homology to create two types of invariants: homology groups as abelian-group invariants and generatex semigroups as semigroup invariants. These are separable using forgetful functors, providing a way to analyze tipping points and physical mechanisms in data without metrics. This is useful for examining systems like the Rossler and Lorenz attractors, climate simulations, and speech signals directly from observations.

Core claim

The templex is placed within category theory by defining a directed path algebra, an edge operator on directed paths, and an equivalence relation for directed cycles distinct from directed homologies. This yields functorial invariants consisting of homology groups and generatex semigroups, which are separable through forgetful functors and establish a non-metric criterion for chaos from finite-time data, with the concatenable nature of Topological Modes of Variability arising directly from the semigroup structure.

What carries the argument

The directed path algebra equipped with an edge operator and a custom equivalence relation on directed cycles that generates the generatex semigroups, allowing separation of invariants via forgetful functors.

If this is right

  • Invariants enable identification of tipping points in dynamical systems from data.
  • They disambiguate between different physical mechanisms.
  • They provide benchmarks for data-driven models against observations.
  • The semigroup structure explains the concatenability of Topological Modes of Variability.
  • A non-metric criterion for chaos becomes available for finite-time observations.

Where Pith is reading between the lines

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

  • This framework could be applied to validate predictions in other fields like neuroscience or fluid dynamics.
  • Future work might integrate these invariants with machine learning techniques for automated chaos detection.
  • The separation of invariants suggests potential for hybrid topological and algebraic analyses in data science.
  • Testing on experimental data beyond the examples could reveal limitations in handling noise.

Load-bearing premise

The new equivalence relation on directed cycles remains independent of directed homologies, and the semigroup structure fully accounts for concatenable Topological Modes of Variability without needing metric or fitting assumptions.

What would settle it

Observing that the generatex semigroups or homology groups fail to match the expected topological features in the Lorenz attractor when computed from its finite-time trajectory data would disprove the utility of these invariants.

Figures

Figures reproduced from arXiv: 2602.18463 by Denisse Sciamarella.

Figure 1
Figure 1. Figure 1: FIG. 1: BraMAH complexes [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2: Directed multigraphs for the R¨ossler and Lorenz [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: Generatex visitation sequence for (a) the [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5: Forgetful functor analysis of the time series in [PITH_FULL_IMAGE:figures/full_fig_p011_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6: (a) Directed multigraph obtained as the union of the six generatexes in red, blue, green, magenta, orange [PITH_FULL_IMAGE:figures/full_fig_p013_6.png] view at source ↗
read the original abstract

The templex is a topological object bridging homologies and templates for chaotic dynamics. This article places the templex within category theory, introducing a directed path algebra, an edge operator on directed paths, and an equivalence relation for directed cycles that is distinct from directed homologies. The resulting functorial invariants are of two kinds: abelian-group invariants, namely the homology groups, and semigroup invariants, namely the generatex semigroups. These invariants are separable through forgetful functors and constitute a robust framework for identifying tipping points, disambiguating physical mechanisms, and benchmarking data-driven models against observations or simulations. The formulation sets forth a non-metric criterion for chaos from finite-time data and reveals that the concatenable nature of Topological Modes of Variability is a direct consequence of the semigroup structure of the directed path algebra. The R\"ossler and Lorenz attractors are presented as paradigmatic examples, followed by the analysis of a climatic simulation and an experimental speech signal.

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

Summary. The paper places the templex—a topological object bridging homologies and templates for chaotic dynamics—within category theory. It introduces a directed path algebra, an edge operator on directed paths, and an equivalence relation on directed cycles claimed to be distinct from directed homologies. From these it derives two classes of functorial invariants: abelian-group invariants given by the homology groups, and semigroup invariants given by the generatex semigroups. These are asserted to be separable by forgetful functors and to furnish a non-metric criterion for chaos from finite-time data. The framework is illustrated on the Rössler and Lorenz attractors, a climatic simulation, and an experimental speech signal, with applications to tipping-point detection and model benchmarking.

Significance. If the independence of the new cycle equivalence from directed homology and the direct semigroup account of concatenable Topological Modes of Variability can be established, the work would supply a genuinely two-kind invariant structure that combines the strengths of homology with algebraic semigroup data. This could offer a parameter-free, non-metric route to extracting robust topological signatures from finite-time observations, with clear utility for distinguishing physical mechanisms and validating data-driven models of chaotic systems.

major comments (2)
  1. [Examples (Rössler/Lorenz)] § on Rössler and Lorenz examples: no explicit computation of the equivalence classes under the newly defined relation on directed cycles, nor of the generatex semigroups, is supplied; consequently there is no direct verification that these classes differ from those of directed homology or that the semigroup structure accounts for concatenability without additional choices.
  2. [Main construction and functorial invariants] The central claim that the two invariants are separable through forgetful functors and yield a robust non-metric chaos criterion therefore rests on unshown steps; the manuscript must exhibit at least one concrete calculation (e.g., the generatex semigroup for the Rössler attractor and its comparison with the homology groups) to substantiate independence.
minor comments (1)
  1. [Directed path algebra] Notation for the edge operator and the generatex semigroup is introduced without an inline reminder of its relation to the directed path algebra; a short definitional sentence at first use would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the thorough reading and constructive comments. We accept the recommendation for major revision and will strengthen the manuscript by supplying the requested explicit computations for the Rössler and Lorenz examples. This will directly verify the independence of the cycle equivalence relation and the semigroup structure.

read point-by-point responses

  1. Referee: § on Rössler and Lorenz examples: no explicit computation of the equivalence classes under the newly defined relation on directed cycles, nor of the generatex semigroups, is supplied; consequently there is no direct verification that these classes differ from those of directed homology or that the semigroup structure accounts for concatenability without additional choices.

    Authors: We acknowledge that the current manuscript presents the Rössler and Lorenz examples at a summary level without the detailed step-by-step computations. In the revised version we will add a new subsection that explicitly computes the equivalence classes of directed cycles under the newly introduced relation, derives the corresponding generatex semigroups, and compares both objects with the directed homology groups. These calculations will confirm that the classes are distinct and that concatenability follows directly from the semigroup operation without extra choices. revision: yes

  2. Referee: The central claim that the two invariants are separable through forgetful functors and yield a robust non-metric chaos criterion therefore rests on unshown steps; the manuscript must exhibit at least one concrete calculation (e.g., the generatex semigroup for the Rössler attractor and its comparison with the homology groups) to substantiate independence.

    Authors: We agree that a concrete, fully worked example is required to substantiate separability via forgetful functors. The revision will include an explicit computation of the generatex semigroup for the Rössler attractor together with its comparison to the homology groups. This will illustrate how the two classes of invariants are separated by the forgetful functors and will furnish the non-metric chaos criterion directly from the data. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the functorial construction

full rationale

The paper defines a directed path algebra, an edge operator, and an equivalence relation on directed cycles that is explicitly distinguished from directed homologies, then constructs abelian-group invariants (homology groups) and semigroup invariants (generatex semigroups) via forgetful functors. These steps rely on standard category-theoretic operations applied to the templex; no parameters are fitted to data and then relabeled as predictions, no self-citations supply load-bearing uniqueness theorems, and no ansatz is smuggled through prior work. The non-metric chaos criterion and concatenability of Topological Modes of Variability are direct consequences of the semigroup structure rather than tautological redefinitions. The Rössler, Lorenz, climatic, and speech examples function as illustrations, not as the source of the definitions themselves. The derivation chain therefore remains self-contained against external category-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The framework rests on standard category-theory axioms plus the postulate that a distinct equivalence on directed cycles can be defined independently of homology; no free parameters or new physical entities are introduced in the abstract.

axioms (2)
  • standard math Standard axioms of category theory for functors, algebras, and forgetful functors
    Invoked to define the directed path algebra and to separate the two classes of invariants.
  • domain assumption Existence of an equivalence relation on directed cycles that is distinct from directed homology
    Stated as the basis for the new semigroup invariants.
invented entities (2)
  • templex no independent evidence
    purpose: Topological object bridging homologies and templates for chaotic dynamics
    Central object placed inside category theory; no independent existence proof supplied.
  • generatex semigroups no independent evidence
    purpose: Semigroup invariants extracted from the directed path algebra
    New algebraic structure whose properties are asserted to follow from the path algebra.

pith-pipeline@v0.9.0 · 5458 in / 1505 out tokens · 30969 ms · 2026-05-16T05:51:17.455195+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

43 extracted references · 43 canonical work pages

  1. [1]

    S. L. Brunton, B. R. Noack, and P. Koumoutsakos, An- nual review of fluid mechanics52, 477 (2020)

    work page 2020

  2. [2]

    Gilmore, Rev

    R. Gilmore, Rev. Mod. Phys.4, 1455 (1998)

    work page 1998

  3. [3]

    Ghil and D

    M. Ghil and D. Sciamarella, Nonlinear Processes in Geo- physics30, 399 (2023)

    work page 2023

  4. [4]

    Letellier and V

    C. Letellier and V. Messager, International Journal of Bifurcation and Chaos20, 3585 (2010)

    work page 2010

  5. [5]

    Gilmore and M

    R. Gilmore and M. Lefranc,The Topology of Chaos: Alice in Stretch and Squeezeland(John Wiley & Sons, 2012)

    work page 2012

  6. [6]

    G. E. Karniadakis, I. G. Kevrekidis, L. Lu, P. Perdikaris, S. Wang, and L. Yang, Nature Reviews Physics3, 422 (2021)

    work page 2021

  7. [7]

    J. S. Birman and R. F. Williams, Topology22, 47 (1983)

    work page 1983

  8. [8]

    Lefranc, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics74, 035202 (2006)

    M. Lefranc, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics74, 035202 (2006)

    work page 2006

  9. [9]

    Mangiarottiet al., Habilitation to direct Researches, Universit´ e de Toulouse3(2014)

    S. Mangiarottiet al., Habilitation to direct Researches, Universit´ e de Toulouse3(2014)

    work page 2014

  10. [10]

    L. C. Kinsey,Topology of Surfaces(Springer Science & Business Media, 2012)

    work page 2012

  11. [11]

    Sciamarella and G

    D. Sciamarella and G. B. Mindlin, Phys. Rev. Lett.82, 1450 (1999)

    work page 1999

  12. [12]

    Sciamarella and G

    D. Sciamarella and G. B. Mindlin, Phys. Rev. E64, 036209 (2001)

    work page 2001

  13. [13]

    G. D. Char´ o, G. Artana, and D. Sciamarella, Phys. D 405, 132371 (2020)

    work page 2020

  14. [14]

    Grandis, Cahiers de Topologie et G´ eom´ etrie Diff´ erentielle Cat´ egoriques44, 281 (2003)

    M. Grandis, Cahiers de Topologie et G´ eom´ etrie Diff´ erentielle Cat´ egoriques44, 281 (2003)

    work page 2003

  15. [15]

    Goubault, inProceedings of the Workshop on Geome- try and Topology in Concurrency Theory, Vol

    E. Goubault, inProceedings of the Workshop on Geome- try and Topology in Concurrency Theory, Vol. 81 (Elec- tronic Notes in Theoretical Computer Science, 2003) pp. 1–39

    work page 2003

  16. [16]

    Gaucher, Mathematical Structures in Computer Sci- ence15, 409 (2005)

    P. Gaucher, Mathematical Structures in Computer Sci- ence15, 409 (2005)

    work page 2005

  17. [17]

    Grandis,Directed Algebraic Topology: Models of Non-Reversible Worlds, New Mathematical Monographs, Vol

    M. Grandis,Directed Algebraic Topology: Models of Non-Reversible Worlds, New Mathematical Monographs, Vol. 13 (Cambridge University Press, Cambridge, 2009)

    work page 2009

  18. [18]

    G. D. Char´ o, C. Letellier, and D. Sciamarella, Chaos: An Interdisciplinary Journal of Nonlinear Science32, 083108 (2022)

    work page 2022

  19. [19]

    Sciamarella and G

    D. Sciamarella and G. D. Char´ o, inTopological Methods for Delay and Ordinary Differential Equations: With Ap- plications to Continuum Mechanics(Springer, 2024) pp. 191–211

    work page 2024

  20. [20]

    Mosto, G

    C. Mosto, G. D. Char´ o, C. Letellier, and D. Sciamarella, Chaos: An Interdisciplinary Journal of Nonlinear Science 34(2024)

    work page 2024

  21. [21]

    Y. Zou, R. V. Donner, N. Marwan, J. F. Donges, and J. Kurths, Physics Reports787, 1 (2019)

    work page 2019

  22. [22]

    J. H. C. Whitehead, Bulletin of the American Mathemat- ical Society55, 213 (1949)

    work page 1949

  23. [23]

    Sciamarella, Templex: A bridge between homologies and templates for chaotic attractors, Wolfram Commu- nity, STAFF PICKS (2023), accessed: 2023-12-07

    D. Sciamarella, Templex: A bridge between homologies and templates for chaotic attractors, Wolfram Commu- nity, STAFF PICKS (2023), accessed: 2023-12-07

    work page 2023

  24. [24]

    Eilenberg and S

    S. Eilenberg and S. Mac Lane, Transactions of the Amer- ican Mathematical Society58, 231 (1945)

    work page 1945

  25. [25]

    Mac Lane,Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol

    S. Mac Lane,Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol. 5 (Springer, 1971)

    work page 1971

  26. [26]

    E. N. Lorenz, J. Atmos. Sci.20, 130 (1963)

    work page 1963

  27. [27]

    O. E. R¨ ossler, Physics Letters A57, 397 (1976)

    work page 1976

  28. [28]

    G. D. Char´ o, D. Sciamarella, J. Ruiz, S. Pierini, and M. Ghil, Chaos: An Interdisciplinary Journal of Nonlin- ear ScienceXX(2025)

    work page 2025

  29. [29]

    G. D. Char´ o, G. Artana, and D. Sciamarella, J. Fluid Mech.923, A17 (2021). 15

    work page 2021

  30. [30]

    Edelsbrunner and J

    H. Edelsbrunner and J. L. Harer, American Mathemat- ical Society (2010), see Chapter III for ˇCech and Vi- etoris–Rips complexes

    work page 2010

  31. [31]

    J. R. Munkres,Elements of Algebraic Topology(Addison- Wesley, 1984)

    work page 1984

  32. [32]

    Bauer, D

    U. Bauer, D. Hien, O. Junge, and K. Mischaikow, arXiv preprint arXiv:2312.04734 (2023)

    work page arXiv 2023

  33. [33]

    S. G. H. Philander,El Ni˜ no and the Southern Oscilla- tion.(Academic Press, New York, 1990)

    work page 1990

  34. [34]

    Ghil and V

    M. Ghil and V. Lucarini, Reviews of Modern Physics92, 035002 (2020)

    work page 2020

  35. [35]

    G. D. Char´ o, M. D. Chekroun, D. Sciamarella, and M. Ghil, Chaos: An Interdisciplinary Journal of Non- linear Science31, 103115 (2021)

    work page 2021

  36. [36]

    Pierini and M

    S. Pierini and M. Ghil, Sci. Rep.11, 1 (2021)

    work page 2021

  37. [37]

    Ashwin, U

    P. Ashwin, U. Feudel, M. Ghil, K. Lehnertz, J.-P. Ortega, and M. Rasmussen, Chaos: An Interdisciplinary Journal of Nonlinear Science36(2026)

    work page 2026

  38. [38]

    J. G. ˇSvˇ ec and Z. Zhang, Philosophical Transactions of the Royal Society B380, 20240018 (2025)

    work page 2025

  39. [39]

    Strommen, M

    K. Strommen, M. Chantry, J. Dorrington, and N. Otter, Climate Dynamics60, 1415 (2023)

    work page 2023

  40. [40]

    Letellier, L

    C. Letellier, L. Kamdjeu Kengne, M. Zhao, and L. Mi- nati, Chaos: An Interdisciplinary Journal of Nonlinear Science35(2025)

    work page 2025

  41. [41]

    Crisan, S

    D. Crisan, S. Galatolo, M. Ghil, S. Pierini, D. Scia- marella, and T. T´ el, Chaos: An Interdisciplinary Journal of Nonlinear Science36, 040403 (2026)

    work page 2026

  42. [42]

    Maraldi, H

    B. Maraldi, H. A. Dijkstra, and M. Ghil, Chaos: An Interdisciplinary Journal of Nonlinear Science35, 10.1063/5.0253103 (2025)

    work page doi:10.1063/5.0253103 2025

  43. [43]

    G. D. Char´ o, M. Ghil, and D. Sciamarella, Chaos: An Interdisciplinary Journal of Nonlinear Science33(2023)

    work page 2023