 Research
 Open Access
 Published:
Cooperative Boolean systems with generically long attractors II
Advances in Difference Equations volume 2013, Article number: 268 (2013)
Abstract
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 chaoslike 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 wellrecognized 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 Ndimensional networks they impose an upper bound of $\approx {\sqrt{3}}^{N}$ on the lengths of attractors that can be reached from a fraction $p\approx 1$ 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.
1 Introduction
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 [1] 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 ORoperators with one or more inputs. Such networks have been proposed as a tool for understanding gene regulatory networks [9]. Cooperative networks that use only one type of these operators have also been studied [10]. 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 [13]. These three hallmarks usually, but not always, go together. Our focus in [1] was on very long attractors. Since the state space of an Ndimensional Boolean network has size ${2}^{N}$, we were interested in upper bounds of the form ${c}^{N}$ for constants $c<2$. As in [14, 15], we call an Ndimensional Boolean network cchaotic if it has an attractor of length $>{c}^{N}$. If attractors of this length are reached with probability >p from a randomly chosen initial condition, then we say that the network is pcchaotic. Thus pcchaos 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 [1]).
Expected dynamics of socalled 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 biquadratic, that is, such that both the number of in and outputs per node is bounded from above by 2. The main result of [1] (reproduced below as Theorem 1) is that cooperative biquadratic Boolean networks can still be pcchaotic. However, if we require that the system is strictly biquadratic, that is, all nodes have exactly two inputs and two outputs, then even cchaos is possible only for $c<{10}^{1/4}$, and the bound is optimal [11, 14, 15]. Here we will show that the same bound is optimal for strictly biquadratic pcchaotic 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, pcchaos does not imply high sensitivity to initial conditions. In particular, pcchaos can coexist in cooperative Boolean networks, for every $0<p<1<c<2$, with pcoalescence, which is the property that for two randomly chosen initial conditions $\overrightarrow{s}(0)$, ${\overrightarrow{s}}^{\ast}(0)$ that differ by a singlebit flip (have Hamming distance 1) with probability >p, there will be some $t>0$ with $\overrightarrow{s}(t)={\overrightarrow{s}}^{\ast}(t)$ [1]. 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 ‘chaoslike 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: pinstability, which in cooperative Boolean networks is equivalent to the negation of pcoalescence, pDdecoherence, and pαqdecoherence. Intuitively, the latter two notions mean that a singlebit 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αqdecoherence, does occur in some pcchaotic Boolean networks (Proposition 3), but is precluded by cooperativity (Theorem 4). Thus an analogue of the abovementioned theorem for monotone flows holds for this particular formalization of the notion of chaos in Boolean networks.
For pinstability and pDdecoherence, the situation is more subtle. We will show that for every $0<p<1<c<2$, there are biquadratic cooperative Boolean networks that are simultaneously punstable and pcchaotic (Theorem 2). But strictly biquadratic networks that are also punstable and pcchaotic can exist only if $c<\sqrt{3}$ (see Section 3.2), and we show that this bound is again optimal (Theorem 8). In general, cooperative pcchaotic Boolean networks can exhibit arbitrarily strong forms of pDdecoherence (Theorem 5). We prove that some versions of this property can occur under the additional assumptions that the network is biquadratic (Theorem 6) or even strictly biquadratic (Theorem 9). It remains an open problem to determine the maximal amount of pDdecoherence that is possible under these additional assumptions.
2 Terminology
Our terminology will be the same as in [1], 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 $[N]$ denotes the set $\{1,\dots ,N\}$, which is also the domain of Ndimensional Boolean vectors $\overrightarrow{s}\in {2}^{[N]}$. Each such $\overrightarrow{s}=({s}_{1},\dots ,{s}_{N})$ is the characteristic function of the set ${A}_{\overrightarrow{s}}\subseteq [N]=\{i\in [N]:{s}_{i}=1\}$. It will sometimes be convenient to work with sets ${A}_{\overrightarrow{s}}$ instead of Boolean vectors $\overrightarrow{s}$. 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, ${A}_{\overrightarrow{s}}\subseteq {A}_{{\overrightarrow{s}}^{\ast}}$ implies ${A}_{f(\overrightarrow{s})}\subseteq {A}_{f({\overrightarrow{s}}^{\ast})}$. 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 [1]), a fact that we will use several times.
The symbol $\overrightarrow{s}$ denotes the number of coordinates i with ${s}_{i}=1$; equivalently, $\overrightarrow{s}={A}_{\overrightarrow{s}}$.
The Hamming distance $H(\overrightarrow{s},{\overrightarrow{s}}^{\ast})$ between two Boolean vectors $\overrightarrow{s}=({s}_{1},\dots ,{s}_{N})$ and ${\overrightarrow{s}}^{\ast}=({s}_{1}^{\ast},\dots ,{s}_{N}^{\ast})$ with the same domain is the number of i with ${s}_{i}\ne {s}_{i}^{\ast}$. Vectors with a Hamming of 1 are said to differ by a singlebit flip.
As in [1] 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 inputoutput systems’ which are layered arrangements of Boolean gates that calculate certain Boolean functions. Boolean inputoutput 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 inputoutput systems will form the building blocks for several of our examples. A Boolean inputoutput 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 inputoutput systems can use only binary AND, binary OR, and unary COPY gates; the latter type of gates is not allowed in strictly quadratic inputoutput systems. A biquadratic system is strictly biquadratic 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 inputoutput systems.
3 Statement of the results
For easier reference, we state the main result of part I [1].
Theorem 1 Given any $0<p<1$ and $1<c<2$, for all sufficiently large N, there exist pcchaotic, pcoalescent, Ndimensional biquadratic cooperative Boolean networks.
3.1 Sensitivity to initial conditions
Our first formal definition of high sensitivity to initial conditions is the notion of pinstability that was introduced in [14]. A Boolean system is punstable if a random singlebit 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, pinstability is the same as the negation of ($1p$)coalescence: If $\overrightarrow{s}(0)$, ${\overrightarrow{s}}^{\ast}(0)$ are two initial conditions that differ in exactly one variable, then we must have either $\overrightarrow{s}(0)<{\overrightarrow{s}}^{\ast}(0)$ or $\overrightarrow{s}(0)>{\overrightarrow{s}}^{\ast}(0)$; wlog assume the former. Then cooperativity implies that $\overrightarrow{s}(t)\le {\overrightarrow{s}}^{\ast}(t)$ 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., [18]). If equality holds for some t, then the two trajectories coalesce.
We will prove the following.
Theorem 2 Given any $0<p<1$ and $1<c<2$, for all sufficiently large N, there exist pcchaotic and punstable Ndimensional biquadratic cooperative Boolean networks.
Another hallmark of chaotic dynamics in Boolean networks is extensive damage propagation, which means that a small perturbation (such as a singlebit flip in an initial condition) tends to spread to a significant proportion of the nodes. The definition of pinstability 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 $D(N)$ be a function on the set of positive integers. An Ndimensional Boolean network exhibits pDdecoherence if with probability ≥p a random onebit flip ${\overrightarrow{s}}^{\ast}(0)$ in a randomly chosen initial condition $\overrightarrow{s}(0)$ results in trajectories with the property that $H(\overrightarrow{s}(t),{\overrightarrow{s}}^{\ast}(t))\ge D(N)$ for infinitely many times $t>0$. In particular, if $D(N)=\alpha N$ for some constant $\alpha >0$, then we will refer to pDdecoherence 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αqdecoherence if with probability ≥p a random onebit flip ${\overrightarrow{s}}^{\ast}(0)$ in a randomly chosen initial condition $\overrightarrow{s}(0)$ results in trajectories with the property that for all sufficiently large ${t}^{\ast}>0$, the proportion of times $t\in [0,{t}^{\ast}]$, for which the Hamming distance satisfies $H(\overrightarrow{s}(t),{\overrightarrow{s}}^{\ast}(t))\ge \alpha N$, is at least q.
Note that pαqdecoherence implies pαdecoherence, which in turn implies the negation of ($1p$)coalescence, that is, pinstability. Thus, in a sense, pαqdecoherence is the strongest possible form of sensitivity to initial conditions. It turns out that this notion is still consistent with pcchaos in general, but not with cooperativity.
Proposition 3 Let $0<\alpha ,p,q<1$ and $1<c<2$. For all sufficiently large N, there exist Ndimensional pcchaotic Boolean networks that are pαqdecoherent.
Theorem 4 For every $\alpha >0$ and $0<p<1$, there exists ${N}_{\alpha ,p}$ such that no cooperative Boolean network of dimension $N\ge {N}_{\alpha ,p}$ can have the property that for some fixed time $t>0$ with probability ≥p, a singlebit flip in a randomly chosen initial condition leads to trajectories with $H(\overrightarrow{s}(t),{\overrightarrow{s}}^{\ast}(t))\ge \alpha N$. In particular, for any $q>0$, no cooperative Boolean network of sufficiently large dimension can exhibit pαqdecoherence.
Thus pαqdecoherence is a chaoslike property of the dynamics that is precluded by cooperativity. In contrast, the weaker property of pαdecoherence is consistent with cooperativity and pcchaos at the same time.
Theorem 5 Let $0<\alpha ,p<1<c<2$. Then, for all sufficiently large N, there exist Ndimensional cooperative Boolean networks that are pcchaotic 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 biquadratic cooperative Boolean networks. We will give a proof of the following result.
Theorem 6 Let $0<\alpha <0.5$ and $0<p<12\alpha <1<c<{2}^{1/(12\alpha )}$. Then, for all sufficiently large N, there exist Ndimensional cooperative biquadratic Boolean networks that are pcchaotic 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 biquadratic cooperative networks, that is, we conjecture that the analogue of Theorem 5 fails for this class of Boolean networks.
3.2 Strictly biquadratic networks
The theorems in [14] give upper bounds on $c<2$ for cchaotic, cooperative biquadratic Boolean networks that have a fixed positive proportion of strictly quadratic regulatory functions. In particular, if a network is strictly biquadratic, the bound is ${10}^{1/4}$, and it can be attained. The question is whether a similar result holds for pinstability. Here we will prove that the same bound is optimal for pcchaotic Boolean networks, that is, we will prove the following.
Theorem 7 Let $0<p<1$ and $1<c<{10}^{1/4}$. Then, for all sufficiently large N, there exist pcchaotic, pcoalescent Ndimensional strictly biquadratic cooperative Boolean networks.
The question arises how much pcchaos and pinstability one can have simultaneously in a strictly biquadratic cooperative Boolean network. We will prove the following result.
Theorem 8 Let $0<p<1<c<\sqrt{3}$. Then, for all sufficiently large N, there exist pcchaotic and punstable Ndimensional strictly biquadratic cooperative Boolean networks.
Note that $\sqrt{3}<{10}^{1/4}$. It turns out that Theorem 8 is optimal. In order to formally prove this, let us introduce some new terminology. Define
${q}_{b}(c,p)$ as the supremum of all q such that for all sufficiently large N, there exists a strictly biquadratic cooperative pcchaotic Ndimensional qunstable Boolean network.
$q(c)$ as the supremum of all q such that for all sufficiently large N, there exists a cooperative cchaotic Ndimensional qunstable Boolean network, in which all variables have indegree exactly 2.
Since pcchaotic networks are automatically cchaotic, for every $p>0$, the inequality ${q}_{b}(c,p)\le q(c)$ holds. In this terminology, Theorem 8 simply says that ${q}_{b}(c,p)=1$ for all $c<\sqrt{3}$ and $p<1$.
On the other hand, Theorem 5 of [14] says that for all $c\le 2$,
Notice that on the interval $[\sqrt{3},2]$, the righthand side of (1) is a function that strictly decreases from 1 to 0.75. Since ${q}_{b}(c,p)\le q(c)$, it follows that Theorem 8 is in some sense optimal.
It may be of interest to investigate optimal bounds for ${q}_{b}(c,p)$ and related functions if $\sqrt{3}<c<2$. We wish to leave this as an open problem.
We also do not know whether pαdecoherence is possible at all, for any $p,\alpha >0$, in strictly biquadratic Boolean networks. However, a very slight weakening of it is still consistent in such networks, even in the presence of pcchaos.
Theorem 9 Let $0<p<1<c<\sqrt{3}$. Then there exists a constant $\mathrm{\Theta}=\mathrm{\Theta}(p,c)>0$ such that for all sufficiently large N, there exist Ndimensional cooperative strictly biquadratic Boolean networks that are pcchaotic and exhibit p$\frac{N}{\mathrm{\Theta}log(N)}$decoherence.
4 Damage propagation and pinstability
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 69 rely to some extent on the construction that was used in [1] and will be given in the next section.
Proof of Proposition 3 Fix α, p, q, c as in the assumption. Let N be sufficiently large such that
It will be convenient for this proof to treat the states of as subsets of $[N]$ instead of Boolean vectors. Let L be the integer that satisfies ${c}^{N}<L\le {c}^{N}+1$. Choose an indexed set $\mathcal{A}=\{{A}_{\ell}:\ell \in [L]\}$ with ${A}_{\ell}\subseteq [N1]$ and define an updating function f for as follows:
Note that ${A}_{\ell}\ne [N]\mathrm{\setminus}{A}_{{\ell}^{\prime}}$ for all ℓ, ${\ell}^{\prime}$.
Now consider initial conditions $\overrightarrow{s}(0)$, ${\overrightarrow{s}}^{\ast}(0)$, where $\overrightarrow{s}(0)$ is randomly chosen and ${\overrightarrow{s}}^{\ast}(0)$ is obtained by a random singlebit flip, and let B, ${B}^{\ast}$ be the sets of indices in $[N1]$ with ${s}_{i}(0)=1$ and ${s}_{i}^{\ast}(0)=1$, respectively. By (2), with probability >p, neither of the sets $B\cap [N1]$, $[N1]\mathrm{\setminus}B$, ${B}^{\ast}\cap [N1]$, $[N1]\mathrm{\setminus}{B}^{\ast}$ will be in , and the last two clauses of the definition of the updating function f apply. Hence wlog $f(B)={A}_{1}$ and $f({B}^{\ast})=[N]\mathrm{\setminus}{A}_{1}$. Thus at time 1 the system will have entered two different attractors of length $>{c}^{N}$ for these initial conditions, and we will have $H(\overrightarrow{s}(t),{\overrightarrow{s}}^{\ast}(t))=N$ for all $t>0$. □
Proof of Theorem 4 Let α, p be as in the assumptions, and let ${N}_{\alpha ,p}$ be the smallest positive integer N such that for all $k\in [N]$,
Let be a cooperative Boolean system of dimension $N\ge {N}_{\alpha ,p}$. By symmetry, we may focus in this argument on the case where a single bit is flipped from 0 to 1. Fix $t>0$ and let r be the probability that a singlebit flip from 0 to 1 in a randomly chosen initial condition leads to trajectories with $H(\overrightarrow{s}(t),{\overrightarrow{s}}^{\ast}(t))\ge \alpha N$. Assume towards a contradiction that $r\ge p$. For each $k\in \{0,\dots ,N1\}$, let ${p}_{k}$ be the conditional probability that a singlebit flip from 0 to 1 in a randomly chosen initial state $\overrightarrow{s}(0)$ given that $\overrightarrow{s}(0)=k$ results in trajectories with
Note that in this case ${\overrightarrow{s}}^{\ast}(0)=k+1$ and $\overrightarrow{s}(0)<{\overrightarrow{s}}^{\ast}(0)$. Cooperativity implies that
Let $L=\{k:{p}_{k}\ge \frac{r}{2}\}$ and let $K=\{k:{p}_{k}<\frac{r}{2}\}$. By (4),
Under the assumption $r\ge p$, this implies
Now consider a randomly chosen permutation π of $[N]$, and let ${\overrightarrow{s}}^{k,\pi}(0)$ be the characteristic function of the set $\{j:\pi (j)<k\}$. Define random variables ${X}_{k}$ such that ${X}_{k}(\pi )$ takes the value 1 if $H({\overrightarrow{s}}^{k,\pi}(t),{\overrightarrow{s}}^{k+1,\pi}(t))\ge \alpha N$ and takes the value 0 otherwise. Let $X={\sum}_{k=0}^{N1}{X}_{k}$. Then $E({X}_{k})={p}_{k}$ for all k, and hence $E(X)={\sum}_{k=0}^{N1}{p}_{k}$. By (8), $E(X)>\frac{1}{\alpha}$, and it follows that there exists at least one permutation π with $X(\pi )>\frac{1}{\alpha}$. But existence of such a permutation would require in view of (5) and (6) that there exist initial states ${\overrightarrow{s}}^{0,\pi}(0)<{\overrightarrow{s}}^{1,\pi}(0)<\cdots <{\overrightarrow{s}}^{J,\pi}(0)$ with $J>\frac{1}{\alpha}$ such that ${\overrightarrow{s}}^{0,\pi}(t)<{\overrightarrow{s}}^{1,\pi}(t)<\cdots <{\overrightarrow{s}}^{J,\pi}(t)$ are characteristic functions of sets ${A}_{j}$ with ${A}_{j}\subset {A}_{j+1}\subseteq [N]$ and ${A}_{j+1}\mathrm{\setminus}{A}_{j}\ge \alpha N$, which leads to a contradiction.
It remains to show how the first part of the theorem implies the second one. Fix α, p, q as in the definition of pαqdecoherence. For each $t\ge 0$, consider the random variable ${\xi}_{t}$ on the space of all pairs $(\overrightarrow{s}(0),{\overrightarrow{s}}^{\ast}(0))$ that result from a random bit flip in an initial condition that takes the value 1 if $H(\overrightarrow{s}(t),{\overrightarrow{s}}^{\ast}(t))\ge \alpha N$ and takes the value 0 otherwise. The first part of the proof shows that as long as $N\ge {N}_{\alpha ,pq}$, we will have
Now fix ${t}^{\ast}\ge 0$ and let $\eta ={\sum}_{t=0}^{{t}^{\ast}}{\xi}_{t}$. If (9) holds, then
and it follows that
which contradicts pαqdecoherence. □
Proof of Theorem 5 Let α, p, c be as in the assumptions. Fix the smallest positive integer z with $p<1{2}^{z+2}$, and fix $\gamma >0$ and ${N}_{\gamma}>2z$ such that the following inequality holds for all $N>{N}_{\gamma}$:
For $N>{N}_{\gamma}$, let $w:=\lceil N/2\gamma \sqrt{N}\rceil $ and $u:=\lceil N/2+\gamma \sqrt{N}\rceil $. We will assume for the sake of simplicity that $uw$ is even.
By assumption, $[2z]\subset [N]$. The Boolean variables ${s}_{i}$ with $i\in [2z]$ will play a special role in controlling cooperativity of the Boolean system that we are going to construct.
Let Z be the set of all states $\overrightarrow{s}$ that satisfy the following conditions:
Let $N>{N}_{\gamma}$ and consider a randomly chosen initial condition $\overrightarrow{s}(0)$ and any condition ${\overrightarrow{s}}^{\ast}(0)$ obtained from it by a singlebit flip. The probability that the first line of (11) fails for $\overrightarrow{s}(0)$ or ${\overrightarrow{s}}^{\ast}(0)$ is less than ${2}^{z+2}$, and (10) implies that $P(w+1\le \overrightarrow{s}(0)\le u1)>p+{2}^{z+2}$. It follows that with probability >p both $\overrightarrow{s}(0),{\overrightarrow{s}}^{\ast}(0)\in Z$.
We will construct systems of dimension $N>{N}_{\gamma}$ as follows. Let $J=uw$. For each $j\in J$, we will specify a periodic orbit ${A}_{j}=\{{\overrightarrow{s}}^{j}(i):i\in [L]\}$ of length $L>{c}^{N}$, where ${\overrightarrow{s}}^{j}(i+1)$ is the successor state in of ${\overrightarrow{s}}^{j}(i)$ for all $i<L$, in such a way that

