Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties
Résumé
We study the dynamical behavior of D-dimensional (D ≥ 1) additive cellular automata where the alphabet is any finite abelian group. This class of discrete time dynamical systems is a generalization of the systems extensively studied by many authors among which one may list [36, 43, 44, 40, 12, 11]. Our main contribution is the proof that topologically transitive additive cellular automata are ergodic. This result represents a solid bridge between the world of measure theory and that of topology theory and greatly extends previous results obtained in [12, 43] for linear CA over Zm i.e. additive CA in which the alphabet is the cyclic group Zm and the local rules are linear combinations with coefficients in Zm. In our scenario, the alphabet is any finite abelian group and the global rule is any additive map. This class of CA strictly contains the class of linear CA over Z n m , i.e., with the local rule defined by n × n matrices with elements in Zm which, in turn, strictly contains the class of linear CA over Zm. In order to further emphasize that finite abelian groups are more expressive than Zm we prove that, contrary to what happens in Zm, there exist additive CA over suitable finite abelian groups which are roots (with arbitrarily large indices) of the shift map. As a consequence of our results, we have that, for additive CA, ergodic mixing, weak ergodic mixing, ergodicity, topological mixing, weak topological mixing, topological total transitivity and topological transitivity are all equivalent properties. As a corollary, we have that invertible transitive additive CA are isomorphic to Bernoulli shifts. Finally, we provide a first characterization of strong transitivity for additive CA which we suspect it might be true also for the general case.
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...