Limit Measures for Affine Cellular Automata

Let M be a monoid (e.g. the lattice Z^D), and A an abelian group. A^M is then a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism F:A^M --> A^M that commutes with all shift maps. Let mu be a (possibly nonstationary) probability measure on A^M; we develop sufficient conditions on mu and F so that the sequence {F^N mu} (N=1,2,3,...) weak*-converges to the Haar measure on A^M, in density (and thus, in Cesaro average as well). As an application, we show: if A=Z/p (p prime), F is any ``nontrivial'' LCA on A^{(Z^D)}, and mu belongs to a broad class of measures (including most Bernoulli measures (for D >= 1) and ``fully supported'' N-step Markov measures (when D=1), then F^N mu weak*-converges to Haar measure in density.