(i)
${\overrightarrow{s}}^{j}(i)<{\overrightarrow{s}}^{j+1}(i)$ for all $j\in [J]$ and $i\in [L]$,

(ii)
${\overrightarrow{s}}^{j}(i)\upharpoonright [z]=\overrightarrow{0}$ and ${\overrightarrow{s}}^{j}(i)\upharpoonright [2z]\mathrm{\setminus}[z]=\overrightarrow{1}$ for all $j\in [J]$ and $i\in [L]$,

(iii)
$H({\overrightarrow{s}}^{j}(j),{\overrightarrow{s}}^{j+1}(j))\ge \alpha N$ for all $j\in [J]$, and

(iv)
for $i\ne {i}^{\prime}$ and any $j,{j}^{\prime}\in J$, the states ${\overrightarrow{s}}^{j}(i)$ and ${\overrightarrow{s}}^{{j}^{\prime}}({i}^{\prime})$ are incomparable with respect to the coordinatewise partial order.
This part of the construction defines a partial Boolean updating function f of on the set $A={\bigcup}_{j\in [J]}{A}_{j}$. By (i), (ii) and (iv), this function is cooperative.
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 $f\upharpoonright (A\cup Z)$ will be cooperative. Now consider $\overrightarrow{s}\in Z$. Then, for a unique $j\in [J]$, we have $\overrightarrow{s}=w+j$, and we define $f(\overrightarrow{s})={\overrightarrow{s}}^{j}(1)$. By (i), this construction results in a cooperative Boolean function on Z. Having defined a cooperative partial Boolean function $f\upharpoonright (A\cup Z)$, we can extend it by Proposition 2.1 of [1] to a cooperative updating function f on the whole state space ${2}^{N}$ of .
Now consider a random initial condition $\overrightarrow{s}(0)$, and let ${\overrightarrow{s}}^{\ast}(0)$ be obtained by some onebit flip in $\overrightarrow{s}(0)$. Then with probability >p both $\overrightarrow{s}(0),{\overrightarrow{s}}^{\ast}(0)\in Z$, and it follows that there are $j,{j}^{\prime}\in [J]$ with $j{j}^{\prime}=1$ such that $\overrightarrow{s}(1)={\overrightarrow{s}}^{j}(1)$ and ${\overrightarrow{s}}^{\ast}(1)={\overrightarrow{s}}^{{j}^{\prime}}(1)$. Wlog ${j}^{\prime}=j+1$ and condition (iii) implies that $H(\overrightarrow{s}(t),{\overrightarrow{s}}^{\ast}(t))\ge \alpha N$ for infinitely many t, which gives pαdecoherence.
Note that when $\overrightarrow{s}(0)\in Z$, the trajectory of $\overrightarrow{s}(0)$ will reach one of the attractors ${A}_{j}$. In particular, (iv) implies that all ${s}^{j}(i)$ are pairwise distinct for different i and fixed j, thus ${A}_{j}$ has length $L>{c}^{n}$, and we get pcchaos as well.
It remains to prove that for sufficiently large N, we can construct a family $\mathcal{A}=\{{A}_{j}:j\in [J]\}$ that satisfies conditions (i)(iv).
We need ${N}_{0}>{N}_{\gamma}$ sufficiently large so that for $N>{N}_{0}$, we have
Conditions (13) and (14) will be quite obviously satisfied for all sufficiently large N; condition (12) follows from the fact that we can make ${2}^{N2(z+uw)}$ larger than ${d}^{N}$ for any $d<2$ and that $\left(\genfrac{}{}{0ex}{}{2K}{K}\right)\sim \frac{{2}^{2K}}{\sqrt{K}}$ as $K\to \mathrm{\infty}$.
Fix $N>{N}_{0}$. Let U, W be disjoint subsets of $[N]\mathrm{\setminus}[2z]$ such that $U=W=uw$, and let $\{{a}_{j}:j\in \{0\}\cup [uw]\}$ be a family of pairwise incomparable subsets of U. We can form this family from subsets of U of size $(uv)/2$ each; condition (13) implies that there will be enough such sets to choose from. Similarly, by (12) we can choose a family $C=\{{c}_{i}:i\in [L]\}$ of size $L>{c}^{N}$ of subsets of $[N]\mathrm{\setminus}([2z]\cup U\cup W)$ that have size $\lceil N/2\rceil (z+uw)$ each and thus are pairwise incomparable. Let ${W}_{j}$ for $j\in [uw]$ be subsets of W such that ${W}_{j}$ is a proper subset of ${W}_{j+1}$ for all relevant j.
Then define ${\overrightarrow{s}}^{j}(i)$ as the characteristic function of the set

