Conservation Laws in Cellular Automata
Dynamical Systems
2009-11-07 v2
Abstract
If X is a discrete abelian group and B a finite set, then a cellular automaton (CA) is a continuous map F:B^X-->B^X that commutes with all X-shifts. If g is a real-valued function on B, then, for any b in B^X, we define G(b) to be the sum over all x in X of g(b_x) (if finite). We say g is `conserved' by F if G is constant under the action of F. We characterize such `conservation laws' in several ways, deriving both theoretical consequences and practical tests, and provide a method for constructing all one-dimensional CA exhibiting a given conservation law.
Cite
@article{arxiv.math/0111014,
title = {Conservation Laws in Cellular Automata},
author = {Marcus Pivato},
journal= {arXiv preprint arXiv:math/0111014},
year = {2009}
}
Comments
19 pages, LaTeX 2E with one (1) Encapsulated PostScript figure. To appear in Nonlinearity. (v2) minor changes/corrections; new references added to bibliography