Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties

Abstract : 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.
Complete list of metadatas

Cited literature [52 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02268122
Contributor : Enrico Formenti <>
Submitted on : Tuesday, August 20, 2019 - 1:37:37 PM
Last modification on : Wednesday, August 21, 2019 - 1:17:09 AM

File

LIPIcs-MFCS-2019-68.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara. Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties. 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. pp.1--15, ⟨10.4230/LIPIcs.MFCS.2019.68⟩. ⟨hal-02268122⟩

Share

Metrics

Record views

32

Files downloads

52