arXiv++ Combinatorics

The {\em asynchronous automaton} associated with a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$, considered in many applications, is the finite deterministic automaton where the set of states is $\{0,1\}^n$, the alphabet is $[n]$, and the action of letter $i$ on a state $x$ consists in either switching the $i$th component if $f_i(x)\neq x_i$ or doing nothing otherwise. These actions are extended to words in the natural way. A word is then {\em synchronizing} if the result of its action is the same for every state. In this paper, we ask for the existence of synchronizing words, and their minimal length, for a basic class of Boolean networks called and-or-nets: given an arc-signed digraph $G$ on $[n]$, we say that $f$ is an {\em and-or-net} on $G$ if, for every $i\in [n]$, there is $a$ such that, for all state $x$, $f_i(x)=a$ if and only if $x_j=a$ ($x_j\neq a$) for every positive (negative) arc from $j$ to $i$; so if $a=1$ ($a=0$) then $f_i$ is a conjunction (disjunction) of positive or negative literals. Our main result is that if $G$ is strongly connected and has no positive cycles, then either every and-or-net on $G$ has a synchronizing word of length at most $10(\sqrt{5}+1)^n$, much smaller than the bound $(2^n-1)^2$ given by the well known Černý's conjecture, or $G$ is a cycle and no and-or-net on $G$ has a synchronizing word. This contrasts with the following complexity result: it is coNP-hard to decide if every and-or-net on $G$ has a synchronizing word, even if $G$ is strongly connected or has no positive cycles.

In the modeling of biological systems by Boolean networks a key problem is finding the set of fixed points of a given network. Some constructed algorithms consider certain structural properties of the interaction graph like those proposed by Akutsu et al. in \cite{akutsu1998system,zhang2007algorithms} which consider a feedback vertex set of the graph. However, these methods do not take into account the type of action (activation, inhibition) between its components. In this paper we propose a new algorithm for finding the set of fixed points of a Boolean network, based on a positive feedback vertex set $P$ of its interaction graph and which works, by applying a sequential update schedule, in time $O(2^{|P|} \cdot n^2)$, where $n$ is the number of components. The theoretical foundation of this algorithm is due a nice characterization, that we give, of the dynamical behavior of the Boolean networks without positive cycles and with a fixed point. An executable file of \Afp made in Java and some examples of input files are available at: \href{http://www.inf.udec.cl/~lilian/FPCollector/}{\url{www.inf.udec.cl/~lilian/FPCollector/}}

The asynchronous automaton associated with a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ is considered in many applications. It is the finite deterministic automaton with set of states $\{0,1\}^n$, alphabet $\{1,\dots,n\}$, where the action of letter $i$ on a state $x$ consists in either switching the $i$th component if $f_i(x)\neq x_i$ or doing nothing otherwise. This action is extended to words in the natural way. We then say that a word $w$ fixes $f$ if, for all states $x$, the result of the action of $w$ on $x$ is a fixed point of $f$. In this paper, we ask for the existence of fixing words, and their minimal length. Firstly, our main results concern the minimal length of words that fix monotone networks. We prove that, for $n$ sufficiently large, there exists a monotone network $f$ with $n$ components such that any word fixing $f$ has length $Ω(n^2)$. For this first result we prove, using Baranyai's theorem, a property about shortest supersequences that could be of independent interest: there exists a set of permutations of $\{1,\dots,n\}$ of size $2^{o(n)}$, such that any sequence containing all these permutations as subsequences is of length $Ω(n^2)$. Conversely, we construct a word of length $O(n^3)$ that fixes all monotone networks with $n$ components. Secondly, we refine and extend our results to different classes of fixable networks, including networks with an acyclic interaction graph, increasing networks, conjunctive networks, monotone networks whose interaction graphs are contained in a given graph, and balanced networks.

Given a digraph $G$, a lot of attention has been deserved on the maximum number $φ(G)$ of fixed points in a Boolean network $f:\{0,1\}^n\to\{0,1\}^n$ with $G$ as interaction graph. In particular, a central problem in network coding consists in studying the optimality of the classical upper bound $φ(G)\leq 2^τ$, where $τ$ is the minimum size of a feedback vertex set of $G$. In this paper, we study the maximum number $φ_m(G)$ of fixed points in a {\em monotone} Boolean network with interaction graph $G$. We establish new upper and lower bounds on $φ_m(G)$ that depends on the cycle structure of $G$. In addition to $τ$, the involved parameters are the maximum number $ν$ of vertex-disjoint cycles, and the maximum number $ν^{*}$ of vertex-disjoint cycles verifying some additional technical conditions. We improve the classical upper bound $2^τ$ by proving that $φ_m(G)$ is at most the largest sub-lattice of $\{0,1\}^τ$ without chain of size $ν+1$, and without another forbidden-pattern of size $2ν^{*}$. Then, we prove two optimal lower bounds: $φ_m(G)\geq ν+1$ and $φ_m(G)\geq 2^{ν^{*}}$. As a consequence, we get the following characterization: $φ_m(G)=2^τ$ if and only if $ν^{*}=τ$. As another consequence, we get that if $c$ is the maximum length of a chordless cycle of $G$ then $2^{ν/3^c}\leqφ_m(G)\leq 2^{cν}$. Finally, with the technics introduced, we establish an upper bound on the number of fixed points of any Boolean network according to its signed interaction graph.

Given a graph $G$, viewed as a loop-less symmetric digraph, we study the maximum number of fixed points in a conjunctive boolean network with $G$ as interaction graph. We prove that if $G$ has no induced $C_4$, then this quantity equals both the number of maximal independent sets in $G$ and the maximum number of maximal independent sets among all the graphs obtained from $G$ by contracting some edges. We also prove that, in the general case, it is coNP-hard to decide if one of these equalities holds, even if $G$ has a unique induced $C_4$.