We prove the existence of a continuous Morse energy function for an arbitrary topological flow with finite hyperbolic (in topological sense) chain recurrent set on a topological manifold of any dimension. This result is a partial solution of the Morse problem of existence of continuous Morse functions on any topological manifolds. Namely, we prove that a topological manifold admits a continuous Morse function if it admits a topological flow with finite hyperbolic chain recurrent set.
We analyze the chain recurrent set of skew product semiflows obtained from nonautonomous differential equations -- ordinary differential equations or semilinear parabolic differential equations. For many gradient-like dynamical systems, Morse-Smale dynamical systems e.g., the chain recurrent set contains only isolated equilibria. The structure in the asymptotically autonomous setting is richer but still close to to the structure of a Morse-Smale dynamical system. The main tool used in this paper is a nonautonomous flavour of Conley index theory developed by the author. We will see that for a c…
In this paper we survey three approaches to computing the homology of a finite dimensional compact smooth closed manifold using a Morse-Bott function and discuss relationships among the three approaches. The first approach is to perturb the function to a Morse function, the second approach is to use moduli spaces of cascades, and the third approach is to use the Morse-Bott multicomplex. With respect to an explicit perturbation (which can be used to derived the Morse-Bott inequalities), the first two approaches yield the same chain complex up to sign. The third approach is fundamentally differe…
We give a new proof of the Morse Homology Theorem by constructing a chain complex associated to a Morse-Bott-Smale function that reduces to the Morse-Smale-Witten chain complex when the function is Morse-Smale and to the chain complex of smooth singular $N$-cube chains when the function is constant. We show that the homology of the chain complex is independent of the Morse-Bott-Smale function by using compactified moduli spaces of time dependent gradient flow lines to prove a Floer-type continuation theorem.
The paradigm for singular continuous spectra in symbolic dynamics and in mathematical diffraction is provided by the Thue-Morse chain, in its realisation as a binary sequence with values in $\{\pm 1\}$. We revisit this example and derive a functional equation together with an explicit form of the corresponding singular continuous diffraction measure, which is related to the known representation as a Riesz product.
Let $f:M \rightarrow \mathbb{R}$ be a Morse-Bott function on a finite dimensional closed smooth manifold $M$. Choosing an appropriate Riemannian metric on $M$ and Morse-Smale functions $f_j:C_j \rightarrow \mathbb{R}$ on the critical submanifolds $C_j$, one can construct a Morse chain complex whose boundary operator is defined by counting cascades \cite{FraTheA}. Similar data, which also includes a parameter $ε> 0$ that scales the Morse-Smale functions $f_j$, can be used to define an explicit perturbation of the Morse-Bott function $f$ to a Morse-Smale function $h_ε:M \rightarrow \mathbb{R}$ \…
Fathi and Pageault have recently shown a connection between Auslander's generalized recurrent set $GR(f)$ and Easton's strong chain recurrent set. We study $GR(f)$ by examining that connection in more detail, as well as connections with other notions of recurrence. We give equivalent definitions that do not refer to a metric. In particular, we show that $GR(f^k)=GR(f)$ for any $k>0$, and give a characterization of maps for which the generalized recurrent set is different from the ordinary chain recurrent set.
This paper considers the egodicity properties in iterated function systems. First, we will introduce chain mixing and chain transitive iterated function systems then some results and examples are presented to compare with these notions in discrete dynamical systems. As our main result, using adding machine maps and topological conjugacy we show that chain mixing, chain transitive and chain recurrence properties in iterated function systems are equivalent.
We consider the Morse coding of the geodesic flow on the hyperbolic plane $H$ with respect to a Dirichlet fundamental domain $D$ of a Fuchsian group $Γ$. The main theorem states that the codes of all the generic geodesics constitute a $k$-step topological Markov chain, if and only if the fundamental domain $D$ is an ideal polygon (i.e. has all of its vertices on the absolute).
For a continuous flow on a compact metric space, the aim of this paper is to prove a Conley-type decomposition of the strong chain recurrent set. We first discuss in details the main properties of strong chain recurrent sets. We then introduce the notion of strongly stable set as an invariant set which is the intersection of the $ω$-limits of a specific family of nested and definitively invariant neighborhoods of itself. This notion strengthens the one of stable set; moreover, any attractor results strongly stable. We then show that strongly stable sets play the role of attractors in the decom…
The aim of this paper is to study in detail the relations between strong chain recurrence for flows and Lyapunov functions. For a continuous flow on a compact metric space, uniformly Lipschitz continuous on the compact subsets of the time, we first make explicit a Lipschitz continuous Lyapunov function strict -that is strictly decreasing- outside the strong chain recurrent set of the flow. This construction extends to flows some recent advances of Fathi and Pageault in the case of homeomorphisms; moreover, it improves Conley's result about the existence of a continuous Lyapunov function strict…
Let $ϕ:X\times\mathbb{R} \rightarrow X$ be a continuous flow on a compact metric space $(X,d)$. In this article we constructively prove the existence of a continuous Lyapunov function for $ϕ$ which is strictly decreasing outside $\mathcal{SCR}_d(ϕ)$. Such a result generalizes Conley's Fundamental Theorem of Dynamical Systems for the strong chain recurrent set.
We describe a rigorous and efficient computer algorithm for building a model of the dynamics of a polynomial diffeomorphism of C^2 on its chain recurrent set, and for sorting points into approximate chain transitive components. Further, we give explicit estimates which quantify how well this algorithm approximates the chain recurrent set and distinguishes the chain transitive components. We also discuss our implementation for the family of Henon mappings, f_{a,c}(x,y) = (x^2 + c - ay, x), into a computer program called Hypatia, and give several examples of running Hypatia on Henon mappings.
It is known by the Conley's theorem that the chain recurrent set $CR(ϕ)$ of a deterministic flow $ϕ$ on a compact metric space is the complement of the union of sets $B(A)-A$, where $A$ varies over the collection of attractors and $B(A)$ is the basin of attraction of $A$. It has recently been shown that a similar decomposition result holds for random dynamical systems on noncompact separable complete metric spaces, but under a so-called \emph{absorbing condition}. In the present paper, the authors introduce a notion of random chain recurrent sets for random dynamical systems, and then prove th…
The cell complex structure is one of the most fundamental structures in topology and combinatorics, the Morse decomposition of a dynamical system analyzes the global gradient behavior, and the Reeb graph of a function is an elementary tool in Morse theory to represent the global connection and is also used to analyze continuous and discrete data in topological data analysis. In this paper, we unify three concepts of cell complexes, Morse decompositions, and Reeb graphs into a concept. In fact, we introduce topological invariants for topological spaces and decompositions, which are analogous to…
For $C^0$ generic continuous maps or homeomorphisms on compact Riemannian manifold, we prove that (1) the space of physical-like measures coincides with the set of invariant measures supported on chain recurrent classes, (2) every point in the base space is typical (that is, for any point in the base space, its empirical measures are contained in the space of physical-like measures) and (3) there is a subset of strongly regular set with Lebesgue zero measure but has infinite topological entropy. Moreover, some comparison between $C^0$ generic systems and $C^0$ conservative generic systems are …
For Morse-Smale pairs on a smooth, closed manifold the Morse-Smale-Witten chain complex can be defined. The associated Morse homology is isomorphic to the singular homology of the manifold and yields the classical Morse relations for Morse functions. A similar approach can be used to define homological invariants for isolated invariant sets of flows on a smooth manifold, which gives an analogue of the Conley index and the Morse-Conley relations. The approach will be referred to as Morse-Conley-Floer homology.
In the recent publication (arxiv:2007.08063v2 [cs.LG]) a fast prediction algorithm for a single recurrent network (RN) was suggested. In this manuscript we generalize this approach to a chain of RNs and show that it can be implemented in natural neural systems. When the network is used recursively to predict sequence of values the proposed algorithm does not require to store the original input sequence. It increases robustness of the new approach compared to the standard moving/expanding window predictive procedure. We consider requirements on trained networks that allow to implement the propo…
This paper studies characteristic exponents of flows in relation with the dynamics of flows on flag bundles. The starting point is a flow on a principal bundle with semi-simple group $G$. Projection against the Iwasawa decomposition $G = KAN$ defines an additive cocycle over the flow with values in $\frak{a} = \log A$. Its Lyapunov exponents (limits along trajectories) and Morse exponents (limits along chains) are studied. It is proved a symmetric property of these spectral sets, namely invariance under the Weyl group. It is proved also that these sets are located in certain Weyl chambers, def…
We prove for a generic star vector field $X$ that, if for every chain recurrent class $C$ of $X$ all singularities in $C$ have the same index, then the chain recurrent set of $X$ is singular hyperbolic. We also prove that every Lyapunov stable chain recurrent class of $X$ is singular hyperbolic. As a corollary, we prove that the chain recurrent set of a generic 4-dimensional star flow is singular hyperbolic.
We consider topological Markov chains (also called Markov shifts) on countable graphs. We show that a transient graph can be extended to a recurrent graph of equal entropy which is either positive recurrent of null recurrent, and we give an example of each type. We extend the notion of local entropy to topological Markov chains and prove that a transitive Markov chain admits a measure of maximal entropy (or maximal measure) whenever its local entropy is less than its (global) entropy.
We construct topological invariants, called abstract weak orbit spaces, of flows and homeomorphisms on topological spaces, to describe both gradient dynamics and recurrent dynamics. In particular, the abstract weak orbit spaces of flows on topological spaces are generalizations of both Morse graphs of flows on compact metric spaces and Reeb graphs of Hamiltonian flows with finitely many singular points on surfaces. Moreover, we show that the abstract weak orbit spaces are complete and finite for several kinds of flows on manifolds, and we state several examples whose Morse graphs are singleton…
Let 0-CR denote the class of all metric compacta X such that the set of maps $f:X\to X$ with 0-dimensional sets CR(f) of chain recurrent points is a dense $G_δ$-subset of the mapping space C(X,X) (with the uniform convergence). We prove, among others, that countable products of polyhedra or locally connected curves belong to 0-CR. Compacta that admit, for each $ε>0$, an $ε$-retraction onto a subspace from 0-CR belong to 0-CR themselves. Perfect ANR-compacta or n-dimensional $LC^{n-1}$-compacta have perfect CR(f) for a generic self-map f. In the cases of polyhedra, compact Hilbert cube manifold…
We show that for a $C^1$ residual subset of diffeomorphisms far away from homoclinic tangency, the stable manifolds of periodic points cover a dense subset of the ambient manifold. This gives a partial proof to a conjecture of C. Bonatti.
Given two Morse functions $f, μ$ on a compact manifold $M$, we study the Morse homology for the Lagrange multiplier function on $M \times {\mathbb R}$ which sends $(x, η)$ to $f(x) + ημ(x)$. Take a product metric on $M \times {\mathbb R}$, and rescale its ${\mathbb R}$-component by a factor $λ^2$. We show that generically, for large $λ$, the Morse-Smale-Witten chain complex is isomorphic to the one for $f$ and the metric restricted to ${μ^{-1}(0)}$, with grading shifted by one. On the other hand, let $λ\to 0$, we obtain another chain complex, which is geometrically quite different but has the …
Consider a continuous flow of automorphisms of a G-principal bundle which is chain transitive on its compact Hausdorff base. Here G is a connected noncompact semi-simple Lie group with finite center. The finest Morse decomposition of the induced flows on the associated flag bundles were obtained in previous articles. Here we describe the stable sets of these Morse components and, under an additional assumption, their Conley indices.
We show that non-trivial chain recurrent classes for generic $C^1$ star flows satisfy a dichotomy: either they have zero topological entropy, or they must be isolated. Moreover, chain recurrent classes for generic star flows with zero entropy must be sectional hyperbolic, and cannot be detected by any non-trivial ergodic invariant probability. As a result, we show that $C^1$ generic star flows have only finitely many Lyapunov stable chain recurrent classes.
A shadowable point for a flow is a point where the shadowing lemma holds for pseudo-orbits passing through it. We prove that this concept satisfies the following properties: the set of shadowable points is invariant and a $G_δ$ set. A flow has the pseudo-orbit tracing property if and only if every point is shadowable. The chain recurrent and nonwandering sets coincide when every chain recurrent point is shadowable. The chain recurrent points which are shadowable are exactly those that can be are approximated by periodic points when the flow is expansive. We study the relations between shadowab…
Given a smooth closed manifold M, the Morse-Witten complex associated to a Morse function f and a Riemannian metric g on M consists of chain groups generated by the critical points of f and a boundary operator counting isolated flow lines of the negative gradient flow. Its homology reproduces singular homology of M. The geometric approach presented here was developed in [We-93] and is based on tools from hyperbolic dynamical systems. For instance, we apply the Grobman-Hartman theorem and the Lambda-Lemma (Inclination Lemma) to analyze compactness and define gluing for the moduli space of flow …
Conley in \cite{Con} constructed a complete Lyapunov function for a flow on compact metric space which is constant on orbits in the chain recurrent set and is strictly decreasing on orbits outside the chain recurrent set. This indicates that the dynamical complexity focuses on the chain recurrent set and the dynamical behavior outside the chain recurrent set is quite simple. In this paper, a similar result is obtained for random dynamical systems under the assumption that the base space $(Ω,\mathcal F,\mathbb P)$ is a separable metric space endowed with a probability measure. By constructing a…
This paper studies topological definitions of chain recurrence and shadowing for continuous endomorphisms of topological groups generalizing the relevant concepts for metric spaces. It is proved that in this case the sets of chain recurrent points and chain transitive component of the identity are topological subgroups. Furthermore, it is obtained that some dynamical properties induced by the original system on quotient spaces. These results link an algebraic property to a dynamical property.
Let $\g$ be a semisimple Lie algebra and $G = \Int(\g)$. In this article, we relate the Jordan decomposition of $X \in \g$ (or $g \in G$) with the dynamics induced on generalized flag manifolds by the right invariant continuous-time flow generated by $X$ (or the discrete-time flow generated by $g$). We characterize the recurrent set and the finest Morse decomposition (including its stable sets) of these flows and show that its entropy always vanishes. We characterize the structurally stable ones and compute the Conley index of the attractor Morse component. When the nilpotent part of $X$ is tr…
For continuous maps of compact metric spaces $f:X\to X$ and $g:Y\to Y$ and for various notions of topological recurrence, we study the relationship between recurrence for $f$ and $g$ and recurrence for the product map $f\times g:X\times Y \to X\times Y$. For the generalized recurrent set $GR$, we see that $GR(f\times g)=GR(f)\times GR(g)$. For the nonwandering set $NW$, we see that $NW(f\times g)\subset NW(f)\times NW(g)$ and give necessary and sufficient conditions on $f$ for equality for every $g$. We also consider product recurrence for the chain recurrent set, the strong chain recurrent se…
We prove the transversality result necessary for defining local Morse chain complexes with finite cyclic group symmetry. Our arguments use special regularized distance functions constructed using classical covering lemmas, and an inductive perturbation process indexed by the strata of the isotropy set. A global existence theorem for symmetric Morse-Smale pairs is also proved. Regarding applications, we focus on Hamiltonian dynamics and rigorously establish a local contact homology package based on discrete action functionals. We prove a persistence theorem, analogous to the classical shifting …
We consider explosions in the generalized recurrent set for homeomorphisms on a compact metric space. We provide multiple examples to show that such explosions can occur, in contrast to the case for the chain recurrent set. We give sufficient conditions to avoid explosions and discuss their necessity. Moreover, we explain the relations between explosions and cycles for the generalized recurrent set. In particular, for a compact topological manifold with dimension greater or equal $2$, we characterize explosion phenomena in terms of existence of cycles. We apply our results to give sufficient c…
We investigate the properties of chain recurrent, chain transitive, and chain mixing maps (generalizations of the well-known notions of non-wandering, topologically transitive, and topologically mixing maps). We describe the structure of chain transitive maps. These notions of recurrence are defined using $\ep$-chains, and the minimal lengths of these $\ep$-chains give a way to measure recurrence time (chain recurrence and chain mixing times). We give upper and lower bounds for these recurrence times and relate the chain mixing time to topological entropy.
We shall address the alternative definition of chain recurrent set for the action of a semigroup of continuous self maps, given by M. Hurley \cite {mh} in noncompact space. Following this, we shall address the characterization of chain recurrence in terms of attractors given by C. Conley in \cite {conley}.
Connection matrices are one of the central tools in Conley's approach to the study of dynamical systems, as they provide information on the existence of connecting orbits in Morse decompositions. They may be considered a generalisation of the boundary operator in the Morse complex in Morse theory. Their computability has recently been addressed by Harker, Mischaikow, and Spendlove in the context of lattice filtered chain complexes. In the current paper, we extend the recently introduced Conley theory for combinatorial vector and multivector fields on Lefschetz complexes by transferring the con…
Using ideas borrowed from topological dynamics and ergodic theory we introduce topological and metric versions of the recurrence property for general Markov chains. The main question of interest here is how large is the set of recurrent points. We show that under some mild technical assumptions the set of non recurrent points is of zero reference measure. Necessary and sufficient conditions for a reference measure $m$ (which needs not to be dynamically invariant) to satisfy this property are obtained. These results are new even in the purely deterministic setting.
A subset $A$ of $\nats$ is called an IP-set if $A$ contains all finite sums of distinct terms of some infinite sequence $(x_n)_{n\in \nats} $ of natural numbers. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of IP-sets possessing rich combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. In this paper we investigate central sets in the framework of combinatorics on words. Using various families of uniformly r…
Chaotic attractors, chaotic saddles and periodic orbits are examples of chain-recurrent sets. Using arbitrary small controls, a trajectory starting from any point in a chain-recurrent set can be steered to any other in that set. The qualitative behavior of a dynamical system can be encapsulated in a graph. Its nodes are chain-recurrent sets. There is an edge from node A to node B if, using arbitrary small controls, a trajectory starting from any point of A can be steered to any point of B. We discuss physical systems that have infinitely many disjoint coexisting nodes. Such infinite collection…
