- Open Access
Cooperative Boolean systems with generically long attractors II
© Just and Malicki; licensee Springer. 2013
Received: 4 May 2013
Accepted: 23 August 2013
Published: 9 September 2013
The purpose of this paper is to investigate to what extent cooperativity, that is, the absence of negative interactions, in Boolean networks with synchronous updating, imposes limits on chaos-like properties that are possible in such systems. Our focus is on notions of sensitive dependence on initial conditions, or a combination of sensitive dependence and large basins of attraction of exponentially long attractors, both of which are well-recognized hallmarks of chaotic dynamics in the Boolean context.
We prove that a strong notion of sensitive dependence on initial conditions that formalizes decoherence along the attractor is precluded by cooperativity. Weaker notions of sensitive dependence that formalize decoherence at some time during the trajectory and sensitive dependence of the basin of attraction on initial conditions, respectively, are shown to be consistent with cooperativity, but if each regulatory function is binary AND or binary OR, in N-dimensional networks they impose an upper bound of on the lengths of attractors that can be reached from a fraction of initial conditions. The upper bound is shown to be optimal. These results indicate that the transfer of analogous results for differential equations models crucially depends on the precise conceptualization of chaos in the Boolean context.
MSC: 34C12, 39A33, 94C10.
Many natural systems can be modeled with several types of dynamical systems, and it is of interest to study which properties of differential equations models carry over to certain types of difference equation models. This paper is a continuation of the investigation in  of the question to what extent the absence of negative feedback interactions precludes genericity of chaos for Boolean systems with synchronous updating, as it does for ODE models.
Understanding the role of feedback is crucial in the study of dynamical systems; see, e.g., [2, 3] for relevant surveys. The absence of negative feedback loops tends to favor steady state attractors. For example, continuous flows without negative feedback loops are known as monotone systems. In these systems trajectories converge generically towards an equilibrium under mild regularity hypotheses; see, e.g., [4–6]. In particular, this implies that chaotic trajectories are not generic in cooperative continuous flows. Similarly, [7, 8] show that in Boolean networks with asynchronous updating, negative feedback loops are necessary for the existence of attracting limit cycles.
Cooperativity is the absence of any negative interactions whatsoever. Thus cooperativity is a more stringent condition than monotonicity, which only requires the absence of negative feedback loops. In other words, the regulatory functions in cooperative Boolean networks have Boolean expressions that use only AND- and OR-operators with one or more inputs. Such networks have been proposed as a tool for understanding gene regulatory networks . Cooperative networks that use only one type of these operators have also been studied . Empirical investigations indicate that cooperativity favors ordered dynamics in Boolean networks [11, 12]. While empirical investigations can give us some idea about the average dynamics of Boolean networks from a given class, this paper will focus on the problem to what extent cooperativity already implies certain properties of ordered dynamics. Thus we will investigate under which conditions cooperativity does or does not preclude certain hallmarks of chaotic dynamics in Boolean networks.
Chaotic dynamics of Boolean networks is characterized by very long attractors, very few eventually frozen nodes, and high sensitivity to perturbations of initial conditions . These three hallmarks usually, but not always, go together. Our focus in  was on very long attractors. Since the state space of an N-dimensional Boolean network has size , we were interested in upper bounds of the form for constants . As in [14, 15], we call an N-dimensional Boolean network c-chaotic if it has an attractor of length . If attractors of this length are reached with probability >p from a randomly chosen initial condition, then we say that the network is p-c-chaotic. Thus p-c-chaos is a notion of genericity of chaos in terms of very long attractors, and it also implies genericity of chaos in terms of very few eventually frozen nodes (Proposition 3.2. of ).
Expected dynamics of so-called random Boolean networks (RBNs) tends to become more chaotic as the number of inputs per node increases (see, e.g., the surveys [13, 16, 17]). The most stringent limitation of this kind is the assumption that the Boolean network is bi-quadratic, that is, such that both the number of in- and outputs per node is bounded from above by 2. The main result of  (reproduced below as Theorem 1) is that cooperative bi-quadratic Boolean networks can still be p-c-chaotic. However, if we require that the system is strictly bi-quadratic, that is, all nodes have exactly two inputs and two outputs, then even c-chaos is possible only for , and the bound is optimal [11, 14, 15]. Here we will show that the same bound is optimal for strictly bi-quadratic p-c-chaotic cooperative networks (Theorem 7).
The main focus of the present paper is the question whether cooperativity limits, to some extent, the sensitivity to perturbations of initial conditions in Boolean networks. All by itself, p-c-chaos does not imply high sensitivity to initial conditions. In particular, p-c-chaos can coexist in cooperative Boolean networks, for every , with p-coalescence, which is the property that for two randomly chosen initial conditions , that differ by a single-bit flip (have Hamming distance 1) with probability >p, there will be some with . Note that the dynamics of such networks is highly chaotic in one sense (a very long attractor will be reached from most initial conditions) and highly ordered in another (the particular attractor that will be reached is not significantly sensitive to the initial condition). Whether or not such networks should be called ‘chaotic’ is a question of judgment and may depend on the context. For this reason, we generally use phrases like ‘hallmarks of chaos’ or ‘chaos-like property’ instead of the unqualified adjective ‘chaotic.’
There are several plausible ways of formalizing the notion of sensitive dependence on initial conditions, and we will study three such notions: p-instability, which in cooperative Boolean networks is equivalent to the negation of p-coalescence, p-D-decoherence, and p-α-q-decoherence. Intuitively, the latter two notions mean that a single-bit perturbation to a randomly chosen initial condition will with high probability lead to trajectories that have a relatively large Hamming distance infinitely often. It turns out that the strongest of these notions, p-α-q-decoherence, does occur in some p-c-chaotic Boolean networks (Proposition 3), but is precluded by cooperativity (Theorem 4). Thus an analogue of the above-mentioned theorem for monotone flows holds for this particular formalization of the notion of chaos in Boolean networks.
For p-instability and p-D-decoherence, the situation is more subtle. We will show that for every , there are bi-quadratic cooperative Boolean networks that are simultaneously p-unstable and p-c-chaotic (Theorem 2). But strictly bi-quadratic networks that are also p-unstable and p-c-chaotic can exist only if (see Section 3.2), and we show that this bound is again optimal (Theorem 8). In general, cooperative p-c-chaotic Boolean networks can exhibit arbitrarily strong forms of p-D-decoherence (Theorem 5). We prove that some versions of this property can occur under the additional assumptions that the network is bi-quadratic (Theorem 6) or even strictly bi-quadratic (Theorem 9). It remains an open problem to determine the maximal amount of p-D-decoherence that is possible under these additional assumptions.
Our terminology will be the same as in , where the reader can find all relevant definitions. Here we will only clarify some key points that are crucial for understanding the formulation of our results.
The symbol denotes the set , which is also the domain of N-dimensional Boolean vectors . Each such is the characteristic function of the set . It will sometimes be convenient to work with sets instead of Boolean vectors . Note that in this interpretation a Boolean function f is cooperative, which can be defined as preserving the coordinatewise partial order, if and only if it preserves the subset relation, that is, implies . It follows that every partial Boolean function on a set of pairwise incomparable Boolean vectors can be extended to a cooperative total Boolean function (see Proposition 2.1 of ), a fact that we will use several times.
The symbol denotes the number of coordinates i with ; equivalently, .
The Hamming distance between two Boolean vectors and with the same domain is the number of i with . Vectors with a Hamming of 1 are said to differ by a single-bit flip.
As in  and elsewhere in the literature, we will use the terms ‘Boolean system’ and ‘Boolean network’ interchangeably. But we will carefully distinguish these dynamical systems from ‘Boolean circuits’ and ‘Boolean input-output systems’ which are layered arrangements of Boolean gates that calculate certain Boolean functions. Boolean input-output systems, as opposed to Boolean circuits, allow feedback loops between the variables; both structures can be incorporated as building blocks into Boolean networks to achieve desired dynamics.
Boolean input-output systems will form the building blocks for several of our examples. A Boolean input-output system is (bi-)quadratic if every of its variables has indegree (and outdegree) at most 2, where the indegree of a variable is the number of variables its regulatory function takes input from, and the outdegree is the number of variables for which it serves as input. Cooperative quadratic Boolean input-output systems can use only binary AND, binary OR, and unary COPY gates; the latter type of gates is not allowed in strictly quadratic input-output systems. A bi-quadratic system is strictly bi-quadratic if, in addition, every of its variables except the input variables has indegree exactly 2. Note that for Boolean networks the latter requirement already implies that each variable must have outdegree exactly 2 as well (since the sum of indegrees in any directed graph is equal to the sum of outdegrees), but due to external inputs and outputs, this implication is in general false for Boolean input-output systems.
3 Statement of the results
For easier reference, we state the main result of part I .
Theorem 1 Given any and , for all sufficiently large N, there exist p-c-chaotic, p-coalescent, N-dimensional bi-quadratic cooperative Boolean networks.
3.1 Sensitivity to initial conditions
Our first formal definition of high sensitivity to initial conditions is the notion of p-instability that was introduced in . A Boolean system is p-unstable if a random single-bit flip in a randomly chosen initial state moves the trajectory into the basin of attraction of a different attractor with probability at least p. Note that for cooperative Boolean networks, p-instability is the same as the negation of ()-coalescence: If , are two initial conditions that differ in exactly one variable, then we must have either or ; wlog assume the former. Then cooperativity implies that for all times t. If the inequality is strict for all t, then the two trajectories must reach different attractors, since in cooperative Boolean networks every two states in a given attractor are incomparable (see, e.g., ). If equality holds for some t, then the two trajectories coalesce.
We will prove the following.
Theorem 2 Given any and , for all sufficiently large N, there exist p-c-chaotic and p-unstable N-dimensional bi-quadratic cooperative Boolean networks.
Another hallmark of chaotic dynamics in Boolean networks is extensive damage propagation, which means that a small perturbation (such as a single-bit flip in an initial condition) tends to spread to a significant proportion of the nodes. The definition of p-instability does not account for this phenomenon. There are a number of possible ways to formally define extensive damage propagation; we will study here two such notions that require a significant proportion of nodes to be affected when the trajectories already have reached their attractors.
Definition 1 Let be a function on the set of positive integers. An N-dimensional Boolean network exhibits p-D-decoherence if with probability ≥p a random one-bit flip in a randomly chosen initial condition results in trajectories with the property that for infinitely many times . In particular, if for some constant , then we will refer to p-D-decoherence as p-α-decoherence.
Note that p-α-decoherence means that for infinitely many t, the Hamming distance will be at least a fraction of α of the size of the state space. Our next definition requires this to happen also sufficiently frequently.
Definition 2 A Boolean network exhibits p-α-q-decoherence if with probability ≥p a random one-bit flip in a randomly chosen initial condition results in trajectories with the property that for all sufficiently large , the proportion of times , for which the Hamming distance satisfies , is at least q.
Note that p-α-q-decoherence implies p-α-decoherence, which in turn implies the negation of ()-coalescence, that is, p-instability. Thus, in a sense, p-α-q-decoherence is the strongest possible form of sensitivity to initial conditions. It turns out that this notion is still consistent with p-c-chaos in general, but not with cooperativity.
Proposition 3 Let and . For all sufficiently large N, there exist N-dimensional p-c-chaotic Boolean networks that are p-α-q-decoherent.
Theorem 4 For every and , there exists such that no cooperative Boolean network of dimension can have the property that for some fixed time with probability ≥p, a single-bit flip in a randomly chosen initial condition leads to trajectories with . In particular, for any , no cooperative Boolean network of sufficiently large dimension can exhibit p-α-q-decoherence.
Thus p-α-q-decoherence is a chaos-like property of the dynamics that is precluded by cooperativity. In contrast, the weaker property of p-α-decoherence is consistent with cooperativity and p-c-chaos at the same time.
Theorem 5 Let . Then, for all sufficiently large N, there exist N-dimensional cooperative Boolean networks that are p-c-chaotic and exhibit p-α-decoherence.
The networks constructed in our proof of Theorem 5 are not subject to any limitations on the number of inputs or outputs per variable, and it is of interest to investigate how much damage propagation is possible in bi-quadratic cooperative Boolean networks. We will give a proof of the following result.
Theorem 6 Let and . Then, for all sufficiently large N, there exist N-dimensional cooperative bi-quadratic Boolean networks that are p-c-chaotic and exhibit p-α-decoherence.
While we do not know whether the bounds on α, p, and c in Theorem 6 are optimal, we conjecture that there are some nontrivial bounds on these parameters in bi-quadratic cooperative networks, that is, we conjecture that the analogue of Theorem 5 fails for this class of Boolean networks.
3.2 Strictly bi-quadratic networks
The theorems in  give upper bounds on for c-chaotic, cooperative bi-quadratic Boolean networks that have a fixed positive proportion of strictly quadratic regulatory functions. In particular, if a network is strictly bi-quadratic, the bound is , and it can be attained. The question is whether a similar result holds for p-instability. Here we will prove that the same bound is optimal for p-c-chaotic Boolean networks, that is, we will prove the following.
Theorem 7 Let and . Then, for all sufficiently large N, there exist p-c-chaotic, p-coalescent N-dimensional strictly bi-quadratic cooperative Boolean networks.
The question arises how much p-c-chaos and p-instability one can have simultaneously in a strictly bi-quadratic cooperative Boolean network. We will prove the following result.
Theorem 8 Let . Then, for all sufficiently large N, there exist p-c-chaotic and p-unstable N-dimensional strictly bi-quadratic cooperative Boolean networks.
Note that . It turns out that Theorem 8 is optimal. In order to formally prove this, let us introduce some new terminology. Define
as the supremum of all q such that for all sufficiently large N, there exists a strictly bi-quadratic cooperative p-c-chaotic N-dimensional q-unstable Boolean network.
as the supremum of all q such that for all sufficiently large N, there exists a cooperative c-chaotic N-dimensional q-unstable Boolean network, in which all variables have indegree exactly 2.
Since p-c-chaotic networks are automatically c-chaotic, for every , the inequality holds. In this terminology, Theorem 8 simply says that for all and .
Notice that on the interval , the right-hand side of (1) is a function that strictly decreases from 1 to 0.75. Since , it follows that Theorem 8 is in some sense optimal.
It may be of interest to investigate optimal bounds for and related functions if . We wish to leave this as an open problem.
We also do not know whether p-α-decoherence is possible at all, for any , in strictly bi-quadratic Boolean networks. However, a very slight weakening of it is still consistent in such networks, even in the presence of p-c-chaos.
Theorem 9 Let . Then there exists a constant such that for all sufficiently large N, there exist N-dimensional cooperative strictly bi-quadratic Boolean networks that are p-c-chaotic and exhibit p--decoherence.
4 Damage propagation and p-instability
Here we prove all results that were announced in the previous section that do not require any knowledge of the proof of Theorem 1. The proofs of Theorems 2 and 6-9 rely to some extent on the construction that was used in  and will be given in the next section.
Note that for all ℓ, .
Now consider initial conditions , , where is randomly chosen and is obtained by a random single-bit flip, and let B, be the sets of indices in with and , respectively. By (2), with probability >p, neither of the sets , , , will be in , and the last two clauses of the definition of the updating function f apply. Hence wlog and . Thus at time 1 the system will have entered two different attractors of length for these initial conditions, and we will have for all . □
Now consider a randomly chosen permutation π of , and let be the characteristic function of the set . Define random variables such that takes the value 1 if and takes the value 0 otherwise. Let . Then for all k, and hence . By (8), , and it follows that there exists at least one permutation π with . But existence of such a permutation would require in view of (5) and (6) that there exist initial states with such that are characteristic functions of sets with and , which leads to a contradiction.
which contradicts p-α-q-decoherence. □
For , let and . We will assume for the sake of simplicity that is even.
By assumption, . The Boolean variables with will play a special role in controlling cooperativity of the Boolean system that we are going to construct.
Let and consider a randomly chosen initial condition and any condition obtained from it by a single-bit flip. The probability that the first line of (11) fails for or is less than , and (10) implies that . It follows that with probability >p both .
for all and ,
and for all and ,
for all , and
for and any , the states and are incomparable with respect to the coordinatewise partial order.
Note that by (ii), all states in A are incomparable with all states in Z. Thus if we define the restriction of the Boolean updating function f to Z so that it is cooperative, then automatically will be cooperative. Now consider . Then, for a unique , we have , and we define . By (i), this construction results in a cooperative Boolean function on Z. Having defined a cooperative partial Boolean function , we can extend it by Proposition 2.1 of  to a cooperative updating function f on the whole state space of .
Now consider a random initial condition , and let be obtained by some one-bit flip in . Then with probability >p both , and it follows that there are with such that and . Wlog and condition (iii) implies that for infinitely many t, which gives p-α-decoherence.
Note that when , the trajectory of will reach one of the attractors . In particular, (iv) implies that all are pairwise distinct for different i and fixed j, thus has length , and we get p-c-chaos as well.
It remains to prove that for sufficiently large N, we can construct a family that satisfies conditions (i)-(iv).
Conditions (13) and (14) will be quite obviously satisfied for all sufficiently large N; condition (12) follows from the fact that we can make larger than for any and that as .
Fix . Let U, W be disjoint subsets of such that , and let be a family of pairwise incomparable subsets of U. We can form this family from subsets of U of size each; condition (13) implies that there will be enough such sets to choose from. Similarly, by (12) we can choose a family of size of subsets of that have size each and thus are pairwise incomparable. Let for be subsets of W such that is a proper subset of for all relevant j.
Then define as the characteristic function of the set
if , and
It is straightforward to verify that conditions (i)-(iv) hold, with the all-important condition (iii) following from (14). □
5 Proofs of Theorems 2 and 6-9
The proofs of these theorems are based on the construction that was used in  for the proof of Theorem 1, and we will need to review it here to some extent.
Let be as in the assumptions of Theorem 1. In the proof we constructed, for sufficiently large N, a suitable updating function f for Boolean systems such that f was cooperative, bi-quadratic, and worked as required. The set of Boolean variables was partitioned into a disjoint union , where the set X in turn was a union of pairwise disjoint sets , indexed by , and all of the same size . Both m and scale like . We singled out some and conceptualized the collection of all sets as a circular data tape, with f simply copying the vector to for all indices i with the exception of , and also copying to . The vectors , were outputs of special Boolean circuits , , which also took a second input from another Boolean input-output system .
Although the figure suggests , it will be convenient here to assume that , so that . This amounts to a circular shift in the indexing and does not alter the construction in any way.
Our proofs will rely on the following facts:
(P1) For sufficiently large N, it is possible to construct these objects so that the resulting Boolean system will be cooperative, bi-quadratic, and will exhibit p-c-chaos.
(P2) For all and all t, we will have .
(P3) Each variable in has exactly one output variable in the system.
(P4) With probability >p, the trajectory of a randomly chosen initial condition will have the property that for every time such that k is a positive integer, we have for all . This follows from the choice of coding vectors in  and the workings of , , .
(P5) The ratio approaches zero as .
The key requirement that makes this construction work for obtaining p-c-chaos is the following:
where and β is a positive integer that does not depend on n. Note that (16) implies the scaling laws and . Only the following additional properties of the coding are needed to obtain p-c-chaotic systems:
(P7) There are positive integers k, ℓ with k depending only on c such that
(P7a) , where is a set of Boolean vectors from , called the coding scheme, such that exactly half of their coordinates are 1’s (so the other half are 0’s).
A few remarks are in order here. Of course, the sets of variables are pairwise disjoint, so we cannot literally make each a subset of ; formally, we will need disjoint copies of . However, we suppress the additional parameter to reduce clutter in our notation. The outputs of the Boolean input-output system will also code for integers and satisfy property (P7), so our modifications of the coding scheme will apply to them as well. The wording chosen in  suggests that is the set of all Boolean vectors from such that exactly half of their coordinates are 1s, but this property was never actually used in the proof. Only (16) and property (P7) (which are taken from Section 8 of ) are ever referred to in any part of the construction. In fact, since we need exactly n codes for nonnegative integers, for most N, not all vectors in are used even in  as actual codes. This makes it possible for us to alter the definition of to more restrictive coding schemes that will work for our purposes here.
For the description below, it will be convenient to consider a partition of each into pairwise disjoint subsets of size k each that correspond to the domains of the vectors in when is coding.
The system works as follows: With probability arbitrarily close to 1, for each i, the vector will be crude, which means that there will be j, such that the restriction of to will take the constant value 0, and the restriction of to will take the constant value 1 (Lemma 9.1 of ). For , these crude vectors will be eventually copied to , where they become inputs of the Boolean circuit , which eventually outputs a code for 0 to for each crude input. When given an input that is a coding vector, outputs an identical copy of its input. The vector becomes one of the inputs of the Boolean circuit , which eventually outputs a code for to if its input from codes the integer v and the other input that it receives from codes an integer w. With probability arbitrarily close to 1, the Boolean input-output system will deliver the correct sequence of inputs to so that (15) of property (P6) holds. The set Q indexes those , for which the output of may not be coding due to the time lag in the calculations of , , .
Proof of Theorem 7 We need to turn the networks constructed in  into strictly bi-quadratic ones. The main problem is that in the original construction each vector was supposed to be a copy of as long as . This can be easily accomplished by a Boolean circuit of depth 1 with input variables and as output variables that uses only COPY functions, but there is no analogous strictly bi-quadratic cooperative Boolean circuit. Fortunately, as can be seen from the description above, it is not actually necessary that outputs identical copies of all possible inputs; it suffices that it does so whenever its input is a coding vector. Since we may wlog assume that is even, it even suffices to require that holds for all relevant indices i whenever is coding. It turns out that there are strictly bi-quadratic cooperative Boolean circuits that work in this way for sets of coding vectors that satisfy property (P7) as long as .
We will also need that outputs crude vectors for crude inputs, so that will receive the kind of inputs that are expected for random initial conditions. However, it follows immediately from the definition of crudeness that this will be automatically satisfied if is cooperative, strictly quadratic (thus uses only binary AND and OR gates), and such that all inputs for variables in reside in , as will be the case in our constructions.
Now it is clear from (19) that the Boolean circuit is strictly bi-quadratic and, as long as the sets and are consecutive intervals in , , it will copy to its counterpart in . Moreover, it will map crude vectors to crude ones. The circuit has the additional useful property of mapping each to such that , regardless of whether or not is coding. This will allow us to retain property (P2). For this reason, we will call the coding scheme that we just defined robust coding.
Lemma 10 Suppose . Then there exist a rational and a positive even integer such that the pair is c-friendly under robust coding.
Such ε exists by our assumption on c, and (20) implies (17).
and (18) follows. □
The coding scheme that we will actually use in the proof of Theorem 7 is more complicated, and we will refer to it as subtle coding. The relevant sets and the corresponding Boolean circuit were implicitly described in detail in Section 4.2 of  and Section 3 of , and we refer the reader to these publications for details. Here we only want to record the key properties that will be used in our arguments.
There exists a strictly bi-quadratic Boolean circuit of depth 1 such that if is a coding vector under the subtle coding scheme, then the concatenation outputs an identical copy of after two steps and writes it to the variables in .
Unfortunately, subtle coding does not preserve . Thus, in the proof of Theorem 8, we will use robust coding instead. Moreover, the output vector of is not usually an exact copy of even if is coding. However, applying the operation twice produces a copy of whenever is a subtle code. This is sufficient for our purposes; as we have already mentioned above, we only need to be a copy of for all relevant i and t.
Lemmas 10 and 11 imply that instead of straight copying in the construction of , we can use the circuits with robust coding for all or with subtle coding for all . This will not affect the other technical arguments of the construction in  and give us p-c-chaotic systems. Alas, it will not give us all by itself strictly bi-quadratic networks. We need to alter the construction in such a way that every variable has exactly two inputs and exactly two outputs. If we use robust or subtle coding, then this will be true for the variables in the relevant sets , but not automatically for the variables in the remaining parts of the system, in particular, for the variables in , , . We need a tool for adding redundant inputs to some variables that will not substantially alter the long-range dynamics of the whole system. The following lemma gives us such a tool.
Lemma 12 For every , there exists a Boolean system of depth with variables that satisfies the following. Except for one variable whose indegree is 1, the indegree of every variable is 2, and, except for one variable whose outdegree is 1, the outdegree of every variable is 2. Moreover, with probability ≥q, the value of will be 1 at all times , regardless of the initial values of all the variables in , and the trajectory of .
and we let .
Thus the variable will take the value 0 at time d only if for all σ of length d, and the self-input in (25) assures that the same applies to all , regardless of the trajectory of the variable . Now the lemma follows from our choice of d. □
Observe that in bi-quadratic Boolean networks, if there exists a variable x whose outdegree is <2, then there must exist a variable y whose indegree is <2. Therefore, we can add to our system a copy of by defining new regulatory functions that connect x to and to y using the conjunction regulatory functions, and keep repeating this procedure until there are no variables with outdegree <2. If there are no such variables left, then, clearly, there are no variables with the indegree <2 either. Moreover, since with probability ≥q any external inputs to any of the copies of will have no effect on the output of , the arguments in the proof of  carry over to the modified system.
It remains to check that we will not add too many variables in this way, and that copies of will start producing value 1 at sufficiently fast (so they do not affect the workings of ). The total number of variables in the Boolean input-output systems , , can be made to scale like . Unfortunately, this was not explicitly stated in this form in , since for the construction to work, we only needed that the total number of variables in the set is bounded from above by a fixed constant times (see (10) of ). But, for , the stronger scaling law follows from the formulation of Lemma 10.4 of ; for and , it follows from the proofs of Lemmas 5.1 and 5.3 that are given in .
which is in compliance with (10) of .
Now the modified system will, with probability , work exactly like the original system for all times , where is the depth of the circuit . The first d steps, where and may work improperly, have only the effect of slightly increasing the size of the set Q, but not by an order of magnitude (recall that Q was the set of those indices i, for which the corresponding was the output of before everything started working properly).
With the input-output system , we need to proceed somewhat more carefully, since it needs to work properly right from the beginning. Recall that in the construction of given in Section 10.3 of , the regulatory functions at the lowest level were already strictly quadratic. The next levels were designed to produce an ordered version of the output of the lowest level, with and all zeros in preceding all ones. We quoted a construction from , and it is not clear from the quoted result whether this part of the system is strictly quadratic.
The number of such variables that might take only a single input does not exceed the overall size of , which is for every by the paragraph preceding Lemma 10.4 of . Thus we can add copies of the circuits of depth with a total of variables to give second inputs to these variables. Moreover, we can add levels above the lowest one and use the strictly bi-quadratic Boolean circuit for robust coding to produce a version of the lowest level that will preserve its size and will be available for further processing by the original system once all the variables that are to be used in modifying the subsequent levels have reached their target value 1. This again requires adding at most new variables and does not violate our restrictions on the size of the set Y of variables outside the union of the sets .
In order to get systems of size exactly N for all sufficiently large N, we may need to add also some dummy variables (see  for an estimate of the size of this set), but these can simply be connected among themselves with AND gates, and they do not have any influence on the overall dynamics.
In particular, using subtle coding together with the modifications outlined in the last few paragraphs gives us networks that satisfy the conclusion of Theorem 7. □
For a given N, let . We will first present a construction of the extension of . At the end of the proof, we will argue that for sufficiently large N, the number of required new variables is sufficiently small so that there is enough room for them in . The regulatory functions for the variables in will be chosen in such a way that the system detects and keeps a permanent record of a proportion of >p of all single-bit flips in the initial conditions. Having a ratio again is very helpful here, since it assures that most of these single-bit flips will occur at variables in , and property (P5) in turn implies that we may restrict our attention to those single-bit flips that happen at some variable for . Notice that any such single-bit flip changes for some . By property (P2), which is preserved under robust coding, and by induction, we will have , which allows us to construct the extension in such a way that the only variables in that send input to any of the variables in are the ones in . If is based on the original construction in , property (P3) allows us to copy to a Boolean vector whose set of variables P is contained in . For the proof of Theorem 8, we need to assume that is strictly bi-quadratic and has been constructed as in the proof of Theorem 7, but with robust instead of subtle coding. Recall that in this construction each variable in acts as a second input to a variable at the lowest level of some copy of . We need to change these outputs to variables in and reassign new second input variables from to the newly orphaned variables . As we already know, this operation is not expected to alter the relevant dynamical properties of .
Let be a fixed positive integer whose meaning will become apparent shortly. Now we can incorporate a Boolean circuit into whose set of variables is contained in that takes as input, produces u copies of it, and writes its output to vectors for of the same dimension after steps so that for all , we have , and all zeros in precede all ones in this vector. We already know from Proposition 10.1 and the proof of Lemma 5.2 of  that this can be accomplished by a cooperative bi-quadratic Boolean circuit of depth that contains a total of variables, for some constant that is independent of N, where m is on the order of .
We would like to create and keep a permanent record of the values of for all times . If this can be done, then the permanent record will persist throughout the attractor, which implies that every single-bit flip in an initial condition that happens at some variable for will move the system to a different attractor. We would like to keep this record in circular data tapes of Boolean vectors so that for and for all , we have and also , with the tape holding copies of in at time for all .
There are several technical problems with implementing this idea in its original form. First of all, in order to not use too many new variables, we will actually record only a part of the values of variables from O. For the time being, let us just say that we will choose some j, J with , and keep track of variables only. The values of j, J will be selected in such a way that the difference between and its single-bit flip will be visible with sufficiently high probability in the window after placing all zeros before all ones in , .
In order to record anything in a circular data tape, for some , the variables in need to take a second input from variables in O in addition to the input from that will be responsible for the copying of the tape. For our accounting to work as specified above, we need , but it will be more convenient to write .
This definition assures that if , which is true for all times , then the input from the variables in O has no effect whatsoever, since in this case the first half of the variables of O evaluate to 0 and the second half to 1. In particular, by property (P4a) this will be the case, with probability >p, whenever O records the size of a vector for some with .
Unfortunately, this definition does not guarantee that exact copies of will be transferred to . Let us focus on the case where ; the argument for the case of is dual. Each value gets faithfully copied to , but the updating as specified by (27) will also introduce some random occurrences of while due to . But consider a situation where the are random and we want to use (27) to record to the data tape the sizes of some , for , as coded by the Boolean variables that differ by a single-bit flip and are such that .
However, as long as , a 1 will be copied to only for the trajectory of the corresponding , but not for the trajectory of . If this happens, the two trajectories will reach different attractors, and we will say that our recording tape successfully distinguishes these two initial conditions. In the proof of Theorem 2, we can assume that takes the value 0 with probability 0.5, which therefore is the probability that a given recording tape will successfully distinguish the two initial conditions as specified. These events are independent for the u data tapes, thus by choosing u large enough so that , we can assure that the probability of success in at least one recording tape is >p, which is all we need for p-instability.
will hold as long as records the size of some , so that a random single-bit flip in this vector can alter the permanent record. By the Central Limit Theorem and Chebysheff’s inequality, this can be achieved, for sufficiently large N and hence m, if and for some constant that depends on p, but not on m. Since u does not depend on N and , using such j, J, we will be able to construct recording tapes that altogether use only on the order of or variables. For the proof of Theorem 8, we will also need copies of the Boolean input-output system , where q can be chosen as . This will add another variables. By connecting these as in the proof of Theorem 7, we achieve a strictly bi-quadratic network. The modification of all monic regulatory functions of the circuit and the data record tapes may result in missing a few single-bit flips in for that detects, where d is the depth of , but this is no problem since is very small relative to . In either case, the total number M of variables in does not exceed N, provided that N is sufficiently large. If , we add to some dummy variables and connect them as in the proof of Theorem 7. These dummy variables will not destroy p-instability of . □
Proof of Theorems 6 and 9 For the proof of Theorem 6, fix , ; for the proof of Theorem 9, fix . We will show that as long as N is sufficiently large, there exists a p-c-chaotic N-dimensional (strictly) bi-quadratic cooperative Boolean network with the required decoherence property. Similarly to the previous proof, our strategy will be to first choose some and an -dimensional Boolean system that is constructed as in the previous proof and satisfies the conclusion of Theorem 2 (in the case of the proof of Theorem 6) or Theorem 8 (in the case of the proof of Theorem 9) for some auxiliary constants and . For Theorem 6 we will choose and , and for Theorem 9 we will choose any with and with .
This has two important consequences that are reflected in the statement of Theorem 6. First of all, -chaos in will guarantee at most -chaos in , which is the same as c-chaos by our choice of . Second, the proportion of single-bit flips in the initial conditions that occur in variables in is at most . Thus -instability in translates at most into -instability in , that is, p-instability.
In the proof of Theorem 9, we will need to alter some regulatory functions in for the variables of some copies of , as we did in the proof of Theorem 8. By the same argument as in the previous proof, this is not expected to alter the essential features of the dynamics of . We will choose , which ensures, by the same argument as in the proofs of Theorems 2 and 8, that will be p-c-chaotic and p-unstable.
where , denote the values of variable i at time t in the trajectories of , , respectively.
Moreover, requires adding only variables.
Make the output of a Boolean circuit that calculates the conjunction of all the variables in . Since T is relatively prime with , this guarantees that the value of each variable in the union of all data tapes will be copied infinitely often to and gives the implication (30) ⇒ (31).
Finally, for the proof of Theorem 6, we add another Boolean circuit to that is composed of variables in and copies the value of its single input variable to distinct output variables after time steps. By Proposition 10.1 of , there exists a cooperative bi-quadratic Boolean circuit that accomplishes this task and uses at most variables. Thus the addition of does not allow us to achieve a higher ratio than in (29). But since is the most expensive part of the construction in terms of the number of necessary additional variables, the ratio can be arbitrarily close to .
Let us recapitulate how this construction ensures p-α-decoherence. A random single-bit flip in a randomly chosen initial condition happens with probability at a variable in . By the proof of Theorem 2, with probability that can be chosen arbitrarily close to 1, it will leave a permanent record in at least one of the data record tapes in . This record will result in infinitely many times where the trajectories differ at variable , as in (31). This difference in turn will be amplified by to distinct variables, and p-α-decoherence follows.
For the proof of Theorem 9, will copy only to distinct output variables, where Θ will be determined shortly. This will ensure p--decoherence as in the previous paragraph and will require adding at most variables. The resulting system will not yet be strictly bi-quadratic; we will need to add copies of the Boolean circuits where and connect their respective output variables by conjunctions to variable with monic regulatory functions. This requires adding new variables. By choosing Θ large enough so that , we do not exceed the allotment of additional variables specified by (29). Finally, we add dummy variables if needed and connect variables that have fewer than 2 outputs to variables of copies of . The resulting system will have the properties specified in Theorem 9. □
6 Conclusion and future directions
In this paper and its prequel , we studied the problem whether cooperativity, that is, the total absence of negative interactions, precludes certain types of chaotic dynamics in Boolean networks with synchronous updating, at least under additional assumptions on the number of inputs and outputs per node. This is a natural question in view of the analogous result for continuous flows, the results on Boolean networks with asynchronous updating that were mentioned in the introduction, and the well-known fact that Boolean networks with few inputs per node tend to have ordered dynamics.
Chaotic dynamics of Boolean networks is characterized by very long attractors, very few eventually frozen nodes, and high sensitivity to perturbations of initial conditions. While these three hallmarks usually go together, the answer to our question crucially depends on how chaos in Boolean networks is formalized, in particular, which hallmarks are deemed necessary for a system to qualify as chaotic.
The notion of p-c-chaos formalizes genericity of very long attractors and also implies genericity of very few eventually frozen nodes. We showed that cooperativity does not impose any nontrivial bounds on this property, even in bi-quadratic Boolean networks. Similarly, in strictly bi-quadratic networks, cooperativity does not imply additional bounds on p-c-chaos beyond the previously known bound of for c-chaos.
However, the situation changes when one considers notions of high sensitivity to perturbations of initial conditions. The strongest of such notions considered here, p-α-q-decoherence, while still possible in p-c-chaotic Boolean networks in general, is outright precluded by cooperativity. The weakest of these three notions, p-instability, is still consistent with p-c-chaos in cooperative bi-quadratic Boolean networks for all . But if in addition it is assumed that the network is strictly bi-quadratic, a stronger bound applies, and the bound is strict.
The notion of p-D-decoherence comes in many flavors, depending on the parameter D. While it is consistent with cooperativity and p-c-chaos for all and all meaningful linear D in general, we were only able to construct bi-quadratic and strictly bi-quadratic Boolean systems that satisfy this property under some additional restrictions on p, c, and D. Since any form of p-D-decoherence implies p-instability, there must be some restrictions, at least under the additional assumption that the system is strictly bi-quadratic. We conjecture that there are some restrictions for bi-quadratic systems as well. However, it remains an open problem to find the optimal upper bounds on the amount of p-c-chaos and p-D-decoherence that can simultaneously occur in such networks.
Thus cooperativity, by itself and in conjunction with suitable restrictions on the interactions of the variables, does impose restrictions on the extent to which certain combinations of chaos-like properties are possible in a Boolean network. These results can be interpreted as counterparts of the corresponding theorem for flows. Our work shows that valid results of this kind require very specific conceptualization of certain hallmarks of chaotic dynamics. We believe that these subtleties need to be well understood if researchers are to make valid inferences from dynamical properties of a Boolean approximation to an ODE model of a natural system about the ODE dynamics or the behavior of the natural system itself.
We would like to thank the referee for valuable suggestions on how to improve the presentation.
- Just W, Malicki M: Cooperative Boolean systems with generically long attractors I. J. Differ. Equ. Appl. 2013, 19(5):772–795. 10.1080/10236198.2012.691167MathSciNetView ArticleGoogle Scholar
- Thieffry D: Dynamical roles of biological regulatory circuits. Brief. Bioinform. 2007, 8: 220–225. 10.1093/bib/bbm028View ArticleGoogle Scholar
- Thomas R, d’Ari R: Biological Feedback. CRC Press, Boca Raton; 1990.Google Scholar
- Enciso GA, Hirsch M, Smith H: Prevalent behavior of strongly order preserving semiflows. J. Dyn. Differ. Equ. 2008, 20: 115–132. 10.1007/s10884-007-9084-zMathSciNetView ArticleGoogle Scholar
- Hirsch M: Stability and convergence in strongly monotone dynamical systems. J. Reine Angew. Math. 1988, 383: 1–53.MathSciNetGoogle Scholar
- Smith H: Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems. Am. Math. Soc., Providence; 1995.Google Scholar
- Remy E, Ruet P: From minimal signed circuits to the dynamics of Boolean regulatory networks. Bioinformatics 2008, 24: 220–226. 10.1093/bioinformatics/btn287View ArticleGoogle Scholar
- Remy E, Ruet P, Thieffry D: Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. Adv. Appl. Math. 2008, 41: 335–350. 10.1016/j.aam.2007.11.003MathSciNetView ArticleGoogle Scholar
- Sontag ED: Monotone and near-monotone biochemical networks. J. Syst. Synth. Biol. 2007, 1: 59–87. 10.1007/s11693-007-9005-9View ArticleGoogle Scholar
- Jarrah AS, Laubenbacher R, Veliz-Cuba A: The dynamics of conjunctive and disjunctive Boolean network models. Bull. Math. Biol. 2010, 72(6):1425–1447. 10.1007/s11538-010-9501-zMathSciNetView ArticleGoogle Scholar
- Just, W, Enciso, GA: Ordered dynamics in biased and cooperative Boolean networks. http://www.ohio.edu/people/just/publ.html (2013). Accessed 1 Jun 2013.Google Scholar
- Sontag ED, Veliz-Cuba A, Laubenbacher R, Jarrah AS: The effect of negative feedback loops on the dynamics of Boolean networks. Biophys. J. 2008, 95: 518–526. 10.1529/biophysj.107.125021View ArticleGoogle Scholar
- Kauffman SA: Origins of Order: Self-Organization and Selection in Evolution. Oxford University Press, Oxford; 1993.Google Scholar
- Enciso, GA, Just, W: Extremely chaotic Boolean networks. arXiv:0811.0115 (2008). Accessed 1 Nov 2008. http://e-printatarXiv.orgGoogle Scholar
- Enciso GA, Just W: Exponentially long orbits in Boolean networks with exclusively positive interactions. Nonlinear Dyn. Syst. Theory 2011, 11: 275–284.MathSciNetGoogle Scholar
- Aldana M, Coppersmith S, Kadanoff LP: Boolean dynamics with random couplings. In Perspectives and Problems in Nonlinear Science. Edited by: Kaplan E, Marsden JE, Sreenivasan KR. Springer, New York; 2003:23–90.View ArticleGoogle Scholar
- Drossel B: Random Boolean networks. 1. In Reviews of Nonlinear Dynamics and Complexity. Edited by: Schuster HG. Wiley, Weinheim; 2008:69–110.View ArticleGoogle Scholar
- Enciso GA, Just W: Analogues of the Smale and Hirsch theorems for cooperative Boolean and other discrete systems. J. Differ. Equ. Appl. 2012, 18: 223–238. 10.1080/10236190903357535MathSciNetView ArticleGoogle Scholar
- Ajtai M, Komlos J, Szemeredi E:Sorting in parallel steps. Combinatorica 1983, 3: 1–19. 10.1007/BF02579338MathSciNetView ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.