Theorem 1
MBXVLet n be even,
where r_{0},z_{0},v_{0} are defined in (?). Then, for any k, t , and u such that \left| k\right| \leq n2^{n/4}, \left| t\right| \leq n2^{n/4}, \left| u\right| \leq n2^{n/2},
We derive asymptotic formulas for the Lyapunov exponent of almost all monotone Boolean networks. The formulas are different depending on whether the number of variables of the constituent Boolean functions, or equivalently, the connectivity of the Boolean network, is even or odd.
Let n be even,
where r_{0},z_{0},v_{0} are defined in (?). Then, for any k, t , and u such that \left| k\right| \leq n2^{n/4}, \left| t\right| \leq n2^{n/4}, \left| u\right| \leq n2^{n/2},
Let n be odd,
where r_{1},z_{1},v_{1} are defined in (?) and (?). Then, for any k, t, and u such that \left| k\right| \leq n2^{n/4}, \left| t\right| \leq n2^{n/4}, \left| u\right| \leq n2^{n/2},
Let n be odd,
where r_{2},z_{2},v_{2} are defined in (?) and (?). Then, for any k, t, and u such that \left\vert k\right\vert \leq n2^{n/4}, \left\vert t\right\vert \leq n2^{n/4}, \left\vert u\right\vert \leq n2^{n/2},
Let n be even and let f\in M_{0}^{1}\left( n\right) be a typical monotone Boolean function. Then, the expected average sensitivity \hat{s}^{f}=E\left[ s^{f}\right] of f is
We will proceed by first focusing on determining the activity of an arbitrary variable x_{j} of a typical function f. By simple symmetry arguments, if we were to sample randomly from the set M\left( n\right) of monotone Boolean functions, the expected activities would be equal for all the variables. It will follow by (?) that the expected average sensitivity will be equal to n multiplied by the expected activity. Since the function f is such that its minimal ones are situated in E^{n,n/2-1} , E^{n,n/2}, and E^{n,n/2+1} while it is equal to 1 on all vectors in E^{n,n/2+2},\cdots ,E^{n,n}, the only non-trivial behavior occurs between the layers E^{n,n/2-2} and E^{n,n/2+2}.
Let us consider the minimal ones, and hence all of the ones, on E^{n,n/2-1}. Since we are considering variable x_{j}, half of these minimal ones will have x_{j}=0 (i.e. \tilde{x}^{\left( j,0\right) }) and the other half will have x_{j}=1 (i.e. \tilde{x}^{\left( j,1\right) }). It is easy to see that if \tilde{x}^{\left( j,0\right) }\in E^{n,n/2-1} is a minimal one, then by monotonicity, f\left( \tilde{x}^{\left( j,1\right) }\right) =1. Consequently, the Hamming neighbors \tilde{x}^{\left( j,0\right) } and \tilde{x}^{\left( j,1\right) } contribute nothing to the sum in (?). On the other hand, if \tilde{x}^{\left( j,1\right) }\in E^{n,n/2-1} is a minimal one, then \partial f\left( \tilde{ x}\right) /\partial x_{j}=1, since f\left( \tilde{x}\right) =0 for all \tilde{x}\in E^{n,n/2-2}. The (most probable( To avoid repetition, we will omit the words "most probable" or "typical" when it is understood from the context.)) number of such minimal ones on E^{n,n/2-1} contributing to the sum in (?) is thus equal to
The number of zeros on E^{n,n/2-1} is equal to
As above, half of these will have x_{j}=0 and half will have x_{j}=1. We need not consider vectors \tilde{x}^{\left( j,1\right) }\in E^{n,n/2-1}, since f\left( \tilde{x}\right) =0 for all \tilde{x}\in E^{n,n/2-2}. However, we should consider the number of ones situated on the middle layer E^{n,n/2}. The middle layer contains
ones and an equal number of zeros. Thus, half of the vectors \tilde{x} ^{\left( j,1\right) }\in E^{n,n/2} will be ones and the other half will be zeros. In total, the number of vectors \tilde{x}\in E^{n,n/2-1} such that f\left( \tilde{x}\right) =0, x_{j}=0, and f\left( \tilde{x}^{\left( j,1\right) }\right) =1, is equal to
We have now examined all partial derivatives above and below the layer E^{n,n/2-1}.
Let us now jump to layer E^{n,n/2+1}, as it will be similar by duality considerations. The number of maximal zeros on that layer is equal to v_{0}=r_{0}. Half of these will have x_{j}=1 and thus \partial f\left( \tilde{x}\right) /\partial x_{j}=0 due to monotonicity. The other half will have x_{j}=0 and since f\left( \tilde{x}\right) =1 for all \tilde{x}\in E^{n,n/2+2}, the same total as in (?) will result. Similarly, the number of ones on E^{n,n/2+1} is the same as in (?). We are only concerned with \tilde{x}^{\left( j,1\right) }\in E^{n,n/2+1}, such that f\left( \tilde{x}^{\left( j,1\right) }\right) =1 and f\left( \tilde{x }^{\left( j,0\right) }\right) =0. As above, because the middle layer contains the same number of ones and zeros, the total number of such pairs of vectors is the same as in (?). Thus, having accounted for all partial derivatives above and below E^{n,n/2+1} and having convinced ourselves that their contribution to the overall activity of variable x_{j} is the same as in (?) and (?), we can multiply (?) and (?) by 2 and add them together to obtain
Since there are 2^{-n+1} Hamming neighbors \tilde{x}^{\left( j,0\right) }\prec \tilde{x}^{\left( j,1\right) } and since the average sensitivity is n times the activity, we must multiply (?) by n2^{-n+1}, resulting in the statement of the theorem.
Let n be odd and let f\in M_{0}^{1}\left( n\right) be a typical monotone Boolean function. Then, the expected average sensitivity \hat{s}^{f}=E\left[ s^{f}\right] of f is
where \hat{s}_{1}^{f} and \hat{s}_{2}^{f} are given in (?) and (?), respectively.
Let us first address the set M_{0,1}^{1}\left( n,r,z,v\right) . As in Theorem 4, we only need to concern ourselves with four cases. These are:
\tilde{x}\in E^{n,\left( n-3\right) /2}, f\left( \tilde{x}\right) =1, x_{j}=1
\tilde{x}\in E^{n,\left( n-3\right) /2}, f\left( \tilde{x}\right) =0, x_{j}=0
\tilde{x}\in E^{n,\left( n+1\right) /2}, f\left( \tilde{x}\right) =1, x_{j}=1
\tilde{x}\in E^{n,\left( n+1\right) /2}, f\left( \tilde{x}\right) =0, x_{j}=0
All other situations, such as \tilde{x}\in E^{n,\left( n-3\right) /2}, f\left( \tilde{x}\right) =1, x_{j}=0, will result in the partial derivatives being zero due to monotonicity of f, hence will make no contribution to the activity of variable x_{j}. There are
minimal ones on E^{n,\left( n-3\right) /2} such that x_{j}=1. At the same time, there are
zeros on E^{n,\left( n-3\right) /2} such that x_{j}=0. Unlike in the n -even case, where the middle layer contains an equal number of ones and zeros, the number of ones and zeros on E^{n,\left( n-1\right) /2} is not equal. The number of ones on E^{n,\left( n-1\right) /2} is given in (?). Thus, if \tilde{x}^{\left( j,0\right) } is a zero on E^{n,\left( n-3\right) /2}, then the probability that f\left( \tilde{x}^{\left( j,1\right) }\right) =1 is
where we have simply divided the number of ones on E^{n,\left( n-1\right) /2} by the total number of vectors on that layer. Thus, multiplying (?) by (?) and adding to (?) gives us the total contribution to the activity of variable x_{j} from cases 1 and 2 above, which is equal to
Cases 3 and 4 are similar. The number of (maximal) zeros on E^{n,\left( n+1\right) /2} for which x_{j}=0 is equal to
and the number of ones on E^{n,\left( n+1\right) /2} for which x_{j}=1 is equal to
The proportion of zeros on E^{n,\left( n-1\right) /2} is
Thus, as before, multiplying (?) by (?) and adding to (?), we get the total contribution to the activity from above and below the layer E^{n,\left( n+1\right) /2} (cases 3 and 4), resulting in
Finally, adding (?) and (?) and then multiplying by n2^{-n+1} as in Theorem 4, we obtain the expected average sensitivity \hat{s}_{1}^{f} of a typical function from M_{0,1}^{1}\left( n,r,z,v\right):
We now proceed to derive the expected average sensitivity \hat{s}_{2}^{f} of a typical function from M_{0,2}^{1}\left( n,r,z,v\right) , following the same steps.
Again, we only need to concern ourselves with four cases:
\tilde{x}\in E^{n,\left( n-1\right) /2}, f\left( \tilde{x}\right) =1, x_{j}=1
\tilde{x}\in E^{n,\left( n-1\right) /2}, f\left( \tilde{x}\right) =0, x_{j}=0
\tilde{x}\in E^{n,\left( n+3\right) /2}, f\left( \tilde{x}\right) =1, x_{j}=1
\tilde{x}\in E^{n,\left( n+3\right) /2}, f\left( \tilde{x}\right) =0, x_{j}=0
There are
minimal ones on E^{n,\left( n-1\right) /2} such that x_{j}=1. At the same time, there are
zeros on E^{n,\left( n-1\right) /2} such that x_{j}=0. As for M_{0,1}^{1}\left( n,r,z,v\right), the number of ones and zeros on E^{n,\left( n+1\right) /2} is not equal. The number of ones on E^{n,\left( n+1\right) /2} is given in (?). Thus, if \tilde{x}^{\left( j,0\right) } is a zero on E^{n,\left( n-1\right) /2}, then the probability that f\left( \tilde{x}^{\left( j,1\right) }\right) =1 is
where we have simply divided the number of ones on E^{n,\left( n+1\right) /2} by the total number of vectors on that layer. Thus, multiplying (?) by (?) and adding to (?) gives us the total contribution to the activity of variable x_{j} from cases 1 and 2 above, which is equal to
Cases 3 and 4 are similar. The number of (maximal) zeros on E^{n,\left( n+3\right) /2} for which x_{j}=0 is equal to
and the number of ones on E^{n,\left( n+3\right) /2} for which x_{j}=1 is equal to
The proportion of zeros on E^{n,\left( n+1\right) /2} is
Thus, as before, multiplying (?) by (?) and adding to (?), we get the total contribution to the activity from above and below the layer E^{n,\left( n+3\right) /2} (cases 3 and 4), resulting in
Finally, adding (?) and (?) and then multiplying by n2^{-n+1} as in Theorem 4, we obtain the expected average sensitivity \hat{s}_{2}^{f} of a typical function from M_{0,2}^{1}\left( n,r,z,v\right):
Given that a function is equally likely to be picked from M_{0,1}^{1}\left( n,r,z,v\right) as from M_{0,2}^{1}\left( n,r,z,v\right) , the expected average sensitivity is the average of equations (?) and (?).
I am grateful to the Institute for Systems Biology (ISB) for their support.
The text on this page is from arXiv:math/0507030v2 by Ilya Shmulevich, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/0507/math-0507030.jsonl.