Next: Analysis of Real-World Data Up: Geometry from an Ideal Previous: The Principle of Reconstruction   Contents

## Theoretical Foundation - Takens' Embedding Theorems

Apparently without knowing about the work of Packard et al., Floris Takens gave their approach a safe theoretical foundation [4]. Although different in details such as the dimension of the reconstructed phase space, the spirit of his work is much the same. Perhaps inspired by Whitney's embedding theorem, which states that every -dimensional manifold (of class , ) can be embedded (via a diffeomorphism) in -dimensional Euclidean space3, Takens proposed to embed the attractor-manifold (i.e. the -dimensional manifold which contains the attractor ) in . A smooth map , where and are smooth manifolds, embeds in (is an embedding'') if is a diffeomorphism from to a smooth submanifold of . is called the embedding space; the embedding dimension is . Notice that, in general, we have 4. The notion of embeddings comes into the game here, since one can think of as being the realization of as a submanifold of : The topological structures of and are diffeomorphically equivalent. See Fig. 2.

This means that if we can find, using Takens' method, the embedding which maps from to then we can analyze the structure of the trajectory of the dynamical system in and then easily from this infer properties of the actual trajectory on the attractor in . Consider, for example, the dynamical system in eq. (1); the embedding would tell us that there is a dynamical system
 (14)

and it follows already from topological equivalence'' (for which we even only need to have a homeomorphism instead of a diffeomorphism) that [7]:
• having a singularity of in is equivalent to having a singularity of in ;
• closed orbits of correspond one-to-one to closed orbits of ;
• the forward and backward attractors of with respect to are the -pictures of the respective attractors of under action of ;
• in more general terms, the flow of the dynamical system (1) and the flow of (14) are topologically equivalent:

The dynamical systems of eqs. (1) and (14) are said to have the same qualitative dynamics. This situation is represented pictorially in Fig. 3.

It is especially nice to have the embedding if one wants to characterize the dynamics of the system quantitatively: In this case the dimensions (Hausdorff, topological, correlation, ...) of the attractor in and in are the same [8]. Takens stated the following theorem (theorem 2 in [4]):
Given a compact -dimensional manifold , with a -vector field ( being the generating vector field of the flow ) and a -function, define
 (15)

Then, generically, is an embedding. Here, the term generically'' is of central importance: The proof of this theorem is based on the idea that, if is an embedding, then for all points the co-vectors
 (16)

must span the cotangent space . This is ensured if one requires to fulfill the following conditions:
(i) for all points with all eigenvalues of must be different and not equal to one;
(ii) no periodic integral curve of (i.e. solution of eq. (1)) must have an integer period .
Takens argues that these conditions are generically met by ; i.e. practically all functions meet these conditions5, because the cases excluded by (i) and (ii) are structually unstable: If one adds only a very small perturbation to then the very special situation of degenerate eigenvalues will be destroyed and one will get two different eigenvalues instead. This is comparable to the non-generic case that a smooth function has a double zero: one can get two different zeroes by changing the function a little''. Similarly it is non-generic that one of the eigenvalues is 1, since a nearby function will have a corresponding eigenvalue instead. A situation as in (ii) can be changed by adding a small perturbation as well6. So we can say that usually the situations (i) and (ii) do not occur; hence it makes sense to speak of generic giving rise to being an embedding. What are the conclusions to be drawn from this theorem? The theorem considers a time series which is sampled in regular time intervals as measurements of the observable at times . According to Takens' theorem one can construct a -dimensional vector from the data and this vector is equivalent to the vector representing the system on the manifold which contains the attractor (the attractor is assumed to be simple enough such that it can be contained in a compact manifold). This equivalence is mathematically described by the diffeomorphism . So we have

(At this stage, we are still restricted to , but below we will show that, in fact, nearly every can be chosen.) The difference between Packard's conjecture und Takens' approach is that Takens requires the embedding space to have a higher dimension than one would ad hoc expect (). This requirement ensures that the embedding exists7, but of course it still may be possible to get reasonable results with a smaller embedding dimension, as one can see for example from Packard's numerical results. Takens proves two further theorems which give similar results: One of these theorems justifies the method of delays for maps (systems defined by eq. (5)) instead of flows (systems like eq. (1), as considered in the above theorem); the other one works with embeddings reconstructed using time derivatives of the observable and corresponds to Packard's second proposed method (eq. (11)): In both cases it is again possible, under genericity assumptions for and , to embed in -dimensional Euclidean space8. We have for the derivative method:
 (17)

