- freely available
- re-usable

*Int. J. Mol. Sci.*
**2009**,
*10*(10),
4437-4473;
doi:10.3390/ijms10104437

^{1}

^{2}

^{3}

^{4}

## Abstract

**:**Regulatory interaction networks are often studied on their dynamical side (existence of attractors, study of their stability). We focus here also on their robustness, that is their ability to offer the same spatiotemporal patterns and to resist to external perturbations such as losses of nodes or edges in the networks interactions architecture, changes in their environmental boundary conditions as well as changes in the update schedule (or updating mode) of the states of their elements (e.g., if these elements are genes, their synchronous coexpression mode versus their sequential expression). We define the generic notions of boundary, core, and critical vertex or edge of the underlying interaction graph of the regulatory network, whose disappearance causes dramatic changes in the number and nature of attractors (e.g., passage from a bistable behaviour to a unique periodic regime) or in the range of their basins of stability. The dynamic transition of states will be presented in the framework of threshold Boolean automata rules. A panorama of applications at different levels will be given: brain and plant morphogenesis, bulbar cardio-respiratory regulation, glycolytic/oxidative metabolic coupling, and eventually cell cycle and feather morphogenesis genetic control.

“In nova fert animus mutatas dicere formas corpora... Unus erat toto naturae vultus in orbe, Quem dixere chaos: rudis indigestaque moles, Nec quidquam, nisi pondus iners, congestaque eodem non bene junctarum discordia semina rerum…”. I want to speak about bodies changed into new forms... Nature appeared the same throughout the whole world, What we call chaos: a raw confused mass, Nothing but inert matter, badly combined discordant atoms of things, confused in the one place...

(Ovide, Metamorphoses, 1

^{st}Book, 10 A.D.).

## 1. Introduction

The cell metabolism is regulated by interaction networks [1,2] bringing together elementary macromolecules like genes and their expression products, proteins, in a complex organization made of numerous weak interactions (due to physicochemical forces like electrostatic or van der Waals forces). The aim of this paper is to show how mathematical networks theories like graphs and dynamical systems theories are necessary to give a mechanistic description of how a cell, a tissue or an organ work from the emergent properties of their constitutive interacting metabolisms. Regulatory interaction networks are made of elements (e.g., genes or proteins) in interaction and they control important cell or tissue functions like proliferation and differentiation. Their dynamics depends highly on the relationships and delays between the kinetics of creation and transformation of the networks elements. More generally, a system is a set of elements in interaction and the cell (resp. tissue) organisation is a biological system, considered as a pyramid of components made of interacting macromolecules (resp. cells). Their observed spatiotemporal behaviours (phenotypes) are explained in the framework of Systems Biology, which studies biological systems in a circuit of complexity from data acquisition to reconstruction of regulatory interaction network (inverse problem) allowing direct predictions by modeling and simulating it in silico (Figure 1). The complexity of living systems deals with common rules prescribing how macromolecules, cells and tissues are connected into integrated regulatory networks with architectural similarities both inside the cell and between the cellular organizations. Besides, we notice that “network motifs” are crucial to the complexity paradigm. They are common patterns of interconnections between elements as well as super-structures, modeled by deterministic kinetic non-linear rules coming from the classical enzymology and from the genetic networks theory [3–11], e.g., from Henri-Michaelis-Menten, Hill, Monod-Wyman-Changeux and Thomas equations (Figure 2). Probabilistic versions of these rules exist accounting for the variability of the systems trajectories around their average behaviour [12,13]. The mathematical tools from the theories of dynamical systems [14–20] come from numerous contributors from H. Poincaré to R. Thom (Figure 2).

The interaction graphs associated to the regulatory interaction networks are inferred from the experimental data and from the literature [21–23]. For instance, gene co-expression data may be used for building correlation networks from directional correlations or logical considerations about the observed fixed configurations and then completing the graphs obtained this way by orienting, signing and valuating their edges, hence creating new connected components (like C_{1} and C_{2}, from C, on Figure 3 top). Interaction graphs architecture contains simple motifs (as those from Alon’s work in genetic networks [24] and from metabolic and physiologic networks [25,26]) with two to five nodes. Some examples of motifs are given in Figure 3 and systematically studied in [27]. Among these motifs, we will use, in the following, the negative (respectively positive) circuits, i.e., closed paths between nodes having an odd (respectively even) number of inhibitions like in the triple negative and quintuple positive circuits, in the 3-switch (three nodes fully connected with only inhibitions between them) and in the negative and positive regulons, the most simple motifs having both one positive and one negative circuit. When there is no circuit inside the motifs, we call coherent (resp. incoherent) feed-forward double path a couple of paths with same initial and final nodes, and same (resp. different) global signs.

## 2. Preliminary: Notations and Definitions

#### 2.1. Definition of an Attractor and of Its Basin

The definitions of attractors are numerous. We have chosen here a version available both for continuous and discrete cases and the only consistent with all encountered practical situations [28,29]. We define first the Birkhoff limit set L(x) of an initial condition x in the state space E as the set of accumulation points of a trajectory T, where T(x,s) is the state reached at time s from the initial condition x and B(y,ε) is the set of states at distance of y less than ε (reduced to {y} in the discrete case):

The stability basin of a subset A of E is the set of initial conditions x not in A, but such as L(x) ⊂ A. Let us denote by Ā the set A completed by possible shadow trajectories [30]. An attractor A verifies:

A is a fixed set for the composed set operator LoB: A = L(B(A)),

there is no set C ⊃ Ā, C ≠ Ā, verifying i),

there is no D ⊂ A, D ≠ A, verifying (i) and (ii).

An attractor A is invariant in the dual operations consisting firstly in considering all the trajectories of its basin (from all initial conditions not in A, but finishing their life in A) and secondly to restrict them to their ends of life (Figure 4).

The simplest case of attractors is the fixed point called node [14–17], to which converge all trajectories of its stability basin (Figure 5); among the other fixed points, the focus is also an attractor, but neither the centre nor the saddle. The attractors fixed points can bifurcate toward a limit cycle when the parameters values of the dynamical system change (Figure 5). The epigenetic differences including those involved in cell differentiation can be understood in the framework of the regulatory networks in terms of existence of multiple attractors [8], and the presence of a positive circuit in their interaction graph is a necessary condition for observing multiple fixed points. The second part of the sentence has been conjectured in [31] and proved both in continuous [32–37] and discrete cases [38–40], where attractors depend in general on the updating mode of the network: sequential if each node is updated in a deterministic or random ergodic order, parallel if all nodes are updated synchronously and block-sequential if the synchrony is available only into blocks updated sequentially.

#### 2.2. Degree, Connectivity and Connectedness

#### 2.2.1. Undirected Graph

An undirected graph G is a pair (V,E), where V is a set whose elements are called vertices (or nodes), and E is a set of non ordered pairs of vertices, called edges. The vertices of an edge are called its endvertices. Two vertices of an undirected graph belonging to the same edge are called incident with this edge. Any edge is called incident with its endvertices. Two edges (resp. vertices) are adjacent if they are incident with one common endvertex (resp. edge). A path (or m-path) is an ordered sequence of m edges in which two consecutive edges are adjacent, by sharing one endvertex not incident with any previous edge of the sequence, except possibly, for the last edge, with the first edge. In this case, the path is called a cycle (or m-cycle). In an undirected graph G, two vertices u and v are called connected, if G contains a path from u to v. Otherwise, they are called disconnected. A graph is called connected if every pair of distinct vertices in the graph can be connected through some path. A connected component is a maximal connected subgraph of G. Each vertex belongs to exactly one connected component, as does each edge. If u and v are vertices of G, then a collection of paths between u and v is called vertex-independent if no two of them share a vertex (other than u and v themselves). Similarly, the collection is edge-independent if no two paths in it share an edge. The greatest number of vertex-independent paths between u and v is called the local vertex-connectivity κ(u,v) and the greatest number of edge-independent paths between u and v, the local edge-connectivity λ(u,v). G is called r-vertex-connected (resp. r-edge-connected) or has a vertex-connectivity κ(G) (or an edge-connectivity λ(G)) equal to r, if each pair of vertices of G has the same vertex-connectivity (resp. edge-connectivity) r. The degree (or valency) of a vertex is the number of edges that connect to it, where an edge that connects to the vertex at both ends, a 1-cycle, called also loop, is counted twice. The average degree of G is equal to d = 2|E|/|V|, where |E |(resp. |V|) denotes the number of edges (resp. vertices) of the graph. The vertex-connectivity of a graph is less than or equal to its edge-connectivity: κ(G) ≤ λ(G). Both are less than or equal to the minimum degree of G, equal to the minimum value of the degree of its vertices.

#### 2.2.2. Regular Graph

A regular graph is a graph where each vertex has the same number of neighbours, i.e., every vertex has the same degree. A regular graph with vertices of degree r is called a r-regular graph. For a random r-regular graph G (chosen uniformly in the set of r-regular graphs), the following result holds, relating degree and edge-connectivity [55]: assume 3 ≤ r ≤ c_{0}n, for some small positive constant c_{0}, then with probability tending to 1 as n tends to infinity, G is r-edge-connected.

#### 2.2.3. Weighted and Signed Graph

A graph is a weighted graph if a real number, called weight, is assigned to each edge. Such weights represent in regulatory networks the intensity of the influence (repression/inhibition or induction/activation) of an element on the others, depending on the problem. The weight of the graph is the sum of weights of all edges. A signed graph is a weighted graph with weights valued in {−1,0,1}.

#### 2.2.4. Directed Graph

A directed graph or digraph G is a pair (V,E), where V is the set of vertices, and E is a set of ordered pairs of vertices, called directed or oriented edges. In a digraph G, a path is oriented. Thus, the concept of circuit replaces that of cycle. A digraph G is connected if the undirected underlying graph obtained by replacing all directed edges of G with undirected edges is a connected graph. A digraph is strongly connected if it contains a directed path from u to v and a directed path from v to u, for every pair of vertices (u,v). The strongly connected components (scc) are the maximal strongly connected subgraphs. These strongly connected components (scc) are less numerous in the oriented graphs than in their non oriented versions like in the correlation graphs (Figure 3). Passing from regulatory networks of biology to regular networks of physics (e.g., Ising model graph), we have a drastic reduction of the scc’s (Figure 6).

#### 2.2.5. Indegree and Outdegree

For a vertex of a digraph, the number of head endvertices (resp. tail endvertices) of edges adjacent to this vertex is called the indegree (resp. outdegree) of the vertex. The indegree (resp. outdegree) is the number of incoming (resp. outcoming) edges in a vertex v and is denoted deg^{−}(v) (resp. deg^{+}(v)). A vertex v with deg^{−}(v) = 0 is called a source, as it is the origin of each of its incident edges. Similarly, a vertex v with deg^{+}(v) = 0 is called a sink. The degree sum formula states: ∑_{v∈V}deg^{+}(v) = ∑_{v∈V}deg^{−}(v) = |E|. Hence the average indegree is equal to the average outdegree.

