pith. sign in

arxiv: 2606.30925 · v1 · pith:VEBFUXB2new · submitted 2026-06-29 · 🧮 math.DS

Compositionality of Global Dynamics in Product and Skew-Product Systems

Pith reviewed 2026-07-01 01:00 UTC · model grok-4.3

classification 🧮 math.DS
keywords attractor latticeConley theoryproduct systemsskew-product systemsglobal dynamicscompositionalityrecurrent dynamics
0
0 comments X

The pith

The attractor lattice of the direct product of two flows is isomorphic to the coproduct of the attractor lattices of the component flows.

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

The paper shows that global structures of recurrent dynamics in product flows can be assembled directly from the structures of the separate flows. It proves an algebraic isomorphism between the attractor lattice of a combined system and the coproduct of the lattices from each factor. This relation holds under Conley theory for continuous flows. The same approach is applied to certain skew-product systems that arise from singular perturbations of parameterized equations. The outcome is a way to break large dynamical systems into lower-dimensional pieces while preserving the overall organization of attractors and recurrence.

Core claim

We prove that the attractor lattice of the direct product of two flows is isomorphic to the coproduct of the attractor lattices of the component flows. This algebraic characterization of the attractor lattice and the order structure of recurrent dynamics extends to fast-slow skew-product systems obtained from singular perturbation of parameterized dynamical systems, providing a framework for decomposing global dynamics into lower-dimensional subsystems.

What carries the argument

The attractor lattice in Conley theory, which encodes the order structure of recurrent dynamics and supports an algebraic coproduct operation for direct products of flows.

If this is right

  • Global dynamics of product systems decompose algebraically into lower-dimensional subsystems via the coproduct construction.
  • Conley-Morse representations can be constructed computationally through composition of component systems.
  • Skew-product systems from singular perturbations inherit similar compositional structure from the underlying parameterized equations.

Where Pith is reading between the lines

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

  • The isomorphism may allow separate computation of attractors in each factor followed by algebraic assembly for the product.
  • This decomposition could extend to chains of multiple factors or to other categorical constructions beyond direct products.
  • Numerical methods for Conley index computation might be accelerated by handling subsystems independently before combining results.

Load-bearing premise

The systems are continuous flows on spaces where Conley theory applies with well-defined attractor lattices and order structures of recurrent dynamics.

What would settle it

An explicit pair of flows whose product attractor lattice fails to be isomorphic to the coproduct of the individual attractor lattices.

Figures

Figures reproduced from arXiv: 2606.30925 by Tony Wehbe, William D. Kalies.