So both methods suggested by Packard rather intuitively are hereby justified, although slightly altered. With all these theorems one knows how to construct meaningful phase space vectors from one-dimensional data which has been measured with the sampling time . This result is interesting but not exhaustive, because one would like to have the possibility of adjusting to each individual situation rather than having to fix it at some given value; also there is obviously no physical reason for giving this very special role to the unit time interval. So we would like to generalize the above result to arbitrary time steps . Additionally, the important question if one can really reconstruct the attractor of the dynamical system still remains unanswered. It is not clear at all that the reconstructed phase space vectors tend to the same attractor as the picture of the actual flow of the dynamical system does. For example it could be that the reconstructed vectors visit only a part of the attractor's equivalent in . The reason for these doubts is that one is not using measurements which are made at random times (This would give rise to the assumption that all these measurements together actually give a true picture of all parts of the system's trajectory.) but at equidistant times. So one has to be aware of the possibility that this very special selection of data points could result in non-equivalence of the original and the reconstructed attractors. This uncertainty would mark a fundamental flaw of the attempt to get a geometrical picture of the attractor, but, fortunately, Takens provides us here with a theorem, too, which solves both problems. This theorem (theorem 4 in [4]) says that, for a compact manifold , a vector field on with the flow and for , the attractors for the point of the flow and of the mapping are the same, generically. The term generically'' refers in this case to the number and means that the theorem is true for almost all'' positive real numbers . Only for a small subset of the theorem does not hold, and the probability of choosing accidentally'' one of the elements of this subset is zero. Thus both of the above problems are solved hereby; the theorem tells us that we actually can use a time series with a sampling time which we are free to choose, and despite of the discretization of the original continuous flow the limit of is really equivalent to the original attractor. So eq. (18) and (19) hold for nearly all . Summarizing the results of this section we have seen that, given a time series of infinite length, one can construct (using e.g. the method of delays) in practically all cases (i.e. generically'') an infinite series of vectors the limit set of which is diffeomorphically equivalent to the attractor of the original dynamical system. The embedding process which gives this result is summarized in Fig. 4.

One has to stress that this result is somewhat theoretical, since talking about limit sets and attractors requires an infinitely long time of observation and thus an infinitely long time series: The last theorem does not give a hint how many data points or reconstructed phase space vectors one needs to get an approximation which is good'' enough for the diffeomorphical equivalence'' to be true at least approximately. What is more, it is implicitely assumed that transient initial behaviour has died away and that the measured time series really corresponds only to phase states on the attractor. Obviously this can be only an approximation to any real experimental situation where one will always have trajectories which are near to the attractor (whatever that means in each individual case) but not on it. No general information can be given how long we must wait to be sure that the the trajectory is near enough to the attractor, so it is necessary to investigate this problem in each case individually. Also, the above treatment implicitely assumes error-free measurements; the accuracy of the time series is not being questioned but taken for granted. In the next section, we will deal with these problems in more detail.

#### Footnotes

... space3
For details about Whitney's theorem see e.g. [1].
... 4
Refer to [2], for example, for a thorough treatment of embeddings.
... conditions5
One can interpret the term generically'' in this case as follows: Consider the function space of all -functions which map from into ; then every subset of consisting only of functions which do not meet condition (i) and (ii) has zero measure in .
... well6
As hinted by Broomhead and King [7] it is not perfectly clear on generic grounds that one can exclude solutions with integer periods : In general one cannot argue that a perturbation of the generating function will automatically change the period of the flow. Broomhead and King circumvent this problem by not considering to be fixed; instead they make it small enough so that Takens' period-condition is met. See section 3.4.3.
... exists7
For attractors with a simple geometric structure a smaller embedding dimension may be sufficient, but the more complicated the structure of is (e.g. if the attractor is Cantor set-like or if there are many backfoldings'') the higher the embedding dimension must be [5]. The importance of Takens' result is that, no matter how complex the structure of , dimensions always suffice.
... space8
There is one peculiarity for the method using time derivatives: Here, and must be at least -functions, and this stricter requirement may become a problem if the system or the observable are not that well-behaved''.

Next: Analysis of Real-World Data Up: Geometry from an Ideal Previous: The Principle of Reconstruction   Contents
Martin_Engel 2000-05-25