Abstract:While studying gradient dynamical systems (DSs), Morse introduced the idea of encoding the qualitative behavior of a DS into a graph. Smale later refined Morse's idea and extended it to Axiom-A diffeomorphisms on manifolds. In Smale's vision, nodes are indecomposable closed invariant subsets of the non-wandering set with a dense orbit and there is an edge from node N to node M if the unstable manifold of N intersects the stable manifold of M. Since then, the decomposition of the non-wandering set was studied in many other settings, while the edges component of Smale's construction has been often overlooked. In the same years, more sophisticated generalizations of the non-wandering set were elaborated first by Auslander in 60s, by Conley in 70s and later by Easton and other authors. In our language, each of these generalizations involves the introduction of a closed and transitive extension of the non-wandering relation, that is closed but not transitive. In the present article, we develop a theory that generalizes at the same time both these lines of research. We study the general properties of closed transitive relations ("streams") containing the space of orbits of a discrete- or continuous-time semi-flow and we argue that these relations play a central role in the qualitative study of DSs. All most studied concepts of recurrence currently in literature can be defined in terms of our streams. Finally, we show how to associate to each stream a graph encoding its qualitative properties. Our main general result is that each stream of a semi-flow with "compact dynamics" has a connected graph. The range of semi-flows covered by our theorem goes from 1-dimensional discrete-time systems like the logistic map up to infinite-dimensional continuous-time systems like the semi-flow of quasilinear parabolic reaction-diffusion PDEs.

Derivation of normal forms for dispersive PDEs via arborification

Algebraic structures on typed decorated rooted trees

Approximations of dispersive PDEs in the presence of low-regularity randomness

Geometric embedding for regularity structures

A Survey on the Munthe-Kaas-Wright Hopf Algebra

Hopf algebras of rooted forests, cocyles, and free Rota-Baxter algebras

A decomposition theorem for the affine Springer fibers

Lecture notes on tree-free regularity structures

Spreading out the Hodge filtration in non-archimedean geometry

Hopf Arborescent Links, Minor Theory, and Decidability of the Genus Defect

Perverse schobers, stability conditions and quadratic differentials II: relative graded Brauer graph algebras

From Hurwitz numbers to Feynman diagrams: counting rooted trees in log gravity

Determining Geodesic Distance on Arbitrary-order Subdivision of Tree with Applications

The Hopf Decomposition

The Schrödinger equation with fractional Laplacian on hyperbolic spaces and homogeneous trees

On the tree models of mildly dissipative maps

Differentials on Forested and Hairy Graph Complexes with Dishonest Hairs

Formulation of the Normal Form of Turing-Hopf Bifurcation in Partial Functional Differential Equations

Kinematic Hopf algebra for amplitudes from higher-derivative operators

Homotopy Hubbard Trees for post-singularly finite exponential maps

Streams and Graphs of Dynamical Systems