Hostname: page-component-7bb8b95d7b-wpx69 Total loading time: 0 Render date: 2024-09-19T06:55:00.233Z Has data issue: false hasContentIssue false

Limit measures for affine cellular automata

Published online by Cambridge University Press:  15 August 2002

MARCUS PIVATO
Affiliation:
Department of Mathematics, University of Houston, Houston, TX 77204-3476, USA (e-mail: pivato@math.uh.edu)
REEM YASSAWI
Affiliation:
Department of Mathematics, Trent University, Lady Eaton College, Peterborough, Ontario, K9L 1Z6, Canada (e-mail: ryassawi@trentu.ca)

Abstract

Let \mathbb{M} be a monoid (e.g. \mathbb{N}, \mathbb{Z}, or \mathbb{M}^D), and \mathcal{A} an abelian group. \mathcal{A}^\mathbb{M} is then a compact abelian group; a linear cellular automaton (LCA) is a continuous endomorphism \mathfrak{F}:\mathcal{A}^\mathbb{M}\longrightarrow\mathcal{A}^\mathbb{M} that commutes with all shift maps. Let \mu be a (possibly non-stationary) probability measure on \mathcal{A}^\mathbb{M}; we develop sufficient conditions on \mu and \mathfrak{F} so that the sequence \{\mathfrak{F}^N\mu\}_{N=1}^\infty weak* converges to the Haar measure on \mathcal{A}^\mathbb{M} in density (and thus, in Cesàro average as well). As an application, we show that, if \mathcal{A}=\mathbb{Z}_{/p} (p prime), \mathfrak{F} is any ‘non-trivial’ LCA on \mathcal{A}^{(\mathbb{Z}^D)}, and \mu belongs to a broad class of measures (including most Bernoulli measures (for D \geq 1) and ‘fully supported’ N-step Markov measures (when D=1)), then \mathfrak{F}^N\mu weak* converges to the Haar measure in density.

Type
Research Article
Copyright
© 2002 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)