${a}_{i}\cup {W}_{j}\cup ([N]\mathrm{\setminus}([z]\cup U\cup W))$ if $i<j\le uw$,

${a}_{i}\cup {W}_{j}\cup [2z]\mathrm{\setminus}[z]$ if $j\le i\le uw$, and

${a}_{0}\cup {W}_{j}\cup {c}_{i}\cup [2z]\mathrm{\setminus}[z]$ if $i>uw$.
It is straightforward to verify that conditions (i)(iv) hold, with the allimportant condition (iii) following from (14). □
5 Proofs of Theorems 2 and 69
The proofs of these theorems are based on the construction that was used in [1] for the proof of Theorem 1, and we will need to review it here to some extent.
Let $0<p<1<c<2$ 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 $\mathbb{B}=({2}^{N},f)$ such that f was cooperative, biquadratic, and worked as required. The set of Boolean variables $[N]$ was partitioned into a disjoint union $[N]=X\cup Y$, where the set X in turn was a union of pairwise disjoint sets ${X}_{i}$, indexed by $i\in I=\{0,1,\dots ,I1\}$, and all of the same size $m\le I$. Both m and $I$ scale like . We singled out some ${i}_{2}>{i}_{1}>{i}_{0}\in I$ and conceptualized the collection of all sets ${X}_{i}$ as a circular data tape, with f simply copying the vector ${s}_{{X}_{i+1}}(t)$ to ${s}_{{X}_{i}}(t+1)$ for all indices i with the exception of $i\in \{{i}_{0},{i}_{1}\}$, and also copying ${s}_{{X}_{0}}(t)$ to ${s}_{{X}_{I1}}(t+1)$. The vectors ${s}_{{X}_{{i}_{1}}}(t+1)$, ${s}_{{X}_{{i}_{0}}}(t+1)$ were outputs of special Boolean circuits ${B}_{2}$, ${B}_{1}$, which also took a second input from another Boolean inputoutput system ${B}_{3}$.
A schematic view of the construction is given in Figure 1.
Although the figure suggests $0\notin Q$, it will be convenient here to assume that ${i}_{0}{t}_{1}+1=0$, so that $Q=\{0,1,\dots ,{i}_{0}\}$. 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, biquadratic, and will exhibit pcchaos.
(P2) For all $i\in I\mathrm{\setminus}\{{i}_{0},{i}_{1}\}$ and all t, we will have ${s}_{{X}_{i+1}}(t)={s}_{{X}_{i}}(t+1)$.
(P3) Each variable in ${X}_{{i}_{2}+1}$ 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 $t=kI$ such that k is a positive integer, we have ${s}_{{X}_{i}}(t)={X}_{i}/2$ for all $i\in \{{i}_{2}+1,{i}_{2}+2,\dots ,I1\}$. This follows from the choice of coding vectors in [1] and the workings of ${B}_{1}$, ${B}_{2}$, ${B}_{3}$.
(P5) The ratio $Y\cup {\bigcup}_{i\le {i}_{2}}{X}_{i}/N$ approaches zero as $N\to \mathrm{\infty}$.
The key requirement that makes this construction work for obtaining pcchaos is the following:
(P6) With probability >p, the following will hold for a randomly chosen initial condition: if t is any time of the form $kI$, where k is a positive integer, then with the possible exception of indices $i\in Q$, each vector ${s}_{{X}_{i}}(t)$ will be a coding vector, that is, will code an integer ${v}_{i}(t)\in \{0,\dots ,n1\}$ for some suitable value of n that depends on N. Moreover, again with the possible exception of $i\in Q$, the function f computes addition of 1 modulo $ni$ on input ${X}_{i}$ and writes the output to ${X}_{i}$ after $I$ steps. Formally, the latter means that for times t as above,
In order to make (P6) work, we will need a suitable n and, for each ${X}_{i}$, a set of coding vectors ${\mathbf{C}}_{i}\subseteq {2}^{{X}_{i}}$. The choice of the sets ${\mathbf{C}}_{i}$ will be restricted (in the sense of (P7a) below) by the particular coding scheme that we adopt in a given proof. For technical reasons, the construction in [1] needs
where $\epsilon >0$ and β is a positive integer that does not depend on n. Note that (16) implies the scaling laws $m=O(\sqrt{N})$ and $I=O(\sqrt{N})$. Only the following additional properties of the coding are needed to obtain pcchaotic systems:
(P7) There are positive integers k, ℓ with k depending only on c such that
(P7a) ${\mathbf{C}}_{i}\subset {({C}_{k})}^{\ell}$, where ${C}_{k}$ is a set of Boolean vectors from ${2}^{k}$, called the coding scheme, such that exactly half of their coordinates are 1’s (so the other half are 0’s).
(P7b) The pair $(k,\epsilon )$ is cfriendly under the given coding scheme, which means that ε is rational, $\frac{k}{1+\epsilon}$ is an integer,
A few remarks are in order here. Of course, the sets of variables ${X}_{i}$ are pairwise disjoint, so we cannot literally make each ${\mathbf{C}}_{i}$ a subset of ${({C}_{k})}^{\ell}$; formally, we will need disjoint copies of ${({C}_{k})}^{\ell}$. However, we suppress the additional parameter to reduce clutter in our notation. The outputs of the Boolean inputoutput system ${B}_{3}$ 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 [1] suggests that ${C}_{k}$ is the set of all Boolean vectors from ${2}^{k}$ 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 [1]) 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 ${({C}_{k})}^{\ell}$ are used even in [1] as actual codes. This makes it possible for us to alter the definition of ${C}_{k}$ 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 ${X}_{i}$ into pairwise disjoint subsets ${x}_{i}^{j}$ of size k each that correspond to the domains of the vectors in ${C}_{k}$ when ${s}_{{X}_{i}}$ is coding.
The system works as follows: With probability arbitrarily close to 1, for each i, the vector ${s}_{{X}_{i}}(0)$ will be crude, which means that there will be j, ${j}^{\prime}$ such that the restriction of ${s}_{{X}_{i}}(0)$ to ${x}_{i}^{j}$ will take the constant value 0, and the restriction of ${s}_{{X}_{i}}(0)$ to ${x}_{i}^{{j}^{\prime}}$ will take the constant value 1 (Lemma 9.1 of [1]). For $i\notin \{{i}_{0},{i}_{0}+1,\dots ,{i}_{2}1\}$, these crude vectors will be eventually copied to ${X}_{{i}_{2}}$, where they become inputs of the Boolean circuit ${B}_{2}$, which eventually outputs a code for 0 to ${X}_{{i}_{1}}$ for each crude input. When given an input that is a coding vector, ${B}_{2}$ outputs an identical copy of its input. The vector ${s}_{{X}_{{i}_{2}}}$ becomes one of the inputs of the Boolean circuit ${B}_{1}$, which eventually outputs a code for $v+1mod(nw)$ to ${X}_{{i}_{0}}$ if its input from ${X}_{{i}_{2}}$ codes the integer v and the other input that it receives from ${B}_{3}$ codes an integer w. With probability arbitrarily close to 1, the Boolean inputoutput system ${B}_{3}$ will deliver the correct sequence of inputs to ${B}_{1}$ so that (15) of property (P6) holds. The set Q indexes those ${X}_{i}$, for which the output of ${B}_{1}$ may not be coding due to the time lag in the calculations of ${B}_{1}$, ${B}_{2}$, ${B}_{3}$.
Proof of Theorem 7 We need to turn the networks constructed in [1] into strictly biquadratic ones. The main problem is that in the original construction each vector ${s}_{{X}_{i}}(t+1)$ was supposed to be a copy of ${s}_{{X}_{i+1}}(t+1)$ as long as $i\notin \{{i}_{0},{i}_{0}+1,\dots ,{i}_{2}1\}$. This can be easily accomplished by a Boolean circuit ${B}_{c}$ of depth 1 with input variables ${X}_{i+1}$ and ${X}_{i}$ as output variables that uses only COPY functions, but there is no analogous strictly biquadratic cooperative Boolean circuit. Fortunately, as can be seen from the description above, it is not actually necessary that ${B}_{c}$ outputs identical copies of all possible inputs; it suffices that it does so whenever its input ${s}_{{X}_{i+1}}$ is a coding vector. Since we may wlog assume that $I$ is even, it even suffices to require that ${s}_{{X}_{i}}(t+2)={s}_{{X}_{i+2}}(t)$ holds for all relevant indices i whenever ${s}_{{X}_{i+2}}(t)$ is coding. It turns out that there are strictly biquadratic cooperative Boolean circuits that work in this way for sets of coding vectors that satisfy property (P7) as long as $c<{10}^{1/4}$.
We will also need that ${B}_{c}$ outputs crude vectors for crude inputs, so that ${B}_{2}$ 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 ${B}_{c}$ is cooperative, strictly quadratic (thus uses only binary AND and OR gates), and such that all inputs for variables in ${x}_{i}^{j}$ reside in ${x}_{i+1}^{j}$, as will be the case in our constructions.
Let us now present two coding schemes that allow for implementation of this idea. The first one will only be used in the proofs of some of our other theorems, but it is easier to understand, and we want to describe it here as an illustration. Let ${X}_{i}$, ${X}_{i+1}$ be consecutively enumerated by $\kappa (i,\lambda )$, $\kappa (i+1,\lambda )$, where $\lambda \in [m]$. Let ${C}_{k}$ be the set of Boolean vectors $\overrightarrow{s}\in {2}^{k}$ such that ${s}_{2\kappa 1}\le {s}_{2\kappa}$ for all $\kappa \in [k/2]$ and $\overrightarrow{s}=k/2$, and let ${\mathbf{C}}_{i}$ be the corresponding sets of codes in the sense of (P7a). Define ${B}_{c,r}={B}_{c,r}({X}_{i+1},{X}_{i})$ as the Boolean circuit of depth 1 with input ${X}_{i+1}$, output ${X}_{i}$, and regulatory functions defined by
Now it is clear from (19) that the Boolean circuit ${B}_{c,r}$ is strictly biquadratic and, as long as the sets ${x}_{i}^{j}$ and ${x}_{i+1}^{j}$ are consecutive intervals in ${X}_{i}$, ${X}_{i+1}$, it will copy $\overrightarrow{s}\in {\mathbf{C}}_{i+1}$ to its counterpart in ${\mathbf{C}}_{i}$. Moreover, it will map crude vectors to crude ones. The circuit ${B}_{c,r}$ has the additional useful property of mapping each $\overrightarrow{s}$ to $f(\overrightarrow{s})$ such that $\overrightarrow{s}=f(\overrightarrow{s})$, regardless of whether or not $\overrightarrow{s}$ 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 $1<c<\sqrt{3}$. Then there exist a rational $\epsilon =\epsilon (c)>0$ and a positive even integer $k=k(c)$ such that the pair $(k,\epsilon )$ is cfriendly under robust coding.
Proof Let ε be rational such that $\frac{k}{1+\epsilon}$ is an integer, and
Such ε exists by our assumption on c, and (20) implies (17).
Fix an even integer k. We can think about the vectors $\overrightarrow{s}\in {C}_{k}$ as outcomes of the experiment of randomly and independently drawing $({s}_{2\kappa 1}\le {s}_{2\kappa})$ from the set $\{(00),(01),(11)\}$ with the uniform distribution. Then $\overrightarrow{s}$ is a random variable with mean $E(\overrightarrow{s})=k/2$, and the space of all possible outcomes has size ${3}^{k/2}$. The Central Limit Theorem implies that the probability of obtaining a vector in ${C}_{k}$, that is, an outcome with $\overrightarrow{s}=k/2$, scales like ${k}^{0.5}$. Thus by (20) we have for some constant $\rho >0$ and for sufficiently large k,
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 ${C}_{k}$ and the corresponding Boolean circuit ${B}_{c,s}({X}_{i+1},{X}_{i})$ were implicitly described in detail in Section 4.2 of [14] and Section 3 of [15], 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.
Lemma 11 (a) Suppose $1<c<{10}^{1/4}$. Then there exist a rational $\epsilon =\epsilon (c)>0$ and a positive even integer $k=k(c)$ such that the pair $(k,\epsilon )$ is cfriendly under subtle coding.

