Abstract:Automata networks, and in particular Boolean networks, are used to model diverse networks of interacting entities. The interaction graph of an automata network is its most important parameter, as it represents the overall architecture of the network. A continuous amount of work has been devoted to infer dynamical properties of the automata network based on its interaction graph only. Robert's theorem is the seminal result in this area; it states that automata networks with an acyclic interaction graph converge to a unique fixed point. The feedback bound can be viewed as an extension of Robert's theorem; it gives an upper bound on the number of fixed points of an automata network based on the size of a minimum feedback vertex set of its interaction graph. Boolean networks can be viewed as self-mappings on the power set lattice of the set of entities. In this paper, we consider self-mappings on a general complete lattice. We make two conceptual contributions. Firstly, we can view a digraph as a residuated mapping on the power set lattice; as such, we define a graph on a complete lattice as a residuated mapping on that lattice. We extend and generalise some results on digraphs to our setting. Secondly, we introduce a generalised notion of dependency whereby any mapping $\phi$ can depend on any other mapping $\alpha$. In fact, we are able to give four kinds of dependency in this case. We can then vastly expand Robert's theorem to self-mappings on general complete lattices; we similarly generalise the feedback bound. We then obtain stronger results in the case where the lattice is a complete Boolean algebra. We finally show how our results can be applied to prove the convergence of automata networks.

A converse to Moore's theorem on cellular automata

The Garden of Eden Theorem over Generalized Cellular Automata

Amenability of groups is characterized by Myhill's Theorem

The Garden of Eden Theorem for Cellular Automata on Group Sets

The Garden of Eden theorem: old and new

Kolmogorov Complexity and the Garden of Eden Theorem

On the Garden of Eden theorem for non-uniform cellular automata

Cellular automata on a $G$-set

Effective Projections on Group Shifts to Decide Properties of Group Cellular Automata

A Garden of Eden theorem for principal algebraic actions

On Local Symmetries And Universality In Cellular Autmata

Conway's cosmological theorem and automata theory

2D Moore CA with new boundary conditions and its reversibility

Robert's theorem and graphs on complete lattices

FO logic on cellular automata orbits equals MSO logic

A weakly universal cellular automaton in the pentagrid with five states

A strongly universal cellular automaton on the pentagrid with six states and Moore neighbourhood

On the reversibility and the closed image property of linear cellular automata

Further travels with my ant

On the Garden of Eden theorem for B-free subshifts