Ergodic properties of certain surjective cellular automata (Q1207648)

We consider one-dimensional cellular automata, i.e., the maps \(T:P^ \mathbb{Z}\to P^ \mathbb{Z}\) \((P\) is a finite set with more than one element) which are given by \((Tx)_ i=F(x_{i+\ell},\dots,x_{i+r})\), \(x=(x_ i)_{i\in\mathbb{Z}}\in P^ \mathbb{Z}\), for some integers \(\ell\leq r\) and a mapping \(F:P^{r-\ell+1}\to P\). We prove that if \(F\) is right- (left-) permutative (in Hedlund's terminology) and \(0\leq\ell<r\) (resp. \(\ell<r\leq 0)\), then the natural extension of the dynamical system \((P^ \mathbb{Z},{\mathcal B},\mu,T)\) is a Bernoulli automorphism \((\mu\) stands for the \((1/p,\dots,1/p)\)-Bernoulli measure on the full shift \(P^ \mathbb{Z})\). If \(r<0\) or \(\ell>0\) and \(T\) is surjective, then the natural extension of the system \((P^ \mathbb{Z},{\mathcal B},\mu,T)\) is a \(K\)-automorphism. We also prove that the shift \(\mathbb{Z}^ 2\)-action on a two-dimensional subshift of finite type canonically associated with the cellular automaton \(T\) is mixing, if \(F\) is both right and left permutative. Some more results about ergodic properties of surjective cellular automata are obtained.