arXiv++ Combinatorics

We consider Boolean networks with interaction graphs partitioned into strongly connected components, which we call strong modules. This type of network decomposition has been considered in the literature, primarily from the perspective of attractor detection algorithms. In this paper, we aim to provide an algebraic basis for this line of research in the case of asynchronous Boolean networks. We prove that the asynchronous attractors of a network can be described as a dependent sum construction: as products of attractors of its controlled strong modules. We then show that a representation of all attractors can be computed in polynomial time under two conditions: the strong modules are small, and either the network is sparse or its defining functions have small size circuits (in particular when they are nested canalizing). We illustrate these results on a published Boolean model.

Nested canalization (NC) is a property of Boolean functions which has been recently extended to multivalued functions. We study the effect of the Van Ham mapping (from multivalued to Boolean functions) on this property. We introduce the class of softly nested canalizing (SNC) multivalued functions, and prove that the Van Ham mapping sends SNC multivalued functions to NC Boolean functions. Since NC multivalued functions are SNC, this preservation property holds for NC multivalued functions as well. We also study the relevance of SNC functions in the context of gene regulatory network modelling.

The canalizing properties of biological functions have been mainly studied in the context of Boolean modelling of gene regulatory networks. An important mathematical consequence of canalization is a low average sensitivity, which ensures in particular the expected robustness to noise. In certain situations, the Boolean description is too crude, and it may be necessary to consider functions involving more than two levels of expression. We investigate here the properties of nested canalization for these multivalued functions. We prove that the average sensitivity of nested canalizing multivalued functions is bounded above by a constant. In doing so, we introduce a generalization of nested canalizing multivalued functions, which we call weakly nested canalizing, for which this upper bound holds.

We study the asymptotic dynamical properties of Boolean networks without local negative cycle. While the properties of Boolean networks without local cycle or without local positive cycle are rather well understood, recent literature raises the following two questions about networks without local negative cycle. Do they have at least one fixed point? Should all their attractors be fixed points? The two main results of this paper are negative answers to both questions: we show that and-nets without local negative cycle may have no fixed point, and that Boolean networks without local negative cycle may have antipodal attractive cycles.