Cantor aperiodic systems and Bratteli diagrams

We prove that every Cantor aperiodic system is homeomorphic to the Vershik map acting on the space of infinite paths of an ordered Bratteli diagram and give several corollaries of this result. To cite this article: K. Medynets, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Ubiquity of odometers in topological dynamical systems

Let M be the Cantor space or an n-manifold with C(M,M) the set of continuous self-maps of M. We prove the following:

(1)

There is a residual set of points (x,f) in M×C(M,M) all of which generate as their ω-limit set a particular, unique adding machine.

(2)

Moreover, if M has the fixed point property, then a generic f∈C(M,M) generates uncountably many distinct copies of every possible adding machine.

     

S-adic conjecture and Bratteli diagrams

In this Note we apply a substantial improvement of a result of S. Ferenczi on S-adic subshifts to give Bratteli–Vershik representations of these subshifts.     

Adic realizations of ergodic actions by homeomorphisms of Markov compacta and ordered Bratteli diagrams

For any ergodic transformation T of a Lebesgue space (X, μ), it is possible to introduce a topology τ on X such that (a) X becomes a totally disconnected compactum (a Cantor set) with a Markov structure, and μ becomes a Borel Markov measure; (b) T becomes a minimal strictly ergodic homeomorphism of (X, τ); (c) the orbit partition of T is the tail partition of the Markov compactum (up to two classes of the partition). The Markov compactum structure is the same as the path structure of the Bratteli diagram for some AF-algebra. Bibliography: 19 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 223, 1995, pp. 120–126.     

Homeomorphic measures on stationary Bratteli diagrams

We study the set S of ergodic probability Borel measures on stationary non-simple Bratteli diagrams which are invariant with respect to the tail equivalence relation R. Equivalently, the set S is formed by ergodic probability measures invariant with respect to aperiodic substitution dynamical systems. The paper is devoted to the classification of measures μ from S with respect to a homeomorphism. The properties of the clopen values set S(μ) are studied. It is shown that for every measure μ∈S there exists a subgroup G⊂R such that S(μ)=G∩[0,1]. A criterion of goodness is proved for such measures. Based on this result, the measures from S are classified up to a homeomorphism. We prove that for every good measure μ∈S there exist countably many measures {μi}_i∈N⊂S such that the measures μ and μi are homeomorphic but the tail equivalence relations on the corresponding Bratteli diagrams are not orbit equivalent.     

Markov extensions for multi-dimensional dynamical systems

By a result of F. Hofbauer [11], piecewise monotonic maps of the interval can be identified with topological Markov chains with respect to measures with large entropy. We generalize this to arbitrary piecewise invertible dynamical systems under the following assumption: the total entropy of the system should be greater than the topological entropy of the boundary of some reasonable partition separating almost all orbits. We get a sufficient condition for these maps to have a finite number of invariant and ergodic probability measures with maximal entropy. We illustrate our results by quoting an application to a class of multi-dimensional, non-linear, non-expansive smooth dynamical systems. Part of this work was done at Université Paris-Sud, dép. de mathématiques, Orsay.     

Limit theorems and Markov approximations for chaotic dynamical systems

Summary We prove the central limit theorem and weak invariance principle for abstract dynamical systems based on bounds on their mixing coefficients. We also develop techniques of Markov approximations for dynamical systems. We apply our results to expanding interval maps, Axiom A diffeomorphisms, chaotic billiards and hyperbolic attractors.     

Simple Bratteli diagrams with a Gödel-incomplete C*-equivalence problem

An abstract simplicial complex is a finite family of subsets of a finite set, closed under subsets. Every abstract simplicial complex naturally determines a Bratteli diagram and a stable AF-algebra . Consider the following problem:

INPUT: a pair of abstract simplicial complexes and ;

QUESTION: is isomorphic to ?

We show that this problem is Gödel incomplete, i.e., it is recursively enumerable but not decidable. This result is in sharp contrast with the recent decidability result by Bratteli, Jorgensen, Kim and Roush, for the isomorphism problem of stable AF-algebras arising from the iteration of the same positive integer matrix. For the proof we use a combinatorial variant of the De Concini-Procesi theorem for toric varieties, together with the Baker-Beynon duality theory for lattice-ordered abelian groups, Markov's undecidability result, and Elliott's classification theory for AF-algebras.

     

Markov structures and decay of correlations for non-uniformly expanding dynamical systems