(b)
There exists a strictly biquadratic Boolean circuit ${B}_{c,s}({X}_{i+1},{X}_{i})$ of depth 1 such that if ${s}_{{X}_{i}}$ is a coding vector under the subtle coding scheme, then the concatenation ${B}_{c,s}({X}_{i+1},{X}_{i})\circ {B}_{c,s}({X}_{i+2},{X}_{i+1})$ outputs an identical copy of ${s}_{{X}_{i+2}}$ after two steps and writes it to the variables in ${X}_{i}$.
Proof For the proof of part (a), choose ${c}_{1}$ with $c<{c}_{1}<{10}^{1/4}$. Lemma 3.1 of [15] states (in a slightly different terminology) that for sufficiently large k that are divisible by 8, we will have ${C}_{k}>{c}_{1}^{k}$. Now let ε be rational such that $\frac{k}{1+\epsilon}$ is an integer, and
Then
as required.
For the proof of part (b), we refer the reader to [14] or [15]. □
Unfortunately, subtle coding does not preserve $\overrightarrow{s}$. Thus, in the proof of Theorem 8, we will use robust coding instead. Moreover, the output vector $f(\overrightarrow{s})$ of ${B}_{c,s}$ is not usually an exact copy of $\overrightarrow{s}$ even if $\overrightarrow{s}$ is coding. However, applying the operation twice produces a copy $f\circ f(\overrightarrow{s})$ of $\overrightarrow{s}$ whenever $\overrightarrow{s}$ is a subtle code. This is sufficient for our purposes; as we have already mentioned above, we only need ${s}_{{X}_{i}}(t+2)$ to be a copy of ${s}_{{X}_{i+2}}(t)$ for all relevant i and t.
Lemmas 10 and 11 imply that instead of straight copying in the construction of [1], we can use the circuits ${B}_{c,r}$ with robust coding for all $0<p<1<c<\sqrt{3}$ or ${B}_{c,s}$ with subtle coding for all $0<p<1<c<{10}^{1/4}$. This will not affect the other technical arguments of the construction in [1] and give us pcchaotic systems. Alas, it will not give us all by itself strictly biquadratic 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 ${X}_{i}$, but not automatically for the variables in the remaining parts of the system, in particular, for the variables in ${B}_{1}$, ${B}_{2}$, ${B}_{3}$. We need a tool for adding redundant inputs to some variables that will not substantially alter the longrange dynamics of the whole system. The following lemma gives us such a tool.
Lemma 12 For every $0<q<1$, there exists a Boolean system ${B}_{q}$ of depth $d=\lceil log(log(1q))\rceil $ with $<2\lceil log(1q)\rceil $ variables that satisfies the following. Except for one variable ${i}_{q}$ whose indegree is 1, the indegree of every variable is 2, and, except for one variable ${o}_{q}$ whose outdegree is 1, the outdegree of every variable is 2. Moreover, with probability ≥q, the value of ${o}_{q}$ will be 1 at all times $t\ge d$, regardless of the initial values of all the variables in ${B}_{q}$, and the trajectory of ${i}_{q}$.
Proof Let q be as in the assumption, and let d be as in the statement of the lemma. It will be convenient to let the variables of the system be binary sequences σ of length at most d, where ${o}_{q}$ is the empty sequence, and ${i}_{q}$ is the zero sequence of length d. The sequences of length d will constitute the lowest level 1 of the variables of the system. For σ of length <d, we let
It is easy to see that the total number of variables on levels >1 is ${2}^{d}1$. Therefore, there exists a bijection φ between all the variables on level 1 except for ${i}_{q}$, and the variables on higher levels. For variables σ on level 1 that are distinct from ${i}_{q}$, we define
and we let ${s}_{{i}_{q}}(t+1)={s}_{{i}_{q}}(t)$.
Thus the variable ${o}_{q}$ will take the value 0 at time d only if ${s}_{\sigma}(0)=0$ for all σ of length d, and the selfinput in (25) assures that the same applies to all $t\ge d$, regardless of the trajectory of the variable ${i}_{q}$. Now the lemma follows from our choice of d. □
Observe that in biquadratic 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 ${B}_{q}$ by defining new regulatory functions that connect x to ${i}_{q}$ and ${o}_{q}$ 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 ${B}_{q}$ will have no effect on the output of ${B}_{q}$, the arguments in the proof of [1] 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 ${B}_{q}$ will start producing value 1 at ${o}_{q}$ sufficiently fast (so they do not affect the workings of ). The total number of variables in the Boolean inputoutput systems ${B}_{1}$, ${B}_{2}$, ${B}_{3}$ can be made to scale like $O({(log(n))}^{1.5})$. Unfortunately, this was not explicitly stated in this form in [1], since for the construction to work, we only needed that the total number of variables in the set $Y=[N]\mathrm{\setminus}X$ is bounded from above by a fixed constant times ${(log(n))}^{2}$ (see (10) of [1]). But, for ${B}_{3}$, the stronger scaling law follows from the formulation of Lemma 10.4 of [1]; for ${B}_{1}$ and ${B}_{2}$, it follows from the proofs of Lemmas 5.1 and 5.3 that are given in [1].
For a fixed ${q}^{\prime}=1x<1$, we need to choose $q<1$ such that with probability ${q}^{\prime}$ each of the copies of ${B}_{q}$ will start generating the value 1 at their variables ${o}_{q}$. This will be true for $q\ge {({q}^{\prime})}^{1/{(clog(n))}^{1.5}}$, where $c>0$ is a constant such that ${B}_{1}+{B}_{2}+{B}_{3}\le {(clog(n))}^{1.5}$. If we let $q=1\frac{1}{{(clog(n))}^{1.5}}x$, then
For this choice of q, by Lemma 12, the number of variables in each copy of ${B}_{q}$ is at most
for some constant ${c}^{\prime}>0$, and the total number of new variables will scale like
which is in compliance with (10) of [1].
Now the modified system will, with probability $>{q}^{\prime}$, work exactly like the original system for all times $t>d$, where $d=O(log(loglog(n)))$ is the depth of the circuit ${B}_{q}$. The first d steps, where ${B}_{1}$ and ${B}_{2}$ 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 ${X}_{i}$ was the output of ${B}_{1}$ before everything started working properly).
With the inputoutput system ${B}_{3}$, we need to proceed somewhat more carefully, since it needs to work properly right from the beginning. Recall that in the construction of ${B}_{3}$ given in Section 10.3 of [1], the regulatory functions at the lowest level were already strictly quadratic. The next levels were designed to produce an ordered version ${\overrightarrow{s}}_{o}$ of the output ${\overrightarrow{s}}_{\ell}$ of the lowest level, with ${\overrightarrow{s}}_{o}={\overrightarrow{s}}_{\ell}$ and all zeros in ${\overrightarrow{s}}_{o}$ preceding all ones. We quoted a construction from [19], 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 ${B}_{3}$, which is $O({(log(n))}^{\alpha})$ for every $\alpha >1$ by the paragraph preceding Lemma 10.4 of [1]. Thus we can add $O(log{(n)}^{1.1})$ copies of the circuits ${B}_{q}$ of depth ${d}_{q}=O(log(N))$ with a total of $O({(log(n))}^{1.5})$ variables to give second inputs to these variables. Moreover, we can add ${d}_{q}$ levels above the lowest one and use the strictly biquadratic Boolean circuit ${B}_{c,r}$ 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 ${o}_{q}$ that are to be used in modifying the subsequent levels have reached their target value 1. This again requires adding at most $O({B}_{3}log(N))=O({(log(n))}^{1.5})$ new variables and does not violate our restrictions on the size of the set Y of variables outside the union of the sets ${X}_{i}$.
In order to get systems of size exactly N for all sufficiently large N, we may need to add also some dummy variables (see [1] 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. □
Proof of Theorems 2 and 8 Fix $0<p<1<c<2$, and an auxiliary constant ${c}_{1}$ with $c<{c}_{1}<2$. For the proof of Theorem 8, we make the more stringent assumption that $c<{c}_{1}<\sqrt{3}$. We will show that as long as N is sufficiently large, there exists a pcchaotic and punstable Ndimensional biquadratic cooperative Boolean network. Our strategy will be to first choose some ${N}_{1}<N$ and an ${N}_{1}$dimensional Boolean system ${\mathbb{B}}_{1}=({2}^{{N}_{1}},f)$ that is p${c}_{1}$chaotic. We can assume that ${\mathbb{B}}_{1}$ has been constructed as above and has properties (P1)(P5). For the proof of Theorem 8, we will assume in addition that ${\mathbb{B}}_{1}$ is strictly biquadratic and uses the robust coding scheme. We will construct an extension $\mathbb{B}=({2}^{N},g)$ of ${\mathbb{B}}_{1}$ so that ${g}_{j}={f}_{j}$ for all $j\in [{N}_{1}]$ and no variable in $[{N}_{1}]$ takes input from any variable in $[N]\mathrm{\setminus}[{N}_{1}]$. In the proof of Theorem 8, we will make an exception for variables ${i}_{q}$ of some copies of ${B}_{q}$ of Lemma 12 that will receive a second input from $[N]\mathrm{\setminus}[{N}_{1}]$. This provision will preserve the property of p${c}_{1}$chaos in ${\mathbb{B}}_{1}$, in the sense that with probability >p a randomly chosen trajectory will reach an attractor of length $>{c}_{1}^{{N}_{1}}$. Note that this implies pcchaos in as long as ${c}_{1}^{{N}_{1}}\ge {c}^{N}$, or, equivalently,
For a given N, let ${N}_{1}=\lceil \frac{lnc}{ln{c}_{1}}N\rceil $. We will first present a construction of the extension of ${\mathbb{B}}_{1}$. 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 $[N]\mathrm{\setminus}[{N}_{1}]$. The regulatory functions for the variables in $[N]\mathrm{\setminus}[{N}_{1}]$ will be chosen in such a way that the system detects and keeps a permanent record of a proportion of >p of all singlebit flips in the initial conditions. Having a ratio $\frac{{N}_{1}}{N}\approx 1$ again is very helpful here, since it assures that most of these singlebit flips will occur at variables in ${N}_{1}$, and property (P5) in turn implies that we may restrict our attention to those singlebit flips that happen at some variable $j\in {X}_{i}$ for $i>{i}_{2}$. Notice that any such singlebit flip changes ${s}_{{X}_{i}}(0)$ for some $i>{i}_{2}$. By property (P2), which is preserved under robust coding, and by induction, we will have ${s}_{{X}_{i}}(0)={s}_{{X}_{{i}_{2}+1}}(i{i}_{2}1)$, which allows us to construct the extension in such a way that the only variables in ${N}_{1}$ that send input to any of the variables in $[N]\mathrm{\setminus}[{N}_{1}]$ are the ones in ${X}_{{i}_{2}+1}$. If ${\mathbb{B}}_{1}$ is based on the original construction in [1], property (P3) allows us to copy ${s}_{{X}_{{i}_{2}+1}}(t)$ to a Boolean vector ${s}_{P}(t+1)$ whose set of variables P is contained in $[N]\mathrm{\setminus}[{N}_{1}]$. For the proof of Theorem 8, we need to assume that ${\mathbb{B}}_{1}$ is strictly biquadratic 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 ${X}_{{i}_{2}+1}$ acts as a second input to a variable ${i}_{q}$ at the lowest level of some copy of ${B}_{q}$. We need to change these outputs to variables in $[N]\mathrm{\setminus}[{N}_{1}]$ and reassign new second input variables from $[N]\mathrm{\setminus}[{N}_{1}]$ to the newly orphaned variables ${i}_{q}$. As we already know, this operation is not expected to alter the relevant dynamical properties of ${\mathbb{B}}_{1}$.
Let $u=u(p)$ be a fixed positive integer whose meaning will become apparent shortly. Now we can incorporate a Boolean circuit ${B}_{4}$ into ${\mathbb{B}}_{1}$ whose set of variables is contained in $[N]\mathrm{\setminus}[{N}_{1}]$ that takes ${s}_{P}$ as input, produces u copies of it, and writes its output to vectors ${s}_{O}^{w}$ for $w\in [u]$ of the same dimension after ${d}_{4}$ steps so that for all $w\in [u]$, we have ${s}_{{X}_{{i}_{2}+1}}(t)={s}_{P}(t+1)={s}_{O}^{w}(t+1+{d}_{4})$, and all zeros in ${s}_{O}^{w}(t+1+{d}_{4})$ precede all ones in this vector. We already know from Proposition 10.1 and the proof of Lemma 5.2 of [1] that this can be accomplished by a cooperative biquadratic Boolean circuit of depth $d\le {\gamma}_{4}log(m)$ that contains a total of ${\gamma}_{4}mlog(m)$ variables, for some constant ${\gamma}_{4}$ 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 ${s}_{O}^{w}(t+1+{d}_{4})$ for all times $t<I{i}_{2}$. If this can be done, then the permanent record will persist throughout the attractor, which implies that every singlebit flip in an initial condition that happens at some variable $j\in {X}_{i}$ for $i>{i}_{2}$ will move the system to a different attractor. We would like to keep this record in circular data tapes of Boolean vectors $({s}_{{Z}_{i}^{w}}:i\in I)$ so that for $t\ge I+{d}_{4}$ and for all $w\in [u]$, we have ${s}_{{Z}_{i}^{w}}(t+1)={s}_{{Z}_{i+1}^{w}}(t)$ and also ${s}_{{Z}_{I1}^{w}}(t+1)={s}_{{Z}_{0}^{w}}(t)$, with the tape holding copies of ${s}_{O}^{w}(t+1+{d}_{4})$ in ${s}_{{Z}_{i+t}^{w}}(I+{d}_{4})$ at time $I+{d}_{4}$ for all $1\le t\le I$.
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 ${o}_{1},\dots ,{o}_{m}$ from O. For the time being, let us just say that we will choose some j, J with $1<j<m/2<J<m$, and keep track of variables ${o}_{j},\dots ,{o}_{J}$ only. The values of j, J will be selected in such a way that the difference between $s(0)$ and its singlebit flip ${s}^{\ast}(0)$ will be visible with sufficiently high probability in the window ${o}_{j},{o}_{j+1},\dots ,{o}_{J}$ after placing all zeros before all ones in $s(0)$, ${s}^{\ast}(0)$.
In order to record anything in a circular data tape, for some ${i}^{\ast}$, the variables in ${Z}_{{i}^{\ast}}^{w}$ need to take a second input from variables in O in addition to the input from ${Z}_{{i}^{\ast}+1}^{w}$ that will be responsible for the copying of the tape. For our accounting to work as specified above, we need ${i}^{\ast}={i}_{2}+1$, but it will be more convenient to write ${i}^{\ast}$.
This leads to our first technical problem: we need to make sure that the relevant data that have been transferred (regardless of how it is done) from O to ${Z}_{{i}^{\ast}}^{w}$ at times ${d}_{4}<t\le {d}_{4}+I$ are not erased at subsequent times. Let us for the time being assume for simplicity that $u=1$, which allows us to drop confusing superscripts w; the solution to the first problem has a straightforward generalization to $u\ge 1$. Enumerate the variables in ${Z}_{{i}^{\ast}}$ as ${z}_{j},{z}_{j+1},\dots ,{z}_{J}$, the variables in ${Z}_{{i}^{\ast}+1}$ as ${z}_{j}^{+},{z}_{j+1}^{+},\dots ,{z}_{J}^{+}$ and define:
This definition assures that if ${s}_{P}=m/2$, which is true for all times $t\ge I$, 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 ${s}_{{X}_{i}}(kI)$ for some $k>1$ with $i>{i}_{2}$.
Unfortunately, this definition does not guarantee that exact copies of ${s}_{O}$ will be transferred to ${Z}_{i\ast}$. Let us focus on the case where $j\le \mu \le m/2$; the argument for the case of $\mu >m/2$ is dual. Each value ${s}_{{o}_{\mu}}(t)=1$ gets faithfully copied to ${s}_{{z}_{\mu}}(t+1)=1$, but the updating as specified by (27) will also introduce some random occurrences of ${s}_{{z}_{\mu}}(t+1)=1$ while ${s}_{{o}_{\mu}}(t)=0$ due to ${s}_{{z}_{\mu}^{+}}(t)=1$. But consider a situation where the ${s}_{{z}_{\mu}^{+}}(t)$ are random and we want to use (27) to record to the data tape the sizes of some ${s}_{{X}_{i}}(0)$, ${s}_{{X}_{i}}^{\ast}(0)$ for $i>{i}_{2}$, as coded by the Boolean variables ${s}_{{o}_{\mu}}(t)$ that differ by a singlebit flip and are such that $j\le {s}_{{X}_{i}}(0)=\mu <\mu +1={s}_{{X}_{i}}^{\ast}(0)\le J$.
However, as long as ${s}_{{z}_{\mu}^{+}}(t)=0$, a 1 will be copied to ${s}_{{z}_{\mu}}(t+1)$ only for the trajectory of the corresponding ${\overrightarrow{s}}^{\ast}(0)$, but not for the trajectory of $\overrightarrow{s}(0)$. 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 ${s}_{{z}_{\mu}^{+}}(t)$ 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 ${0.5}^{u}<1p$, we can assure that the probability of success in at least one recording tape is >p, which is all we need for pinstability.
The third problem we need to take care of is to choose the values of j, J. We need that with probability >p, the inequalities
will hold as long as ${s}_{O}^{w}(t+1+{d}_{4})$ records the size of some ${s}_{{X}_{i}}(0)$, so that a random singlebit 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 $j\le m/2{\gamma}_{5}\sqrt{m}$ and $J\ge m/2+{\gamma}_{5}\sqrt{m}$ for some constant ${\gamma}_{5}$ that depends on p, but not on m. Since u does not depend on N and $m=O(\sqrt{N})$, using such j, J, we will be able to construct recording tapes that altogether use only on the order of $u\sqrt{m}I$ or ${N}_{1}^{3/4}$ variables. For the proof of Theorem 8, we will also need $O({N}_{1}^{3/4})$ copies of the Boolean inputoutput system ${B}_{q}$, where q can be chosen as $1\frac{1}{{N}_{1}}$. This will add another $O({N}_{1}^{3/4}log({N}_{1}))$ variables. By connecting these as in the proof of Theorem 7, we achieve a strictly biquadratic network. The modification of all monic regulatory functions of the circuit ${B}_{4}$ and the data record tapes may result in missing a few singlebit flips in ${s}_{{X}_{i}}(0)$ for ${i}_{2}<i<{i}_{2}+d$ that ${\mathbb{B}}_{1}$ detects, where d is the depth of ${B}_{q}$, but this is no problem since $d=O(log({N}_{1}))$ is very small relative to $I$. In either case, the total number M of variables in does not exceed N, provided that N is sufficiently large. If $M<N$, we add to some dummy variables and connect them as in the proof of Theorem 7. These dummy variables will not destroy pinstability of . □
Proof of Theorems 6 and 9 For the proof of Theorem 6, fix $0<\alpha <0.5$, $0<p<12\alpha <1<c<{2}^{12\alpha}$; for the proof of Theorem 9, fix $0<p<1<c<\sqrt{3}$. We will show that as long as N is sufficiently large, there exists a pcchaotic Ndimensional (strictly) biquadratic cooperative Boolean network with the required decoherence property. Similarly to the previous proof, our strategy will be to first choose some ${N}_{1}<N$ and an ${N}_{1}$dimensional Boolean system ${\mathbb{B}}_{1}=({2}^{{N}_{1}},f)$ 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 ${p}_{1}$ and ${c}_{1}$. For Theorem 6 we will choose ${p}_{1}=\frac{p}{12\alpha}$ and ${c}_{1}={c}^{1/(12\alpha )}$, and for Theorem 9 we will choose any ${p}_{1}$ with $p<{p}_{1}<1$ and ${c}_{1}$ with $c<{c}_{1}<\sqrt{3}$.
In the proof of Theorem 6, we will construct an extension $\mathbb{B}=({2}^{N},g)$ of so that ${g}_{j}={f}_{j}$ for all $j\in [{N}_{1}]$ and no variable in $[{N}_{1}]$ takes input from any variable in $[N]\mathrm{\setminus}[{N}_{1}]$. This latter provision will preserve the property of ${p}_{1}$${c}_{1}$chaos in ${\mathbb{B}}_{1}$ in the sense that with probability $>{p}_{1}$ a randomly chosen trajectory will reach an attractor of length $>{c}^{{N}_{1}}$. Moreover, ${p}_{1}$instability of ${\mathbb{B}}_{1}$ will be preserved in the sense that a proportion of $>{p}_{1}$ of singlebit flips in the initial conditions that occur at variables in $[{N}_{1}]$ will result in trajectories that reach different attractors. However, in contrast to the proof of Theorem 2, we will no longer aim for making the ratio $\frac{{N}_{1}}{N}$ arbitrarily close to 1; instead, we will choose ${N}_{1}=\lceil (12\alpha )N\rceil $, which gives
This has two important consequences that are reflected in the statement of Theorem 6. First of all, ${c}_{1}$chaos in ${\mathbb{B}}_{1}$ will guarantee at most ${c}_{1}^{12\alpha}$chaos in , which is the same as cchaos by our choice of ${c}_{1}$. Second, the proportion of singlebit flips in the initial conditions that occur in variables in ${N}_{1}$ is at most $12\alpha $. Thus ${p}_{1}$instability in ${\mathbb{B}}_{1}$ translates at most into $(12\alpha ){p}_{1}$instability in , that is, pinstability.
In the proof of Theorem 9, we will need to alter some regulatory functions in ${\mathbb{B}}_{1}$ for the variables ${i}_{q}$ of some copies of ${B}_{q}$, 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 ${\mathbb{B}}_{1}$. We will choose ${N}_{1}=\lceil max\{\frac{lnc}{ln{c}_{1}}N,\frac{p}{{p}_{1}}N\}\rceil $, which ensures, by the same argument as in the proofs of Theorems 2 and 8, that will be pcchaotic and punstable.
Thus, in both constructions, a random singlebit flip in a randomly chosen initial condition will leave a permanent record in at least one of the data record tapes of ${\mathbb{B}}_{1}$. Let ${Z}_{i}^{w}$ be as in the proof of Theorems 2 and 8. Let ${z}_{\mu}^{w}$ denote the μ th element of ${Z}_{{i}_{3}}^{w}$. By the construction in the proof of Theorems 2 and 8 and our choice of the ratios ${N}_{1}/N$, $p/{p}_{1}$, we can conclude that if $\overrightarrow{s}(0)$, ${\overrightarrow{s}}^{\ast}(0)$ are two randomly chosen initial conditions of , then with probability >p the following will hold:
where ${s}_{i}(t)$, ${s}_{i}^{\ast}(t)$ denote the values of variable i at time t in the trajectories of $\overrightarrow{s}(0)$, ${\overrightarrow{s}}^{\ast}(0)$, respectively.
The next step in the construction is to add a Boolean inputoutput system ${B}_{6}$ to ${\mathbb{B}}_{1}$ that copies the values of the variables ${z}_{\mu}^{w}$ at selected times to a single variable ${k}^{\ast}$ so that (30) will imply
Let $(Jj+1)u<T<I$ be a prime number. Since $(Jj+1)u=O(\sqrt{I})$, by the Prime Number Theorem, such T exists for sufficiently large N. Let $\nu :([J]\mathrm{\setminus}[j1])\times [u]\to [(Jj+1)u]$ be a bijection. For each $\mu \in [Jj+1]$ and $w\in [u]$, define a vector ${\overrightarrow{r}}_{\mu ,w}\in {2}^{R}$ of length $R=(Jj+1)u$ that takes the value 1 only on its $\nu (\mu ,w)$th coordinate ${r}_{\nu (\mu ,w)}$ and takes the value 0 otherwise. Lemma 10.4 of [1] implies the existence of a Boolean inputoutput system ${B}_{5}$ with output vector $\overrightarrow{r}\in {2}^{R}$ such that with probability arbitrarily close to 1,
Moreover, ${B}_{5}$ requires adding only $O((Jj+1)uTlog((Jj+1)uT))=O({N}^{3/4}log(N))$ variables.
Create a new set of variables ${R}^{\ast}$ with ${R}^{\ast}=R$ and define regulatory functions for the Boolean vector ${r}^{\ast}$ with this domain by
Make ${k}^{\ast}$ the output of a Boolean circuit ${B}_{6}$ that calculates the conjunction of all the variables in ${R}^{\ast}$. Since T is relatively prime with $I(Jj+1)u$, this guarantees that the value of each variable in the union of all data tapes will be copied infinitely often to ${k}^{\ast}$ and gives the implication (30) ⇒ (31).
Finally, for the proof of Theorem 6, we add another Boolean circuit ${B}_{7}$ to ${\mathbb{B}}_{1}$ that is composed of variables in $[N]\mathrm{\setminus}[{N}_{1}]$ and copies the value of its single input variable ${k}^{\ast}$ to $\lceil \alpha N\rceil $ distinct output variables after ${d}_{7}$ time steps. By Proposition 10.1 of [1], there exists a cooperative biquadratic Boolean circuit that accomplishes this task and uses at most $2\lceil \alpha N\rceil $ variables. Thus the addition of ${B}_{7}$ does not allow us to achieve a higher ratio $\frac{{N}_{1}}{N}$ than in (29). But since ${B}_{7}$ is the most expensive part of the construction in terms of the number of necessary additional variables, the ratio can be arbitrarily close to $12\alpha $.
Let us recapitulate how this construction ensures pαdecoherence. A random singlebit flip ${\overrightarrow{s}}^{\ast}(0)$ in a randomly chosen initial condition $\overrightarrow{s}(0)$ happens with probability $\approx 12\alpha $ at a variable in $[{N}_{1}]$. 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 ${N}_{1}$. This record will result in infinitely many times ${t}^{+}$ where the trajectories differ at variable ${k}^{\ast}$, as in (31). This difference in turn will be amplified by ${B}_{7}$ to $\lceil \alpha N\rceil $ distinct variables, and pαdecoherence follows.
For the proof of Theorem 9, ${B}_{7}$ will copy ${k}^{\ast}$ only to $\frac{N}{\mathrm{\Theta}log(N)}$ distinct output variables, where Θ will be determined shortly. This will ensure p$\frac{N}{\mathrm{\Theta}log(N)}$decoherence as in the previous paragraph and will require adding at most $\frac{2N}{\mathrm{\Theta}log(N)}$ variables. The resulting system will not yet be strictly biquadratic; we will need to add copies of the Boolean circuits ${B}_{q}$ where $1q<\frac{1}{N}$ and connect their respective output variables ${o}_{q}$ by conjunctions to variable $j\in {B}_{6}\cup {B}_{7}$ with monic regulatory functions. This requires adding $\frac{2N}{\mathrm{\Theta}}+O({N}^{3/4}log(N)log(log(N)))$ new variables. By choosing Θ large enough so that $\frac{2N}{\mathrm{\Theta}}\ll (12\alpha )N$, we do not exceed the allotment of $N{N}_{1}$ additional variables specified by (29). Finally, we add dummy variables if needed and connect variables that have fewer than 2 outputs to variables ${i}_{q}$ of copies of ${B}_{q}$. The resulting system will have the properties specified in Theorem 9. □
6 Conclusion and future directions
In this paper and its prequel [1], 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 wellknown 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 pcchaos 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 biquadratic Boolean networks. Similarly, in strictly biquadratic networks, cooperativity does not imply additional bounds on pcchaos beyond the previously known bound of $c<{10}^{1/4}$ for cchaos.
However, the situation changes when one considers notions of high sensitivity to perturbations of initial conditions. The strongest of such notions considered here, pαqdecoherence, while still possible in pcchaotic Boolean networks in general, is outright precluded by cooperativity. The weakest of these three notions, pinstability, is still consistent with pcchaos in cooperative biquadratic Boolean networks for all $0<p<1<c<2$. But if in addition it is assumed that the network is strictly biquadratic, a stronger bound $c<\sqrt{3}$ applies, and the bound is strict.
The notion of pDdecoherence comes in many flavors, depending on the parameter D. While it is consistent with cooperativity and pcchaos for all $0<p<1<c<2$ and all meaningful linear D in general, we were only able to construct biquadratic and strictly biquadratic Boolean systems that satisfy this property under some additional restrictions on p, c, and D. Since any form of pDdecoherence implies pinstability, there must be some restrictions, at least under the additional assumption that the system is strictly biquadratic. We conjecture that there are some restrictions for biquadratic systems as well. However, it remains an open problem to find the optimal upper bounds on the amount of pcchaos and pDdecoherence 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 chaoslike 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.
References
 1.
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.691167
 2.
Thieffry D: Dynamical roles of biological regulatory circuits. Brief. Bioinform. 2007, 8: 220–225. 10.1093/bib/bbm028
 3.
Thomas R, d’Ari R: Biological Feedback. CRC Press, Boca Raton; 1990.
 4.
Enciso GA, Hirsch M, Smith H: Prevalent behavior of strongly order preserving semiflows. J. Dyn. Differ. Equ. 2008, 20: 115–132. 10.1007/s108840079084z
 5.
Hirsch M: Stability and convergence in strongly monotone dynamical systems. J. Reine Angew. Math. 1988, 383: 1–53.
 6.
Smith H: Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems. Am. Math. Soc., Providence; 1995.
 7.
Remy E, Ruet P: From minimal signed circuits to the dynamics of Boolean regulatory networks. Bioinformatics 2008, 24: 220–226. 10.1093/bioinformatics/btn287
 8.
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.003
 9.
Sontag ED: Monotone and nearmonotone biochemical networks. J. Syst. Synth. Biol. 2007, 1: 59–87. 10.1007/s1169300790059
 10.
Jarrah AS, Laubenbacher R, VelizCuba A: The dynamics of conjunctive and disjunctive Boolean network models. Bull. Math. Biol. 2010, 72(6):1425–1447. 10.1007/s115380109501z
 11.
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.
 12.
Sontag ED, VelizCuba 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.125021
 13.
Kauffman SA: Origins of Order: SelfOrganization and Selection in Evolution. Oxford University Press, Oxford; 1993.
 14.
Enciso, GA, Just, W: Extremely chaotic Boolean networks. arXiv:0811.0115 (2008). Accessed 1 Nov 2008. http://eprintatarXiv.org
 15.
Enciso GA, Just W: Exponentially long orbits in Boolean networks with exclusively positive interactions. Nonlinear Dyn. Syst. Theory 2011, 11: 275–284.
 16.
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.
 17.
Drossel B: Random Boolean networks. 1. In Reviews of Nonlinear Dynamics and Complexity. Edited by: Schuster HG. Wiley, Weinheim; 2008:69–110.
 18.
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/10236190903357535
 19.
Ajtai M, Komlos J, Szemeredi E:Sorting in $clogn$ parallel steps. Combinatorica 1983, 3: 1–19. 10.1007/BF02579338
Acknowledgements
We would like to thank the referee for valuable suggestions on how to improve the presentation.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each author conceptualized some of the technical arguments. WJ wrote the first draft. Both authors significantly contributed to the editing of the proofs, read, and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Just, W., Malicki, M. Cooperative Boolean systems with generically long attractors II. Adv Differ Equ 2013, 268 (2013). https://doi.org/10.1186/168718472013268
Received:
Accepted:
Published:
Keywords
 Boolean networks
 cooperative dynamical systems
 exponentially long attractors
 chaotic dynamics