On certain morphisms of sequential dynamical systems

We study a class of discrete dynamical systems that consist of the following data: (a) a finite (labeled) graph Y with vertex set {1,…,n}, where each vertex has a binary state, (b) a vertex labeled multi-set of functions (Fi,Y:F2n→F2n)i and (c) a permutation π∈Sn. The function Fi,Y updates the binary state of vertex i as a function of the states of vertex i and its Y-neighbors and leaves the states of all other vertices fixed. The permutation π represents a Y-vertex ordering according to which the functions Fi,Y are applied. By composing the functions Fi,Y in the order given by π we obtain the sequential dynamical system (SDS)[FY,π]=∏i=1nFπ(i),Y:F2n⟶F2n.Let G[FY,π] be the graph with vertex set F2n and edge set {(x,[FY,π](x))∣x∈F2n}. An SDS-morphism between [FY,π] and [FZ,σ] is a triple (ϕ,η,Φ), where ϕ:Y⟶Z is a graph-morphism, η:S|Z|⟶S|Y| is a map such that η(σ)=π and Φ is a digraph-morphism Φ:G[FZ,σ]⟶G[FY,π]. Our main result is that locally bijective graph-morphisms (coverings) between dependency graphs of SDS naturally induce SDS-morphisms. We show how these SDS-morphisms allow for a new proof for the upper bound on the number of inequivalent SDS obtained by only varying their underlying permutations. Here, two SDS are called inequivalent if they are inequivalent as dynamical systems. Furthermore, we apply our result in order to obtain phase space properties of SDS.