Natural Computing

, Volume 10, Issue 4, pp 1275–1294

On the hierarchy of conservation laws in a cellular automaton

Article

DOI: 10.1007/s11047-010-9222-0

Cite this article as:
Formenti, E., Kari, J. & Taati, S. Nat Comput (2011) 10: 1275. doi:10.1007/s11047-010-9222-0

Abstract

Conservation laws in cellular automata (CA) are studied as an abstraction of the conservation laws observed in nature. In addition to the usual real-valued conservation laws we also consider more general group-valued and semigroup-valued conservation laws. The (algebraic) conservation laws in a CA form a hierarchy, based on the range of the interactions they take into account. The conservation laws with smaller interaction ranges are the homomorphic images of those with larger interaction ranges, and for each specific range there is a most general law that incorporates all those with that range. For one-dimensional CA, such a most general conservation law has—even in the semigroup-valued case—an effectively constructible finite presentation, while for higher-dimensional CA such effective construction exists only in the group-valued case. It is even undecidable whether a given two-dimensional CA conserves a given semigroup-valued energy assignment. Although the local properties of this hierarchy are tractable in the one-dimensional case, its global properties turn out to be undecidable. In particular, we prove that it is undecidable whether this hierarchy is trivial or unbounded. We point out some interconnections between the structure of this hierarchy and the dynamical properties of the CA. In particular, we show that positively expansive CA do not have non-trivial real-valued conservation laws.

Keywords

Cellular automata Conservation laws Energy Reversibility Undecidability Dynamical systems Chaos 

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Laboratoire I3SUniversité de Nice Sophia AntipolisSophia Antipolis CedexFrance
  2. 2.Department of MathematicsUniversity of TurkuTurkuFinland

Personalised recommendations