#### 2.2.6. Connectedness and Connectivity in Graphs

The connectedness (or connectance) [56] in a directed graph is equal to C = |E|/|V|^{2} and, in an undirected graph without loops, to C = 2|E|/[|V| (|V| - 1)]. Gardner and Ashby [4] have studied the relation between the probability of stability and the connectedness of large linear dynamical systems observed in biology [57,58]. We can notice that the connectivity in the Kauffman’s sense [41] is the average indegree, which is also equal in directed graphs to c = C|V|; c is set to a constant, however, it is possible to let it be random, chosen under various distributions [50,51], with average connectivity c.

#### 2.3. Kauffman Boolean Networks

Let us denote by R a genetic regulatory network whose number of genes equals n. This network, whose size is defined by n, is modeled by a graph of n vertices representing the n genes. Each gene has two possible activity states (expression and silence) such that the state x_{i}(t) of the gene i equals 0 (resp. 1) if the gene is inactive (resp. active) at time t. We denote the whole configuration of the network at time t by: x(t) = (x_{i}(t))_{i∈R}; x(t)∈ Ω = {0,1}^{n}, where Ω is the set of all possible Boolean configurations on R. A Kauffman Boolean network consists of n interacting elements whose states x_{i}(t) (i from 1 to n) are binary variables [41–51]. Each gene i is connected to k other genes (i_{1},...,i_{k}) and its state is updated according to a specific rule x_{i}(t+1) = F_{i}[x_{i1}(t),..., x_{ik}(t)], where F_{i} is a Boolean function, and the x_{ij}(t) are the states of the units connected to i, which may or may not include i itself. The Boolean function F_{i} is represented by a truth table that lists its outputs for each set of inputs values. For each F_{i} with k variables, there are K = 2^{k} possible sets of inputs values, yielding 2^{K} different possible functions.

#### 2.4. Threshold Boolean Automata Networks

A threshold Boolean automata network with n genes can be represented by an oriented graph in which the n vertices correspond to genes and directed edges to the interactions between these genes. Each interaction from gene j to gene i is characterised by an interaction weight w_{ij} which gives the intensity of the influence that gene j has on gene j and, consequently, of the role played by gene j through the protein it expresses, which can repress or induce the expression of gene i. Being given an arbitrary regulatory network, we associate to it an interaction matrix W of order n-n, whose general coefficient w_{ij} corresponds to the interaction weight with which gene j acts on gene i. More precisely, the coefficient w_{ij} can be positive or negative depending on the fact that gene j tends to respectively activate or inhibit gene i, and is null if j has no influence on i. Let V_{i} be the neighbourhood of gene i, i.e., the set of genes j having an influence on i (j∈V_{i} ⇔ w_{ij} ≠0) and H the interaction potential:

^{n}and θ

_{i}is the i

^{th}activation threshold, i.e., the interaction potential to be overtaken for activating i. The threshold Boolean automata rule [52–54] is:

#### 2.5. Attractors in Kauffman Boolean Networks and Threshold Boolean Automata Networks

In a random Kauffman Boolean network of size n with connectivity c (i.e., with an average indegree equal to c), we choose randomly among the 2^{K}, where K = 2^{c} possible random Boolean functions determined by the c (on average) neighbours of any node. For c = 1/2 and for the Boolean functions identity and negation chosen with the same probability, there are N = O(√(n)) states belonging to the attractors [41–45] and the number of possible limit cycles of length L has been recently proven to be in general exponential according to L [44–49]. In a random threshold Boolean automata network, with c =2 (i.e., with on average 2 neighbours acting on the same gene with weights randomly chosen at values 1 or −1), we conjecture that the number N of attractors in the sequential updating mode (each vertex being sequentially updated following a deterministic or random ergodic order) verifies [53,54]:

## 3. Notions of Boundary, Core, Critical Node and Critical Edge of a Regulatory Interaction Network

#### 3.1. Boundary and Core

The notions of boundary and core of a regulatory interaction network come from graph theory. The notions of critical node and edge are more specific in biological applications. For defining correctly these notions, we consider a threshold Boolean automata network: its core is defined by the set of nodes k whose eccentricity e(k) (i.e., the maximal length of the shortest paths to reach from node k all the others) is minimal and the boundary by the set of sources, i.e., nodes whose indegree is null (Figure 6). The diameter of a graph is equal to the maximum of the eccentricities of its vertices.

#### 3.2. Critical Node and Critical Edge

An edge in a regulatory network is critical if its suppression causes the loss of at least one attractor.

It is the case in the example of the flowering regulatory network of Arabidopsis thaliana (cf. Figure 7(a) and [23,59]). A simplified version [Figure 7(c)] of the primitive interaction graph keeping the same attractors, has eight boundary nodes (of eccentricity 2), two strong connected components in its core, four positive and one negative not connected circuits. It has six fixed points and seven limit cycles of order 2 in the parallel (co-expressed) updating mode (which is a consequence of a theorem of [60]) and respects the inequality conjectured in Section 2, because the number N = 6 of attractors in the sequential updating mode verifies: 2^{2} ≤ N ≤ 2^{4}.

The flowering regulatory network of Arabidopsis thaliana is sensitive to the change of updating mode, because it loses all the seven limit cycles observed in the parallel mode when we let it evolve with the sequential mode. The flowering network is also sensitive to the knockout of the gene EMF1 by a micro-RNA, which causes the loss of two fixed points among six [61–63].

## 4. Theoretical Complements

#### 4.1. Potential Regulatory Networks

A continuous potential differential equation on R^{n} is defined by:

^{n}. In the same way, a potential regulatory network on the discrete state space E is defined by [64,65]:

^{n}), h is the identity, P a polynomial with integer coefficients and ∀i = 1,...,n, Δx

_{i}∈ {−1,0,1}. Then (5) is the discrete equivalent of (3):

**Example:** in the Boolean case, if P(x) = ∑_{k}(^{t}txA_{k}x)x_{k} + ^{t}xWx+Θx, where A = (a_{ijk}) is an interaction tensor, with A_{k} = (a_{ij})_{k} as marginal matrices and a_{iii} = 0, W = (w_{ij}) an interaction matrix and Θ = (θ_{i}) a threshold vector, we have for the partial derivatives of P:

Then the potential regulatory network associated to P is defined by:

_{i}= −[∑

_{j,k}(a

_{ijk}+ a

_{jik}+a

_{jki})x

_{j}(t)x

_{k}(t)+∑

_{j}(w

_{ij}+ w

_{ji})x

_{j}(t) + θ

_{i}]/[1+w

_{ii}+ ∑

_{j ≠i}(a

_{ijj}+a

_{jij}+a

_{jji})x

_{j}(t)] and x

_{i}(t + 1) = G(Δx

_{i}+ x

_{i}(t)) = G(-ΔP/Δx

_{i}+x

_{i}(t)), where G is the Heaviside function. From (6) we derive:

In the Boolean case, let suppose that A = 0, P(x) = ^{t}xWx + Bx, with w_{ii} = 1, and each sub-matrix on any subset J of indices in {1,...,n} of W is non positive. Then P decreases on the trajectories of the potential automaton defined by x_{i}(t + 1) = G(-ΔP/Δx_{i} + x_{i}(t)) for any mode of implementation of the dynamics (sequential, block sequential and parallel). This network is a threshold Boolean automata neural network whose stable fixed configurations (Figure 8) correspond to the minima of P [64].

#### 4.2. Hamiltonian Networks

A Hamiltonian energy function H can be defined in a regulatory network of size n, from a kinetic energy term minus a potential energy term, both energies becoming constant at the dynamic equilibrium. The definition of H requires the new following variables:

Y_{i}(t) can be interpreted as the rate at which the system changes its state x_{i}(t) at node i and time t and T_{i}(t) as the mean local state over the time interval [t,t + 1]. Then let us define the Hamiltonian energy H equal to the kinetic energy: E_{c}(t) = ∑_{i=0,...,n-1} Y_{i}(t)^{2}/2, to which we substract the potential energy defined by: ΔE_{p}(t) = ∑_{i=0,...,n-1} Z_{i}(t)ΔT_{i}, where Z_{i}(t) = ΔY_{i}/Δt =Y_{i}(t + 1)-Y_{i}(t) = x_{i}(t + 2)-2x_{i}(t + 1) + x_{i}(t) plays the role of an acceleration. We have:

Hence: ΔH(t) = E_{c}(t+1)-E_{c}(t)+E_{p}(t)-E_{p}(t+1) = ∑_{i=0,...,n-}_{1}[Y_{i}(t+1)^{2}-Y_{i}(t)^{2})]/2-∑_{i=0,...,n-1}Z_{i}(t)ΔT_{i} = ∑_{i=0,...,n-1}[(Y_{i}(t+1)+Y_{i}(t))(Y_{i}(t+1)-Y_{i}(t))/2-Z_{i}(t)ΔT_{i}] = ∑_{i=0,...,n-1}[(T_{i}(t+1)-T_{i}(t))ΔY _{i-} Z_{i}(t)ΔT_{i}] = 0, and we can write:

A discrete system verifying the equations (9) for a Hamiltonian energy function H is called Hamiltonian and is conservative for H [66], because it keeps H constant.

Let us consider now a r-regular network with only identity and negation functions. In such a network, a positive (resp. negative) circuit is conservative for the average of the kinetic part of the Hamiltonian energy H because E_{c}(t + n) = E_{c}(t) (resp. E_{c}(t + 2n) = E_{c}(t)), and hence, the quantity:

#### 4.3. Relationships between Kauffman Boolean and Threshold Boolean Automata Networks

A Kauffman Boolean network with only identity and negation functions [45,67], as well as states x(t)∈{0,1}^{n}, can be considered as a threshold Boolean automata network with states y(t)∈{−1,1}^{n} by considering variables y_{i}(t) = 2x_{i}(t)- 1, where x_{i}(t)∈{0,1}. It suffices to define thresholds as 0 and weights as follows: for identity function, w_{ii+1} > w_{ii} > 0 and for the negation function, -w_{ii+1} > w_{ii} > 0.

Reciprocally, each threshold Boolean automata network, because its rule corresponds to a Boolean function from Ω = {0,1} ^{n} to {0,1}, can be expressed in terms of Kauffman Boolean networks.

#### 4.4. Relationships between Undirected and Directed Graphs

Lemma 1 proves a relationship existing between the number of non-oriented edges defined on an undirected graph G and the mean number of directed edges chosen on the directed versions of G.

**Lemma 1:** for any undirected graph G having m non oriented edges, the mean number of oriented edges we can define on G from the non oriented configuration is equal to 4m/3.

**Proof:** Let us note <O> the mean number of oriented edges we can construct from a configuration of m non oriented edges; then, if exactly k from the m non oriented edges are decomposed into two oriented opposite connections, we have C_{m}^{m-k}2^{m-k} different ways to dispatch the not double connections into the (m-k) other non oriented edges; we can write:

