Chaotic Behavior of Cellular Automata
All points are equicontinuity points (in compact settings).
- Equicontinuity point
A point for which the orbits of nearby points remain close.
From two distinct points, orbits eventually separate.
The next state function is injective.
- Linear CA
A CA with additive local rule.
The set of periodic points is dense.
- Sensitivity to initial conditions
For any point x there exist arbitrary close points whose orbits eventually separate from the orbit of x.
- Strong transitivity
There always exist points which eventually move from any arbitrary neighborhood to any point.
The next state function is surjective.
- Topological mixing
There always exist points which definitely move from any arbitrary neighborhood to any other.
There always exist points which eventually move from any arbitrary neighborhood to any other.
Definition of the Subject
A discrete time dynamical system (DTDS) is a pair 〈X, F〉 where Xis a set...
This work has been supported by the Interlink/MIUR project “Cellular Automata:
Topological Properties, Chaos and Associated Formal Languages”, by the ANR Blanc Project “Sycomore” and by the PRIN/MIUR project “Formal Languages and Automata: Mathematical and Applicative Aspects”.
- Acerbi L, Dennunzio A, Formenti E (2007) Shifting and lifting of cellular automata. In: Third conference on computability in Europe, CiE 2007, Siena, Italy, 18–23 June 2007. Lecture notes in computer science, vol 4497. Springer, Berlin, pp 1–10Google Scholar
- Akin E, Auslander E, Berg K (1996) When is a transitive map chaotic? In: Bergelson V, March P, Rosenblatt J (eds) Convergence in ergodic theory and probability. de Gruyter, Berlin, pp 25–40Google Scholar
- Cattaneo G, Formenti E, Manzini G, Margara L (2000) Ergodicity, transitivity, and regularity for linear cellular automata. Theor Comp Sci 233:147–164. A preliminary version of this paper has been presented to the Symposium of Theoretical Computer Science (STACS’97). LNCS, vol 1200MathSciNetCrossRefzbMATHGoogle Scholar
- Cattaneo G, Formenti E, Margara L, Mazoyer J (1997) A shift-invariant metric on S Z inducing a non-trivial topology. In: Mathematical Foundations of Computer Science 1997. Lecture notes in computer science, vol 1295. Springer, Berlin, pp 179–188Google Scholar
- Denker M, Grillenberger C, Sigmund K (1976) Ergodic theory on compact spaces. Lecture notes in mathematics, vol 527. Springer, BerlinGoogle Scholar
- Di Lena P (2006) Decidable properties for regular cellular automata. In: Navarro G, Bertolossi L, Koliayakawa Y (eds) Proceedings of fourth IFIP international conference on theoretical computer science. Springer, Santiago de Chile, pp 185–196Google Scholar
- Haeseler FV, Peitgen HO, Skordev G (1992) Linear cellular automata, substitutions, hierarchical iterated system. In: Fractal geometry and computer graphics. Springer, BerlinGoogle Scholar
- Haeseler FV, Peitgen HO, Skordev G (1993) Multifractal decompositions of rescaled evolution sets of equivariant cellular automata: selected examples. Technical report, Institut für Dynamische Systeme, Universität BremenGoogle Scholar
- Kannan V, Nagar A (2002) Topological transitivity for discrete dynamical systems. In: Misra JC (ed) Applicable mathematics in golden age. Narosa Pub, New DelhiGoogle Scholar
- Kurka P (2004) Topological and symbolic dynamics. Cours Spécialisés, vol 11. Société Mathématique de France, ParisGoogle Scholar
- Margara L (1999) On some topological properties of linear cellular automata. Kutylowski M, Pacholski L, Wierzbicki T Mathematical foundations of computer science 1999 (MFCS99). Lecture notes in computer science, vol 1672. Springer, Berlin, pp 209–219Google Scholar
- Nasu M (1995) Textile systems for endomorphisms and automorphisms of the shift. Memoires of the American Mathematical Society, vol 114. American Mathematical Society, ProvidenceGoogle Scholar
- Sutner K (1999) Linear cellular automata and de Bruijn automata. In: Delorme M, Mazoyer J (eds) Cellular automata, a parallel model, number 460 in mathematics and its applications. Kluwer, DordrechtGoogle Scholar
Books and Reviews
- Akin E (1993) The general topology of dynamical systems. Graduate studies in mathematics, vol 1. American Mathematical Society, ProvidenceGoogle Scholar