We consider non-uniformly expanding maps on compact Riemannian manifolds of arbitrary dimension, possibly having discontinuities and/or critical sets, and show that under some general conditions they admit an induced Markov tower structure. Moreover, the decay of the return time function can be controlled in terms of the time generic points need to achieve some uniform expanding behavior. As a consequence we obtain some rates for the decay of correlations of those maps and conditions for the validity of the Central Limit Theorem.     

Finite dimensional Markov process approximation for stochastic time-delayed dynamical systems

This paper presents a method of finite dimensional Markov process (FDMP) approximation for stochastic dynamical systems with time delay. The FDMP method preserves the standard state space format of the system, and allows us to apply all the existing methods and theories for analysis and control of stochastic dynamical systems. The paper presents the theoretical framework for stochastic dynamical systems with time delay based on the FDMP method, including the FPK equation, backward Kolmogorov equation, and reliability formulation. A simple one-dimensional stochastic system is used to demonstrate the method and the theory. The work of this paper opens a door to various studies of stochastic dynamical systems with time delay.     

Large deviations for random dynamical systems and applications to hidden Markov models

In this paper, we prove the large deviation principle (LDP) for the occupation measures of not necessarily irreducible random dynamical systems driven by Markov processes. The LDP for not necessarily irreducible dynamical systems driven by i.i.d. sequence is derived. As a further application we establish the LDP for extended hidden Markov models, filling a gap in the literature, and obtain large deviation estimations for the log-likelihood process and maximum likelihood estimator of hidden Markov models.     

Multivalued maps, selections and dynamical systems

Under suitable hypotheses the well known notion of first prolongational set J⁺ gives rise to a multivalued map which is continuous when the upper semifinite topology is considered in the hyperspace of X. Some important dynamical concepts such as stability or attraction can be easily characterized in terms of ψ and moreover, the classical result that an attractor in Rn has the shape of a finite polyhedron can be reinforced under the hypotheses that the mapping ψ is small and has a selection.     

Tilings,substitution systems and dynamical systems generated by them

The object of this work is to study the properties of dynamical systems defined by tilings. A connection to symbolic dynamical systems defined by one- and two-dimensional substitution systems is shown. This is used in particular to show the existence of a tiling system such that its corresponding dynamical system is minimal and topological weakly mixing. We remark that for one-dimensional tilings the dynamical system always contains periodic points.     

Hyperbolicity,stability and monodromy of dynamical systems

We propose a rigorous computational method for proving uniform hyperbolicity of dynamical systems. Besides finding structurally stable parameters, the algorithm can also be applied for the computation of the monodromy of dynamical systems. With this algorithm, we prove that the topology of the 2-dimensional generalization of the Mandelbrot set is totally different from that of the original Mandelbrot set. Furthermore, we show that the monodromy of the complex Hénon map can be used to determine the dynamics of the real Hénon map. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Tiling Groupoids and Bratteli Diagrams

Let T be an aperiodic and repetitive tiling of ${{\mathbb R}^d}$ with finite local complexity. Let Ω be its tiling space with canonical transversal ${\Xi}$ . The tiling equivalence relation ${R_\Xi}$ is the set of pairs of tilings in ${\Xi}$ which are translates of each others, with a certain (étale) topology. In this paper ${R_\Xi}$ is reconstructed as a generalized “tail equivalence” on a Bratteli diagram, with its standard AF -relation as a subequivalence relation. Using a generalization of the Anderson–Putnam complex (Bellissard et al. in Commun. Math. Phys. 261:1–41, 2006) Ω is identified with the inverse limit of a sequence of finite CW-complexes. A Bratteli diagram ${{\mathcal B}}$ is built from this sequence, and its set of infinite paths ${\partial {\mathcal B}}$ is homeomorphic to ${\Xi}$ . The diagram ${{\mathcal B}}$ is endowed with a horizontal structure: additional edges that encode the adjacencies of patches in T. This allows to define an étale equivalence relation ${R_{\mathcal B}}$ on ${\partial {\mathcal B}}$ which is homeomorphic to ${R_\Xi}$ , and contains the AF-relation of “tail equivalence”.     

Fuzzy dynamical systems

A fuzzy dynamical system on an underlying complete, locally compact metric state space X is defined axiomatically in terms of a fuzzy attainability set mapping on X. This definition includes as special cases crisp single and multivalued dynamical systems on X. It is shown that the support of such a fuzzy dynamical system on X is a crisp multivalued dynamical system on X, and that such a fuzzy dynamical system can be considered as a crisp dynamical system on a state space of nonempty compact fuzzy subsets of X. In addition fuzzy trajectories are defined, their existence established and various properties investigated.