arXiv++ Combinatorics

The structure of the graph defined by the interactions in a Boolean network can determine properties of the asymptotic dynamics. For instance, considering the asynchronous dynamics, the absence of positive cycles guarantees the existence of a unique attractor, and the absence of negative cycles ensures that all attractors are fixed points. In presence of multiple attractors, one might be interested in properties that ensure that attractors are sufficiently "isolated", that is, they can be found in separate subspaces or even trap spaces, subspaces that are closed with respect to the dynamics. Here we introduce notions of separability for attractors and identify corresponding necessary conditions on the interaction graph. In particular, we show that if the interaction graph has at most one positive cycle, or at most one negative cycle, or if no positive cycle intersects a negative cycle, then the attractors can be separated by subspaces. If the interaction graph has no path from a negative to a positive cycle, then the attractors can be separated by trap spaces. Furthermore, we study networks with interaction graphs admitting two vertices that intersect all cycles, and show that if their attractors cannot be separated by subspaces, then their interaction graph must contain a copy of the complete signed digraph on two vertices, deprived of a negative loop. We thus establish a connection between a dynamical property and a complex network motif. The topic is far from exhausted and we conclude by stating some open questions.

Results and tools on discrete interaction networks are often concerned with Boolean variables, whereas considering more than two levels is sometimes useful. Multivalued networks can be converted to partial Boolean maps, in a way that preserves the asynchronous dynamics. We investigate the problem of extending these maps to non-admissible states, i.e. states that do not have a multivalued counterpart. We observe that attractors are preserved if a stepwise version of the original function is considered for conversion. Different extensions of the Boolean conversion affect the structure of the interaction graphs in different ways. A particular technique for extending the partial Boolean conversion is identified, that ensures that feedback cycles are preserved. This property, combined with the conservation of the asymptotic behaviour, can prove useful for the application of results and analyses defined in the Boolean setting to multivalued networks, and vice versa. As a first application, by considering the conversion of a known example for the discrete multivalued case, we create a Boolean map showing that the existence of a cyclic attractor and the absence of fixed points are compatible with the absence of local negative cycles. We then state a multivalued version of a result connecting mirror states and local feedback cycles.