Cycle equivalence of graph dynamical systems
Abstract
Graph dynamical systems (GDSs) generalize concepts such as cellular automata and Boolean networks and can describe a wide range of distributed, nonlinear phenomena. Two GDSs are cycle equivalent if their periodic orbits are isomorphic as directed graphs, which captures the notion of having comparable longterm dynamics. In this paper, we study cycle equivalence of GDSs in which the vertex functions are applied sequentially through an update sequence. The main result is a general characterization of cycle equivalence based on the underlying graph Y and the update sequences. We construct and analyse two graphs C(Y) and D(Y) whose connected components contain update sequences that induce cycle equivalent dynamical system maps. The number of components in these graphs, denoted κ(Y) and δ(Y), bound the number of possible longterm behaviour that can be generated by varying the update sequence. We give a recursion relation for κ(Y) which in turn allows us to enumerate δ(Y). The components of C(Y) and D(Y) characterize dynamical neutrality, their sizes represent structural stability of periodic orbits and the number of components can be viewed as a system complexity measure. We conclude with a computational result demonstrating the impact on complexity that results when passing from radius1 to radius2 rules in asynchronous cellular automata.
 Publication:

Nonlinearity
 Pub Date:
 February 2009
 DOI:
 10.1088/09517715/22/2/010
 arXiv:
 arXiv:0802.4412
 Bibcode:
 2009Nonli..22..421M
 Keywords:

 Mathematics  Dynamical Systems;
 Mathematics  Combinatorics;
 37B99;
 93D99;
 20F55
 EPrint:
 Nonlinearity 22 (2009) 421436.