Attractiveness of the Haar measure for linear cellular automata on Markov subgroups

For the action of an algebraic cellular automaton on a Markov subgroup, we show that the Ces\`{a}ro mean of the iterates of a Markov measure converges to the Haar measure. This is proven by using the combinatorics of the binomial coefficients on the regenerative construction of the Markov measure.Comment: Published at http://dx.doi.org/10.1214/074921706000000130 in the IMS Lecture Notes--Monograph Series (http://www.imstat.org/publications/lecnotes.htm) by the Institute of Mathematical Statistics (http://www.imstat.org