Right-permutative cellular automata on topological Markov chains (Q946974)

The paper is concerned with the dynamics of cellular automata (c.a.). The author is interested in the following questions: a) To recode a cellular automaton in order to classify its dynamics. b) To identify \(\sigma\)-invariant probability measures which are also \(\Phi\)-invariant, where \(\Phi\) is the code map associate to the subshift \(\mathcal{B}\subseteq G^{\mathbb{Z}},\) being \(G\) a finite alphabet and \(\sigma\) the shift map from \(G^{\mathbb{Z}}\) into itself. c) To analyze the behaviour of \(\sigma\)-invariant probability measures under the dynamics of \(\Phi.\) The main results are (the definitions of the different notions are too involved to be described here):\newline (i) A characterization of structurally compatible (SC) bipermutative c.a. (resp. right-permutative \(\psi\)-associative, right permutative \(N\)-scaling) via topological conjugation.\newline (ii) If a SC bipermutative c.a. \((\mathcal{B},\Phi)\) has a probability measure \(\mu\) with complete connections compatible with \(\mathcal{B}\) and summable decay, then it is proved that the topological conjugation \(\varphi\) above mentioned preserves these properties, that is, \(\mu\circ\varphi^{-1}\) is also a probability measure with complete connections and summable decay.\newline (iii) If \((\mathcal{B},\Phi)\) is a SC c.a. and \(\mu\) is a probability measure on \(\mathcal{B}\) with complete connections and summable decay, the author imposes appropriate conditions to the c.a. in order to obtain the convergence of the Cesàro mean distribution of \(\mu\) under the action of \(\Phi.\)\newline (iv) Finally, the author presents a pair of results relative to invariant measures of SC affine c.a. \((\mathcal{B},\Phi)\), where \(\mathcal{B}\) is irreducible and its topological entropy \(\mathbf{h}(\mathcal{B})\) is equal to \(\log p,\) with \(p\) a prime number. For a \((\Phi,\sigma)\)-invariant probability measure \(\mu\) on \(\mathcal{B}\), by supposing certain suitable conditions on \(\mu\), the author obtains that \(\mu\) is precisely the Parry measure (the unique maximum entropy measure for \((\mathcal{B},\sigma)\)).\newline In some cases the author uses previous results appearing in \textit{B. Host et al.} [Discrete Contin. Dyn. Syst. 9, 1423--1446 (2003; Zbl 1053.54046)] and in \textit{M. Sobottka} [Discrete Contin. Dyn. Syst. 17, 77--93 (2007; Zbl 1124.37005)].