6 research outputs found
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks
We are interested in fixed points in Boolean networks, {\em i.e.} functions
from to itself. We define the subnetworks of as the
restrictions of to the subcubes of , and we characterizes a
class of Boolean networks satisfying the following property:
Every subnetwork of has a unique fixed point if and only if has no
subnetwork in . This characterization generalizes the fixed point
theorem of Shih and Dong, which asserts that if for every in
there is no directed cycle in the directed graph whose the adjacency matrix is
the discrete Jacobian matrix of evaluated at point , then has a
unique fixed point. Then, denoting by (resp. )
the networks whose the interaction graph is a positive (resp. negative) cycle,
we show that the non-expansive networks of are exactly the
networks of ; and for the class of
non-expansive networks we get a "dichotomization" of the previous forbidden
subnetwork theorem: Every subnetwork of has at most (resp. at least) one
fixed point if and only if has no subnetworks in (resp.
) subnetwork. Finally, we prove that if is a conjunctive
network then every subnetwork of has at most one fixed point if and only if
has no subnetwork in .Comment: 40 page