Figure 2.1
Figure 2.1. Figure 2.1: Left: Phase line. Middle: A sublattice of attracting neighborhoods. Right: Lat￾tice of attractors for the bistable flow (2.3). RNbhdpϕq and Reppϕq are also bounded, distributive lattices with operations Y, X. More￾over, the vertical maps in Diagram 2.1 are lattice homomorphisms, and the horizontal maps are lattice anti-isomorphisms, and hence order is reversed. 2.3 Order structure of recurrent components… view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: Far left: Phase portrait of Φ. Left-middle: Attpϕiq. Right-middle: Attpϕ1q > Attpϕ2q. Far right: AttpΦq. In Example 4.5, there is a lattice isomorphism map ι : Attpϕ1q > Attpϕ2q ! AttpΦq. The discrete-time system in the following example shows this need not hold for maps. Example 4.6 Consider the discrete-time dynamical system defined by xn`1 “ fpxnq :“ ´ tanhp2xnq. It exhibits an attracting period-2 cyc… view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Left: Attpfq. Middle: Attpfq > Attpfq. Right: AttpFq; the red attractors A1 and A2 are not in the coproduct Attpfq > Attpfq. The coproduct is a proper sublattice of AttpFq, because the product P ˆ P contains two attracting periodic orbits p˘p, ¯pq,p˘p, ˘pq that are not generated by elements of L1 Y L2. Example 4.6 shows that Attpfq > Attpfq ã! AttpFq need not be surjective. However, for flows this map is… view at source ↗
Figure 4.3
Figure 4.3. Figure 4.3: Left: RCpϕiq. Middle: RCpϕ1q ˆRCpϕ2q. Right: RCpΦq. The surjection in Eqn. 4.1 maps A1 7! A1 Y A2 and A2 7! A1 Y A2. For flows, recurrent components behave well with respect to products. Theorem 4.12 The product flow Φ “ ϕ1 ˆ ϕ2 satisfies RCpΦq – RCpϕ1q ˆ RCpϕ2q. Proof. By Theorem 5.9 in [3], for a flow on a compact metric space, the recurrent compo￾nents are the connected components of R. For C1 P RCpϕ1… view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: Schematic neighborhoods and section for the skew-product construction. On Y , U Ă Y is an open attracting neighborhood of the attractor A “ ωψpUq Ă U. The red set represents a section y 7! σpyq P Attpϕ0p¨, ¨, yqq, with solid red portion σ|A and dashed red continuation over U. Blue brackets indicate a finite cover Vi Ă int Y pWq of the interior of a compact base attracting block W Ă U; green brackets deno… view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2: Three elements whose pairwise meets coincide in the cascade (right). The ar [PITH_FULL_IMAGE:figures/full_fig_p027_5_2.png] view at source ↗
Figure 6.1
Figure 6.1. Figure 6.1: (a) Phase portrait of the system (6.1) plotted in py, xq-coordinates for ϵ “ 1. (b) Attractor lattice for the coupled skew-product system, where P :“ p´1 2 , 0q, Q :“ p 1 2 , 0q, S :“ p 1 2 , aq [PITH_FULL_IMAGE:figures/full_fig_p031_6_1.png] view at source ↗
Figure 6.2
Figure 6.2. Figure 6.2: H t0u H t´ 1 2 u t 1 2 u t´ 1 2 , 1 2 u r´ 1 2 , 1 2 s H t0u tau t0, au r0, as [PITH_FULL_IMAGE:figures/full_fig_p032_6_2.png] view at source ↗
Figure 6.3
Figure 6.3. Figure 6.3: Diagram of sections in Π0rAtts. Left: Sections over r´1, ´ 1 4 q that cover the base attractor t´1 2 u. Middle: Sections over r´1, 1s that cover the base attractor r´1 2 , 1 2 s. Right: Sections over p 1 4 , 1s that cover the base attractor t 1 2 u. In this example, the procedure recovers the full attractor lattice of the coupled skew￾product system: @ hϵ ` Attpψq ˙ Π0rAtts ˘D Lat “ AttpΦϵq. Remark 6.2 N… view at source ↗
Figure 6.4
Figure 6.4. Figure 6.4: Parametrized flow (y9 “ 0). The curve px ´ 1q 2 ` y 2 “ 1 2 defines an isola of equilibria for |y| ď a 1{2 in the py, xq-plane. This example shows that the attractor sheaf Π0rAtts can have structure that is not seen in the dynamics of the skew-product. 6.4 Example for the necessity of the slow flow on the base of a skew-product system To introduce the dependence on slow parameter dynamics, we consider th… view at source ↗
Figure 6.5
Figure 6.5. Figure 6.5: Left: Projection of parametrized system (u9 “ v9 “ 0) onto the px1, uq-plane is a hysteresis curve. Right: Projections of the attracting invariant set into px1, uq-space for increasing values of ϵ “ 0.01, 0.1, 1 [PITH_FULL_IMAGE:figures/full_fig_p036_6_5.png] view at source ↗
read the original abstract

We study the compositionality of global dynamics through attractor lattices and order structures of recurrent dynamics in product and skew-product systems using Conley theory. For product systems, these structures can be characterized algebraically in terms of the structure of component systems, where we prove that the attractor lattice of the direct product of two flows is isomorphic to the coproduct of the attractor lattices of the component flows. We also consider fast-slow, skew-product systems that arise from singular perturbation of a parameterized dynamical system. These results provide a framework for decomposing global dynamics into lower-dimensional subsystems and suggest computational approaches for constructing Conley-Morse representations through composition.

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

Summary. The paper uses Conley theory to study compositionality of global dynamics in product and skew-product systems. For continuous flows on spaces admitting well-defined attractor lattices, it proves that the attractor lattice of the direct product of two flows is isomorphic to the coproduct of the attractor lattices of the component flows. It further examines fast-slow skew-product systems arising from singular perturbations of parameterized dynamical systems and outlines a framework for decomposing global dynamics into lower-dimensional subsystems, including computational approaches for Conley-Morse representations.

Significance. If the isomorphism holds, the result supplies an algebraic decomposition of attractor lattices under products, enabling reduction of high-dimensional Conley-Morse graphs to component systems. This is a concrete strength for computational dynamics, as it directly supports compositional construction of global invariants without requiring new parameter fitting or ad-hoc reductions.

minor comments (2)
  1. The abstract invokes 'order structures of recurrent dynamics' without a forward reference to the precise poset or lattice axioms used; a brief definition or citation in §2 would clarify the setup for readers outside Conley theory.
  2. Notation for the coproduct operation on lattices is introduced only in the statement of the main theorem; an earlier display equation defining the coproduct explicitly would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the thorough reading and positive recommendation to accept the manuscript. The report contains no major comments requiring response.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes an algebraic isomorphism between the attractor lattice of a product flow and the coproduct of component lattices via Conley theory. This is a standard mathematical derivation relying on external, pre-existing structures in dynamical systems (attractor lattices, order structures of recurrent dynamics) rather than any self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The abstract explicitly frames the result as a characterization and proof under the invoked hypotheses, with no reduction of the central claim to its own inputs by construction. The derivation chain remains self-contained against external benchmarks in Conley theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review based on abstract only; no specific free parameters, axioms, or invented entities extractable beyond standard assumptions of Conley theory in dynamical systems.

axioms (1)
  • domain assumption Conley theory applies to the flows and skew-products under consideration, providing well-defined attractor lattices and order structures.
    Invoked throughout the abstract as the foundational tool for studying compositionality.

pith-pipeline@v0.9.1-grok · 5628 in / 1163 out tokens · 35548 ms · 2026-07-01T01:00:57.833597+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

38 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    Compositionality6(2024)

    Aduddell, R., Fairbanks, J., Kumar, A., Ocal, P .S., Patterson, E., Shapiro, B.T.: A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks. Compositionality6(2024). URL https://doi.org/10.32408/compositionality-6-2

  2. [2]

    Arai, Z., Kalies, W., Kokubu, H., Mischaikow, K., Oka, H., Pilarczyk, P .: A database schema for the analysis of global dynamics of multiparameter systems. SIAM J. Appl. Dyn. Syst.8(3), 757–789 (2009). URLhttps: //doi.org/10.1137/080734935 Compositionality of Global Dynamics in Product and Skew-Product Systems 37

  3. [3]

    Proyecciones (Antofagasta)25(1), 79–109 (2006)

    Ayala, J., Corbin, P ., McConville, K., Colonius, F., Kliemann, W., Peters, J.: Morse decomposition, attractors and chain recurrence. Proyecciones (Antofagasta)25(1), 79–109 (2006). URLhttps://www.scielo.cl/ pdf/proy/v25n1/art06.pdf

  4. [4]

    In: Proceedings of Applied Category Theory 2022,Electronic Proceedings in Theoretical Computer Science, vol

    Baez, J.C., Li, X., Libkind, S., Osgood, N., Patterson, E.: Compositional modeling with stock and flow dia- grams. In: Proceedings of Applied Category Theory 2022,Electronic Proceedings in Theoretical Computer Science, vol. 380, pp. 62–78 (2023). DOI 10.4204/EPTCS.380.5. URLhttps://cgi.cse.unsw.edu.au/~eptcs/ paper.cgi?ACT2022.5

  5. [5]

    Bortolan, M.C., Caraballo, T., Carvalho, A.N., Langa, J.A.: Skew product semiflows and Morse decomposition. J. Differential Equations255(8), 2436–2462 (2013). DOI 10.1016/j.jde.2013.06.023. URLhttps://doi.org/ 10.1016/j.jde.2013.06.023

  6. [6]

    Society for Industrial and Applied Mathemat- ics, Philadelphia, PA (2024)

    Bramburger, J.J.: Data-Driven Methods for Dynamic Systems. Society for Industrial and Applied Mathemat- ics, Philadelphia, PA (2024). DOI 10.1137/1.9781611978162. URLhttps://epubs.siam.org/doi/book/ 10.1137/1.9781611978162

  7. [7]

    Proceedings of the National Academy of Sciences113(15), 3932–3937 (2016)

    Brunton, S.L., Proctor, J.L., Kutz, J.N.: Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proceedings of the National Academy of Sciences113(15), 3932–3937 (2016)

  8. [8]

    Density-Functional, D

    Bush, J., Gameiro, M., Harker, S., Kokubu, H., Mischaikow, K., Obayashi, I., Pilarczyk, P .: Combinatorial- topological framework for the analysis of global dynamics. Chaos22(4), 047508, 16 (2012). DOI 10.1063/1. 4767672. URLhttps://doi.org/10.1063/1.4767672

  9. [9]

    Conley, C.: Isolated Invariant Sets and the Morse Index,CBMS Regional Conference Series in Mathematics, vol. 38. American Mathematical Society, Providence, R.I. (1978)

  10. [10]

    Journal of the Australian Mathematical Society XX(2), 145–155 (1975)

    Cornish, W.H.: Coproducts of bounded distributive lattices. Journal of the Australian Mathematical Society XX(2), 145–155 (1975)

  11. [11]

    SIAM Journal on Applied Dynamical Systems15(4), 2176–2212 (2016)

    Cummins, B., Gedeon, T., Harker, S., Mischaikow, K., Mok, K.: Combinatorial representation of parameter space for switching networks. SIAM Journal on Applied Dynamical Systems15(4), 2176–2212 (2016). DOI 10.1137/15M1052743. URLhttps://doi.org/10.1137/15M1052743

  12. [12]

    Cambridge University Press pp

    Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press pp. xii+298 (2002). URLhttp://www.ams.org/mathscinet/search/publications.html?pg1=MR&s1= MR1902334

  13. [13]

    Dowling, K.: A sheaf-theoretic approach to continuation in dynamics. Ph.D. thesis, Rutgers, the State Univer- sity of New Jersey (2024). URLhttps://rucore.libraries.rutgers.edu/rutgers-lib/71721/

  14. [14]

    Dowling, K.A., Kalies, W.D., Vandervorst, R.C.A.M.: Continuation sheaves in dynamics: sheaf cohomology and bifurcation. J. Differential Equations367, 124–198 (2023). DOI 10.1016/j.jde.2023.04.041. URLhttps: //doi.org/10.1016/j.jde.2023.04.041

  15. [15]

    MIT Press (2019)

    Fong, B., Spivak, D.I.: Seven Sketches in Compositionality: An Invitation to Applied Category Theory. MIT Press (2019)

  16. [16]

    Gameiro, M., Gedeon, T., Kalies, W., Kokubu, H., Mischaikow, K., Oka, H.: Topological horseshoes of traveling waves for a fast-slow predator-prey system. J. Dynam. Differential Equations19(3), 623–654 (2007). DOI 10.1007/s10884-006-9013-6. URLhttps://doi.org/10.1007/s10884-006-9013-6

  17. [17]

    URL https://arxiv.org/abs/2412.11078

    Gameiro, M., Gedeon, T., Kokubu, H., Mischaikow, K., Oka, H., Rivas, B., Vieira, E., Gameiro, D.: Global dynamics of ordinary differential equations: Wall labelings, conley complexes, and ramp systems (2024). URL https://arxiv.org/abs/2412.11078

  18. [18]

    SIAM Journal on Applied Dynamical Systems (2025)

    Gameiro, M., Gelb, B., Kalies, W., Kramar, M., Mischaikow, K., Tatasciore, P .: Data-driven identification of attractors using machine learning. SIAM Journal on Applied Dynamical Systems (2025). DOI 10.1137/ 25M1765547. URLhttps://doi.org/10.1137/25M1765547

  19. [19]

    PLOS Com- putational Biology14(4), 1–23 (2018)

    Gedeon, T., Cummins, B., Harker, S., Mischaikow, K.: Identifying robust hysteresis in networks. PLOS Com- putational Biology14(4), 1–23 (2018). DOI 10.1371/journal.pcbi.1006121. URLhttps://doi.org/10. 1371/journal.pcbi.1006121

  20. [20]

    Gedeon, T., Kokubu, H., Mischaikow, K., Oka, H.: The Conley index for fast–slow systems. II. Multidimen- sional slow variable. J. Differential Equations225(1), 242–307 (2006). DOI 10.1016/j.jde.2005.11.006. URL https://doi.org/10.1016/j.jde.2005.11.006

  21. [21]

    Gedeon, T., Kokubu, H., Mischaikow, K., Oka, H., Reineck, J.F.: The Conley index for fast-slow systems. I. One-dimensional slow variable. J. Dynam. Differential Equations11(3), 427–470 (1999). DOI 10.1023/A: 1021961819853. URLhttps://doi.org/10.1023/A:1021961819853 38 William D. Kalies, Tony Wehbe

  22. [22]

    Proceedings of the Amer- ican Mathematical Society23(2), 301–312 (1969)

    Grätzer, G., Lakser, H.: Chain conditions in the distributive free product of lattices. Proceedings of the Amer- ican Mathematical Society23(2), 301–312 (1969)

  23. [23]

    Harker, S., Mischaikow, K., Spendlove, K.: A computational framework for connection matrix theory. J. Appl. Comput. Topol.5(3), 459–529 (2021). DOI 10.1007/s41468-021-00073-3. URLhttps://doi.org/10.1007/ s41468-021-00073-3

  24. [24]

    Journal of Dynamics and Differential Equations7(3), 437–456

    Hurley, M.: Chain recurrence, semiflows, and gradients. Journal of Dynamics and Differential Equations7(3), 437–456. DOI 10.1007/BF02219371. URLhttps://doi.org/10.1007/BF02219371

  25. [25]

    Qualitative Theory of Dynamical Systems24(4), 186 (2025)

    Kalies, W., Vandervorst, R.: Priestley duality and representations of global dynamics. Qualitative Theory of Dynamical Systems24(4), 186 (2025). DOI 10.1007/s12346-025-01343-6. URLhttps://doi.org/10. 1007/s12346-025-01343-6

  26. [26]

    SIAM Journal on Applied Dynamical Systems17(2), 1617–1649 (2018)

    Kalies, W.D., Kasti, D., Vandervorst, R.: An algorithmic approach to lattices and order in dynamics. SIAM Journal on Applied Dynamical Systems17(2), 1617–1649 (2018). DOI 10.1137/17M1139606. URLhttps: //doi.org/10.1137/17M1139606

  27. [27]

    Kalies, W.D., Mischaikow, K., Vandervorst, R.: An algorithmic approach to chain recurrence. Found. Com- put. Math.5(4), 409–449 (2005). DOI 10.1007/s10208-004-0163-9. URLhttp://dx.doi.org/10.1007/ s10208-004-0163-9

  28. [28]

    Kalies, W.D., Mischaikow, K., Vandervorst, R.C.A.M.: Lattice structures for attractors I. J. Comput. Dyn.1(2), 307–338 (2014). DOI 10.3934/jcd.2014.1.307. URLhttps://doi.org/10.3934/jcd.2014.1.307

  29. [29]

    Kalies, W.D., Mischaikow, K., Vandervorst, R.C.A.M.: Lattice structures for attractors II. Found. Com- put. Math.16(5), 1151–1191 (2016). DOI 10.1007/s10208-015-9272-x. URLhttps://doi.org/10.1007/ s10208-015-9272-x

  30. [30]

    Journal of Dynamics and Differential Equations (2021)

    Kalies, W.D., Mischaikow, K., Vandervorst, R.C.A.M.: Lattice structures for attractors III. Journal of Dynamics and Differential Equations (2021). DOI 10.1007/s10884-021-10056-8. URLhttps://doi.org/10.1007/ s10884-021-10056-8

  31. [31]

    An algebra of open continuous time dynamical systems and networks

    Lerman, E., Spivak, D.I.: An algebra of open continuous time dynamical systems and networks (2016). URL https://arxiv.org/abs/1602.01017

  32. [32]

    Phd dissertation, Stanford University (2023)

    Libkind, S.: Composition and computation in dynamical systems. Phd dissertation, Stanford University (2023). URLhttps://purl.stanford.edu/pg155jp4457

  33. [33]

    Journal of Dynamics and Differential Equa- tions11(3), 399–424 (1999)

    Mischaikow, K., Mrozek, M., Reineck, J.F.: Singular index pairs. Journal of Dynamics and Differential Equa- tions11(3), 399–424 (1999). DOI 10.1023/A:1022016214817

  34. [34]

    Acta Mathematica13, 1–270 (1890)

    Poincaré, H.: Sur le problème des trois corps et les équations de la dynamique. Acta Mathematica13, 1–270 (1890). DOI 10.1007/BF02392506. URLhttps://doi.org/10.1007/BF02392506

  35. [35]

    Studies in Ad- vanced Mathematics

    Robinson, C.: Dynamical Systems: Stability, Symbolic Dynamics, and Chaos, second edn. Studies in Ad- vanced Mathematics. CRC Press, Boca Raton, FL (1999)

  36. [36]

    Sacker, R.J., Sell, G.R.: Lifting properties in skew-product flows with applications to differential equations. Mem. Amer. Math. Soc.11(190), iv+67 (1977). DOI 10.1090/memo/0190. URLhttps://doi.org/10. 1090/memo/0190

  37. [37]

    Bulletin of the American Mathematical Society66(1), 43–49 (1960)

    Smale, S.: Morse inequalities for a dynamical system. Bulletin of the American Mathematical Society66(1), 43–49 (1960)

  38. [38]

    In: IEEE International Conference on Robotics and Automation (ICRA), pp

    Vieira, E.R., Sivaramakrishnan, A., Tangirala, S., Granados, E., Mischaikow, K., Bekris, K.E.: Morals: Analysis of high-dimensional robot controllers via topological tools in a latent space. In: IEEE International Conference on Robotics and Automation (ICRA), pp. 27–33 (2024). DOI 10.1109/ICRA57142.2024.10611467. URLhttps: //doi.org