2 research outputs found
On Conservative and Monotone One-dimensional Cellular Automata and Their Particle Representation
Number-conserving (or {\em conservative}) cellular automata have been used in
several contexts, in particular traffic models, where it is natural to think
about them as systems of interacting particles. In this article we consider
several issues concerning one-dimensional cellular automata which are
conservative, monotone (specially ``non-increasing''), or that allow a weaker
kind of conservative dynamics. We introduce a formalism of ``particle
automata'', and discuss several properties that they may exhibit, some of
which, like anticipation and momentum preservation, happen to be intrinsic to
the conservative CA they represent. For monotone CA we give a characterization,
and then show that they too are equivalent to the corresponding class of
particle automata. Finally, we show how to determine, for a given CA and a
given integer , whether its states admit a -neighborhood-dependent
relabelling whose sum is conserved by the CA iteration; this can be used to
uncover conservative principles and particle-like behavior underlying the
dynamics of some CA. Complements at {\tt http://www.dim.uchile.cl/\verb'
'anmoreir/ncca}Comment: 38 pages, 2 figures. To appear in Theo. Comp. Sc. Several changes
throughout the text; major change in section 4.
On conservative and monotone one-dimensional cellular automata and their particle representation
AbstractNumber-conserving (or conservative) cellular automata (CA) have been used in several contexts, in particular traffic models, where it is natural to think about them as systems of interacting particles. In this article we consider several issues concerning one-dimensional cellular automata which are conservative, monotone (specially “non-increasing”), or that allow a weaker kind of conservative dynamics. We introduce a formalism of “particle automata”, and discuss several properties that they may exhibit, some of which, like anticipation and momentum preservation, happen to be intrinsic to the conservative CA they represent. For monotone CA we give a characterization, and then show that they too are equivalent to the corresponding class of particle automata. Finally, we show how to determine, for a given CA and a given integer b, whether its states admit a b-neighborhood-dependent relabeling whose sum is conserved by the CA iteration; this can be used to uncover conservative principles and particle-like behavior underlying the dynamics of some CA.Complements at http://www.dim.uchile.cl/~anmoreir/ncc