Discriminating different types of chaos is still a very challenging topic, even for dissipative three-dimensional systems for which the most advanced tool is the template. Nevertheless, getting a template is, by definition, limited to three-dimensional objects based on knot theory. To deal with higher-dimensional chaos, we recently introduced the templex combining a flow-oriented BraMAH cell complex and a directed graph (a digraph). There is no dimensional limitation in the concept of templex. Here, we show that a templex can be automatically reduced into a “minimal” form to provide a comprehensive and synthetic view of the main properties of chaotic attractors. This reduction allows for the development of a taxonomy of chaos in terms of two elementary units: the oscillating unit (O-unit) and the switching unit (S-unit). We apply this approach to various well-known attractors (Rössler, Lorenz, and Burke–Shaw) as well as a non-trivial four-dimensional attractor. A case of toroidal chaos (Deng) is also treated.
The nonlinear essence of many (if not most) of the dynamical processes in nature unavoidably led to the discovery of chaos, a deterministic dynamics for which long term prediction is not possible. With the emergence of desktop computers, many different types of chaos were reported, but a complete taxonomy is still under development. One of the limitations of the topological characterization of chaotic attractors is the use of knot theory, whose applicability is limited to three-dimensional space. Templexes are objects allowing for a definition of an algebraic topology on a cell complex (which, unlike knots, has no dimensional restrictions) and a directed graph whose nodes are the locally highest-dimensional cells of the complex and whose edges indicate the way in which the flow visits such cells. This work shows that a simplified templex can describe various types of chaotic attractors as different combinations of two elementary dynamical processes, namely, oscillating units and switching units. Such units pop up after the reduction procedure that merges cells or nodes, without altering the topological properties. The way in which the templex is reduced is crucial in order to identify the basic units underlying a given dynamics. Different types of chaotic attractors are discussed.
I. INTRODUCTION
Understanding the structure of chaotic attractors has practical applications in various fields, including physics, biology, economics, and engineering. For instance, chaos theory has been applied in fields, such as weather prediction1–3 and control,4 fluid dynamics,5–7 optics,8 secure communication,9 and the modeling of ecological systems.10,11 Many topologically inequivalent chaotic attractors are now known in almost any field. There is no general relationship between the algebraic structure of the governing equations and the type of attractors they produce. Nevertheless, in the early 1970s, Otto E. Rössler developed complex chemical reactions as the combination of some basic circuits,12 an approach inherited from his background in electronics.13 He was following the works of Sugita who developed an analogy between chemical systems and logical circuits.14,15 Thus, Rössler introduced his eponym system as a combination between a two-dimensional oscillator and a nonlinear switch.16 He described the resulting chaotic attractor as the union of a “normal” strip and a Möbius strip, that is, using a branched manifold. The topological approach, thus, appeared to be the adequate way to describe chaotic attractors and to classify them. He then provided an early attempt to construct a “hierarchy of chaos” based on positive Lyapunov exponents.17,18 This led to the recent taxonomy of chaos19 by using the number of positive Lyapunov exponents and the number of null Lyapunov exponents to construct the marker C T for discriminating different classes of attractors, C discriminating periodic or quasiperiodic ( ) from chaotic ( ) or hyperchaotic ( ) behaviors: T directly designates the torus T on which the structure of the attractor is based (for instance, a limit cycle with and a torus for ).
Topological characterization of chaos provides a deep understanding of the intricate and complex behavior produced by chaotic dynamical systems.20–23 It offers analysis and description of the underlying structure of chaos in a systematic and mathematical way.19 Topology is a branch of mathematics that deals with the properties of a spatial object that remains unchanged under isotopy, that is, continuous deformations, such as stretching, bending, or twisting. In the context of chaos theory, topological methods are used to analyze and describe the structure of chaotic attractors produced by numerical simulations as well as measured in experiments.24–30 For many years, such a characterization was mainly based on knot theory and the construction of a template as a knot-holder.31 A template is a branched manifold sketched with a splitting chart, some strips with some local torsions and permutations. These strips are finally squeezed at the so-called joining chart. The way in which strips are squeezed can follow a “standard” convention as introduced by Tufillaro and co-workers.20 Characterizing higher-dimensional attractors was, therefore, a great challenge in spite of a few attempts.32,33 Indeed, building a template is strongly related to the relative organization of unstable periodic orbits extracted from the chaotic attractors, an organization that is quantified using topological invariants, which are only valid in three-dimensional space.
A very promising approach consisted of borrowing concepts from homology group theory, such as Betti numbers,34 to study a trajectory in the state space or in a reconstructed space. This approach was pushed further by Sciamarella and Mindlin30,35 who used cell complexes to describe branched manifolds in terms of homology and torsion groups. A cell complex is a layered set of cells of different dimensions designed to classify and describe the shape of a manifold up to topological equivalence—see Appendix A for a few definitions and examples. This specific type of cell complex is called BraMAH,36 an acronym standing for Branched Manifold Analysis through Homologies. A BraMAH complex is built in a particular fashion so that its highest-dimensional cells locally approximate subsets of points lying on a branched manifold: it does not rely on unstable periodic orbits (knots), and consequently, there is no intrinsic limitation. Recent developments of this approach have led to the definition of an unprecedented mathematical object,37 called a templex.
The key feature is that the complex is endowed with a directed graph, whose nodes are identified with the locally highest-dimensional cells of the complex. The directed graph specifies how the flow visits the structure approximated by the complex. Of course, this only has sense for a complex produced by a dynamical system. A templex gathers in a single mathematical object a set of algebraic properties, which describes the topology of the cell complex and of the flow upon it. Here, we will extend the potential of a templex in showing that a chaotic system results from a combination between oscillators and nonlinear switches obtained after a reduction procedure, which decreases the number of cells in the complex and, consequently, of nodes in the digraph. Indeed, the reduced digraph provides a systematic way to describe chaotic attractors in terms of (at least two-dimensional) oscillators (O-units) and (at least one-dimensional) switches (S-units).
The subsequent part of this paper is organized as follows. Section II A introduces the concepts underlying a templex. Section II B describes the O- and S-units and how they are related to a taxonomy of chaos. Section III describes how a complex is reduced and the way to extract the units. In Sec. IV, a set of very different attractors (the spiral and funnel Rössler attractors, the Lorenz attractor, the Burke and Shaw attractor, a non-trivial 4D attractor, and the Deng toroidal chaos) are treated. Section V gives some conclusions.
II. THEORETICAL BACKGROUND
A. Templex
A templex is based on a cell complex constructed from a cloud of points corresponding to a trajectory produced by a dynamical system. A BraMAH complex is built using this specificity as initiated by one of us30,35,38 and later improved.36,37,39 Cell complexes provide a combinatorial approach to topology.40 A cell complex of dimension ( ) is a layered structure built up of a finite set of -cells ( ): -cells are points, -cells are segments, -cells are filled polygons, -cells are solid polyhedra, and so forth. The dimension of the complex is given by the dimension of its highest-dimensional cells. In a given attractor, it is possible that, depending on the location in the state space, the highest-dimensional cells are such that . It is, therefore, useful to introduce the local dimension of the highest-dimensional cell at point : consequently, . The topological properties of such a cell complex are independent of the number, shape, or distribution of the cells: what matters is how they are glued together. These properties are expressed by its homology groups and its torsion coefficients. The -generators of the homology groups are also called -holes since they are non-trivial chains of -cells that encircle empty areas ( ), empty volumes ( ), or empty hyper-volumes ( . The -holes denote the number of connected components in the cell complex. In order to make a cell complex as simple as possible, a natural question is whether there is a minimal number of -cells to approximate the attractor underlying the trajectory.
In a dynamical system, there is a flow underlying the cloud of points used to build the cell complex, and therefore, there is a deterministic sequence for visiting the cells. This can be schemed as a directed graph, here designated as a digraph.37 When the dynamics of the flow is not regular (where regular means periodic or quasiperiodic), the flow is structured by a branched manifold as required for chaotic behavior. A branched manifold is characterized by splitting and joining loci,37 which are necessary to describe the nonequivalent paths followed by the flow. The case of regular dynamics is briefly considered in Appendix B.
A joining locus exists in a BraMAH complex of dimension when there are at least three -cells sharing a ( )-cell. When as for a branched -manifold, the joining locus is a joining line. Let us designate as ingoing (outgoing) -cells, the -cells visited by the flow just before (after) crossing one of the joining ( )-cells belonging to a joining locus. As for strips in a template, a joining locus must have at least two ingoing and a single outgoing cell [Figs. 1(a) and 1(c)]; a splitting locus allows to have at least two -cells outgoing from a single ingoing -cell [Figs. 1(b) and 1(d)].
To be able to compute homology and torsion groups, cell complexes must be directed or oriented; that is, each -cell ( ) must be assigned an arbitrary direction, regardless of whether there is an underlying flow. These orientations enable defining an arithmetic on the cells and, thus, an algebra of chains. In order to build a templex, there are special rules regarding how the highest dimensional cells should be oriented around the joining loci. This is performed by orienting the -cells that are outgoing from a joining locus according to the flow; the direction of its peripheral boundary is along the flow. The orientation is then propagated from a -cell to a -cell with an important caveat: orientation cannot be propagated across a joining locus without ambiguity. It is, therefore, sometimes necessary to restart the orientation process by repeating the procedure from a not yet oriented cell until completion of the orientation.
Each joining ( )-cell must be oriented according to the outgoing -cell from which it is a boundary. If there is a change in direction within a connected set of joining -cells, then there is a critical -cell, which divides this connected set into two different connected sets of joining -cells. The existence of such a critical -cell is induced by our convention for orienting the -cells according to the flow. This is strongly related to the convention for orienting the components of the Poincaré section from the center to the periphery to avoid different descriptions of the same dynamics.41 Once this is completed, each connected set of -cells sharing the same direction corresponds to one component of the Poincaré section. Each component is denoted by where . The concept of a multi-component Poincaré section was introduced for systems with symmetry42–44 and then generalized by Tsankov and Gilmore.45 When , there is a correspondence between a templex and a template in the dissipative three-dimensional limit, which was discussed in Ref. 37.
Once the -dimensional complex is built and oriented, the directed graph must encode the information regarding the way -cells are visited by the underlying flow. A digraph is made up of vertices or nodes, which are connected by directed boundaries, also called edges. We will use hereafter the terms nodes and edges. Two -cells or nodes and are connected by a directed edge as when the flow switches from a -cell to a -cell . This naturally leads to the definition of a templex.37
A templex is made of a BraMAH complex with dim and a digraph whose underlying space is a branched -manifold associated with a dynamical system such that (i) the nodes are -cells and (ii) the edges are the connections between the -cells visited by the flow.
The advantage of a templex over a cell complex is that its algebraic descriptors include both the topology of the structure (complex) and of the organization of the flow on that structure (digraph). The topology of the structure is described in terms of homologies and torsions as in traditional topology textbooks, allowing for the distinction between, for instance, a torus and a Klein bottle. The topology of the flow on the cell complex is described through a set of definitions that enable computing the non-equivalent cell sequences or paths along the structure starting and ending in a joining locus.
A generatex is a subtemplex in , where is a cycle of the digraph , and . A generatex is said to be of order with , , if the cycle has ingoing nodes. In this case, the cycle is said to be of order too.
As strips in a template are always simple—in the sense that they are defined so that they do not pass through the set of joining loci more than once—we can introduce the definition of stripex as the generalization of a strip in a template.
Let be an order- generatex of . If , the stripex . If , can be splitted into stripexes with .
Last but not least, a stripex will be said to have a local twist if the free boundaries change their relative positions with respect to the orientation from the center to the periphery. Twisted stripexes correspond, in the dissipative 3D limit, to strips with uneven local torsions. From the point of view of an analysis in a Poincaré section, only the parity of the local torsion matters, and this intrinsic property can be directly extracted from the cell complex. If a finer characterization is required, it may be necessary to count the number of half-turns, as done with templates for three-dimensional cases.
B. Dynamical units and taxonomy of chaos
In his first paper on chaos,16 Otto Rössler described chaos as the combination of a two-variable oscillator with a one-variable nonlinear switch. These two ingredients can be considered the fundamental units to build any type of chaos. As a fundamental unit, a periodic oscillator is characterized by a largest Lyapunov exponent, which is null. It can be furthermore either dissipative or conservative. An S-unit is a switch between two manifolds allowing stretching and squeezing, the process required for mixing trajectories and inducing the sensitivity to initial conditions.22 It is by combining an O-unit with an S-unit that Rössler got his first chaotic system,16 which was only slightly more complicated than the popular Rössler system.46
After having proposed various systems for various types of chaos,17,47–50 Rössler proposed to construct a chaos hierarchy18,51 based on Lyapunov exponents. Such a hierarchy was then updated,52,53 before being transformed into a taxonomy of chaos,19 for defining and classifying classes of chaotic invariant sets based on shared characteristics. The taxonomic ranks, from the rough to the most refined, are as follows.19
dynamical or not;
stochastic or deterministic;
positive Lyapunov exponents;
negative Lyapunov exponents;
bounding tori;
modality of the first-return map; and
a template or a templex.
Bounding tori are defined as permeable surfaces, which bound chaotic attractors.45 For instance, the spiral Rössler attractor is bounded by a genus-1 torus and the Lorenz attractor by a genus-3 torus. The genus of bounding tori indicates the minimum number of components the Poincaré section must have: for and for .19,45 Here, from a templex in a reduced form as we shall explain, we can work at the level of the first-return map (or the Poincaré section), that is, at the penultimate taxonomic rank, which corresponds already to a very refined level of description.
O-units will be associated with a two-dimensional oscillator (the Lotka system,54 the van der Pol equation,55 the Brusselator,56 etc.) producing a period-1 orbit. S-units—without which there is no sensitivity to initial conditions, that is, chaos—cannot exist without an O-unit: they must be bonded to an O-unit, as later described. The cycles computed from the reduced digraph will lead us to the decomposition of a reduced templex into such fundamental units, as we shall see in Sec. III.
III. TOWARD DYNAMICAL UNITS
The recipe to extract the fundamental units from a templex comprises two parts: reducing the templex and decomposing its reduced directed graph into O- and S-units. A graph decomposition is defined as follows.57
A decomposition of a graph is such that
, where , .
.
We will here present how to proceed when the system is chaotic. The case of regular dynamics is discussed in Appendix B. The starting point is a generating templex.
A generating templex is a templex composed of a flow-oriented BraMAH complex associated with a digraph such that there is only one outgoing 2-cell per component of the joining locus.
Complex is, thus, assumed to have a single cell outgoing from each component of the joining locus.37 The splitting locus in a templex is the analog of the splitting chart in a template. It is formed by the cells that do not belong to the joining locus and from which the flow can visit at least two non-equivalent stripexes. We will also assume that a given -cell cannot be bounded by a joining locus and a splitting locus so that there are at least two -cells between a joining locus and a splitting locus. All the non-trivial dynamical processes will, thus, be captured between splitting and joining loci. The digraphs for our examples of joining and splitting loci are drawn in Figs. 1(c) and 1(d). We define joining and splitting nodes as follows.
A joining node (a splitting node) with an indegree (outdegree) in a digraph corresponds to a cell that is adjacent to a joining (splitting) locus in the complex.
Joining and splitting nodes cannot be removed during a merging process. Notice that joining and splitting nodes must be necessarily distinct; that is, a node cannot be simultaneously joining and splitting. By convention, a joining (splitting) node will be underlined (overlined). An implementation in Python of the reduction procedure detailed below can be found in https://git.cima.fcen.uba.ar/caterina.mosto/templex_properties_python.
The rationale of the reduction procedure consists of merging as many cells as possible in complex (and its corresponding nodes in digraph ) without altering the topological properties (homology and torsion groups, joining and splitting loci, set of generatexes or stripexes). In other words, we can merge cells (nodes) as long as the operation does not create or eliminate stripexes, torsions, or holes. Once the complex is reduced ( ), it remains to decompose the reduced digraph into O- and S-units. This procedure requires identifying the set of bonds in a templex.
Let be a reduced templex with . A bond is such that and connects a joining node to a splitting node.
Bonds correspond to a part of the templex where the dynamics is trivial. In other words, the specificity of the attractor occurs between the splitting and joining loci, that is, in the complementary part of the bond. Bonds can be thought of as the handle(s) of a template, holding together the stripexes and marking the paths where the dynamics is irrelevant. When there are bonds ( ) belonging to a single cycle in , the bond is said to be degenerated and of order .
Once the bonds are identified and assembled in , we are ready to decompose the graph into units. We will start by selecting the O-units among the cycles of the reduced digraph. By construction, a cycle in surrounds a center of rotation and is related to a bond (or a set of degenerated bonds) .
The O-unit associated with a bond (or with a set of degenerate bonds) is the cycle in (i) having the minimum number of nodes and (ii) lying closest to a center of rotation .
There is just one O-unit per bond (or per set of degenerated bonds). If a bond is degenerated, the associated O-unit will also be considered degenerated.
Once the O-units are identified, the S-units must be selected from the remaining cycles in so that the set of units forms a decomposition of .
An S-unit is a path obtained by subtracting the edges of the O-units from the remaining cycles in .
Removing the edges corresponding to the O-units from the remaining cycles associated with the S-units exhibits that S-units cannot exist without the related O-unit. Notice that, in the absence of degenerated bonds, the total number of units (of both types) in the decomposition of will typically coincide with the number of elements in the stripex set.
IV. DYNAMICAL UNITS FOR SOME CHAOTIC ATTRACTORS
In this section, we provide the reduced templexes and their decomposition into O- and S-units for all the attractors, which were investigated in Ref. 37. The Deng toroidal chaos is also treated.
A. The Lorenz attractor
Figure 2(a) shows the generating complex leading to the templex for the Lorenz attractor previously provided in Ref. 37. Complex has a single -generator since the attractor has no disconnected components: . Since all the attractors here have a single connected component, we will not provide the th-order homology group in the subsequent part of this paper. Complex has two -generators, one around the center of rotation in each wing of the Lorenz attractor ( ) and no enclosed cavities ( ). The Lorenz attractor has a joining locus made of two components, thus corresponding to a two-component Poincaré section.
Let us undertake the templex reduction. In [Fig. 2(a)], cells and are each bounded simultaneously by the joining locus and the splitting locus. To prevent this, cells and ( and ) are merged into one cell ( ). The templex can be further reduced without altering its properties: cells and ( and ) can be merged into one cell ( ); the same merging can be applied in the right wing, leading to the reduced complex [Fig. 2(b)]. The reduced templex has eight -cells instead of 14 but retains the same homologies, and the same generatex set is made of three elements, one being of order . The stripex set has four elements: two of them have a local twist. Merging more cells would alter the templex properties. The reduction is, thus, accomplished.
The reduced complex can be drawn in a semi-planar representation [Fig. 2(b)], as well as in a template-like representation. It is possible to report in a template the cells of the reduced cell complex as drawn in Fig. 2(c) so that the correspondence between the template and templex is clear. The template representation serves the purpose of displaying the genus- surface of the bounding torus. Notice that the two focus holes in the bounding torus correspond to the two -holes exhibited in the cell complex, while the saddle hole around the rotation axis of the Lorenz symmetry in the bounding torus does not have the property required by a 1-hole as considered with homologies.
The reduced digraph is shown in Fig. 2(d) with the point representing the rotation axis.43 A reduced digraph is typically formed by joining nodes, splitting nodes, and a set of ‘regular” nodes, the latter ones being found in the path from a splitting node to a joining node. The eight-node reduced digraph for the Lorenz attractor has a joining locus made of two components (exhibited by the two corresponding cells, which are underlined) and a two-component splitting locus (the corresponding cells are overlined). The digraph has four regular cells. In the reduced digraph, we dressed regular nodes and with the superscript “ ” to indicate the presence of a positive half-twist, corresponding to the local twist in the associated stripexes.
There are two bonds: , where and in . They are highlighted in colors in Fig. 2(d).
associated with and associated with are cycles having the minimum number of nodes (three) and lying closer to the rotation centers and of each wing of the attractor. They both qualify to be O-units.
The result is consistent with the Lorenz attractor being a C T chaos with a structure O-S S-O where designates the transition from one wing to the other; this dynamical feature is produced by the S-units.
B. The spiral and funnel Rössler attractors
Figure 3(a) shows the generating complex for the spiral Rössler templex taken from Fig. 12 in Ref. 37. The corresponding reduced complex is drawn in Fig. 3(b). In terms of homologies, the complex has one -generator ( ) surrounding the saddle-focus singular point: there are no enclosed cavities ( ). It has a one-component joining locus: the thick black arrows in Figs. 3(a) and 3(b). The joining locus appears duplicated because is drawn as an unfolded planar object. In planar representations of cell complexes, repeated labels indicate gluing prescriptions. There are two stripexes for the spiral Rössler templex, one of which has a local twist, corresponding to the negative half-twist in the template of Fig. 3(c).21 This is indicated with the superscript “ ” in node .
As before, the number of units corresponds to the number of stripexes (or strips in the dissipative 3D limit), that is, to the number of monotone branches in the first-return map (not shown). The reduced digraph actually works at the same taxonomic rank as the first-return map.
With respect to the spiral Rössler case, the funnel Rössler (Fig. 4) presents an additional S-unit. The two S-units are in “parallel” (as in an electric circuit); that is, they are bonded to the O-unit with the same path . From Ref. 37, we know that stripex (related to the cycle ) has a local twist. The template strip corresponding to stripex has a negative -twist, which is indicated with superscript “ ” attributed to node in Fig. 4(c).
C. The Burke and Shaw attractor
The cell complex of the Burke and Shaw attractor has a single -generator surrounding the focus-type hole in the attractor ( ) and no enclosed cavities ( ). There is a joining locus with the two components and , corresponding to the two components of the Poincaré section and associated with the two outgoing cells and . As usual, joining loci in the complex are marked with thick arrows.
D. A non-trivial four-dimensional attractor
Let us note that cells – and are -cells. The nodes corresponding to the three-dimensional cells are highlighted in bold in and . The O-unit is, thus, made of -cells, approximating the solid torus or ring (see Fig. 8). The S-unit associated with is particular since it is made of four nodes due to the unusual splitting locus in the outgoing -cell (see Fig. 9). We need further investigations with other systems to determine whether this is a four-dimensional signature of the dynamics. The S-units associated with and contain five nodes, and the S-unit corresponding to contains six nodes. The complexity of this attractor is clearly exhibited from these low-order cycles.
We were able to draw a template for this attractor as shown in Fig. 9: according to the Birman and Williams theorem,31 this attractor must be C T as confirmed by the four Lyapunov exponents (kindly computed for us by N. Stankevich): , , , and . There is a specific foliated splitting locus issued from the -cell revealing the uncommon structure of this attractor. Since the thick S-unit and this splitting locus are local features, they do not lead to a second positive Lyapunov exponent. The foliated splitting locus can be identified as follows. There is a single ingoing -cell, which shares a -cell with more than one outgoing -cells: there is, therefore, a splitting chart without a critical point as commonly observed in three-dimensional attractors, but with a critical line.
E. The Deng toroidal chaotic attractor
The templex for this attractor is here proposed for the first time. Complex is composed of twenty-eight -cells and has the homology groups of a torus, i.e., two -generators [drawn in Figs. 10(b) and 10(c)] and a single -generator defining the enclosed toroidal cavity. presents a joining locus [Fig. 10(b)] as required for chaos.
The Deng attractor is structured around a torus T , and consequently, it is governed by two main frequencies as confirmed by a Fourier spectrum leading to Hz and Hz, with a ratio . Each of these frequencies is associated with one of the two -generators of the homology group ; that structure is a torus as sketched in Fig. 10(c). To better understand how stripexes , , and are organized, we extract three excerpts of a chaotic trajectory visiting each of the three stripexes. The duration associated with these excerpts is non dimensional units, , and , respectively [see Fig. 12(a)].
By using a close-return technique applied to a common Poincaré section of the attractor, we find one period- and two period- orbits [Fig. 12(b)]. From , they correspond to cycles , , and , respectively. Cycles and are of order- , and they should be, by definition, associated with period-1 orbits. Since cycle corresponds to the main frequency associated with a revolution around the main hole of the toroidal structure ( -generator ), the corresponding period-1 orbit should be associated with the -generator , that is, with a trajectory in the center of the closed cavity defined by the torus: consequently, it cannot belong to the population of unstable periodic orbits embedded within the attractor. This means that the common Poincaré section is not the optimal one for investigating this toroidal chaotic flow. Using a Poincaré section based on the joining locus, the period- orbit corresponding to is now a period- orbit as expected for an orbit visiting two stripexes. By reducing the Poincaré section to the joining locus, the orbit periods are now equal to the number of times they visit a stripex. If we use the three symbols to designate the three cycles , the extracted orbits are encoded by , , and , respectively. The period- orbit is missing, as explained above. This result is a strong confirmation that a unimodal toroidal chaos is associated with three stripexes and is, hence, described by the three-strip template in Fig. 13 as proposed in Ref. 64.
V. CONCLUSION AND DISCUSSION
A templex is a flow-based BraMAH complex approximating the structure on which the attractor lies, endowed with a digraph indicating how the flow visits the locally highest-dimensional cells. Reducing the templex by merging unnecessary cells and eliminating the corresponding nodes allows one to define classes of chaotic attractors at the penultimate taxonomic rank, that is, at the level of the first-return map. By considering various types of chaotic dynamics—unimodal or multimodal, with symmetry or not, three-dimensional or higher, with a toroidal underlying structure or not —, we here show that the reduced templex can be interpreted in terms of two elementary dynamical processes, namely, oscillating units (O-units) and switching units (S-units). The way these two types of units are combined can be directly extracted from the reduced templex. Our procedure has the advantage of not being limited to three-dimensional state space and not requiring the definition of a Poincaré section. As a result, splitting and joining loci are accurately identified. The toroidal chaos case exhibits the generality of these two loci types proving that the joining locus should be used to define the Poincaré section.
The number and nature of the units are derived from the properties of the stripex set, which are manipulated as cycles from the reduced digraph. When the dynamics can be synthesized by a template, the units can be recognized directly using the cell labels on the strips.
We, thus, show that it is indeed possible to decompose chaotic systems into elementary dynamical processes using a templex and a reduction procedure to algorithmically obtain the bonds between O-units and S-units. This is significant advancement for a complete taxonomy of chaos. Note that the reduced digraph does not contain all the information for ultimate discrimination between topologically non-equivalent attractors, but the templex does. The reduced digraph can be dressed with additional information in reporting the local twists of the stripexes, as well as additional (extrinsic) properties, such as the number of half-twists. The ultimate taxonomic rank is provided by the templex properties (or by the template in the dissipative three-dimensional limit). The characterization of other types of toroidal chaos with these theoretical tools is currently under study. The case of hyperchaos is also one of our next tasks. A paper devoted to the templex extraction from experimental data is currently underway to show that this method is not limited to theoretical cases. For particularly complex attractors where trajectories may remain trapped for a long time interval, the templex may vary depending on the time series being analyzed. In such cases, it would be beneficial to explore different domains of the attractor from well-selected time series to generate a templex for each part of the attractor, which can then be combined to provide a comprehensive description of the whole attractor.
DEDICATION
This work is dedicated to Otto E. Rössler.
ACKNOWLEDGMENTS
This work has received funding from the ANR project TeMPlex ANR-23-CE56-0002 (D.S.). G.D.C. gratefully acknowledges her postdoctoral scholarship within the ANR project. C.M. gratefully acknowledges her doctoral scholarship from CONICET. C. L. and co-workers thank N. Stankevich for the Lyapunov exponent computation.
AUTHOR DECLARATIONS
Conflict of Interest
The authors have no conflicts to disclose.
Author Contributions
Caterina Mosto: Data curation (equal); Formal analysis (equal); Investigation (equal); Methodology (equal); Software (lead); Validation (equal); Writing – original draft (equal); Writing – review & editing (equal). Gisela D. Charó: Conceptualization (equal); Formal analysis (equal); Investigation (equal); Methodology (equal); Validation (equal); Writing – original draft (equal); Writing – review & editing (equal). Christophe Letellier: Conceptualization (equal); Formal analysis (equal); Funding acquisition (equal); Investigation (equal); Methodology (equal); Project administration (equal); Resources (equal); Validation (equal); Writing – original draft (equal); Writing – review & editing (equal). Denisse Sciamarella: Conceptualization (equal); Formal analysis (equal); Funding acquisition (equal); Investigation (equal); Methodology (equal); Project administration (equal); Resources (equal); Supervision (equal); Validation (equal); Writing – original draft (equal); Writing – review & editing (equal).
DATA AVAILABILITY
The data that support the findings of this study are available within the article as well as from the corresponding author upon reasonable request.
APPENDIX A: CELL COMPLEXES AND HOMOLOGY GROUPS
In algebraic topology, a -cell within a cell complex is a set that can be mapped continuously and invertibly to the interior of a -disk, with its boundary divided into a finite number of lower-dimensional cells, called faces. As a whole, the cell complex is a finite collection of cells where the faces of each cell are also elements of , and the interiors of distinct cells do not overlap. The dimension of a cell complex is defined by the dimension of its highest-dimensional cells. A cell complex is termed directed or oriented if each cell is assigned a direction. In a directed complex, a -chain is a linear combination of -cells, where the coefficients are integers. These chains capture the connectivity of the cells at each level.
Let us consider the example of the Klein bottle in Fig. 14. A cell complex is provided, with four -cells ( ), nine -cells ( , , , , , , , , ), and five -cells ( , , , , ). Repeated labels are important in a planar diagram since they indicate gluing instructions. Notice that with the same set of cells and labels but changing some of their positions and directions, one can get a torus, as shown in Fig. 15.
Two -chains are homologous if their difference is the border of some -chain.
In our example, , , and are such that and are homologous ( ) since . The -cell serves as a bridge between the edges and , implying that any information conveyed by is also represented by , and the reverse holds true as well. The homology equivalence relation leads to the definition of homology groups.
For a directed complex , the -dimensional homology group of is the quotient group , i.e., the group of equivalence classes of elements of with the homology relation.
The homologically independent -dimensional cycles form the -generators of , also called -holes. The th Betti number, denoted as , is the rank of , i.e., the number of elements in the basis. In simple terms, indicates the number of connected components in the complex, reflects the number of closed paths that encircle holes, and the number of enclosed cavities is captured by . At each level, generators can be used to identify each of the connected components, holes, or cavities.
For the cell complex of the Klein bottle, there is a single -generator or a connected component, and therefore, , with basis . At level , we have with basis , and . Finally, at level , there are no enclosed cavities; i.e., and . In fact, since must be followed around twice to form a cycle, the surface is said to have a torsion coefficient of .
The torus has Betti numbers , , and . More precisely, with basis , with basis (there are two -holes) and with basis , enclosing the cavity. The torus has no torsion coefficients.
APPENDIX B: TEMPLEX FOR REGULAR DYNAMICS
A torus is well represented by complex in Appendix A but can also be analyzed with a complex formed by a single -cell with at least two -cells, as shown in Figs. and in Kinsey (Ref. 40, p. 62). The fact that a single -cell is sufficient to build up the complex of a torus highlights the fact that a cell complex is not a simple mesh or tessellation of an object, and that each layered dimension contains important information. When the regular surface of a torus is traveled by a quasiperiodic trajectory characterized by a templex without joining locus, the relevant information is already encoded in the cell complex since there are no distinct ways for flowing within its structure.
When the original templex has no joining locus, the underlying flow is periodic or quasiperiodic, and the manifold supporting the trajectories has no “branches.” In other words, there are no alternative paths for the flow along the underlying manifold, or equivalently, there are no stripexes. In this case, the templex can be simplified by reducing the number of highest-dimensional cells in the complex (and therefore the nodes in the digraph) as long as homologies and torsion groups do not change. The highest dimensional cells of the original complex can be merged until we get a complex with the minimal number of -cells, leading to the same homology and torsion groups. Thus, a single -cell is sufficient to describe a torus. Also, a regular flow on a torus can be represented by a reduced digraph with a self-edge representing the unique path of the flow.
The symmetry of the system (B1) prevents it from developing chaos-prone folds63 so that the resulting system is quasiperiodic (Fig. 16). As expected, complex has no joining locus. Its homology groups are those of a torus: has two -generators, that is, and a -generator for its enclosed cavity . The -cells covering the torus surface can all be merged into a single -cell, as shown in Fig. 16(b), without altering the homology groups. There are no torsion groups. The reduced digraph is a single node (corresponding to ) with a single edge from it to itself, displaying the trivial flow organization on the torus. The digraph is shown in Fig. 17.