From Lemma 1, the average indegree c (or connectivity in Kauffman’s sense) of the directed graphs we can randomly construct from their undirected version of degree d is such as c=4m/3n, where m=nd/2; then 2nd/3=nc and a directed average indegree c corresponds to an undirected degree d=3c/2.

#### 4.5. Circuits

Let us define now X_{r}, the number of non-oriented circuits of length r in a random undirected d-regular graph of order n. In [68–70], it is shown that the random variables X_{r}, for 3 ≤ r ≤ g, are asymptotically distributed as independent Poisson variables with means equal to (d-1)^{r}/2r=(3c–2)^{r}/r2^{r+1} (2^{r}^{−1}/r, if c=2), with d = d(n) and g = g(n) allowed to increase with n, provided that: (d-1)^{2g–1} = o(n), hence we have:

There are C^{nd/2}_{n(n-1)/2} random undirected d-regular graphs of order n, each bringing on average 2^{r}^{−1}/r non-oriented circuits of length r, if the average in-degree c = 2, and each undirected edge of a non-oriented circuit of length r gives birth to 1 (counted twice in case of a loop) or 2 signed oriented out-coming edges, hence giving at most two oriented circuits. The circuit direction is supposed to be imposed by the circuit nodes controlled by a boundary node: in the human genome, about 2,600 sources plus about 700 micro-RNAs (706 presently known after http://www.microrna.org and 800 expected [71]) are controlling 19,000 not boundary nor isolated genes [72], corresponding to one control among 4 not boundary nor isolated genes (if each micro-RNA is supposed to have on average three specific target genes), hence there is, on average, about 1 control per circuit of length 5, 4 or 3 (it is the case for the circuits in Figures 17 and 18).

The circuit direction is chosen to give the priority to the first forward post-control interaction over the backward one. If the control is exerted on a 3-circuit, whose undirected graph is given in Figure 9 (a), each of its genes being auto-catalysed, and if we respect the graph constraints: c = 2; p_{+} = 4/7 (probability to have a sign +) and p_{-} = 3/7, the oriented graph is given in (b) if the control by a boundary gene is positive, and in (c) and (d) if the control by a micro-RNA or a boundary gene is negative (depending on the sign of the first post-control forward interaction).

#### 4.6. Attractors Counting in Real Regulatory Networks

In 1949, M. Delbrück [8] conjectured that the presence of positive circuits (i.e., paths from a gene i to itself having an even number of inhibitions) in the interaction graph of a genetic regulatory network was a necessary condition for the cell differentiation. This conjecture has been precisely written in a mathematical context by R. Thomas in 1981: he identified precisely in simple genetic regulatory networks each differentiated state with a specific attractor and he conjectured that the presence of at least one positive circuit in the interaction graph was a necessary condition for the existence of multiple fixed points [31].

In 1993, S. Kauffman [43] conjectured that the mean number of attractors for a Boolean genetic network with n genes and with connectivity c = 2, was of the same order of magnitude as √(n). This conjecture was supported by real observations: there are about 22000 genes in the human genome and about 200 different tissues, which can be considered as different attractors of the same cell dynamics.

For Arabidopsis thaliana, the connectivity c is equal in the primitive graph to 25/12≈2 and there are 4 ≈ √(12) different tissues (sepals, petals, stamens, carpels) and for the Cro operon [21] of phage λ, c = 14/5 = 2.8 and there are 2 ≈ √(5) observed (lytic and lysogenic) attractors. Recently (cf. [32–40] and [71–78]), all these conjectures have been progressively made more precise and proven in specific contexts.

Let us consider now directed random networks and try to evaluate the number of attractors brought by its circuits. By multiplying the numbers of attractors of the disjoint circuits, we can get a lower bound of the total number of attractors in the whole random network. For example, if n = 22.10^{3}, then the mean number of oriented circuits of length r (for 3 ≤r ≤5) is equal to 2^{r−1}/r≈ 16/5 ≈ 3, if r = 5, each bringing on average at most 6 different attractors in parallel updating mode [67]: 8 for positive and 4 for negative circuits (Figure 10) and 1.5 in sequential mode (2 fixed configurations for positive and 1 limit cycle for negative circuits). For r = 4 (resp. 3), the mean number of oriented circuits is equal to 2 (resp. 1) and the mean number of attractors is at most (6 + 2)/2 = 4 (resp. (4 + 2)/2 = 3). For r = 3, the attractors are given in Figure 9. For r = 2, the mean number of oriented circuits is equal to n(4/n) = 4, that is the number of the nodes of the network times the probability to have a reverse edge from the successor nodes of each node (whose mean number is equal to 2 in the case of connectivity 2). The number of attractors is 3 in the parallel mode of updating in the case of a positive circuit and 1 in the case of a negative circuit (Figure 10).

If the random oriented network contains n nodes and has a connectivity c (in the Kauffman’s sense) equal to 2 like in the Arabidopsis network [21] where c = 25/12 (Figure 7), then we can calculate the mean number S of sources; let us consider a network with n nodes and 2n interactions; for each node, the probability of having one input from any of the n nodes interacting possibly with it (auto-interactions are allowed) and respecting the connectivity 2, is equal to 2/n ; after n^{2} independent choices - n for each of the n nodes - the mean value of the total number of interactions is equal to n^{2}(2/n) = 2n, that is the expected number of interactions; hence, the probability of having no input at is given by p = 1-2/n, and the probability of having no input for a node after n independent choices is p^{n} = (1-2/n)^{n}. Then the mean number of sources is:

Because (1-2/n)^{n} = e^{nLog(1-2/n)} ≈ e^{−2} ≈ 1/7.4, then S is approximatively equal to n/7.4, if n is sufficiently large. By using the same argument, the mean number of sinks L is equal to S, and the number I of isolated nodes is equal to about n/(7.4)^{2} [81]. To conclude, the sources, if their 2^{S} states are possible, bring 2^{S}. A_{n,2} attractors, if A_{n,2} is the number of attractors brought by the n-(2S-I) nodes having at least one in and one out interaction. These nodes belong to a random network having a connectivity (in the Kauffman’s sense) equal to c′ = 2n/[n-(2S-I)] ≈ 2.8n. Then, for a fixed initial configuration of the sources, the calculation of attractors due to circuits inside these n-(2S-I) nodes can be made by using the previous Sections. The mean number of tree structures can also be calculated following [61], but these structures do not bring new attractors, except those brought by the sources and circuits connected to these trees.

These results are consistent with the fact that about 3,000 boundary genes, acting as sources, control the network of 22,000 genes of the human genome: the proportion of boundary genes is about 1/7 in some large regulatory networks such as the cell cycle control network [82], then the order of magnitude predicted in random digraphs is respected, if we are adding to the 22,000/7.4–22,000/(7.4)^{2} ≈ 2,973-402 = 2,571 sources or boundary genes, an amount of about 700 human micro-RNAs, which corresponds to the real size of the repositories ( http://microrna.sanger.ac.uk; http://www.microrna.org) and to their expected size [79]. They control about 19,000 not boundary nor isolated genes [80], which corresponds to one control for every four not boundary nor isolated genes (each micro-RNA being supposed to have about three specific targets and hence to inhibit about 245 boundary genes), hence there is, on average, about 1 control per circuits of length 5, 4 or 3 (it is the case for the circuits in the Figures 17 and 18). A micro-RNA can hybridize a mRNA stopping the ribosomal elongation, then constituting a post-transcriptional control we can assimilate as coming from a new inhibitory source, i.e., a boundary node acting negatively (rarely positively [81]) on the gene transcribed in this mRNA. The n-(G + L-I) nodes having at least one in and one out interaction are about 22,000-5,544 = 16,456 and they form about three circuits of length 5, 2 of length 4 and one of length 3. They bring 2^{3} attractors in the sequential mode and 8^{1.5}.4^{1.5}6^{1}.2^{1}.4^{0.5}.2^{0.5} = 6.10^{3} attractors in the parallel mode. These numbers have been obtained by multiplying the number of the attractors brought by each positive or negative circuits, considered as disjoint and in equal average number.

If we consider that the boundary genes and micro-RNAs are always in state 1 of expression, the only possible changes in the attractors can come from an inhibition of the genes in state 1 of the positive circuits by the 700 micro-RNAs and the half of the 2,525 boundary genes non inhibited by the micro-RNAs: that corresponds to about 3,360 genes inhibited among the 19,000 not boundary nor isolated genes, that is 1/6 of these genes, i.e., about 2 circuits of length 5, 1 circuit of length 4 and 0.5 of length 3. Then the control leaves free on average 1 circuit of length 5, 1 of length 4, 0.5 of length 3 and 1/3 of length 2 and there is on average in these free circuits at most 69 attractors in parallel updating, this number resulting from the calculation: 8^{0.5}.4^{0.5}.6^{0.5}.2^{0.5}.4^{0.25}.2^{0.25}.3^{2/3} = 3.6 × 2^{4.25} ≈ 69; this number 69 is in fact a majorant due to the Jensen’s inequality applied to the concave function f(x)=x^{p}, where p < 1, the numbers of attractors, that is 8, 4, 6, 2 and 3, coming from the Figure 10 and the only non negligible circuits being of length less than 5, because of the Bollobas results [68]. The mean number of attractors allowed for the controlled circuits is in the same way equal at most to 8^{0.5}.4^{0.25}.6^{0.25}≈ 4 × 1.56 ≈ 6.24, because the negative control acts efficiently only on genes in state 1, these genes concerning only the half of the positive controlled circuits. Then we can observe on average at most 69 × 6.24 ≈ 430 attractors, which is in qualitative agreement with the number of observed cell attractors in human (the number of the different types of cell differentiation in human is between 178 [82] and 411 [83]), if we suppose that the Boolean rules used in circuits of regulatory genetic networks are only made of identity and negation functions and that the genes are expressed synchronously (parallel updating). The pure sequential mode (8 attractors) is unable to explain the richness observed, hence we must propose a certain degree of synchrony in the gene expresssion, as well as new rules more sophisticated than the threshold Boolean automata one (e.g., rules in which the interaction potential is non-linear in the state variables [61]).

## 5. Robustness

The robustness of a regulatory network is defined by its ability to resist to exogenous or endogenous perturbations, e.g., to keep the same number and type of attractors (fixed or periodic), with about the same stability basin size. Exogenous perturbations from the environment can be caused by fluctuations (due for example to the nutrition) in the concentration of a protein active in the network (as repressor or inducer) or of a micro-RNA from viral origin acting on the mRNA transcribed from a gene of the network, or by a synchronisation of gene expression (due to chromosome rearrangements or to chromatin dynamics), provoking a change in attraction basins size or in type (nature or number) of attractors (e.g., appearance of new limit cycles in Figure 7). An example of endogenous perturbation is a perturbation in the genetic co-expression scheme (due to the chromatin dynamics [84]) caused by a change in the updating rule of the network. For instance, the network may start with a sequential updating mode (all genes expressing their protein consecutively) which may turn into a block-sequential one (in each block the gene expression is synchronised) and eventually into the parallel updating mode (one sole block of genes all expressed simultaneously).

A threshold Boolean automata network rule can be implemented in 3 different updating protocols. Consider the example of a 3-switch (Figure 3 and 5), in which any gene inhibits the others with the weight −1 and is auto-catalysed with the weight + 1, the threshold being equal to -ε, where ε > 0:

- if the nodes are sequentially visited by the updating process, the system has 6 fixed configurations, with state 1 (resp. 0) at one node and state 0 (resp. 1) at the others. Such a system having only fixed configurations is potential in the sense of the Section 4.1. [64], because the discrete velocity of the dynamics is equal to the gradient of a Lyapunov function (it is for example more generally the case in a n-switch when the interaction weights are symmetrical),

- if the nodes are synchronously updated, we have one limit-cycle of order 2 (made of the full 0 and full 1 configurations) and 6 fixed configurations (corresponding to those of the sequential updating). Such a discrete system is Hamiltonian in the sense of Section 4.2.,

- in the intermediary case, called block-sequential, in which we update first a node, and then synchronously the two others, we have the same attractors as in the sequential case.

From this particular network of size 3, the 3-switch, we conjecture more generally that the cyclic behaviour can appear when the updating rule goes from the sequential to the parallel mode and not in the inverse way. The statistics done on the set of the all possible (188,968) networks of size 3 shows that this conjecture is almost everywhere true, but it fails for 0.3% of them [25,26,62]. Certain other empirical observations can be generalized:

**Lemma 2**: When a limit cycle occurs in the dynamics of a block, then the whole network dynamics has only limit cycles as attractors. Reciprocally, if the global network dynamics has a limit cycle, there is necessarily at least one block having at least one limit cycle as attractor.

**Lemma 3**: If the global network dynamics has a limit cycle of length m, then m ≤ Π_{i∈C} m_{i}, where C is the set of the blocks having at least a limit cycle as attractor, m_{i} being the maximal length of limit cycles of the block i.

The proofs of Lemmas 2 and 3 are obvious. The statistical behaviour of networks of size 3 needs a complete simulation of all their dynamics; we are only interested by networks of size 3 having some specific dynamical features: for certain updating modes, they have both fixed configurations and at least one limit cycle, the limit cycles disappearing completely for other iterations rules, where there are only fixed configurations. Among the 188,968 possible networks of size 3, corresponding to all the configurations of interactions and thresholds, only 34,947 (18.5%) have this dynamical behaviour. If we try to understand how limit cycles are disappearing when the iteration mode changes, frequently this disappearance occurs by passing from synchronous to sequential updating, in a hierarchy of updating modes, defined by the hierarchy of blocks based on the pre-order inclusion. We observe in the simulations three different possible behaviours for these 34947 size 3 networks:

- those for which the cycles disappear when we are going down in the hierarchy from the synchronous to the sequential modes (behaviour “Down”),

- those for which the cycles disappear when we are going up in the hierarchy from the sequential modes to the synchronous one (behaviour “Up”),

- those not corresponding to any previous behaviour, for which the cycles occur and disappear inside the hierarchy without clear rule (behaviour “None”).

Among the 34,947 simulated networks of size 3 having limit cycles, the dispatching into the 3 possible behaviours follows the repartition below.

This repartition confirms that there is practically no network (only 0.31%) for which the cycles are present in the sequential updating modes and disappear in the synchronous one.

Let us now consider the 108 networks with an “Up” behaviour, in order to try to find inside them a differentiation character. For that, let us calculate the maximal length of their limit cycles. For the 34,947 studied networks, this maximal length is equal to 6. The table below gives the repartition of the networks of size 3 as function of their maximal limit cycle length (the column “Total” corresponds to the repartition of the maximal lengths for the 34,947 simulated networks), showing the diversity in the response of networks of size 3 to the changes of the updating mode (cf. [27] for sizes from 4 to 7).

## 6. Examples of Robust and Non-Robust Networks

#### 6.1. Neuron and Plant Morphogenesis

Both brain and plants are built during their morphogenesis under the control of regulatory systems called n-switches [35,87], negatively fully connected, with an exception for positive auto-catalysis [Figure 12(b) left]. By considering a n-switch [88] available for the plant morphogenesis modeling [Figure 12(c) right], if X_{i} denotes the concentration of the morphogen i, we suppose that all the inhibitions of the n-switch are expressed through a Hill competitive term in the following differential equations [83], where the cooperativity c is supposed to be strictly greater than 1, k is a catabolic constant and σan enzymatic Vmax (Figure 13 left):

By doing the change of variables Y_{i}=(X_{i})^{1/2}, we can check that if we define the potential P by:

The new differential system is then a gradient system with P as associated potential, whose minima are just located at the fixed points of the n-switch (Figure 12 b right and c left). This result is still available if the kinetics is allosteric, i.e., if the inhibition is expressed through concerted sites in an oligomeric enzyme, that is, for every i between 1 and n:

_{i}= Π

_{k=1,n;k≠i}(1 + c

_{k}X

_{k})

^{n}/(1 + e

_{k}X

_{k})

^{n}and e

_{k}<< c

_{k}< 1, which corresponds to an allosteric inhibition of X

_{i}by the X

_{k}’s, for k ≠ i. If e

_{k}= 0, by changing the variables Y

_{i}= (X

_{i})

^{1/2}and considering the potential P defined by: $P({Y}_{1},\mathrm{\dots}{Y}_{n})={\sum}_{j=1,\mathrm{\dots},n}\hspace{0.17em}{k}_{j}{Y}_{j}^{2}/4-(\sigma /4n)\mathit{\text{Log}}({\sum}_{j=1,\dots ,n}\hspace{0.17em}{(1+{Y}_{j}^{2})}^{n}+{\prod}_{j=1,\dots ,n}\hspace{0.17em}{(1+{c}_{j}{Y}_{j}^{2})}^{n})$, then the new differential equations can be written like (13) as:

The applications of the n-switches concern the morphogenesis of the brain in which a 2-switch (made of transduction peptides in [89]) controls the interactions between early brain cells [Figure 12(a) left], the double inhibition leading to a spatial segregation between cell populations [Figure 12(a) middle] which differentiate in a second stage [Figure 12(a)right] giving for example separated (rods and cones in retina [90]) or intricate (neurons and astrocytes) complementary tissues. Many factors that control cells fate are themselves targets of such inhibitory proteins: neural induction in vertebrates [91,92] as well as plant growth [88] with inhibition between meristem and buds may be mediated through such a mechanism [Figure 12(c) right] very sensitive to the initial conditions; each attractor corresponds to the local dominance of a node of the n-switch over the others [Figure 12(b) left].

#### 6.2. Cardio-Respiratory Physiologic Regulation

The bulbar vegetative regulation of the cardio-respiratory system is made of three main neuronal populations [93], firstly the inspiratory neurons I activating the expiratory neurons E, with an inhibitory feed-back on I, and secondly the cardio-moderator CM activating the peripheral cardiac pace-maker made of the excitable cells of the sinusal node S, with an inhibitory feed-back on CM (Figure 14 left). In the healthy state, the cardiac activity is ruled by these two negative regulons and in presence of a weak coupling between I and C, the cardiac rhythm is just the 3-harmonic component of the respiratory one (Figure 14 right a), presenting an acceleration during inspiration, called respiratory sinusal arrhythmia, visible in presence of noise (Figure 14 right b), and destroyed in case of degenerative neural disease (like in Parkinson’s or Alzheimer’s disease, where there is no more coupling). A too strong coupling between I and CM transforms the 3-harmonic cardiac rhythm in a pathological signal having same frequency as the respiration (Figure 14 right c and d). The presence of a negative regulon causes the occurrence of an attractor, which is a limit cycle, as usually [93–95].

#### 6.3. Glycolytic/Oxidative Coupling

#### 6.3.1. The Glycolysis

The glycolysis [Figure 15(a)] has been modeled multiple times by several authors [96–102], especially the central allosteric step of the phosphofructokinase (PFK), which is the key glycolytic/oxidative enzyme, because it presents a highly non-linear allosteric kinetics (with cooperativity equal to six) and has an ATP/ADP negative regulon in its regulatory interaction network, causing, for critical values of the constant fructose entry flow σ_{1}, oscillations of all the metabolites of the glycolysis, with a period of several minutes. Let us apply it to neurons and astrocytes: the mitochondrial shuttles for NADH are less active in astrocytes than in neurons: that causes a flow of lactate from astrocytes to neurons [101,102] and this difference in NADH transportation efficiency is provoked by a weaker efficacy of the translocase (ANT) and ATPase enzymes less optimally located inside the inner mitochondrial membrane [103].

Let us define now by x_{1}, x_{2}, x_{3} and x_{4} the concentrations of respectively the successive main metabolites of the glycolysis: glucose, glyceraldehyde-3-P, 1,3-biphospho-glycerate and phospho-enol-pyruvate. We assume that steps E2 and E3 of the glycolysis (summarised in Figure 15 a) are Michaelian and reversible, the enzymatic complex E1 includes the allosteric irreversible kinetics of the phospho-fructo-kinase PFK with a cooperativity n (see [104–108] for its complex kinetics), and both pyruvatekinase (E4) and dehydrogenases of the complex E5 are irreversible. Then, consider the differential system (S) ruling the glycolysis and the pentose pathway until the ribulose-5-P:

Let us consider the change of variables:
${y}_{i}={x}_{i}^{1/2},d{y}_{i}/d{x}_{i}={x}_{i}^{-1/2}/2$. The y_{i}’s are ruled by the system (S′):

Let us consider now the potential P and the energies H_{i} [109] defined by:

_{i}’s are large, the gradient of P dominates and the system has a principal potential part [110], this part giving then the direction of the flow. Conversely, when the gradient of P vanishes, the part made of the partial derivatives of the H

_{i}’s dominates.

#### 6.3.2. Control Strength

Let us share the velocity field dy/dt, where y = {y_{i}}_{i=1,4}, between two parts, one gradient part dissipating the potential P and the other part made of the partial derivatives of the H_{i}’s ; that allows, when the attractor is a limit cycle - which is the case if we add fructose-2,6-diphosphate (F26P_{2}) or ADP (see Figures 11 a, 13 left and 14 right) as activator of the complex E_{1} [99,108] - to share the parameters of the system (S’) into 2 sets: the parameters appearing exclusively in P modulating the mean value and the amplitude, the parameters appearing exclusively in the H_{i}’s modulating more the frequency and those appearing both in P and in the H_{i}’s.

When the attractor is a fixed point, the first enzymatic complex E1 has a stable stationary state defined by
${V}_{1}x{*}_{1}^{n}/(1+x{*}_{1}^{n})=J$. If this value x*_{1} is reached the first among the other x*_{k}’s, then (S’) becomes (S″):

In this case, parameters appearing only in P*, like V_{4}, are modulating the localisation of the fixed point, hence the values of the stationary concentrations of the glycolytic metabolites (cf. [109] for a more general approach of the potential-Hamiltonian decomposition).

Let us suppose now that we measure the outflows J_{1} and J_{2}. Then from the system (S) we can calculate the sharing parameter α (which regulates the pentose pathway and the low glycolysis dispatching) from the steady-state equations equalizing the in and outflows at each step. By determining the stationary state x̄* = {x_{i}}_{i=1,4}, we have:

Hence, we can calculate α, the repartition coefficient between the low glycolysis and the pentoses pathway, by using the following formula:

When all the fluxes of a metabolic system have reached their stable stationary value, then we can define the notion of control strength C_{ik} exerted by the metabolite x_{i} on the flux Φ_{k} of the k^{th} step by: C_{ik} = ∂LogΔΦ_{k}/∂LogΔx_{i} [105,111,112] and we have:

The control molecules can be enzymes [Figure 11(b)] or metabolites and the equation (14) can be used to prove that the most regulating molecules in glycolysis are the energetic molecules ATP and ADP, which conversely are mainly produced by glycolysis: for example, 84% of the ATP production in yeast is provided and controlled by glycolysis [113].

When oscillations occur, we can use the variables T_{ik} (resp. A_{ik}) to quantify the control of the period τ_{k} (resp. amplitude Amp_{k}) of the k^{th} step flux by x_{i} [112–114]: T_{ik}=∂Logτ_{k}/∂Logx_{i} and A_{ik} = ∂LogAmp_{k}/∂Logx_{i}. If ξ is the eigenvalue of the Jacobian matrix of the differential system for which the stationary state has bifurcated in a limit cycle (Hopf bifurcation), then τ_{k} = 2π/Imξ, and we have in the 2-dimensional case, if for example dx_{1}/d t= −∂P/∂x_{1}+∂H/∂x_{2}, dx_{2}/dt=-∂P/∂x_{2}-∂H/∂x_{1}:

^{2}P/∂x

_{1}

^{2}+ ∂

^{2}P/∂x

_{2}

^{2}is the Laplacian of P and C(P) = ∂

^{2}P/∂

_{1}

^{2}∂

^{2}P/∂x

_{2}

^{2}- (∂

^{2}P/∂x

_{1}∂x

_{2})

^{2}is the mean Gaussian curvature of the surface P, both taken at the stationary state of the differential system.

When the apparent V_{max} of the PFK is diminished in astrocytes due to a lack of ATP, the oscillatory behaviour is less frequent (Figure 16 left) and the production rate of lactate from pyruvate is more important than in neuron, creating a flux of lactate to neurons (Figure 17 top). The neurons consume the lactate coming from the extracellular space, partially replenished by the astrocytes production. That gives to neurons an ATP level higher than in astrocytes, an extra-pyruvate production from lactate, and an extra-oxygen and glucose consumption theoretically predicted and experimentally observed [101,102]. ANT and ATPase concentrations are in human under the negative control of two micro-RNAs, micro-RNA 151 and micro-RNA 34 acting as boundary controller nodes ( http://microrna.sanger.ac.uk) by diminishing the glycolytic/oxidative system efficiency.

#### 6.4. Cell Cycle Control

The cell cycle is sensitive to the control by two micro-RNAs whose one (micro-RNA 34) has p53 as positive transcription factor, involved in selective cytotoxicity of intracellular amyloid [115–117]. Fixing to state 1 micro-RNAs causes the occurrence of limit cycles in the parallel mode (Figure 18).

#### 6.5. Feather Morphogenesis

The feather morphogenesis network has been well studied in chicken [118–125] and is described in Figure 19. One boundary node, the micro-RNA 141 inhibits the protein p53 involved in the positive control of the Cyclin D1 and in the negative control of E2F via the micro-RNA 34, whose p53 is a transcription factor (Figure 18 top left). Hence the micro-RNA 141 can have a double action on the proliferation (modeled by using the Ross-Volterra logistic term [126,127]), by breaking the p53 influence. If the boundary state of micro-RNA 141 is equal to 1, we notice a dramatic change in the number and nature of attractors, because we lose both in the parallel and sequential cases one fixed attractor by changing the state of micro-RNA 141 from 0 to 1 and we transform the limit cycle of the parallel updating case in a fixed point. In these new attractors, there are still two types of behaviour, one with Wint (Wnt) and β-catenin silenced causing the absence of the activator BMP-7, hence the absence of feathers, and another with Wint and β-catenin expressed, allowing the feather morphogenesis. Hence, the node micro-RNA 141 is critical and the feather morphogenesis network is sensitive to its influence, but anyway even in its absence the possibility to start or not the feather morphogenesis by silencing or enhancing Wint and β-catenin remains possible, e.g., through the gene Smad3 (Figure 19 top right).

## 7. Perspectives and Conclusions

We have studied in this paper the robustness of regulatory interaction networks, especially the influence of boundaries in threshold Boolean automata networks. The sensitivity (or absence of robustness) in real biological networks appears dominant in the case of inhibitory actions exerted by micro-RNAs and we have noticed it in both cases of the cell cycle control and the feather morphogenesis regulation networks. We have also remarked the dependence on the updating mode [128] in the simulations and the role of positive circuits on the number and nature of attractors (especially in the Arabidopsis flowering network and in the n-switches), the influence of negative circuits (e.g., coming from simple negative regulons) on the existence of periodic behaviours (namely in the cases of the cardio-respiratory control network and of the glycolytic-oxidative coupling). More systematic studies as in [129,130] have to be performed in order to confirm the dominant influence of boundary negative interactions, for which the threshold Boolean automata networks seem to be less robust than for the positive ones, and also to make more precise the conjectured inequality about the number of attractors (verified here in each discrete threshold Boolean automata network studied in the examples given here as application of the systems biology approach). Many problems remain open: for instance, we could consider the regulatory networks in an evolutionary perspective, in order to determine phylogenetic trees of networks (by using classical distances between networks, like the tree distances [131–136]). We could indeed show that the known regulatory networks have evolved following a complexification such as the number of nodes at step k, n(k), verifies: n(k) = C.2^{Log(r(k))Log(Log(r(k)))}, where C is a positive constant and the directed graph diameter is equal to 2r(k) at step k. Then, if the indegree of the interaction graph comes from the initial value 2, it loses this indegree not too rapidly and goes to a small-world structure [137], like those observed in the metabolic regulatory networks [1].

More, let us consider the notion of r-tree, i.e., an undirected connected graph without circuits, but with a root and with each vertex of any level i from this root (except sinks) having r adjacent vertices at level (i + 1). If the number m(k) of the edges of the undirected graph associated to a random regulatory network at step k verifies:

^{r(r+1)/2}/(r + 1)! [68,138–142]. All these trees controlled by their root bring each only one attractor. Following [143], if we consider for example the network of the copper biolixiviation by Thiobacillus ferrooxidans [144,145], we have 354 genes and 534 interactions: the prediction for the numbers of isolated genes and 2-trees are 354/(7.4)

^{2}= 6.5 and 3

^{3}/3! = 4.5, and the observations show 8 isolated genes and 6 2-trees, in qualitative agreement with the hypothesis of randomness. This result emphasizes the role of circuits in the differentiation, because positive ones are alone to bring multiple fixed points and be present since the origin of life [131]. A last open problem consists in making explicit the dynamical consequences of the transcription regulation of micro-RNAs, by boundary genes like p53 [117]: this regulation enlarges the classical boundary reduced to sources, by introducing 2-circuits in it.

To conclude, all the predictions from the theoretical models have to be falsifiable by the empirical observations, reinforcing the interest of the methodological approach, summarised here shortly in the framework of the systems biology by using the tools of the dynamical systems and complex systems theories, and applied in various biological fields, from genetic and metabolic to physiologic control.

## Acknowledgments

We are indebted to S. Cadau and N. Glade for many helpful discussions. This work has been supported by the EC NoE VPH.

## References

- Fell, DA; Wagner, A. The small world of metabolism. Nat. Biotechnol
**2000**, 18, 1121–1122. [Google Scholar] - van Noort, V; Snel, B; Huynen, MA. The yeast coexpression network has a small-world, scale free architecture and can be explained by a simple model. EMBO Rep
**2004**, 5, 280–284. [Google Scholar] - Henri, V. Lois Générales de l’Action des Diastases; Hermann: Paris, France, 1903. [Google Scholar]
- Hill, AV. The possible effects of the aggregation of the molecules of hemoglobin on its dissociation curves. J. Physiol. (London)
**1910**, 40, 4–7. [Google Scholar] - Michaelis, L; Menten, M. Die Kinetik der Invertinwirkung. Biochem. Z
**1913**, 49, 333–369. [Google Scholar] - Monod, J. Recherches Sur La Croissance Des Cultures bactériennes; Hermann: Paris, France, 1941. [Google Scholar]
- Delbrück, M. Unités Biologiques Douées De Continuité génétique; Éditions du CNRS: Paris, France, 1949; pp. 33–34. [Google Scholar]
- von Neumann, J; Burks, AW. Theory of Self-Reproducing Automata; University of Illinois Press: Urbana, IL, USA, 1966. [Google Scholar]
- Monod, J; Wyman, J; Changeux, JP. On the nature of the allosteric transitions. J. Mol. Biol
**1965**, 12, 88–118. [Google Scholar] - Changeux, JP; Thiery, J; Tung, Y; Kittel, C. On the cooperativity of biological membranes. Proc. Natl Acad. Sci
**1967**, 57, 335–341. [Google Scholar] - Thomas, R. Boolean formalization of genetic control circuits. J. Theor. Biol
**1973**, 42, 563–585. [Google Scholar] - Demongeot, J. A stochastic model for the cellular metabolism. In Recent Developments in Statistics; Barra, JR, Brodeau, F, Romier, G, Eds.; North Holland: Amsterdam, The Netherlands, 1977; pp. 655–662. [Google Scholar]
- Goss, PEJ; Peccoud, J. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc. Natl. Acad. Sci. USA
**1998**, 95, 6750–6755. [Google Scholar] - Poincaré, H. Note sur les propriétés des fonctions définies par les équations différentielles. Journal de l’Ecole Polytechnique
**1875**, 45, 13–26. [Google Scholar] - Poincaré, H. Sur un théorème de M. Liapounoff relatif à l’équilibre d’une masse fluide en rotation. Comptes Rendus Hebdomadaires de l’Académie des Sciences
**1887**, 104, 622–625. [Google Scholar] - Poincaré, H. Sur les solutions périodiques et le principe de moindre action. Comptes rendus hebdomadaires de l’Académie des sciences
**1896**, 123, 915–918. [Google Scholar] - Poincaré, H. Les fondements de la géométrie. Journal des Savants
**1902**, 238, 252–271. [Google Scholar] - Lyapunov, AM. Problème général de la stabilité des mouvements. Annales de la Faculté des Sciences de Toulouse
**1907**, 9, 203–274. [Google Scholar] - Birkhoff, GD. Proof of Poincaré’s geometric theorem. Trans. Am. Soc
**1913**, 14, 14–22. [Google Scholar] - Thom, R. Stabilité Structurelle et Morphogenèse; Benjamin: New York, NY, USA, 1972. [Google Scholar]
- Aracena, J; Ben Lamine, S; Mermet, MA; Cohen, O; Demongeot, J. Mathematical modelling in genetic networks: Relationships between the genetic expression and both chromosomic breakage and positive circuits. IEEE Trans. Syst. Man Cybern
**2003**, 33, 825–834. [Google Scholar] - Aracena, J; Demongeot, J. Mathematical methods for inferring regulatory networks interactions: Application to genetic regulation. Acta Biotheor
**2004**, 52, 391–400. [Google Scholar] - Alvarez-Buylla, ER; Mariana Benítez, M; Balleza Dávila, E; Chaos, A; Espinosa-Soto, C; Padilla-Longoria, P. Gene regulatory network models for plant development. Curr. Opin. Plant Biol
**2007**, 10, 83–91. [Google Scholar] - Alon, U. Network motifs: Theory and experimental approaches. Nat. Rev. Genet
**2007**, 8, 450–461. [Google Scholar] - Elena, A; Ben Amor, H; Glade, N; Demongeot, J. Motifs in regulatory networks and their structural robustness. IEEE BIBE’ 08; IEEE Proceedings, Piscataway, NJ, USA, 2008; pp. 234–242.
- Elena, A; Demongeot, J. Interaction motifs in regulatory networks and structural robustness. IEEE ARES-CISIS’08 & IIBM’08; IEEE Proceedings, Piscataway, NJ, USA, 2008; pp. 682–686.
- Elena, A. Robustesse des réseaux d’automates booléens à seuil aux modes d’itération; Ph.D. ThesisUniversity Joseph Fourier: Grenoble, France, 2009. [Google Scholar]
- Cosnard, M; Demongeot, J. On the definitions of attractors. Lect. Notes Math
**1985**, 1163, 23–31. [Google Scholar] - Cosnard, MJ; Demongeot, J; Lausberg, K; Lott, K. Attractors, confiners & fractal dimensions. Applications in neuromodelling. In 1st Eur Conf Maths in Biol & Med Grenoble 1991; Mathematical Biology Wuerz: Winnipeg, MB, Canada, 1993; pp. 69–94. [Google Scholar]
- Bowen, R. Limit sets for axiom A diffeomorphisms. J. Diff. Equa
**1975**, 18, 333–339. [Google Scholar] - Thomas, R. On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. Springer Series in Synergetics
**1981**, 9, 180–193. [Google Scholar] - Snoussi, EH. Necessary conditions for multistationnarity and stable periodicity. J. Biol. Syst
**1999**, 6, 3–9. [Google Scholar] - Gouzé, JL. Necessary conditions for multistationnarity and stable periodicity. J. Biol. Syst
**1999**, 6, 11–15. [Google Scholar] - Demongeot, J. Multi-stationarity and cell differentiation. J. Biol. Syst
**1999**, 6, 1–2. [Google Scholar] - Cinquin, O; Demongeot, J. Positive and negative feedback: Mending the ways of sloppy systems. C.R. Biol
**2002**, 325, 1085–1095. [Google Scholar] - Soulé, C. Graphic requirements for multistationarity. Complexus
**2003**, 1, 123–133. [Google Scholar] - Soulé, C; Kaufmann, M; Thomas, R. A new necessary condition on interaction graphs for multistationarity. J. Theor. Biol
**2007**, 248, 675–685. [Google Scholar] - Aracena, J; Demongeot, J; Goles, E. Fixed points and maximal independent sets on AND-OR networks. Discr. Appl. Maths
**2004**, 138, 277–288. [Google Scholar] - Remy, E; Ruet, EP; Thieffry, D. Graphic requirement for multistability and attractive cycles in a Boolean dynamical framework. Adv. Appl. Maths
**2008**, 41, 335–350. [Google Scholar] - Richard, A; Comet, JP. Necessary conditions for multistationarity in discrete dynamical systems. Discrete Appl. Math
**2007**, 155, 2403–2413. [Google Scholar] - Kauffman, SA. Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol
**1969**, 22, 437–467. [Google Scholar] - Kauffman, SA. The large scale structure and dynamics of genetic control circuits: An ensemble approach. J. Theor. Biol
**1974**, 44, 167–190. [Google Scholar] - Kauffman, SA. The Origins of Order; Oxford Un. Press: Oxford, UK, 1993. [Google Scholar]
- Kauffman, SA; Peterson, C; Samuelsson, B; Troein, C. Random Boolean network models and the yeast transcriptional network. Proc. Natl. Acad. Sci. USA
**2003**, 100, 14796–14799. [Google Scholar] - Samuelsson, B; Troein, C. Superpolynomial growth in the number of attractors in Kauffman networks. Phys. Rev. Lett
**2003**, 90, 088701. [Google Scholar] - Shmulevich, I; Kauffman, SA. Activities and sensitivities in Boolean network models. Phys. Rev. Lett
**2004**, 93, 048701. [Google Scholar] - Chaves, M; Albert, R; Sontag, ED. Robustness and fragility of Boolean models for genetic regulatory networks. J. Theor. Biol
**2005**, 235, 431–449. [Google Scholar] - Zhang, SQ; Hayashida, M; Akutsu, T; Ching, WK; Ng, MK. Algorithms for finding small attractors in boolean networks. EURASIP J. Bioinform. Syst. Biol
**2007**, 2, 20180. [Google Scholar] - Ribeiro, AS; Kauffman, SA; Lloyd-Price, J; Samuelsson, B; Socolar, JES. Mutual information in random Boolean models of regulatory networks. Phys. Rev. E
**2008**, 77, 011901. [Google Scholar] - Fox, JJ; Hill, CC. From topology to dynamics in biochemical networks. Chaos
**2001**, 11, 809–815. [Google Scholar] - Aldana, M; Cluzel, P. A natural class of robust networks. Proc. Natl. Acad. Sci. USA
**2003**, 100, 8710–8714. [Google Scholar] - Hopfield, JJ. Neural networks and physical systems with emergent collective computational abilities. Proc. Natl. Acad. Sci. USA
**1982**, 79, 2554–2558. [Google Scholar] - Aracena, J; Demongeot, J; Goles, E. Mathematical modelling in genetic networks. IEEE Trans. Neural Networks
**2004**, 15, 77–83. [Google Scholar] - Aracena, J; Demongeot, J; Goles, E. On limit cycles of monotone functions with symmetric connection graphs. Theoret. Comp. Sci
**2004**, 322, 237–244. [Google Scholar] - Cooper, C; Frieze, A; Reed, B. Random regular graphs of non-constant degree: Connectivity and hamiltonicity. Comb. Probab. Comput
**2002**, 11, 249–261. [Google Scholar] - Bonchev, D; Rouvray, DH. Complexity in Chemistry, Biology, and Ecology; Springer Verlag: Berlin, Germany, 2005. [Google Scholar]
- Somorjai, RL; Goswami, DN. Relationship between stability and connectedness of non-linear systems. Nature
**1972**, 236, 466–466. [Google Scholar] - Gardner, MR; Ashby, WR. Connectivity of large, dynamical (cybernetic) systems: Critical values for stability. Nature
**1970**, 228, 784–784. [Google Scholar] - Mendoza, L; Alvarez-Buylla, ER. Dynamics of the genetic reglatory network for Arabidopsis thaliana flower morphogenesis. J. Theor. Biol
**1998**, 193, 307–319. [Google Scholar] - Goles, E; Olivos, J. Comportement périodique des fonctions seuils binaires et applications. Discrete Appl. Math
**1981**, 3, 93–105. [Google Scholar] - Demongeot, J; Goles, E; Sené, S. Loss of linearity and symmetrisation in regulatory networks. AINA’ 09 & BLSMC’ 09; IEEE Proceedings, Piscataway, NJ, USA; 2009; pp. 908–913. [Google Scholar]
- Ben Amor, H; Demongeot, J; Sené, S. Structural sensitivity of neural and genetic networks. LNCS
**2008**, 5317, 973–986. [Google Scholar] - Demongeot, J; Morvan, M; Sené, S. Robustness of dynamical systems attraction basins against state perturbations: Theoretical protocol and application in systems biology, IEEE ARES-CISIS’ 08 & IIBM’ 08; IEEE Proceedings, Piscataway, NJ, USA; 2008; pp. 675–681.
- Demongeot, J; Elena, A; Weil, G. Potential-Hamiltonian decomposition of cellular automata. Application to degeneracy of genetic code and cyclic codes III. Comptes Rendus Biologies
**2006**, 329, 953–962. [Google Scholar] - Needham, J. Order and Life; Yale University Press: Yale, CT, USA, 1936. [Google Scholar]
- Gonzalez, O. Time integration and discrete Hamiltonian systems. J. Nonlinear Sci
**1996**, 6, 449–467. [Google Scholar] - Demongeot, J; Noual, M; Sené, S. On the number of attractors of positive and negative Boolean automata circuits. AINA’ 10 & BLSMC’ 10, IEEE Proceedings, Piscataway, NJ, USA.
- Bollobas, R. Random Graphs; Academic Press: New York, NY, USA, 1985. [Google Scholar]
- Wormald, NC. The asymptotic distribution of short cycles in random regular graphs. J. Combin. Theory Ser. B
**1981**, 31, 168–182. [Google Scholar] - McKay, BD; Wormald, NC; Wysocka, B. Short cycles in random regular graphs. Electronic J Combinatorics
**2004**, 11. [Google Scholar] - Socolar, JES; Kauffman, SA. Scaling in ordered and critical random Boolean metworks. Phys. Rev. Lett
**2003**, 90, 068702. [Google Scholar] - Kauffman, S; Peterson, C; Samuelsson, B; Troein, C. Genetic networks with canalyzing Boolean rules are always stable. Proc. Natl Acad. Sci. USA
**2004**, 101, 17102–17107. [Google Scholar] - Drossel, B; Mihaljev, T; Greil, F. Number and length of attractors in critical Kauffman model with connectivity one. Phys Rev Lett
**2005**, 94. [Google Scholar] - Drossel, B. On the number of attractors in random Boolean networks. Phys Rev E
**2005**, 72, 016110.1–5. [Google Scholar] - Hawick, K; James, H; Scogings, C. Structural circuits and attractors in Kauffman networks. LNAI
**2007**, 4828, 189–200. [Google Scholar] - Drossel, B. Random Boolean networks. In Reviews of Nonlinear Dynamics and Complexity; Schuster, HG, Ed.; J. Wiley: New York, NY, USA, 2008; Volume 1, pp. 69–110. [Google Scholar]
- Berdahl, A; Shreim, A; Sood, V; Paczuski, M; Davidsen, J. Random sampling versus exact enumeration of attractors in random Boolean networks. New J Phys
**2009**, 11. [Google Scholar] - Tamura, T; Akutsu, T. Detecting a singleton attractor in a boolean network utilizing SAT algorithms. IEICE-Tran. Fund. Elec., Comm. & Comp. Sci
**2009**, 92, 493–501. [Google Scholar] - Bentwich, I; Avniel, A; Karov, Y; Aharonov, R; Gilad, S; Barad, O; Barzilai, A; Einat, P; Einav, U; Meiri, E; Sharon, E; Spector, Y; Bentwich, Z. Identification of hundreds of conserved and nonconserved human microRNAs. Nat. Genet
**2005**, 37, 766–770. [Google Scholar] - John, B; Enright, AJ; Aravin, A; Tuschl, T; Sander, C; Marks, DS. Human microRNA targets. PLoS Biol
**2004**, 2, 1862–1879. [Google Scholar] - Palka, ZJ; Cohen, JE. Isolated vertices of random niche overlap graphs. Ars Combinatoria
**1994**, 37, 65–74. [Google Scholar] - Lentz, TL. Cell Fine Structure: An Atlas of Drawings of Whole-Cell Structure; Saunders: Philadelphia, PA, USA, 1971. [Google Scholar]
- Vickaryous, MK; Hall, BK. Human cell type diversity, evolution, development, and classification with special reference to cells derived from the neural crest. Biol. Rev
**2006**, 81, 425–455. [Google Scholar] - Kohn, KW. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Mol. Biol. Cell
**1999**, 10, 2703–2734. [Google Scholar] - Appel, N; Bartenschlager, R. A novel function for a miR: Negative regulators can do positive for the hepatitis C virus. Hepatology
**2006**, 43, 612–615. [Google Scholar] - Kepes, F. Periodic transcriptional organization of E. coli genome. J. Mol. Biol
**2004**, 340, 957–964. [Google Scholar] - Cinquin, O; Demongeot, J. High-dimensional switches and the modeling of cellular differentiation. J. Theor. Biol
**2005**, 233, 391–411. [Google Scholar] - Demongeot, J; Thomas, R; Thellier, M. A mathematical model for storage and recall functions in plants. C.R. Acad. Sci. Sciences de la Vie
**2000**, 323, 93–97. [Google Scholar] - Jolliot, A; Prochiantz, A. Transduction peptides: From technology to physiology. Nat. Cell Biol
**2004**, 6, 189–196. [Google Scholar] - Demongeot, J; Fouquet, Y; Tayyab, M; Vuillerme, N. Understanding physiological & degenerative natural vision mechanisms to define robust contrast and segmentation operators. PLoS ONE
**2009**, 4, 1–17. [Google Scholar] - Edlund, T; Jessell, TM. Progression from extrinsic to intrinsic signaling in cell fate specification: A view from the nervous system. Cell
**1999**, 96, 211–224. [Google Scholar] - Wilson, PA; Hemmati-Brivanlou, A. Vertebrate neural induction: Inducers, inhibitors, and a new synthesis. Neuron
**1997**, 18, 699–710. [Google Scholar] - Pham Dinh, T; Demongeot, J; Baconnier, P; Benchetrit, G. Simulation of a biological oscillator: The respiratory rhythm. J. Theor. Biol
**1983**, 103, 113–132. [Google Scholar] - Demongeot, J; Virone, G; Duchêne, F; Benchetrit, G; Hervé, T; Noury, N; Rialle, V. Multi-sensors acquisition, data fusion, knowledge mining and alarm triggering in health smart homes for elderly people. C.R. Biol
**2002**, 325, 673–682. [Google Scholar] - Thomas, R. On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. Springer Ser. Synerget
**1981**, 9, 180–193. [Google Scholar] - Boiteux, A; Goldbeter, A; Hess, B. Control of oscillating glycolysis of yeast by stochastic, periodic, and steady source of substrate: A model and experimental study. Proc. Natl. Acad. Sci. USA
**1975**, 72, 3829–3833. [Google Scholar] - Demongeot, J; Seydoux, F. Oscillations glycolytiques: Modélisation d’un système minimum à partir des données physiologiques et moléculaires. In Elaboration et Justification de Modèles; Delattre, P, Thellier, M, Eds.; Maloine: Paris, French, 1979; pp. 519–536. [Google Scholar]
- Hervagault, JF; Duban, MC; Kernevez, JP; Thomas, D. Multiple steady states and oscillatory behaviour of a compartmentalized phosphofructokinase system. Proc. Natl. Acad. Sci. USA
**1983**, 80, 5455–5459. [Google Scholar] - Demongeot, J; Kellershohn, N. Glycolytic oscillations: An attempt to an “in vitro” reconstitution of the higher part of glycolysis. Lect. Notes Biomath
**1983**, 49, 17–31. [Google Scholar] - Demongeot, J; Doncescu, A. Modelling the glycolysis: An inverse problem approach. IEEE AINA’ 09 & BLSMC’ 09, IEEE Proceedings, Piscataway, NJ, USA; 2009; pp. 930–935. [Google Scholar]
- Aubert, A; Costalat, R; Magistretti, PJ. Brain lactate kinetics: Modeling evidence for neuronal lactate uptake upon activation. Proc. Natl. Acad. Sci. USA
**2005**, 102, 16448–16453. [Google Scholar] - Aubert, A; Pellerin, L; Magistretti, P J; Costalat, R. A coherent neurobiological framework for functional neuroimaging provided by a model integrating compartmentalized energy metabolism. Proc. Natl. Acad. Sci. USA
**2007**, 104, 4188–4193. [Google Scholar] - Demongeot, J; Glade, N; Hansen, O; Moreira, A. An open issue: The inner mitochondrial membrane (IMM) as a free boundary problem. Biochimie
**2007**, 89, 1049–1057. [Google Scholar] - Ovadi, J. Old pathway-new concept: Control of glycolysis by metabolite-modulated dynamic enzyme associations. Trends Biochem. Sci
**1988**, 13, 486–490. [Google Scholar] - Reder, C. Metabolic control theory: A structural approach. J. Theor. Biol
**1988**, 135, 175–201. [Google Scholar] - Ritter, JB; Genzela, Y; Reichl, U. Simultaneous extraction of several metabolites of energy metabolism and related substances in mammalian cells: Optimization using experimental design. Anal. Biochem
**2008**, 373, 349–369. [Google Scholar] - Thellier, M; Legent, G; Amar, P; Norris, V; Ripoll, C. Steady-state kinetic behaviour of functioning-dependent structures. FEBS J
**2006**, 273, 4287–4299. [Google Scholar] - Demongeot, J; Laurent, M. Sigmoidicity in allosteric models. Math. Biosci
**1983**, 67, 1–17. [Google Scholar] - Demongeot, J; Glade, N; Forest, L. Liénard systems and potential-Hamiltonian decomposition. I Methodology. Comptes Rendus Mathématique
**2007**, 344, 121–126. [Google Scholar] - Krasnosel’ski, MA. The Operator of Translation along Trajectories of Ordinary Differential Equations; Mir: Moskow, Russia, 1966. [Google Scholar]
- Kaczer, H; Burns, JA. The control of flux. Symp. Soc. Exp. Bot
**1973**, 28, 65–104. [Google Scholar] - Wolf, J; Heinrich, R. Effect of cellular interaction on glycolytic oscillations in yeast: A theoretical investigation. Biochem. J
**2000**, 345, 321–334. [Google Scholar] - Bier, M; Teusink, B; Kholodenk, BN; Westerhoff, HV. Control analysis of glycolytic oscillations. Biophys. Chem
**1996**, 62, 15–24. [Google Scholar] - Baconnier, P; Pachot, P; Demongeot, J. An attempt to generalize the control coefficient concept. J. Biol. Systems
**1993**, 1, 335–347. [Google Scholar] - Li, M; Chen, L; Lee, DHS; Yu, LC; Zhang, Y. The role of intracellular amyloid beta in Alzheimer disease. Prog. Neurobiol
**2007**, 83, 131–139. [Google Scholar] - Zhang, Y; McLaughlin, R; Goodyer, C; LeBlanc, A. Selective cytotoxicity of intracellular amyloid beta peptide 1–42 through p53 and Bax in cultured primary human neurons. J. Cell Biol
**2002**, 156, 519–529. [Google Scholar] - Jouanneau, J; Larsen, CJ. Les microARN: Un « bras armé » du suppresseur de tumeur p53. Bull. Cancer
**2007**, 94, 634–635. [Google Scholar] - Forest, L; San Martin, J; Padilla, F; Chassat, F; Giroud, F; Demongeot, J. Morphogenetic processes: Application to cambial growth dynamics. Acta Biotheoretica
**2004**, 52, 415–438. [Google Scholar] - Forest, L; Demongeot, J. Cellular modelling of secondary radial growth in conifer trees: Application to Pinus radiata. Bull. Math. Biol
**2006**, 68, 753–784. [Google Scholar] - Forest, L; Martinez, S; Padilla, F; Demongeot, J; San Martin, J. Modelling of auxin transport affected by gravity and differential radial growth. J. Theor. Biol
**2006**, 241, 241–251. [Google Scholar] - Forest, L; Michon, F; Cadau, S; Demongeot, J; Dhouailly, D. What is the biological basis of pattern formation of skin lesions? Viewpoint 4. Skin Patterns belong to three main types, determined at three steps of development. Exp. Dermatol
**2006**, 12, 559–564. [Google Scholar] - Michon, F; Forest, L; Collomb, E; Demongeot, J; Dhouailly, D. BMP-2 and BMP-7 play antagonistic roles in feather induction. Development
**2008**, 135, 2797–2805. [Google Scholar] - Garg, A; Di Cara, A; Xenarios, I; Mendoza, L; De Micheli, G. Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics
**2008**, 24, 1917–1925. [Google Scholar] - Ben Amor, H; Cadau, S; Elena, A; Dhouailly, D; Demongeot, J. Regulatory networks analysis: Robustness in biological regulatory networks. AINA’ 09 & BLSMC’ 09; IEEE Proceedings, Piscataway, NJ, USA; 2009; pp. 224–229. [Google Scholar]
- Forest, L; Demongeot, J. A general formalism for tissue morphogenesis based on cellular dynamics and control system interactions. Acta Biotheoretica
**2008**, 56, 51–74. [Google Scholar] - Ross, R. Report on the Prevention of Malaria in Mauritius; University of Liverpool: Liverpool, UK, 1908. [Google Scholar]
- Volterra, V. Variazioni e fluttuazioni del numero d’individui in specie animali conviventi. Mem. Acad. Lincei III
**1926**, 6, 31–113. [Google Scholar] - Demongeot, J; Elena, A; Sené, S. Robustness in regulatory networks: A multi-disciplinary approach. Acta Biotheor
**2008**, 56, 27–49. [Google Scholar] - Demongeot, J; Jezequel, C; Sené, S. Boundary conditions and phase transitions in neural networks. Theoretical results. Neural Networks
**2008**, 21, 971–979. [Google Scholar] - Demongeot, J; Sené, S. Boundary conditions and phase transitions in neural networks. Simulation results. Neural Networks
**2008**, 21, 962–970. [Google Scholar] - Demongeot, J; Glade, N; Moreira, A; Vial, L. RNA relics and origin of life. Int. J. Mol. Sci
**2009**, 10, 3420–3441. [Google Scholar] - Makarenkov, L; Leclerc, B. On some relations between 2-trees and tree metrics. Discrete Math
**1998**, 192, 223–249. [Google Scholar] - Makarenkov, V; Leclerc, B. An algorithm for the fitting of a tree metric according to weighted least-squares criterion. J. Classif
**1999**, 16, 3–26. [Google Scholar] - Makarenkov, L; Leclerc, B. Comparison of additive trees using circular orders. J. Comput. Biol
**2000**, 7, 731–744. [Google Scholar] - Makarenkov, L. T-REX: Reconstructing and visualizing phylogenetic trees and reticulation networks. Bioinformatics
**2001**, 17, 664–668. [Google Scholar] - Demetrius, L. Boltzmann, Darwin and directionality theory. Quart. Rev. Biophysics, submitted.
- Duchon, A; Hanusse, N; Lebhar, E; Schabanel, N. Could any graph be turned into a small-world. Theor. Comp. Sci
**2006**, 355, 96–103. [Google Scholar] - Karonski, M. On the number of k-trees in a random graph. Probability and Math. Statistics
**1982**, 2, 197–205. [Google Scholar] - R.W. Robinson, RW; Wormald, NC. Almost all regular graphs are Hamiltonian. Random Structures and Algorithms
**1994**, 5, 363–374. [Google Scholar] - Raynaud, H. Sur les graphes aléatoires. Annales de l’institut Henri Poincaré (B) Probabilités et Statistiques
**1968**, 4, 255–329. [Google Scholar] - Bollobas, B. Extremal Graph Theory with Emphasis on Probabilistic Methods; American Mathematical Society: Providence, RI, USA, 1986. [Google Scholar]
- Gao, Y. The degree distribution of random k-trees. Theor. Comp. Sci
**2009**, 410, 688–695. [Google Scholar] - Guelzim, N; Bottani, S; Bourgine, P; Kepes, F. Topological and causal structure of the yeast transcriptional regulatory network. Nat. Genet
**2002**, 31, 60–63. [Google Scholar] - Briche, J. Adaptation d’un algorithme génétique pour la reconstruction de réseaux de régulation génétique: COGARE; PhD ThesisUniversité du Sud: Toulon, 2009. [Google Scholar]
- Pécou, E; Maass, A; Remenik, D; Briche, J; Gonzales, M. A mathematical model for copper homeostasis in Enterococcus hirae. Math. Biosci
**2006**, 203, 222–239. [Google Scholar]

**Figure 1.**Systems biology circuit with (a) phenotype observation (spina bifida), (b) pedigree inquiry (proving the familiar origin, with affected in black and healthy carriers in bicolor), (c), (d) genomic and proteomic data (karyotypes, databases and DNA chips), (e) cell imaging and concatenation of these elements into a (f) regulatory interaction network and (g) mathematical model allowing the simulation in silico.

**Figure 2.**Some contributors to the kinetic equations ruling the regulatory interaction networks dynamics (top from left to right): M. Menten, A. Hill, M. Delbrück, R. Thomas, J. Thiéry; some contributors to the theory of dynamical systems (bottom from left to right): H. Poincaré, A.M. Lyapunov, G.D. Birkhoff, J. von Neumann, R. Thom.

**Figure 3.**Example of some motifs observed in regulatory interaction networks (inhibitions are in red and activations in blue): non-directed correlation (1) and directed interaction (2) network, coherent feed-forward double path (3), triple negative and quintuple positive circuits (4), 3-switch (5), negative (6) and positive regulons (7).

**Figure 4.**Definition of an attractor and its basin in the case of a Boolean regulatory network; the initial condition is indicated in blue disks and the final attracting conditions for the majority rule after synchronous iterations (the state of a node is 1 if activating neighbours number is equal to or more than those of inhibiting ones) are given outside the disks (left); attractor A and its basin B(A) (right).

**Figure 5.**Different categories of attractors: trajectories landscapes for (a) a node, (b) a saddle, (c) a centre, (d) a focus and (e) a limit cycle, in the Poincaré’s terminology.

**Figure 6.**From realistic biological regulatory networks (a & b) to regular networks (c & d) with a reduction of the strongly connected components (scc) from 3 to 1; the boundary (respectively core) of the networks is indicated in dark (respectively light) brown nodes.

**Figure 7.**(a) Regulatory network controlling the flowering of Arabidopsis thaliana [52]. Sources are coloured in orange, a micro-RNA acting on one of them. Green (resp. blue) arrows indicate the location of the positive (resp. negative) circuits. (b) Phenotypic expressions with some of the different possible attractors, with the symbols Sepals (S), Petals (P), Stamens (St) and Carpels (C): SPStC, SStC, SSt, SPC. (c) Simplified network with conservation of attractors. (d) Attractors, with genes in the following order: EMF1, TFL1, LFY, AP1, CAL, LUG, UFO, BFU, AG, AP3, PI, SUP.

**Figure 8.**Potential networks with Δx = -gradP (left) and with a Lyapunov function L decreasing on its trajectories (right). The potential network has a fixed point x

_{s}at the projection of the P sink and presents an identity between the discrete velocity Δx/Δt and the opposite of the gradient of P (left); on the contrary, there is only identity between the projection of the P sink and the fixed point localization in the case of a Lyapunov function L decreasing along the trajectories (right).

**Figure 9.**(a) undirected 3-circuit; (b) directed negative 3-circuit with positive control by a boundary gene; (c) directed positive 3-circuit with negative control by a micro-RNA or a boundary gene followed by a positive interaction; (d) directed positive 3-circuit with negative control by a micro-RNA or a boundary gene followed by a negative interaction; (e) attractors observed for the 3-circuit (c).

**Figure 10.**Top: Number of limit cycles of period p in parallel mode for a positive circuit of length n. Bottom: Number of limit cycles of period p for a negative circuit of length n. The last line of these tables gives the total number of attractor for circuits of size n.

**Figure 12.**(a) Neuron/Astrocyte regulatory embryonic 2-switch (left). Co-evolution of the neuronal (red) and glial (green) tissue (middle). Neuron/Astrocyte adult network (right) (b) n-switch interaction graph (left). Potential P associated to a 2-switch (ν = 1, c = σ = 2, a

_{i}=.1), with 2 stable minima on which vanishes either X

_{1}or X

_{2}(right). (c) Hard representation of the surface P (after [65]) (left). 2-switch plant growth (right).

**Figure 14.**Left: Bulbar cardio-respiratory centre, with inspiratory I and expiratory E neurons, cardio-moderator CM, peripheral sinusal pace-maker S. Right: (a) Periodic dynamics of I and CM (3-harmonic signal) when they are uncoupled or weakly coupled without noise, (b) respiratory sinusal arrhythmia with noise, (c) pathological entrainment when they are strongly coupled without noise and (d) with noise.

**Figure 15.**(a) The glycolysis and the pentose pathway. E1 denotes the four enzymes of the high glycolysis (hexokinase HK, phosphoglucose-isomerase PGI, phosphofructo-kinase PFK and aldolase ALDO), E2 denotes the glyceraldehyde-3P-dehydrogenase, E3 denotes the four enzymes of low glycolysis (phosphoglycerate-kinase, phosphoglycerate-mutase, enolase ENO and pyruvate-kinase PK), E4 denotes the pyruvate-kinase and E5 the 3 enzymes of the oxydative part of pentose pathway, glucose-6P-dehydrogenase G6PDH, 6P-glucono-lactonase and phosphogluconate-dehydrogenase PGDH, alternative to the phospho-transferase system PTS). (b) Control strengths on the glucose flux showing the influence of the main enzymatic steps.

**Figure 16.**Left. Parametric instability region reduced by taking into account the fraction of metabolites fixed to PFK when its V

_{max}is large, entry flux of fructose σ

_{1}is small and ratio ρ = K

_{R,F6P}/K

_{R,ADP}between association constants of Fructose-6-Phosphate and ADP to the active allosteric form R of the PFK is large. Right. Experimental evidence of oscillations in the large parametric instability region (V

_{max}large) [99].

**Figure 17.**Left. Connection between neurons and astrocytes glycolysis with lactate flux, controlled by ANT (green) and ATPase (red) inside the mitochondrial inner membrane (top). Right. PFK regulatory interaction network with the effectors (activators and inhibitors) of the PFK inside the enzymatic complex E

_{1}.

**Figure 18.**Cell cycle network (top left). Micro-RNA traductional regulation (top right). Some attractors (bottom left) in an arbitrary state space and list of all attractors of the cell cycle network, with fixed boundary conditions (micro-RNAs in state 1) and parallel updating mode (bottom right). ABRS denotes the percentage of initial states in an attractor basin. The involved genes are: p27, Cdk2, pCyCE_Cdk2, CyCE_Cdk2, micro-RNA 159, pCycA_Cdk2, CycA_Cdk2, Rbp-E2F, Rb-E2F, E2F, Rbp and Rb. Arbitrary representation of a part of the attraction basins with only 2 fixed points, A

_{1}and A

_{3}, and 2 limit cycles, A

_{2}and A

_{4}(bottom left).

**Figure 19.**Feather morphogenesis network (top right) connected to a double negative regulon with BMP-2 as inhibitor, BMP-7 as activator, and Follistatin as intermediary controller identified by specific dyes on the back of chicken ambryo (top left). Simulated attractors, where AD denotes the attractor basin diameter in Hamming distance with nodes in the order: miRNA 141, EphA3, p53, Vav3, Stk11, Wnt2, RhoA, Smad3, SrC, Id3, Cyclin D1, Zfhx3, Sox11, β-catenin, cMyc, and β-catenin/LEF/TCF/BL9/CBP (middle). Morphogenetic targets of the regulatory network (bottom).

**Table 1.**Repartition of the 34,947 networks of size three having limit cycles into three classes: Down (resp. Up) for which cycles disappear when the updating mode loses its synchrony (resp. sequentiality) and None for which cycles occur and disappear without clear rule.

Down | None | Up | Total |
---|---|---|---|

21,729 | 13,110 | 108 | 34,947 |

62.18% | 37.51% | 0.31% | 100% |

**Table 2.**Repartition of the 34947 networks of size 3 having limit cycles of length 2 to 6 into the 3 classes Down, None and Up.

Down | None | Up | Total | |
---|---|---|---|---|

2 | 86.19% | 70.53% | 37.04% | 80.16% |

3 | 8.28% | 20.93% | 62.96% | 13.20% |

4 | 4.59% | 6.71% | 0.00% | 5.37% |

5 | 0.70% | 1.83% | 0.00% | 1.12% |

6 | 0.24% | 0.00% | 0.00% | 0.15% |

© 2009 by the authors; licensee Molecular Diversity Preservation International, Basel, Switzerland. This article is an open-access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).