Open Access

Robust simplifications of multiscale biochemical networks

  • Ovidiu Radulescu1Email author,
  • Alexander N Gorban2, 6,
  • Andrei Zinovyev3, 4, 5, 6 and
  • Alain Lilienbaum7, 8
BMC Systems Biology20082:86

DOI: 10.1186/1752-0509-2-86

Received: 12 April 2008

Accepted: 14 October 2008

Published: 14 October 2008

Abstract

Background

Cellular processes such as metabolism, decision making in development and differentiation, signalling, etc., can be modeled as large networks of biochemical reactions. In order to understand the functioning of these systems, there is a strong need for general model reduction techniques allowing to simplify models without loosing their main properties. In systems biology we also need to compare models or to couple them as parts of larger models. In these situations reduction to a common level of complexity is needed.

Results

We propose a systematic treatment of model reduction of multiscale biochemical networks. First, we consider linear kinetic models, which appear as "pseudo-monomolecular" subsystems of multiscale nonlinear reaction networks. For such linear models, we propose a reduction algorithm which is based on a generalized theory of the limiting step that we have developed in [1]. Second, for non-linear systems we develop an algorithm based on dominant solutions of quasi-stationarity equations. For oscillating systems, quasi-stationarity and averaging are combined to eliminate time scales much faster and much slower than the period of the oscillations. In all cases, we obtain robust simplifications and also identify the critical parameters of the model. The methods are demonstrated for simple examples and for a more complex model of NF-κ B pathway.

Conclusion

Our approach allows critical parameter identification and produces hierarchies of models. Hierarchical modeling is important in "middle-out" approaches when there is need to zoom in and out several levels of complexity. Critical parameter identification is an important issue in systems biology with potential applications to biological control and therapeutics. Our approach also deals naturally with the presence of multiple time scales, which is a general property of systems biology models.

Background

Model reduction techniques are used to reduce the dimensionality of complex dynamics. Applications of model reduction techniques in chemical engineering (coarse graining in phase transitions, reactors, combustion [28]), in ecology [9] or climatology, are well developed. A collection of reviews in model reduction for kinetic problems can be found in [10]. In systems biology, ad hoc reduction methods have been applied to signal transduction [11] and to clocks [12, 13]. Combinatorial complexity of receptors and scaffolds can be reduced by exact lumping [14, 15].

We may distinguish among three classes of model reduction techniques. Trajectory based techniques use the integration of the dynamical equations and look for a small number of reduced variables [16]. The empirical orthogonal eigenfunctions (EOF), also called Proper Orthogonal Decomposition (POD), or Karhunen-Loève expansion (KL) method, consists in finding a low dimension linear (flat) manifold, containing (or sufficiently close to) the trajectories [17, 18]. Singular perturbations techniques eliminate fast variables whose dynamics is slaved by the slower variables. The Computational Singular Perturbation (CSP) method provides approximations of a low dimensional invariant manifold, containing the dynamics [2, 3]. Invariant manifolds can be calculated by various other methods [48]. Slow-fast or more general master-slave splittings (splittings with no feed-back) were discussed by [19, 20]. Chemical enzymatic kinetics beyond quasi-stationarity and quasi-equilibrium has been studied in [21]. Averaging has been used to eliminate rapid oscillations of microscopic degrees of freedom and to obtain smaller models [2224]. Aggregation or lumping techniques have been proposed by many authors [9, 14, 15, 25]. Reaction graph contraction methods such as Clarke's [26] replace the reactions mechanism by simpler mechanisms in which some intermediate species are absent.

Normally, identification of two well separated time scales is enough to reduce the system by using slow/fast decompositions [20]. However, the biochemical networks used to model cell physiology are multiscale, i.e. they have many, well separated time scales. For example, changing gene expression programs can take hours and even days while protein complex formation goes on the second scale and post-translational protein modifications take minutes to happen. Protein life half-times can vary from minutes to days. This important observation applies not only to time scales but also to concentration values of various species in these networks. mRNA copy numbers can change from some units to tens of thousands, and the dynamic concentration range of biological proteins can reach up to five orders of magnitude.

The aim of our paper is to propose model reduction methods well adapted to this situation. The mathematical techniques that we use (limitation, averaging, quasi-stationarity) have a long history. However, their combination into practical recipes that we propose is original and well adapted for the study of multiscale biochemical networks. Our most important development is the concept of dominant subsystem (that we also call limit simplification).

The idea of dominant subsystems in asymptotic analysis of dynamical systems is due to Newton and developed by Kruskal [27]. There are several ways to obtain dominant subsystems. These can be leading terms in power expansions of small parameters. Thus, multiscale expansions are standard techniques in perturbation theory [28]. Asymptotic theories using powers of small parameters were applied to study spectral properties of multiscale matrices [27, 2931]. In [1] we have proposed a different approach to dominant subsystems. This approach exploits the reaction network structure to select dominant pathways and to obtain simplified reaction mechanisms. The simplifications are robust because are valid for a large range of parameters.

Understanding the functioning of large networks of biochemical reactions could rely on having a hierarchy of such simplifications, ie a set of models that can be obtained one from another by model reduction. Molecular networks are designed to fulfill many simple tasks. For each one of this tasks, the system scans only a small part of its high dimensional phase space. Geometrically speaking, it evolves on a stable low dimensional invariant manifold with branching in the fast directions [5]. Changing tasks, the system can jump from one stable branch of the manifold to another one. These represent jumps from one simplification (dominant subsystem) to another one. Finding the set of simplifications of a molecular network means providing the set of functioning modes for the network.

Thus, dominant subsystems provide an answer to a very practical question: how to describe the dynamics of a multiscale network? During almost all time this could be simplified and the system behaves as a small one. Our methods show how to obtain the small dominant subsystem from the topology of the network and from the orders of magnitude of kinetic constants and species concentrations. In multiscale systems, concentration orders can change dynamically and the small system may change at discrete times. The whole system walks along small subsystems. The discrete dynamics of this walk supplements the dynamics of individual small subsystems.

Dominant subsystem can be used to answer another important question: given a network model, which are its critical parameters? Many of the parameters of the initial model are no longer present in the dominant subsystem: these parameters are non-critical. Parameters of dominant subsystems indicate putative targets to change the behavior of the large network.

Finally, dominant subsystems can be used to compare models. Systems biology model repositories contain models of various degree of complexity. To be compared, or to be integrated into larger ones, models must be simplified to a common level of complexity.

Our methods perform well when we have total or partial separation of time and/or concentration scales. Total separation of time scales means the following: picking two timescales at random τ i , τ j one has either τ i <<τ j or τ i >> τ j with probability close to one. It is easy to construct a totally separated linear system. Choose constants of biochemical reactions independently and distributed uniformly over a large interval in logarithmic scale: picking two timescales at random τ i , τ j one has either τ i <<τ j or τ i >> τ j with probability close to one. This situation has been studied in detail in [1]. Though, it is difficult to have total separation in non-linear systems. For these, even if reactions constants are independent, timescales are not. Our methods for robust simplifications of nonlinear systems functions also when scales are partially separated: in this case we gather terms of the same order in the quasi-stationarity and averaged steady state equations.

The models that we study here are deterministic. Reduction methods for stochastic multiscale biochemical kinetics can be found in [32, 33].

The structure of this paper is the following. In the first section we present how to compute dominant subsystems for totally separated linear networks of (pseudo)monomolecular reactions. These appear as subsystems in analysis of multiscale networks of nonlinear biochemical reactions. This method uses the theory of limitation developed in [1]. In the second section, we show how to obtain dominant subsystems of non-linear systems. The technique is based on a method for identification of quasi-stationary and non-oscillating species and on dominant approximations of the quasi-stationarity and averaged steady-state equations for these species. In the third section, we introduce and analyze a new high dimensional model for the NF-κ B signalling.

Methods

Reduction of linear hierarchical models

Introductory notes

In this section we present a general algorithm for finding dominant subsystems and critical parameters for linear systems with completely separated time scales. Linear systems represent a special situation when all the interactions in the reaction network are monomolecular, i.e., have the form AB.

Although systems biology models are nonlinear and contain also multimolecular reactions, it is nevertheless useful to have an efficient algorithm for solving linear problems. First, as we shall see in the next section, non-linear systems can include linear subsystems, containing reactions that are pseudo(monomolecular) with respect to species internal to the subsystem (at most one internal species is reactant and at most one is product). Second, for reactions A + B → ..., if concentrations c A and c B are well separated, say c A >> c B , then we can consider this reaction as B → ... with rate constant proportional to c A which is practically constant, or changes only slowly. We can assume that this condition is satisfied for all but a small fraction of genuinely non-linear reactions (the set of non-linear reactions changes in time but remains small). Thus, linear models can serve as very effective approximations of behavior of non-linear models in certain windows of time: in this way, non-linear behavior can be approximated as a sequence of linear dynamics, followed one each other in a sequence of "phase transitions". Third, linear networks represent the case when very large reaction networks models can be approached analytically, and some intuition and design principles can be learned and partially generalized to the non-linear case. As an example, see the robustness study made in [34]. The linear case offers nice simple illustrations of the concepts of dominant subsystem, critical monomials and critical parameters.

The algorithm presented here in its "recipe" form ready for computational implementations, is developed in detail elsewhere [34], with many examples and rigorous justifications.

The structure of linear (monomolecular) reaction networks can be completely defined by a simple digraph, in which vertices correspond to chemical species A i , edges correspond to reactions A i A j with kinetic constants k ji > 0. For each vertex, A i , a positive real variable c i (concentration) is defined.

"Pseudo-species" (labeled ) can be defined to collect all degraded products, and degradation reactions can be written as A i with constants k0i. Production reactions can be represented as A i with rates ki 0.

The kinetic equation is
d c i d t = k i 0 + j 1 k i j c j ( j 0 k j i ) c i , MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGKbazcqWGJbWydaWgaaqaaiabdMgaPbqabaaabaGaemizaqMaemiDaqhaaOGaeyypa0Jaem4AaS2aaSbaaSqaaiabdMgaPjabicdaWaqabaGccqGHRaWkdaaeqbqaaiabdUgaRnaaBaaaleaacqWGPbqAcqWGQbGAaeqaaOGaem4yam2aaSbaaSqaaiabdQgaQbqabaaabaGaemOAaOMaeyyzImRaeGymaedabeqdcqGHris5aOGaeyOeI0IaeiikaGYaaabuaeaacqWGRbWAdaWgaaWcbaGaemOAaOMaemyAaKgabeaaaeaacqWGQbGAcqGHLjYScqaIWaamaeqaniabggHiLdGccqGGPaqkcqWGJbWydaWgaaWcbaGaemyAaKgabeaakiabcYcaSaaa@579E@
(1)

or in vector form: ċ = K0 + K c.

The advantage of linear dynamics is that it is completely specified by the eigenvectors and the eigenvalues of the kinetic matrix K.

The system has an unique bounded steady state c s = K-1 K0 if and only if the matrix K is non-singular.

In this case, it is easy to write down the general solution of Eq.(1):
c ( t ) = c s + k = 1 n r k ( l k , c ( 0 ) c s ) exp ( λ k t ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yamMaeiikaGIaemiDaqNaeiykaKIaeyypa0Jaem4yam2aaWbaaSqabeaacqWGZbWCaaGccqGHRaWkdaaeWbqaaiabdkhaYnaaCaaaleqabaGaem4AaSgaaOGaeiikaGIaemiBaW2aaWbaaSqabeaacqWGRbWAaaGccqGGSaalcqWGJbWycqGGOaakcqaIWaamcqGGPaqkcqGHsislcqWGJbWydaahaaWcbeqaaiabdohaZbaakiabcMcaPiGbcwgaLjabcIha4jabcchaWjabcIcaOiabgkHiTiabeU7aSnaaBaaaleaacqWGRbWAaeqaaOGaemiDaqNaeiykaKcaleaacqWGRbWAcqGH9aqpcqaIXaqmaeaacqWGUbGBa0GaeyyeIuoaaaa@5858@
(2)

where λ k , l k , r k , k = 1,..., n are the eigenvalues, the left eigenvectors (vector-rows) and the right eigenvectors (vector-columns) of the matrix K, respectively, i.e.

K r k = λ k r k , l k K = λ k l k .

with the normalization (l i , r j ) = δ ij , where δ ij is Kronecker's delta.

Closed systems are characterized by K0 = 0 (no production reactions, although degradation is permitted). Close systems are conservative if the matrix K is singular (a particular case is when there is no degradation at all). Then, the left kernel of K provides a set of conservation laws (if l K = 0, then quantities (l, c) are conserved). Solution of the homogeneous linear equations are simply:
c ( t ) = k = 1 n r k ( l k , c ( 0 ) ) exp ( λ k t ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yamMaeiikaGIaemiDaqNaeiykaKIaeyypa0ZaaabCaeaacqWGYbGCdaahaaWcbeqaaiabdUgaRbaakiabcIcaOiabdYgaSnaaCaaaleqabaGaem4AaSgaaOGaeiilaWIaem4yamMaeiikaGIaeGimaaJaeiykaKIaeiykaKIagiyzauMaeiiEaGNaeiiCaaNaeiikaGIaeyOeI0Iaeq4UdW2aaSbaaSqaaiabdUgaRbqabaGccqWG0baDcqGGPaqkaSqaaiabdUgaRjabg2da9iabigdaXaqaaiabd6gaUbqdcqGHris5aaaa@509F@
(4)

If all reaction constants k ij would be known with precision then the eigenvalues and the eigenvectors of the kinetic matrix can be easily calculated by standard numerical techniques. Furthermore, singular value decomposition can be used for model reduction. But in systems biology models often one has only approximate or relative values of the constants (information on which constant is bigger or smaller than another one). In the further we will consider the simplest case: when all kinetic constants are very different (separated), i.e. for any two different pairs of indices I = (i, j), J = (i', j') we have either k I >> k J or k J >> k I . In this case we say that the system is hierarchical with timescales (inverses of constants k ij , j ≠ 0) totally separated.

Hierarchical linear network can be represented as a digraph and a set of orders (integer numbers) associated to each arc (reaction). The lower the order, the more rapid is the reaction (see Fig. 1). It happens that in this case the special structure of the matrix K (originated from a reaction graph) allows us to exploit the strong relation between the dynamics (1) and the topological properties of the digraph. Big advantage of the fully separated network is that the possible values of l i k MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiBaW2aa0baaSqaaiabdMgaPbqaaiabdUgaRbaaaaa@301D@ are 0, 1 and the possible values of r i k MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOCai3aa0baaSqaaiabdMgaPbqaaiabdUgaRbaaaaa@3029@ are -1, 0, 1 with high precision [34]. Thus, if we can provide an algorithm for finding non-zero components of l i k MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiBaW2aa0baaSqaaiabdMgaPbqaaiabdUgaRbaaaaa@301D@ , r i k MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOCai3aa0baaSqaaiabdMgaPbqaaiabdUgaRbaaaaa@3029@ , based on the network topology and the constants ordering, then this will give us a good approximation to the problem solution (2).
https://static-content.springer.com/image/art%3A10.1186%2F1752-0509-2-86/MediaObjects/12918_2008_Article_243_Fig1_HTML.jpg
Figure 1

Two simple examples of exactly solvable linear kinetics. a) non-branching network without cycles. b) network with a unique sink which is a cycle. On the left, ϕ(i) map is shown for the network a). The order of kinetics parameters is shown both by integer numbers (ranks) and the thickness of arrows (faster reactions are thicker).

Some basic notions

Two vertices of a graph are called adjacent if they share a common edge. A path is a sequence of adjacent vertices. A graph is connected if any two of its vertices are linked by a path. A maximal connected subgraph of graph G is called a connected component of G. Every graph can be decomposed into connected components.

A directed path is a sequence of adjacent edges where each step goes in direction of an edge. A vertex A is reachable from a vertex B, if there exists an oriented path from B to A.

A nonempty set V of graph vertexes forms a sink, if there are no oriented edges from A i V to any A j V. For example, in the reaction graph A1A2A3 the one-vertex sets {A1} and {A3} are sinks. A sink is minimal if it does not contain a strictly smaller sink. In the previous example, {A1}, {A3} are minimal sinks. Minimal sinks are also called ergodic components.

A digraph is strongly connected, if every vertex A is reachable from any other vertex B. Ergodic components are maximal strongly connected subgraphs of the graph, but the reverse is not true: there may exist maximal strongly connected subgraphs that have outgoing edges and, therefore, are not sinks. If the digraph has no branching (each vertex has only one successor), then we can define a deterministic flow (discrete dynamical system) on the set of its vertices. Every vertex is the origin of an unique directed path.

Basic procedure for approximating eigenvectors

The algorithm we provide is based on the solution of two simplest cases: 1) network without cycles and without branching (i.e, there are no vertices with more than one outgoing edges) (for example, Fig. 1a) and 2) network without branching with a unique sink which is a cycle (for example, Fig. 1b).
https://static-content.springer.com/image/art%3A10.1186%2F1752-0509-2-86/MediaObjects/12918_2008_Article_243_Fig2_HTML.jpg
Figure 2

Example of calculation of the dominant approximation for a linear separated reaction network shown (1). See the text for the details. The order of kinetics parameters is shown both by integer numbers (ranks) and the thickness of arrows (faster reactions are thicker).

For the networks without branching, we can simplify the notation for the kinetic constants, by introducing κ i = k ij . Also it is useful to introduce a map ϕ (see Fig. 1):
ϕ ( i ) = { j , if there exists  A i A j i , else MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqy1dyMaeiikaGIaemyAaKMaeiykaKIaeyypa0ZaaiqaaeaafaqaaeGacaaabaGaemOAaOMaeiilaWcabaGaeeyAaKMaeeOzayMaeeiiaaIaeeiDaqNaeeiAaGMaeeyzauMaeeOCaiNaeeyzauMaeeiiaaIaeeyzauMaeeiEaGNaeeyAaKMaee4CamNaeeiDaqNaee4CamNaeeiiaaIaemyqae0aaSbaaSqaaiabdMgaPbqabaGccqGHsgIRcqWGbbqqdaWgaaWcbaGaemOAaOgabeaaaOqaaiabdMgaPjabcYcaSaqaaiabbwgaLjabbYgaSjabbohaZjabbwgaLbaaaiaawUhaaaaa@5872@
(5)

Acyclic non-branching network

In this case, for any vertex A i there exists an eigenvector. If A i is a sink vertex (i.e. ϕ(i) = i) then this eigenvalue is zero. If A i is not a sink (i.e. ϕ(i) ≠ i and reaction A i Aϕ(i)has nonzero rate constant κ i ) then this eigenvector corresponds to eigenvalue -κ i . For left and right eigenvectors of K that correspond to A i we use notations l i (vector-row) and r i (vector-column), correspondingly.

Let us suppose that A f is a sink vertex of the network. Its associated right and left eigenvectors corresponding to the zero eigenvalue are given by:
r j f = δ j f l j f = { 1 , if  ϕ q ( f ) = j  for some  q > 0 0 , else MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeGabiqaaaqaaiabdkhaYnaaDaaaleaacqWGQbGAaeaacqWGMbGzaaGccqGH9aqpcqaH0oazdaqhaaWcbaGaemOAaOgabaGaemOzaygaaaGcbaGaemiBaW2aa0baaSqaaiabdQgaQbqaaiabdAgaMbaakiabg2da9maaceaabaqbaeaabiGaaaqaaiabigdaXiabcYcaSaqaaiabbMgaPjabbAgaMjabbccaGiabew9aMnaaCaaaleqabaGaemyCaehaaOGaeiikaGIaemOzayMaeiykaKIaeyypa0JaemOAaOMaeeiiaaIaeeOzayMaee4Ba8MaeeOCaiNaeeiiaaIaee4CamNaee4Ba8MaeeyBa0MaeeyzauMaeeiiaaIaemyCaeNaeyOpa4JaeGimaadabaGaeGimaaJaeiilaWcabaGaeeyzauMaeeiBaWMaee4CamNaeeyzaugaaaGaay5Eaaaaaaaa@6144@
(6)

Generally, right eigenvectors can be constructed by recurrence starting from the vertex A i and moving in the direction of the flow. The construction is in opposite direction for left eigenvectors.

For right eigenvector r i only coordinates r ϕ k ( i ) i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOCai3aa0baaSqaaiabew9aMnaaCaaameqabaGaem4AaSgaaSGaeiikaGIaemyAaKMaeiykaKcabaGaemyAaKgaaaaa@3537@ (k = 0, 1, ..) can have nonzero values, and
r ϕ k + 1 ( i ) i = κ ϕ k ( i ) κ ϕ k + 1 ( i ) κ i r ϕ k ( i ) i = j = 0 k κ ϕ j ( i ) κ ϕ j + 1 ( i ) κ i = κ i κ ϕ k + 1 ( i ) κ i j = 1 k κ ϕ j ( i ) κ ϕ j ( i ) κ i . MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeGabiqaaaqaaiabdkhaYnaaDaaaleaacqaHvpGzdaahaaadbeqaaiabdUgaRjabgUcaRiabigdaXaaaliabcIcaOiabdMgaPjabcMcaPaqaaiabdMgaPbaakiabg2da9KqbaoaalaaabaGaeqOUdS2aaSbaaeaacqaHvpGzdaahaaqabeaacqWGRbWAaaGaeiikaGIaemyAaKMaeiykaKcabeaaaeaacqaH6oWAdaWgaaqaaiabew9aMnaaCaaabeqaaiabdUgaRjabgUcaRiabigdaXaaacqGGOaakcqWGPbqAcqGGPaqkaeqaaiabgkHiTiabeQ7aRnaaBaaabaGaemyAaKgabeaaaaGccqWGYbGCdaqhaaWcbaGaeqy1dy2aaWbaaWqabeaacqWGRbWAaaWccqGGOaakcqWGPbqAcqGGPaqkaeaacqWGPbqAaaGccqGH9aqpdaqeWbqcfayaamaalaaabaGaeqOUdS2aaSbaaeaacqaHvpGzdaahaaqabeaacqWGQbGAaaGaeiikaGIaemyAaKMaeiykaKcabeaaaeaacqaH6oWAdaWgaaqaaiabew9aMnaaCaaabeqaaiabdQgaQjabgUcaRiabigdaXaaacqGGOaakcqWGPbqAcqGGPaqkaeqaaiabgkHiTiabeQ7aRnaaBaaabaGaemyAaKgabeaaaaaaleaacqWGQbGAcqGH9aqpcqaIWaamaeaacqWGRbWAa0Gaey4dIunaaOqaaiabg2da9KqbaoaalaaabaGaeqOUdS2aaSbaaeaacqWGPbqAaeqaaaqaaiabeQ7aRnaaBaaabaGaeqy1dy2aaWbaaeqabaGaem4AaSMaey4kaSIaeGymaedaaiabcIcaOiabdMgaPjabcMcaPaqabaGaeyOeI0IaeqOUdS2aaSbaaeaacqWGPbqAaeqaaaaakmaarahabaqcfa4aaSaaaeaacqaH6oWAdaWgaaqaaiabew9aMnaaCaaabeqaaiabdQgaQbaacqGGOaakcqWGPbqAcqGGPaqkaeqaaaqaaiabeQ7aRnaaBaaabaGaeqy1dy2aaWbaaeqabaGaemOAaOgaaiabcIcaOiabdMgaPjabcMcaPaqabaGaeyOeI0IaeqOUdS2aaSbaaeaacqWGPbqAaeqaaaaakiabc6caUaWcbaGaemOAaOMaeyypa0JaeGymaedabaGaem4AaSganiabg+Givdaaaaaa@A75C@
(7)
For left eigenvector l i coordinate l j i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiBaW2aa0baaSqaaiabdQgaQbqaaiabdMgaPbaaaaa@301B@ can have nonzero value only if there exists such q ≥ 0 that ϕ q (j) = i (this q is unique because the system of reactions has no cycles), and
l j i = κ j κ j κ i l ϕ ( j ) i = k = 0 q 1 κ ϕ k ( j ) κ ϕ k ( j ) κ i . MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiBaW2aa0baaSqaaiabdQgaQbqaaiabdMgaPbaakiabg2da9KqbaoaalaaabaGaeqOUdS2aaSbaaeaacqWGQbGAaeqaaaqaaiabeQ7aRnaaBaaabaGaemOAaOgabeaacqGHsislcqaH6oWAdaWgaaqaaiabdMgaPbqabaaaaOGaemiBaW2aa0baaSqaaiabew9aMjabcIcaOiabdQgaQjabcMcaPaqaaiabdMgaPbaakiabg2da9maarahabaqcfa4aaSaaaeaacqaH6oWAdaWgaaqaaiabew9aMnaaCaaabeqaaiabdUgaRbaacqGGOaakcqWGQbGAcqGGPaqkaeqaaaqaaiabeQ7aRnaaBaaabaGaeqy1dy2aaWbaaeqabaGaem4AaSgaaiabcIcaOiabdQgaQjabcMcaPaqabaGaeyOeI0IaeqOUdS2aaSbaaeaacqWGPbqAaeqaaaaaaSqaaiabdUgaRjabg2da9iabicdaWaqaaiabdghaXjabgkHiTiabigdaXaqdcqGHpis1aOGaeiOla4caaa@6435@
(8)
These formulas (7, 8) are true for all non-branching acyclic linear systems, even without separation of times. In the case of fully separated systems, they are significantly simplified and do not require knowledge of the exact values of κ i . Thus, for the left eigenvectors l i i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiBaW2aa0baaSqaaiabdMgaPbqaaiabdMgaPbaaaaa@3019@ = 1 and, for ij,
l j i = { 1 , if  ϕ q ( j ) = i  for some  q > 0  and  κ ϕ d ( i ) > κ i  for all  d = 0 , ... q 1 0 , else MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiBaW2aa0baaSqaaiabdQgaQbqaaiabdMgaPbaakiabg2da9maaceaabaqbaeaabiGaaaqaaiabigdaXiabcYcaSaqaaiabbMgaPjabbAgaMjabbccaGiabew9aMnaaCaaaleqabaGaemyCaehaaOGaeiikaGIaemOAaOMaeiykaKIaeyypa0JaemyAaKMaeeiiaaIaeeOzayMaee4Ba8MaeeOCaiNaeeiiaaIaee4CamNaee4Ba8MaeeyBa0MaeeyzauMaeeiiaaIaemyCaeNaeyOpa4JaeGimaaJaeeiiaaIaeeyyaeMaeeOBa4MaeeizaqMaeeiiaaIaeqOUdS2aaSbaaSqaaiabew9aMnaaCaaameqabaGaemizaqgaaSGaeiikaGIaemyAaKMaeiykaKcabeaakiabg6da+iabeQ7aRnaaBaaaleaacqWGPbqAaeqaaOGaeeiiaaIaeeOzayMaee4Ba8MaeeOCaiNaeeiiaaIaeeyyaeMaeeiBaWMaeeiBaWMaeeiiaaIaemizaqMaeyypa0JaeGimaaJaeiilaWIaeiOla4IaeiOla4IaeiOla4IaemyCaeNaeyOeI0IaeGymaedabaGaeGimaaJaeiilaWcabaGaeeyzauMaeeiBaWMaee4CamNaeeyzaugaaaGaay5Eaaaaaa@7E0B@
(9)
For the right eigenvectors we suppose that κ f = 0 for a sink vertex A f . Then r i i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOCai3aa0baaSqaaiabdMgaPbqaaiabdMgaPbaaaaa@3025@ = 1 and
r ϕ k ( j ) i = { 1 , if  κ ϕ k ( i ) < κ i  and  κ ϕ m ( i ) > κ i  for all  m = 1 , ... k 1 0 , else MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOCai3aa0baaSqaaiabew9aMnaaCaaameqabaGaem4AaSgaaSGaeiikaGIaemOAaOMaeiykaKcabaGaemyAaKgaaOGaeyypa0ZaaiqaaeaafaqaaeGacaaabaGaeyOeI0IaeGymaeJaeiilaWcabaGaeeyAaKMaeeOzayMaeeiiaaIaeqOUdS2aaSbaaSqaaiabew9aMnaaCaaameqabaGaem4AaSgaaSGaeiikaGIaemyAaKMaeiykaKcabeaakiabgYda8iabeQ7aRnaaBaaaleaacqWGPbqAaeqaaOGaeeiiaaIaeeyyaeMaeeOBa4MaeeizaqMaeeiiaaIaeqOUdS2aaSbaaSqaaiabew9aMnaaCaaameqabaGaemyBa0gaaSGaeiikaGIaemyAaKMaeiykaKcabeaakiabg6da+iabeQ7aRnaaBaaaleaacqWGPbqAaeqaaOGaeeiiaaIaeeOzayMaee4Ba8MaeeOCaiNaeeiiaaIaeeyyaeMaeeiBaWMaeeiBaWMaeeiiaaIaemyBa0Maeyypa0JaeGymaeJaeiilaWIaeiOla4IaeiOla4IaeiOla4Iaem4AaSMaeyOeI0IaeGymaedabaGaeGimaaJaeiilaWcabaGaeeyzauMaeeiBaWMaee4CamNaeeyzaugaaaGaay5Eaaaaaa@7895@
(10)
Vector r i has at most two non-zero coordinates. The formula (10) means that to find the -1 component in r i , one should find the first vertex j downstream of i with κ j <κ i ("bottleneck" vertex): there r j i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOCai3aa0baaSqaaiabdQgaQbqaaiabdMgaPbaaaaa@3027@ = -1. Following (10,9) we find that for the example at Fig. 1a
l 1 ( 1 , 0 , 0 , 0 , 0 , 0 , 0 , 0 ) , l 2 ( 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 ) , l 3 ( 0 , 1 , 1 , 0 , 0 , 0 , 0 , 0 ) , l 4 ( 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 ) , l 5 ( 0 , 0 , 0 , 1 , 1 , 1 , 1 , 0 ) , l 6 ( 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 ) . l 7 ( 0 , 0 , 0 , 0 , 0 , 1 , 1 , 0 ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabqqaaaaabaGaemiBaW2aaWbaaSqabeaacqaIXaqmaaGccqGHijYUcqGGOaakcqaIXaqmcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGPaqkcqGGSaalcqqGGaaicqWGSbaBdaahaaWcbeqaaiabikdaYaaakiabgIKi7kabcIcaOiabicdaWiabcYcaSiabigdaXiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcMcaPiabcYcaSaqaaiabdYgaSnaaCaaaleqabaGaeG4mamdaaOGaeyisISRaeiikaGIaeGimaaJaeiilaWIaeGymaeJaeiilaWIaeGymaeJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiykaKIaeiilaWIaeeiiaaIaemiBaW2aaWbaaSqabeaacqaI0aanaaGccqGHijYUcqGGOaakcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIXaqmcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGPaqkcqGGSaalaeaacqWGSbaBdaahaaWcbeqaaiabiwda1aaakiabgIKi7kabcIcaOiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabigdaXiabcYcaSiabigdaXiabcYcaSiabigdaXiabcYcaSiabigdaXiabcYcaSiabicdaWiabcMcaPiabcYcaSiabbccaGiabdYgaSnaaCaaaleqabaGaeGOnaydaaOGaeyisISRaeiikaGIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGymaeJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiykaKIaeiOla4cabaGaemiBaW2aaWbaaSqabeaacqaI3aWnaaGccqGHijYUcqGGOaakcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIXaqmcqGGSaalcqaIXaqmcqGGSaalcqaIWaamcqGGPaqkaaaaaa@BC6B@
(11)
l 1 ( 1 , 0 , 0 , 0 , 0 , 0 , 0 , 1 ) , l 2 ( 0 , 1 , 1 , 0 , 0 , 0 , 0 , 0 ) , l 3 ( 0 , 0 , 1 , 0 , 0 , 0 , 0 , 1 ) , l 4 ( 0 , 0 , 0 , 1 , 1 , 0 , 0 , 0 ) , l 5 ( 0 , 0 , 0 , 0 , 1 , 0 , 0 , 1 ) , l 6 ( 0 , 0 , 0 , 0 , 0 , 1 , 1 , 0 ) . l 7 ( 0 , 0 , 0 , 0 , 1 , 0 , 1 , 0 ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabqqaaaaabaGaemiBaW2aaWbaaSqabeaacqaIXaqmaaGccqGHijYUcqGGOaakcqaIXaqmcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqGHsislcqaIXaqmcqGGPaqkcqGGSaalcqqGGaaicqWGSbaBdaahaaWcbeqaaiabikdaYaaakiabgIKi7kabcIcaOiabicdaWiabcYcaSiabigdaXiabcYcaSiabgkHiTiabigdaXiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcMcaPiabcYcaSaqaaiabdYgaSnaaCaaaleqabaGaeG4mamdaaOGaeyisISRaeiikaGIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGymaeJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeyOeI0IaeGymaeJaeiykaKIaeiilaWIaeeiiaaIaemiBaW2aaWbaaSqabeaacqaI0aanaaGccqGHijYUcqGGOaakcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIXaqmcqGGSaalcqGHsislcqaIXaqmcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGPaqkcqGGSaalaeaacqWGSbaBdaahaaWcbeqaaiabiwda1aaakiabgIKi7kabcIcaOiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabigdaXiabcYcaSiabicdaWiabcYcaSiabicdaWiabcYcaSiabgkHiTiabigdaXiabcMcaPiabcYcaSiabbccaGiabdYgaSnaaCaaaleqabaGaeGOnaydaaOGaeyisISRaeiikaGIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGimaaJaeiilaWIaeGymaeJaeiilaWIaeyOeI0IaeGymaeJaeiilaWIaeGimaaJaeiykaKIaeiOla4cabaGaemiBaW2aaWbaaSqabeaacqaI3aWnaaGccqGHijYUcqGGOaakcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqaIWaamcqGGSaalcqGHsislcqaIXaqmcqGGSaalcqaIWaamcqGGSaalcqaIXaqmcqGGSaalcqaIWaamcqGGPaqkaaaaaa@C2EA@
(12)

Non-branching network with a unique simple cyclic sink

In this case we have a reaction network with components A1, ... A n and last τ vertices (after some change of enumeration) form a reaction cycle: An-τ+1An-τ+2→ ... A n An-τ+1. We assume that the limiting step in this cycle (reaction with minimal constant) is A n An-τ+1.

In this case the right eigenvector corresponding to the zero eigenvalue has non-zero components only on the vertices belonging to the cycle:
l j i = { 1 , if  ϕ q ( j ) = i  for some  q > 0  and  κ ϕ d ( i ) > κ i  for all  d = 0 , ... q 1 0 , else MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiBaW2aa0baaSqaaiabdQgaQbqaaiabdMgaPbaakiabg2da9maaceaabaqbaeaabiGaaaqaaiabigdaXiabcYcaSaqaaiabbMgaPjabbAgaMjabbccaGiabew9aMnaaCaaaleqabaGaemyCaehaaOGaeiikaGIaemOAaOMaeiykaKIaeyypa0JaemyAaKMaeeiiaaIaeeOzayMaee4Ba8MaeeOCaiNaeeiiaaIaee4CamNaee4Ba8MaeeyBa0MaeeyzauMaeeiiaaIaemyCaeNaeyOpa4JaeGimaaJaeeiiaaIaeeyyaeMaeeOBa4MaeeizaqMaeeiiaaIaeqOUdS2aaSbaaSqaaiabew9aMnaaCaaameqabaGaemizaqgaaSGaeiikaGIaemyAaKMaeiykaKcabeaakiabg6da+iabeQ7aRnaaBaaaleaacqWGPbqAaeqaaOGaeeiiaaIaeeOzayMaee4Ba8MaeeOCaiNaeeiiaaIaeeyyaeMaeeiBaWMaeeiBaWMaeeiiaaIaemizaqMaeyypa0JaeGimaaJaeiilaWIaeiOla4IaeiOla4IaeiOla4IaemyCaeNaeyOeI0IaeGymaedabaGaeGimaaJaeiilaWcabaGaeeyzauMaeeiBaWMaee4CamNaeeyzaugaaaGaay5Eaaaaaa@7E0B@
(13)
Similarly, the stationary distribution has non-zero value only at vertices belonging to the cycle. If b = ∑ i c i is the total (conserved) mass, then the steady state is:
c j = b / κ j 1 κ n τ + 1 + 1 κ n τ + 2 + 1 κ n MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yam2aaSbaaSqaaiabdQgaQbqabaGccqGH9aqpjuaGdaWcaaqaaiabdkgaIjabc+caViabeQ7aRnaaBaaabaGaemOAaOgabeaaaeaadaWcaaqaaiabigdaXaqaaiabeQ7aRnaaBaaabaGaemOBa4MaeyOeI0IaeqiXdqNaey4kaSIaeGymaedabeaaaaGaey4kaSYaaSaaaeaacqaIXaqmaeaacqaH6oWAdaWgaaqaaiabd6gaUjabgkHiTiabes8a0jabgUcaRiabikdaYaqabaaaaiabgUcaRiablAcilnaalaaabaGaeGymaedabaGaeqOUdS2aaSbaaeaacqWGUbGBaeqaaaaaaaaaaa@4EA4@
(14)

for j [n - τ + 1, n] and zero elsewhere.

If we have a system with well separated constants (which means that κ n κ i , in) then this expression in the first order is simplified to
c n = b ( 1 i = n τ + 1 n 1 κ n κ i ) , c i = b κ n κ i , MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeqabeGaaaqaaiabdogaJnaaBaaaleaacqWGUbGBaeqaaOGaeyypa0JaemOyai2aaeWaaeaacqaIXaqmcqGHsisldaaeWbqcfayaamaalaaabaGaeqOUdS2aaSbaaeaacqWGUbGBaeqaaaqaaiabeQ7aRnaaBaaabaGaemyAaKgabeaaaaaaleaacqWGPbqAcqGH9aqpcqWGUbGBcqGHsislcqaHepaDcqGHRaWkcqaIXaqmaeaacqWGUbGBcqGHsislcqaIXaqma0GaeyyeIuoaaOGaayjkaiaawMcaaiabcYcaSaqaaiabdogaJnaaBaaaleaacqWGPbqAaeqaaOGaeyypa0JaemOyaiwcfa4aaSaaaeaacqaH6oWAdaWgaaqaaiabd6gaUbqabaaabaGaeqOUdS2aaSbaaeaacqWGPbqAaeqaaaaaaaGccqGGSaalaaa@57B0@
(15)

which means that most of substance is concentrated just before the "bottleneck" A n An-τ+1(c n c i , in).

To approximate the dynamics of the reaction network for κ n κ i , in, it is sufficient to remove the slowest step of the cycle A n An-τ+1. After removing, we will have acyclic non-branching system of reactions with eigenvalues and eigenvectors that can be computed from the formulas in the previous section. These formulas give n - 1 eigenvector sets corresponding to n - 1 non-zero eigenvalues λ i = -κ i , i = 1..n - 1. For example, removing A8A6 step at Fig. 1b converts the reaction network to the Fig. 1 a whose dynamics approximates the dynamics of the simple cyclic network.

Auxiliary reaction network and auxiliary dynamical system

Now let us consider an arbitrary linear reaction network with well-separated constants. For each A i , let us define κ i as the maximal kinetic constant for reactions A i A j : κ i = max j {k ji }. For correspondent j we use notation ϕ(i): ϕ(i) = arg max j {k ji }. The function ϕ(i) is defined under condition that for A i outgoing reactions A i A j exist. If there exist no such outgoing reactions then let us define ϕ(i) = i.

An auxiliary reaction network is the set of reactions A i Aϕ(i)with kinetic constants κ i . The correspondent kinetic equation is
c ˙ i = κ i c i + ϕ ( j ) = i κ j c j , MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4yamMbaiaadaWgaaWcbaGaemyAaKgabeaakiabg2da9iabgkHiTiabeQ7aRnaaBaaaleaacqWGPbqAaeqaaOGaem4yam2aaSbaaSqaaiabdMgaPbqabaGccqGHRaWkdaaeqbqaaiabeQ7aRnaaBaaaleaacqWGQbGAaeqaaOGaem4yam2aaSbaaSqaaiabdQgaQbqabaaabaGaeqy1dyMaeiikaGIaemOAaOMaeiykaKIaeyypa0JaemyAaKgabeqdcqGHris5aOGaeiilaWcaaa@485B@
(16)

The auxiliary network also defines a auxiliary discrete dynamical system i → Φ (i) that is used to compute the eigenvectors of the kinetic matrix. The auxiliary network can have several connected components. In each connected component the minimal sink is an attractor of the auxiliary dynamical system, hence it is either a node, or a cycle.

General algorithm for calculating the dominant behavior of the linear dynamics

Preprocessing reaction network

  1. 1)

    Let us consider a reaction network W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ with a given structure and fixed ordering of constants that are well separated. Using this ordering let us construct the auxiliary reaction network V = V W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXBLaeyypa0Jae8xfXB1aaSbaaSqaaiab=zr8xbqabaaaaa@3C69@ .

     
  2. 2)

    If the auxiliary network does not contain cycles then the auxiliary network kinetics (16) approximates relaxation of the initial network W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ . To obtain the solution, we use directly formulas (7,8) to calculate the eigenvectors (if all κ i are known) or (9,10) to obtain the 0–1 asymptotics (if only the ordering of κ i is known).

     
  3. 3)

    In general case, let the system V MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXBfaaa@3773@ have several cycles C1, C2, ... with periods τ1, τ2, ... > 1.

     

By "gluing" cycles into points, we transform the reaction network W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ into W 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXF1aaWbaaSqabeaacqaIXaqmaaaaaa@3892@ as follows. For each cycle C i , we introduce a new vertex A i . The new set of vertices is A 1 = A { A 1 , A 2 , ... } \ ( i C i ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8haXh0aaWbaaSqabeaacqaIXaqmaaGccqGH9aqpcqWFaeFqcqGHQicYcqGG7bWEcqWGbbqqdaahaaWcbeqaaiabigdaXaaakiabcYcaSiabdgeabnaaCaaaleqabaGaeGOmaidaaOGaeiilaWIaeiOla4IaeiOla4IaeiOla4IaeiyFa0NaeiixaWLaeiikaGIaeyOkIG8aaSbaaSqaaiabdMgaPbqabaGccqWGdbWqdaWgaaWcbaGaemyAaKgabeaakiabcMcaPaaa@5162@ (we delete cycles C i and add vertices A i ).

Let us consider all the reactions from W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ of the form AB (A, B A MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8haXheaaa@3749@ ). They can be separated into 5 groups:
  1. 1.

    both A, B i C i ;

     
  2. 2.

    A i C i , but B C i ;

     
  3. 3.

    A C i , but B i C i ;

     
  4. 4.

    A C i , B C j , ij;

     
  5. 5.

    A, B C i .

     
  6. 1.

    Reactions from the first group ("transitive" reactions) do not change.

     
  7. 2.

    Reactions from the second group ("entering to cycles") transform into AA i (to the whole glued cycle) with the same constant.

     
  8. 3.

    Reactions of the third type ("exiting from cycles") change into A i B with the rate constant renormalization: let the cycle C i be the following sequence of reactions A1A2 → ... A τ i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aaSbaaSqaaiabes8a0naaBaaameaacqWGPbqAaeqaaaWcbeaaaaa@3064@ A1, and the reaction rate constant for A i Ai+1is k i ( k τ i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabes8a0naaBaaameaacqWGPbqAaeqaaaWcbeaaaaa@30B8@ for A τ i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aaSbaaSqaaiabes8a0naaBaaameaacqWGPbqAaeqaaaWcbeaaaaa@3064@ A1). For the limiting reaction of the cycle C i we use notation klim i. If A = A j and k is the rate reaction for AB, then the new reaction A i B has the rate constant kklim i/k j . This corresponds to a quasistationary distribution on the cycle (15). It is obvious that the new rate constant is smaller than the initial one: kklim i/k j <k, because klim i<k j due to definition of limiting constant. If after gluing, several reactions A i B appear, then only the one with the maximal constant should be kept.

     
  9. 4.

    The same constant renormalization is necessary for reactions of the fourth type ("between cycles"). These reactions transform into A i A j .

     
  10. 5.

    Reactions of the fifth type ("inside cycles") are discarded.

     
  11. 4)

    After the new network W 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXF1aaWbaaSqabeaacqaIXaqmaaaaaa@3892@ is constructed, we assign W : = W 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFLaeiOoaOJaeyypa0Jae8NfXF1aaWbaaSqabeaacqaIXaqmaaaaaa@3C77@ , A : = A 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8haXhKaeiOoaOJaeyypa0Jae8haXh0aaWbaaSqabeaacqaIXaqmaaaaaa@3C1F@ and iterate the algorithm from the step 1) until we obtain an acyclic network and exit at step 2).

     

The algorithm produces an hierarchy of cycles. Notice that the algorithm is based on an asymmetry between entering reactions and outgoing reactions from cycles in the hierarchy. Indeed, some fluxes of W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ entering cycles C i can be neglected when they are dominated by a stronger flux of V MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXBfaaa@3773@ bifurcating from the same node (this occurs at the first step of the algorithm when constructing V MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXBfaaa@3773@ ). The cycles C i are minimal sinks in V MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXBfaaa@3773@ (they are attractors of the auxiliary dynamical system). There are no reactions AB in V MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXBfaaa@3773@ such that A C i , B C i . Nevertheless, there may be such reactions in the initial network W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ . These fluxes can not be neglected because there are no exiting fluxes of V MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXBfaaa@3773@ to dominate them. The rule of thumb is: neglect any dominated flux except for the fluxes exiting some cycle in the hierarchy. This explains our algorithm and was rigorously justified in [34].

Constructing the dominant kinetic system

Now we show how to find an approximation of the dynamics of the reaction network W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ . To construct this approximation, we produce a new acyclic reaction network with the initial set of vertices A i W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ , i = 1..n which is called dominant kinetic system. Dynamics of this acyclic system can be computed from (7,8,9,10). To construct the dominant kinetic system, the following algorithm is applied:

Let V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ be the result of the network preprocessing algorithm described in the previous section.
  1. 1.

    For V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ let us select the vertices A 1 m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabigdaXaqaaiabd2gaTbaaaaa@2F60@ , A 2 m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabikdaYaqaaiabd2gaTbaaaaa@2F62@ , ... that are glued cycles from V m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBcqGHsislcqaIXaqmaaaaaa@3AE0@ .

     
  2. 2.

    For each glued cycle node A i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaaaaa@2FCB@ :

     
  3. a)

    Recall its nodes A i 1 m 1 A i 2 m 1 A i τ i m 1 A i 1 m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPjabigdaXaqaaiabd2gaTjabgkHiTiabigdaXaaakiabgkziUkabdgeabnaaDaaaleaacqWGPbqAcqaIYaGmaeaacqWGTbqBcqGHsislcqaIXaqmaaGccqGHsgIRcqWIMaYscqWGbbqqdaqhaaWcbaGaemyAaKMaeqiXdq3aaSbaaWqaaiabdMgaPbqabaaaleaacqWGTbqBcqGHsislcqaIXaqmaaGccqGHsgIRcqWGbbqqdaqhaaWcbaGaemyAaKMaeGymaedabaGaemyBa0MaeyOeI0IaeGymaedaaaaa@5052@ ; they form a cycle of length τ i ,

     
  4. b)

    Let us assume that the limiting step in A i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaaaaa@2FCB@ is A i τ i m 1 A i 1 m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPjabes8a0naaBaaameaacqWGPbqAaeqaaaWcbaGaemyBa0MaeyOeI0IaeGymaedaaOGaeyOKH4Qaemyqae0aa0baaSqaaiabdMgaPjabigdaXaqaaiabd2gaTjabgkHiTiabigdaXaaaaaa@3DBA@ ,

     
  5. c)

    Remove A i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaaaaa@2FCB@ from V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ ,

     
  6. d)

    Add τ i vertices A i 1 m 1 , A i 2 m 1 , A i τ i m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPjabigdaXaqaaiabd2gaTjabgkHiTiabigdaXaaakiabcYcaSiabdgeabnaaDaaaleaacqWGPbqAcqaIYaGmaeaacqWGTbqBcqGHsislcqaIXaqmaaGccqGGSaalcqWIMaYscqWGbbqqdaqhaaWcbaGaemyAaKMaeqiXdq3aaSbaaWqaaiabdMgaPbqabaaaleaacqWGTbqBcqGHsislcqaIXaqmaaaaaa@457E@ to V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ ,

     
  7. e)

    Add to V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ reactions A i 1 m 1 A i 2 m 1 A i τ i m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPjabigdaXaqaaiabd2gaTjabgkHiTiabigdaXaaakiabgkziUkabdgeabnaaDaaaleaacqWGPbqAcqaIYaGmaeaacqWGTbqBcqGHsislcqaIXaqmaaGccqGHsgIRcqWIMaYscqWGbbqqdaqhaaWcbaGaemyAaKMaeqiXdq3aaSbaaWqaaiabdMgaPbqabaaaleaacqWGTbqBcqGHsislcqaIXaqmaaaaaa@4798@ (that are the cycle reactions without the limiting step) with correspondent constants from V m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBcqGHsislcqaIXaqmaaaaaa@3AE0@ ,

     
  8. f)

    If there exists an outgoing reaction A i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaaaaa@2FCB@ B in V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ then we substitute it by the reaction A i τ i m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPjabes8a0naaBaaameaacqWGPbqAaeqaaaWcbaGaemyBa0MaeyOeI0IaeGymaedaaaaa@3500@ B with the same constant, i.e. outgoing reactions A i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaaaaa@2FCB@ → ... are reattached to the heads of the limiting steps,

     
  9. g)

    If there exists an incoming reaction in the form B A i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaaaaa@2FCB@ , find its prototype in V m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBcqGHsislcqaIXaqmaaaaaa@3AE0@ restore it in V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ .

     
  10. 3.

    If in the initial V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ there existed a "between-cycles" reaction A i m A j m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaakiabgkziUkabdgeabnaaDaaaleaacqWGQbGAaeaacqWGTbqBaaaaaa@35BA@ then we find the prototype in V m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBcqGHsislcqaIXaqmaaaaaa@3AE0@ , AB, and substitute the reaction by A i τ i m 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPjabes8a0naaBaaameaacqWGPbqAaeqaaaWcbaGaemyBa0MaeyOeI0IaeGymaedaaaaa@3500@ B with the same constant, as for A i m A j m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaakiabgkziUkabdgeabnaaDaaaleaacqWGQbGAaeaacqWGTbqBaaaaaa@35BA@ (again, the beginning of the arrow is reattached to the head of the limiting step in A i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdMgaPbqaaiabd2gaTbaaaaa@2FCB@ ).

     
  11. 4.

    Let mm - 1, and repeat steps 1–4 until no glued cycles left.

     

One has to notice that in the process of network preprocessing some reaction rates are substituted by monomials of the initial reaction constants, i.e. expressions in the form k n e w = k i 1 , i 2 ... k j 1 , j 2 k l 1 , l 2 ... k m 1 , m 2 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabd6gaUjabdwgaLjabdEha3bqabaGccqGH9aqpjuaGdaWcaaqaaiabdUgaRnaaBaaabaGaemyAaK2aaSbaaeaacqaIXaqmaeqaaiabcYcaSiabdMgaPnaaBaaabaGaeGOmaidabeaaaeqaaiabc6caUiabc6caUiabc6caUiabdUgaRnaaBaaabaGaemOAaO2aaSbaaeaacqaIXaqmaeqaaiabcYcaSiabdQgaQnaaBaaabaGaeGOmaidabeaaaeqaaaqaaiabdUgaRnaaBaaabaGaemiBaW2aaSbaaeaacqaIXaqmaeqaaiabcYcaSiabdYgaSnaaBaaabaGaeGOmaidabeaaaeqaaiabc6caUiabc6caUiabc6caUiabdUgaRnaaBaaabaGaemyBa02aaSbaaeaacqaIXaqmaeqaaaqabaGaeiilaWIaem4AaS2aaSbaaeaacqWGTbqBdaWgaaqaaiabikdaYaqabaaabeaaaaaaaa@571D@ . In totally separated case the values of these monomials are also well separated from the other constants with probability close to 1, however, the initial order of constants does not prescribe position of these monomials in the rates order. In this case the algorithm produces several dominant systems defined for all possible position of new monomial rate constants in the order. An example of this will be given later in this section. Such a situation can happen during the network preprocessing when maximum reaction constant should be chosen, or in the process of dominant system creation, when determining the limiting step in a cycle.

Finding stationary distributions

The dominant kinetic system fully describes the relaxation modes of the network. The construction of this system depends only on the matrix K and does not depend on the production reactions K0. In particular, relaxation times do not depend on the system being closed or not. However, the stationary distribution c s and the sequence of relaxation events depends on production reactions (see Eq.(2)).

For closed systems, steady states are solutions of the linear homogeneous equation Kc = 0, therefore they are determined up to multiplication by positive constants. They form a k-dimensional cone where k is the multiplicity of the zero eigenvalue of the matrix K, also the number of minimal sinks of the network.

Let A f 1 m , A f 2 m , ... , A f k m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdAgaMjabigdaXaqaaiabd2gaTbaakiabcYcaSiabdgeabnaaDaaaleaacqWGMbGzcqaIYaGmaeaacqWGTbqBaaGccqGGSaalcqGGUaGlcqGGUaGlcqGGUaGlcqGGSaalcqWGbbqqdaqhaaWcbaGaemOzayMaem4AaSgabaGaemyBa0gaaaaa@4046@ be k sink vertices of the auxiliary network V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ . Let A i , i = 1..n be vertices in the initial network W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ . Below we describe a procedure for finding the basis of all stationary distributions of a closed network:
  1. 1.

    Let us take the i th sink vertex A f i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdAgaMjabdMgaPbqaaiabd2gaTbaaaaa@3120@ .

     
  2. 2.

    Define x = A f i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdAgaMjabdMgaPbqaaiabd2gaTbaaaaa@3120@ , b = 1, and a null vector b i R n .

     
  3. 3.

    If x is not a glued cycle then it corresponds to a vertex A j W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ , and the basis vector b i has components b j i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOyai2aa0baaSqaaiabdQgaQbqaaiabdMgaPbaaaaa@3007@ = δ ij ; stop.

     
  4. 4.

    If x is a glued cycle then recall all its vertices x1, ..., x τ .

     
  5. 5.

    Determine the limiting (minimal) rate constant κ lim = mins=1..τ{ κ x s MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdIha4naaCaaameqabaGaem4CamhaaaWcbeaaaaa@30D4@ } and s min = arg mins=1..τ{ κ x s MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqOUdS2aaSbaaSqaaiabdIha4naaCaaameqabaGaem4CamhaaaWcbeaaaaa@30D4@ }.

     
  6. 6.

    For each vertex x j of the cycle repeat:

     
  7. a)

    Let c j = b κ l i m κ x j MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yam2aaSbaaSqaaiabdQgaQbqabaGccqGH9aqpcqWGIbGyjuaGdaWcaaqaaiabeQ7aRnaaBaaabaGaemiBaWMaemyAaKMaemyBa0gabeaaaeaacqaH6oWAdaWgaaqaaiabdIha4naaCaaabeqaaiabdQgaQbaaaeqaaaaaaaa@3C65@ if js min and c j = b { 1 s s m i n κ l i m κ x s } MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yam2aaSbaaSqaaiabdQgaQbqabaGccqGH9aqpcqWGIbGycqGG7bWEcqaIXaqmcqGHsisldaaeqaqcfayaamaalaaabaGaeqOUdS2aaSbaaeaacqWGSbaBcqWGPbqAcqWGTbqBaeqaaaqaaiabeQ7aRnaaBaaabaGaemiEaG3aaWbaaeqabaGaem4CamhaaaqabaaaaaWcbaGaem4CamNaeyiyIKRaem4Cam3aaSbaaWqaaiabd2gaTjabdMgaPjabd6gaUbqabaaaleqaniabggHiLdGccqGG9bqFaaa@4C41@ otherwise,

     
  8. b)

    if x j corresponds to a simple vertex A k then b k i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOyai2aa0baaSqaaiabdUgaRbqaaiabdMgaPbaaaaa@3009@ = c j ,

     
  9. c)

    if x j corresponds to a glued cycle then do recursively steps 4–6 with x = x j and b = c j .

     

Any possible stationary distribution has form c s = i = 1.. k c f i m b i , c f i m 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yam2aaWbaaSqabeaacqWGZbWCaaGccqGH9aqpdaaeqaqaaiabdogaJnaaDaaaleaacqWGMbGzcqWGPbqAaeaacqWGTbqBaaGccqWGIbGydaahaaWcbeqaaiabdMgaPbaaaeaacqWGPbqAcqGH9aqpcqaIXaqmcqGGUaGlcqGGUaGlcqWGRbWAaeqaniabggHiLdGccqGGSaalcqWGJbWydaqhaaWcbaGaemOzayMaemyAaKgabaGaemyBa0gaaOGaeyyzImRaeGimaadaaa@49C5@ , c f i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yam2aa0baaSqaaiabdAgaMjabdMgaPbqaaiabd2gaTbaaaaa@3164@ . The coefficients c ˜ s = i = 1.. k c f i m b ˜ i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4yamMbaGaadaahaaWcbeqaaiabdohaZbaakiabg2da9maaqababaGaem4yam2aa0baaSqaaiabdAgaMjabdMgaPbqaaiabd2gaTbaakiqbdkgaIzaaiaWaaWbaaSqabeaacqWGPbqAaaaabaGaemyAaKMaeyypa0JaeGymaeJaeiOla4IaeiOla4Iaem4AaSgabeqdcqGHris5aaaa@40AC@ are computed from initial data: they are equal to the total initial mass carried by vertices of V m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaWbaaSqabeaacqWGTbqBaaaaaa@3903@ (when these are glued cycles we consider the total initial mass of the cycle) that are attracted by A f i m MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabdAgaMjabdMgaPbqaaiabd2gaTbaaaaa@3120@ .

In brief, the distribution of the concentrations on any cycle is approximated by the first order expression (15), and this procedure is applied recursively for the vertices that represent glued cycles. The state thus obtained is equally a good approximation of the steady state of the dominant kinetic system.

Open systems can be reduced to closed ones by considering that all production reactions originate from the node that has concentration c0 = 1. The corresponding reaction are A i and the constants are the production rates ki 0. The normalization c0 = 1 is possible for all bounded steady states, because these are determined up to multiplication by a constant. Furthermore, all steady states are bounded, provided that the following topological condition holds: if there exists an oriented path from to A i , then there exists an oriented path from A i to . We suppose this condition to be always fulfilled. Applying the algorithm to the closed system we obtain c ˜ s = c ˜ s / ( i = 1.. k c f i m b ˜ 0 i ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4yamMbaGaadaahaaWcbeqaaiabdohaZbaakiabg2da9iqbdogaJzaaiaWaaWbaaSqabeaacqWGZbWCaaGccqGGVaWlcqGGOaakdaaeqaqaaiabdogaJnaaDaaaleaacqWGMbGzcqWGPbqAaeaacqWGTbqBaaGccuWGIbGygaacamaaDaaaleaacqaIWaamaeaacqWGPbqAaaaabaGaemyAaKMaeyypa0JaeGymaeJaeiOla4IaeiOla4Iaem4AaSgabeqdcqGHris5aOGaeiykaKcaaa@4740@ that is normalized to c ˜ s = c ˜ s / ( i = 1.. k c f i m b ˜ 0 i ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4yamMbaGaadaahaaWcbeqaaiabdohaZbaakiabg2da9iqbdogaJzaaiaWaaWbaaSqabeaacqWGZbWCaaGccqGGVaWlcqGGOaakdaaeqaqaaiabdogaJnaaDaaaleaacqWGMbGzcqWGPbqAaeaacqWGTbqBaaGccuWGIbGygaacamaaDaaaleaacqaIWaamaeaacqWGPbqAaaaabaGaemyAaKMaeyypa0JaeGymaeJaeiOla4IaeiOla4Iaem4AaSgabeqdcqGHris5aOGaeiykaKcaaa@4740@ in order to have c 0 s MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yam2aa0baaSqaaiabicdaWaqaaiabdohaZbaaaaa@2FAE@ = 1.

Example. Let us consider an example of the network W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ shown on Fig. 2 (1). Below we briefly detail every step of the algorithm.
  1. 2)

    An auxiliary reaction network V W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8xfXB1aaSbaaSqaaiab=zr8xbqabaaaaa@3982@ is constructed (this gives a non-branching network);

     
  2. 3)

    The cycle A3A4A5A3 in the auxiliary reaction network is glued in one vertex A 3 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabiodaZaqaaiabigdaXaaaaaa@2EF1@ (shown by the circle node); In the initial network we find an "exiting from cycle" reaction A4A2, renormalize its rate to k 32 1 = k 24 k 35 k 54 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aa0baaSqaaiabiodaZiabikdaYaqaaiabigdaXaaakiabg2da9KqbaoaalaaabaGaem4AaS2aaSbaaeaacqaIYaGmcqaI0aanaeqaaiabdUgaRnaaBaaabaGaeG4mamJaeGynaudabeaaaeaacqWGRbWAdaWgaaqaaiabiwda1iabisda0aqabaaaaaaa@3C27@ and insert in the new network W 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXF1aaWbaaSqabeaacqaIXaqmaaaaaa@3892@ ;

     
  3. 4)

    The cycle A3A2A3 in the auxiliary reaction network V W 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOvay1aaSbaaSqaamrtHrhAL1wy0L2yHvtyaeHbnfgDOvwBHrxAJfwnaGabaiab=zr8xnaaCaaameqabaGaeGymaedaaaWcbeaaaaa@39FF@ (which is now coincides with W 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXF1aaWbaaSqabeaacqaIXaqmaaaaaa@3892@ itself) is glued in one vertex A 2 2 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabikdaYaqaaiabikdaYaaaaaa@2EF1@ ; now the network W 2 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXF1aaWbaaSqabeaacqaIYaGmaaaaaa@3894@ is acyclic and we stop the network preprocessing.

     

Now if we restore the cycle A3A2A3 and try to determine the limiting step in it, we have two possibilies: k 24 k 35 k 54 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGRbWAdaWgaaqaaiabikdaYiabisda0aqabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI1aqnaeqaaaqaaiabdUgaRnaaBaaabaGaeGynauJaeGinaqdabeaaaaaaaa@36B5@ <k32 and k 24 k 35 k 54 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGRbWAdaWgaaqaaiabikdaYiabisda0aqabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI1aqnaeqaaaqaaiabdUgaRnaaBaaabaGaeGynauJaeGinaqdabeaaaaaaaa@36B5@ > k32. Let us consider them separately:

Case k 24 k 35 k 54 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGRbWAdaWgaaqaaiabikdaYiabisda0aqabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI1aqnaeqaaaqaaiabdUgaRnaaBaaabaGaeGynauJaeGinaqdabeaaaaaaaa@36B5@ <k32

3.1.1) Since A 3 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabiodaZaqaaiabigdaXaaaaaa@2EF1@ <k32, then we remove the limiting step A 3 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabiodaZaqaaiabigdaXaaaaaa@2EF1@ A2 and obtain 3.1.2).

3.1.3) We restore the glued cycle corresponding to A 3 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabiodaZaqaaiabigdaXaaaaaa@2EF1@ and we recall that the reaction A2 A 3 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabiodaZaqaaiabigdaXaaaaaa@2EF1@ in W 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXF1aaWbaaSqabeaacqaIXaqmaaaaaa@3892@ corresponds to A2A3 in W MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NfXFfaaa@3775@ .

3.1.4) We remove the limiting step reaction in the cycle A3A4A5A3 (it is A5A3) and as a result we obtain acyclic dominant kinetic system shown at Fig. 2 (3.1.4).

Case k 24 k 35 k 54 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGRbWAdaWgaaqaaiabikdaYiabisda0aqabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI1aqnaeqaaaqaaiabdUgaRnaaBaaabaGaeGynauJaeGinaqdabeaaaaaaaa@36B5@ > k32

3.2.1) Since k 24 k 35 k 54 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGRbWAdaWgaaqaaiabikdaYiabisda0aqabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI1aqnaeqaaaqaaiabdUgaRnaaBaaabaGaeGynauJaeGinaqdabeaaaaaaaa@36B5@ > k32, then we remove the limiting step A2 A 3 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabiodaZaqaaiabigdaXaaaaaa@2EF1@ and obtain 3.1.2).

3.2.3) We restore the glued cycle corresponding to A 3 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabiodaZaqaaiabigdaXaaaaaa@2EF1@ this time we should re-attach the reaction A 3 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyqae0aa0baaSqaaiabiodaZaqaaiabigdaXaaaaaa@2EF1@ A2 to the head of the limiting step in the cycle (it is A5 vertex); the rate of A5A2 is k 24 k 35 k 54 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGRbWAdaWgaaqaaiabikdaYiabisda0aqabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI1aqnaeqaaaqaaiabdUgaRnaaBaaabaGaeGynauJaeGinaqdabeaaaaaaaa@36B5@ .

3.2.4) We remove the limiting step reaction in the cycle A3A4A5A3 (it is A5A3) and as a result we obtain acyclic dominant kinetic system shown at Fig. 2 (3.2.4).

Discussion and perspectives

Dominant approximations of hierarchical linear reaction network allow us to introduce some new concepts important for the dynamics of multiscale systems.

Hybrid and qualitative dynamics

Piecewise affine dynamics has been widely used to approximate dynamics of gene regulatory networks [3537] as a sequence of discrete transitions between attractors of affine systems. This picture is based on threshold response of genes in models with steep regulation functions (Hill functions and other representations of sigmoidal response) and is not directly related to time scales. Here, we emphasize another possible way to obtain hybrid, or qualitative representations of dynamics, based on time separation.

Indeed, zero-one approximation of eigenvectors in hierarchical linear systems justifies a discrete coding of dynamics. Suppose that initial state is concentrated in j0, c i (0) ~ δ i , j 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeqiTdq2aaSbaaSqaaiabdMgaPjabcYcaSiabdQgaQnaaBaaameaacqaIWaamaeqaaaWcbeaaaaa@3264@ . At times just larger than 1/λ k an exponential vanishes in Eq. (2) and the state has a "jump" -r k (l k , c(0) -c s ). Let us consider that eigenvalues are ordered λ1 >> λ2 >> ... >> λn-1. Then, the sequence of right eigenvectors r k such that (l k , c(0) -c s ) ≠ 0 codes the dynamics starting in c(0). In other words, there is a sequence of well separated times τ1 = 1/λ1 <<λ2 = 1/λ2 << ... <<τn-1= 1/λn-1such that something happens (a state transition) between each one of these times. Left eigenvectors provides the lumping (several species cumulated to form pseudospecies) and right eigenvectors provide the sequence of state transitions. On timescales τ k <t <τk+1one can observe a jump -r k in state space provided that (l k , c(0) - c s ) ≠ 0. On this timescale the dynamics is equivalent to the degradation of pseudospecies (l k , c), d ( l k , c ) d t MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGKbazcqGGOaakcqWGSbaBdaahaaqabeaacqWGRbWAaaGaeiilaWIaem4yamMaeiykaKcabaGaemizaqMaemiDaqhaaaaa@3749@ = -λ k (l k , c).

Critical parameters and design principles

Our approach to dominant subsystems emphasizes some simple but important principles. First of all, dynamics of a hierarchical linear network can be specified if a) the topology of the network is given and if b) to each reaction we associate a positive integer representing order (1 for the most rapid reaction, 2 for the second most rapid reaction, and so on ...); c) for cyclic topologies, some monomials grouping constants of several reactions have also to be ordered in the same manner (which reactions depend both on topology and on initial ordering).

In the process of simplification some reaction pathways are dominated and do not appear in the dominant subsystem. Therefore, the corresponding constants are not critical for the system: although their ordering matters for establishing the simplification, their precise value have little importance. Because parameters of the dominant subsystem are generally monomials of parameters of the whole system, critical parameters are those parameters that occur in critical monomials. Our findings show rather counter-intuitive properties of critical and non-critical parameters, that can be useful as design principles. Thus, in cycles, the limiting step (slowest reaction) has little influence on dynamics (though is important for the steady state). Dynamically, a cycle with separated constants behaves like the chain obtained from the cycle by eliminating the limiting step. In particular, the slowest relaxation time of a cycle is the inverse of its second slowest constant [1, 34].

We should add some words about the relation between linear and non-linear models. Mathematical models of biochemical reaction networks in molecular biology contain with necessity non-linear, non-monomolecular reactions (complex binding, catalysis, etc.). However, the developed algorithms of model reduction for linear networks can be useful in systems biology, in several situations:
  1. 1)

    When some submechanisms of a complex and non-linear network are linear, given fixed (or slowly changing) values of external inputs (boundaries);

     
  2. 2)

    For approximating non-linear dynamics. For multiscale nonlinear reaction networks the expected dynamical behaviour is to be approximated by the system of dominant networks. These networks may change in time but remain small enough. To give an example, we provided the Fig. 3S1–3S2 in Additional File 1 demonstrating that in a model of complex reaction network of NF-κ B pathway, containing 17 multimolecular reactions, only two reactions show genuinely non-linear behavior in some windows of time, with two more showing border-line behavior, and all others have well-separated reactant concentrations in any moment of time. The rigorous justification of these hybrid approximations for mass action reaction networks will be discussed elsewhere.

     

Reduction of non-linear multiscale systems

Complex formation is a source of nonlinearity in biochemical networks. For instance, in signalling, ligand molecules form complexes with receptors. Transcription factors are often dimers or multimers or are sequestered by forming complexes with their inhibitors. In these examples, the reaction rates are non-linear functions of the concentrations of two or more molecules.

To construct a nonlinear reaction network we need the list of components, A MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8haXheaaa@3749@ = {A1, ..., A n } and the list of reactions (the reaction mechanism):
i α j i A i k β j k A k , MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqaHXoqydaWgaaWcbaGaemOAaOMaemyAaKgabeaakiabdgeabnaaBaaaleaacqWGPbqAaeqaaOGaeyOKH46aaabuaeaacqaHYoGydaWgaaWcbaGaemOAaOMaem4AaSgabeaakiabdgeabnaaBaaaleaacqWGRbWAaeqaaaqaaiabdUgaRbqab0GaeyyeIuoaaSqaaiabdMgaPbqab0GaeyyeIuoakiabcYcaSaaa@4441@
(17)

where j [1, r] is the reaction number. Unless reactants and products belong to compartments of different volumes α ji , β jk are nonnegative integers (stoichiometric coefficients). Reactions involving components from different compartments have non-integer stoichiometry. For instance, a reaction translocating a molecule from nucleus to the cytosol has stoichiometry (..., 1, k v , ...) where k v is the volume ratio of cytosol to nucleus.

Dynamics of nonlinear networks is described by a system of differential equations:
d c d t = F ( c ) = j = 1 r ν j R j ( c ) = S R ( c ) = j = 1 r ν j ( R j + ( c ) R j ( c ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGKbazcqWGJbWyaeaacqWGKbazcqWG0baDaaGccqGH9aqpcqWGgbGrcqGGOaakcqWGJbWycqGGPaqkcqGH9aqpdaaeWbqaaiabe27aUnaaBaaaleaacqWGQbGAaeqaaOGaemOuai1aaSbaaSqaaiabdQgaQbqabaGccqGGOaakcqWGJbWycqGGPaqkaSqaaiabdQgaQjabg2da9iabigdaXaqaaiabdkhaYbqdcqGHris5aOGaeyypa0Jaem4uamLaemOuaiLaeiikaGIaem4yamMaeiykaKIaeyypa0ZaaabCaeaacqaH9oGBdaWgaaWcbaGaemOAaOgabeaakiabcIcaOiabdkfasnaaDaaaleaacqWGQbGAaeaacqGHRaWkaaGccqGGOaakcqWGJbWycqGGPaqkcqGHsislcqWGsbGudaqhaaWcbaGaemOAaOgabaGaeyOeI0caaOGaeiikaGIaem4yamMaeiykaKcaleaacqWGQbGAcqGH9aqpcqaIXaqmaeaacqWGYbGCa0GaeyyeIuoakiabcMcaPaaa@6A19@
(18)

ν j = β j - α j is the global stoichiometric vector. S is the stoichiometric matrix whose columns are the vectors ν j . The reaction rates R j + / MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOuai1aa0baaSqaaiabdQgaQbqaaiabgUcaRiabc+caViabgkHiTaaaaaa@3141@ (c) are non-linear functions of the concentrations. For instance the mass action law reads R j + ( c ) = k j + i c i α j i , R j ( c ) = k j i c i β j i MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOuai1aa0baaSqaaiabdQgaQbqaaiabgUcaRaaakiabcIcaOiabdogaJjabcMcaPiabg2da9iabdUgaRnaaDaaaleaacqWGQbGAaeaacqGHRaWkaaGcdaqeqaqaaiabdogaJnaaDaaaleaacqWGPbqAaeaacqaHXoqydaWgaaadbaGaemOAaOMaemyAaKgabeaaaaaaleaacqWGPbqAaeqaniabg+GivdGccqGGSaalcqWGsbGudaqhaaWcbaGaemOAaOgabaGaeyOeI0caaOGaeiikaGIaem4yamMaeiykaKIaeyypa0Jaem4AaS2aa0baaSqaaiabdQgaQbqaaiabgkHiTaaakmaarababaGaem4yam2aa0baaSqaaiabdMgaPbqaaiabek7aInaaBaaameaacqWGQbGAcqWGPbqAaeqaaaaaaSqaaiabdMgaPbqab0Gaey4dIunaaaa@58E5@ .

There are no simple rules to relate timescales to reaction constants of nonlinear models. The units of the inverse constants of bimolecular reactions are concentration multiplied by time and one needs at least one concentration value in order to construct a timescale. Generally, timescales are functions of many reaction constants and concentration variables. These functions are not necessarily smooth. Near bifurcations (for instance, near Hopf or saddle-node bifurcations), at least one timescale of the system diverges for finite changes of the reaction constants. However, nonlinear biochemical networks have wide distributions of time-scales, as can be shown by simple (Jacobian based) analysis of models.

Various reduction methods of nonlinear models are based on projection of the dynamics on a lower dimensional invariant manifold [48]. The reduced models are systems of differential equations, but no longer networks of chemical reactions. Quasi-equilibrium and quasi-stationarity methods keep the network structure of the model and propose lumped reaction mechanisms as dominant subsystems. This approach has some advantages. Indeed, it leads to more transparent analysis of the results and of design principles, produces hierarchies of models and facilitates model comparison. Graphical reduction methods using elementary modes, were proposed by Clarke [26] for chemical systems and more recently in systems biology by Klamt [38]. Similar methods can be found in [39], from which we have borrowed the terminology. The choice of the species to be eliminated and of the reactions to be aggregated, as well as the calculation of rates of elementary modes have no theoretical justification in these methods and their inappropriate use can alter dynamics (for instance, as Clarke noticed, the stability of limit cycles is not guaranteed). Thus, in order to have a complete practical recipe that applies to multiscale biochemical networks we need to solve three more problems: detection of rapid species, resolution of quasi-stationarity equations and calculation of reaction rates of the dominant mechanisms.

A major improvement in calculating dominant subsystems can be obtained by combining quasi-stationarity and averaging. Averaging techniques are widely used in physics and chemistry to simplify models by eliminating fast, oscillating (microscopic) variables [2224]. Our use of averaging is different, because we employ it to obtain averaged stationarity equations for slow, non-oscillating variables and to eliminate these species. After choosing a "middle" time scale (corresponding to the time resolution of the experiment), we want to reduce all scales that are faster but also all scales that are slower than this middle scale. In order to do that we provide a unified framework for species elimination and reaction aggregation, either by quasi-stationarity (fast species) or by averaged stationarity (slow species).

Let I be the set of indices of intermediate components, that will be eliminated. R ( I ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaacqGGOaakcqWGjbqscqGGPaqkaaaaaa@399F@ is the set of reactions that either produce or consume species from I. Rates of R ( I ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaacqGGOaakcqWGjbqscqGGPaqkaaaaaa@399F@ depend on the concentrations of intermediate species and also on the concentrations of other species, which in the terminology of Temkin [39] are called terminal. Let T be the set of indices of terminal species. Terminal species represent the frontier between the rest of the system and the subsystems made of intermediate species. Although instead of terminal the name boundary species could be more appropriate, the latter term has already been employed in systems biology with a different meaning, which is species whose concentrations are fixed in a simulation.

Extracting from the matrix S the columns corresponding to the reactions R I MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaSbaaSqaaiabdMeajbqabaaaaa@37EC@ and the lines corresponding to the species I MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8heHKeaaa@3691@ and T MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83eXtfaaa@376F@ we obtain the intermediate stoichiometric matrix S I and the terminal stoichiometric matrix S T , respectively.

Eliminating fast species: quasi-stationarity

In multiscale biochemical systems, some components react much more rapidly to changes in the environment than others. The reasons for the existence of such fast species can be multiple. Thus, rapidly transformed or rapidly consumed molecules (for instance those taking part in metabolic chains or rapid chemical transformations such as phosphorylation), or promoter sites submitted to rapid binding/unbinding processes are examples of fast species. Fast species are good candidates for intermediate species. Indeed, it is easy to prove that they can be eliminated by quasistationarity. When production rates are not weak, fast species are those whose concentrations are small and well separated from the concentrations of other species. Though straightforward, the precise condition connecting quasi-stationarity and smallness of concentrations can not be easily found in literature, hence we briefly discuss it below.

Let ϵ be a small parameter, representing concentrations. Suppose for simplicity that reactions R ( I ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaacqGGOaakcqWGjbqscqGGPaqkaaaaaa@399F@ are pseudo-monomolecular. This means that S I R I (c I , c T ) = K I (c T ) c I + K I 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4saS0aa0baaSqaaiabdMeajbqaaiabicdaWaaaaaa@2F2A@ (c T ), where R I is the restriction of the vector R to the intermediate species. An important assumption is K I 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4saS0aa0baaSqaaiabdMeajbqaaiabicdaWaaaaaa@2F2A@ (c T ) = O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ (1) meaning that the production of intermediate species is not weak.

Suppose that among the reactions R ( I ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaacqGGOaakcqWGjbqscqGGPaqkaaaaaa@399F@ consuming intermediates, at least some have rates of order O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ (1). This is current, because these reactions produce terminal species which have larger concentrations.

Because c I = O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ (ϵ), it means that K I (c T ) = O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ (1/ϵ). This leads to the following asymptotic:
ϵ d c ˜ I d t = K ˜ I ( c T ) c ˜ I + K I 0 ( c T ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWeuvgwd1utHrhAjrxySL2yaeHbJ1wBPfdmaGabciab=v=aYMqbaoaalaaabaGaemizaqMafm4yamMbaGaadaWgaaqaaiabdMeajbqabaaabaGaemizaqMaemiDaqhaaOGaeyypa0Jafm4saSKbaGaadaWgaaWcbaGaemysaKeabeaakiabcIcaOiabdogaJnaaBaaaleaacqWGubavaeqaaOGaeiykaKIafm4yamMbaGaadaWgaaWcbaGaemysaKeabeaakiabgUcaRiabdUealnaaDaaaleaacqWGjbqsaeaacqaIWaamaaGccqGGOaakcqWGJbWydaWgaaWcbaGaemivaqfabeaakiabcMcaPaaa@50AC@
(19)
d c I c d t = g ( ϵ c ˜ I , c I c ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGKbazcqWGJbWydaWgaaqaaiabdMeajnaaCaaabeqaaiabdogaJbaaaeqaaaqaaiabdsgaKjabdsha0baakiabg2da9iabdEgaNjabcIcaOmbvLH1qn1uy0Hws0fgBPngaryWyT1wAXadaiqGacqWF1pGScuWGJbWygaacamaaBaaaleaacqWGjbqsaeqaaOGaeiilaWIaem4yam2aaSbaaSqaaiabdMeajnaaCaaameqabaGaem4yamgaaaWcbeaakiabcMcaPaaa@4A8F@
(20)
where c ˜ I MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4yamMbaGaadaWgaaWcbaGaemysaKeabeaaaaa@2E7A@ = c I /ϵ, K ˜ I MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4saSKbaGaadaWgaaWcbaGaemysaKeabeaaaaa@2E4A@ = ϵ K I = O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ (1), I c is the complement of I designating species other that I. Intermediate species are fast and the system (19) can be reduced using Tikhonov's [40, 41] and Fenichel's [42] results. According to these results, after a short laps of time, the system evolves on an invariant manifold (an invariant manifold is defined by the property that any trajectory starting in the manifold stays inside the manifold) which is at distance O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ (ϵ) from the quasi-steady state (QSS) manifold defined by the quasi-stationarity equations:
K ˜ I ( c T ) c ˜ I + K I 0 ( c T ) = 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4saSKbaGaadaWgaaWcbaGaemysaKeabeaakiabcIcaOiabdogaJnaaBaaaleaacqWGubavaeqaaOGaeiykaKIafm4yamMbaGaadaWgaaWcbaGaemysaKeabeaakiabgUcaRiabdUealnaaDaaaleaacqWGjbqsaeaacqaIWaamaaGccqGGOaakcqWGJbWydaWgaaWcbaGaemivaqfabeaakiabcMcaPiabg2da9iabicdaWaaa@4056@
(21)

Quasi-stationarity equations can be used to express concentrations of the intermediate species as functions of the concentrations of terminal species. If matrix K I has not full rank, conservation laws should be added to the quasi-stationarity equations in order to obtain a full rank system. Let μ1, ..., μ k be a basis of the left kernel of S I (a complete set of conservation laws). We say that species of indices I are quasi-stationary if they approximately fulfill the equations:

S I R I (c I , c T ) = 0

and exactly fulfill the conservation laws:

μ i i I = C i ,   i = 1,..., k,

where C i are real constants.

Fast, quasi-stationary species are generally difficult to detect. For instance, the strong production condition K I 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4saS0aa0baaSqaaiabdMeajbqaaiabicdaWaaaaaa@2F2A@ (c T ) = O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ (1), although informative for understanding of the dynamics, can not be used in practice. Furthermore, small concentration is not a necessary condition for quasi-stationarity. Therefore, our practical method for detection of fast, quasi-stationary species is based on the direct checking of Eqs.(22), (23) (see Fig 3a and the Results section for an example).
https://static-content.springer.com/image/art%3A10.1186%2F1752-0509-2-86/MediaObjects/12918_2008_Article_243_Fig3_HTML.jpg
Figure 3

Lipniacki's model a) Testing quasistationarity: nonreduced trajectories (solid), quasi-stationarity trajectories (crosses). b) Trajectories of models in the hierarchy. c) Cytoplasmatic part of the signalling mechanism: terminal species (blue), intermediate species quasi-stationary (pink) non-oscillating (green), simple submechanisms (blue). This part of the network contains three critical parameters for the damping time. Sustained oscillations were obtained by decreasing the constant k3 ten times with respect to the value used in [53] (equivalently, this can be obtained by decreasing k9, or by increasing k4).

Once quasi-stationary species are detected, the recipe proposed by Clarke [26] can be applied to simplify the reaction mechanism. Let us reformulate this recipe here:
  1. 1.

    Eliminate the intermediate concentrations by solving the equations (22), (23). Express c I as function of c T .

     
  2. 2.

    Replace the mechanism R ( I ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaacqGGOaakcqWGjbqscqGGPaqkaaaaaa@399F@ by "simple sub-mechanisms".

     
  3. 3.

    Compute the rates of the simple sub-mechanisms as functions of c T .

     

The simplicity criterion employed by Clarke does not follow from a physical principle. Nevertheless, in systems biology, biochemical reactions are simplified representations of complex physico-chemical processes. In the absence of detailed information, simplicity arguments are often employed. Elementary modes analysis widely used in metabolic control and gene network analysis [4345] is based on exactly the same argument.

The same recipe applies also to model comparison, when we want to compare two models which differ in complexity (some species in one model are not present in the second). In this situation we declare the extra species intermediate and apply the three steps of the algorithm.

Simple sub-mechanisms and rates

Let us introduce some more definitions. A reaction route is a combination of reactions in R I MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaSbaaSqaaiabdMeajbqabaaaaa@37EC@ transforming terminal species into other terminal species and conserving the intermediate species. It is defined by a integer coefficient vector γ s (the dimension s is the number of reactions in R I MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaSbaaSqaaiabdMeajbqabaaaaa@37EC@ ) satisfying the following three conditions:

S I γ = 0

γ i ≥ 0,   if the reaction   i   is irreversible

||S T γ|| > 0

Reaction routes are usually defined [39] without the condition (26). By imposing this condition, we exclude internal cycles with zero terminal stoichiometry.

A sub-mechanism M(γ) is the set of all the reactions in the reaction route γ, M(γ) = {i|γ i ≠ 0}. A sub-mechanism is simple if it is minimal with respect to inclusion, i.e. if M (γ') M (γ) γ = γ'. Simple sub-mechanisms are pathways with a minimal number of reactions, connecting terminal species without producing accumulation or depletion of the intermediate species. Thus, they are candidates for reduced reaction mechanisms. Simple sub-mechanisms are minimal dependent sets in oriented matroids [46], similar to elementary modes in flux balance analysis [43]. Algorithms for finding elementary modes can be applied for the search of simple sub-mechanisms [4345].

In the reduced model, the reactions of the intermediate mechanism R I MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaSbaaSqaaiabdMeajbqabaaaaa@37EC@ are replaced by the sub-mechanisms γ1, ..., γ s .

Each terminal species is produced or consumed by one or several reactions of the intermediate mechanism. The reduction should preserve the flux of each terminal species, meaning that the following equation should be satisfied identically, for all c T and c I satisfying (22),(23):
m R I ν m j R m ( c I , c T ) = i = 1 s ( S T γ i ) j R i ( c ) , j T MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeqabeGaaaqaamaaqafabaGaeqyVd42aa0baaSqaaiabd2gaTbqaaiabdQgaQbaakiabdkfasnaaBaaaleaacqWGTbqBaeqaaOGaeiikaGIaem4yam2aaSbaaSqaaiabdMeajbqabaGccqGGSaalcqWGJbWydaWgaaWcbaGaemivaqfabeaakiabcMcaPaWcbaGaemyBa0MaeyicI48enfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaSbaaWqaaiabdMeajbqabaaaleqaniabggHiLdGccqGH9aqpdaaeWbqaaiabcIcaOiabdofatnaaBaaaleaacqWGubavaeqaaOGaeq4SdC2aaSbaaSqaaiabdMgaPbqabaGccqGGPaqkdaWgaaWcbaGaemOAaOgabeaakiqbdkfaszaafaWaaSbaaSqaaiabdMgaPbqabaGccqGGOaakcqWGJbWycqGGPaqkaSqaaiabdMgaPjabg2da9iabigdaXaqaaiabdohaZbqdcqGHris5aOGaeiilaWcabaGaemOAaOMaeyicI4Saemivaqfaaaaa@68A6@
(27)

where R i ( c ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaemyAaKgabeaakiabcIcaOiabdogaJjabcMcaPaaa@31A0@ are the rates of the simple sub-mechanisms.

Suppose that for any simple sub-mechanism i there is a terminal species j such that S T γ i is the unique vector (among the s different ones) having nonzero coordinate j, (S T γ i ) j ≠ 0. Then, there is a straightforward solution for (27):
R i ( c ) = 1 ( S T γ i ) j m R I ν m i R m ( c I , c T ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaemyAaKgabeaakiabcIcaOiabdogaJjabcMcaPiabg2da9KqbaoaalaaabaGaeGymaedabaGaeiikaGIaem4uam1aaSbaaeaacqWGubavaeqaaiabeo7aNnaaBaaabaGaemyAaKgabeaacqGGPaqkdaWgaaqaaiabdQgaQbqabaaaaOWaaabuaeaacqaH9oGBdaqhaaWcbaGaemyBa0gabaGaemyAaKgaaOGaemOuai1aaSbaaSqaaiabd2gaTbqabaGccqGGOaakcqWGJbWydaWgaaWcbaGaemysaKeabeaakiabcYcaSiabdogaJnaaBaaaleaacqWGubavaeqaaOGaeiykaKcaleaacqWGTbqBcqGHiiIZt0uy0HwzTfgDPnwy1egaryqtHrhAL1wy0L2yHvdaiqaacqWFBeIudaWgaaadbaGaemysaKeabeaaaSqab0GaeyyeIuoaaaa@5DE8@
(28)

The above uniqueness condition is not fulfilled if there are two sub-mechanisms for which the terminal stoichiometries are proportional. This situation can be avoided by quotienting with respect to the following equivalence relation: γ i and γ j are equivalent iff S T γ i = α S T γ j , for some α = ≠ 0. After discarding some sub-mechanisms and keeping only one representative per class, we have a reduced set of simple sub-mechanisms for which rates can be calculated from (28).

Dominant solutions to the quasi-stationarity equations, multiscale ensembles

The most difficult part of the above algorithm is to solve the quasi-stationarity equations (22),(23). Even in the monomolecular case, symbolic solutions of the linear system (21) can involve long expressions. Furthermore, mass action law leads to polynomial equations in the binary or multi-molecular case. Symbolic methods for solutions of systems of polynomial equations are limited to a small number of variables.

In this subsection we show how the multi-scale nature of the system can be used to obtain approximate, dominant solutions of the quasi-stationarity equations.

In linear hierarchical models, ensembles with well separated constants appear (see also [1]). We could represent them by a log-uniform distribution in a sufficiently big interval log k [α, β], but most of the properties of this probability distribution will not be used here. The only property that we will use is the following: if k i > k j , then k i /k j 1 (with probability close to one). It means that we can assume that k i /k j a for any preassigned positive value of a that does not depend on k values. One can interpret this property as an asymptotic one for α → -∞, β → ∞. This property allows us to simplify algebraic formulas. For example, k i + k j can be substituted by max{k i , k j } (with small relative error), or
a k i + b k j c k i + d k j { a / c , if  k i k j ; b / d , if  k i k j , MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGHbqycqWGRbWAdaWgaaqaaiabdMgaPbqabaGaey4kaSIaemOyaiMaem4AaS2aaSbaaeaacqWGQbGAaeqaaaqaaiabdogaJjabdUgaRnaaBaaabaGaemyAaKgabeaacqGHRaWkcqWGKbazcqWGRbWAdaWgaaqaaiabdQgaQbqabaaaaOGaeyisIS7aaiqaaeaafaqabeGacaaabaGaemyyaeMaei4la8Iaem4yamMaeiilaWcabaGaeeyAaKMaeeOzayMaeeiiaaIaem4AaS2aaSbaaSqaaiabdMgaPbqabaGccqWIRjYpcqWGRbWAdaWgaaWcbaGaemOAaOgabeaakiabcUda7aqaaiabdkgaIjabc+caViabdsgaKjabcYcaSaqaaiabbMgaPjabbAgaMjabbccaGiabdUgaRnaaBaaaleaacqWGPbqAaeqaaOGaeSOAI0Jaem4AaS2aaSbaaSqaaiabdQgaQbqabaGccqGGSaalaaaacaGL7baaaaa@6215@

for nonzero a, b, c, d.

Of course, some ambiguity can be introduced, for example, what is (k1 + k2) - k1, if k1 k2? If we first simplify the expression in brackets, it is zero, but if we open brackets without simplification, it is k2. This is a standard difficulty in use of relative errors for round-off. If we estimate the error in the final answer, and then simplify, we shall avoid this difficulty. Use of o and O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ symbols also helps to control the error qualitatively: if k1 k2, then we can write (k1 + k2) = k1(1 + o(1)), and k1(1 + o(1) - k1 = k1o(1). The last expression is neither zero, nor absolutely small – it is just relatively small with respect to k1.

It is slightly more difficult to solve equations. Some recipes were proposed such as Newton polyhedra for approximate solutions of polynomial systems of equations [47] but this type of methods suffers from combinatorial complexity. Here we use a simpler, but not so rigorous approach. In the case of pseudo-molecular subsystems, our algorithms for linear hierarchical systems are enough for this purpose. In general, we choose the dominant terms in the solutions as monomials of the parameters. This can be done either by educated guess, or by testing numerically the orders of various terms in the equations. The most frequent, truly non-linear simplification that occurs in biochemical models is the "min-funnel", which we present below.

Let us consider the production of a complex C from two proteins A and B : k A A MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeeOqaiKaeiOoaOJaeyybIy8aaCbmaeaacqGHsgIRaSqaaaqaaiabdUgaRnaaBaaameaacqWGbbqqaeqaaaaakiabbgeabbaa@3544@ (production of A), k B B MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeyybIy8aaCbmaeaacqGHsgIRaSqaaaqaaiabdUgaRnaaBaaameaacqWGcbGqaeqaaaaakiabbkeacbaa@3341@ (production of B), A k d e g , A MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeeyqae0aaCbmaeaacqGHsgIRaSqaaaqaaiabdUgaRnaaBaaameaacqWGKbazcqWGLbqzcqWGNbWzcqGGSaalcqWGbbqqaeqaaaaakiabgwGigdaa@3818@ (degradation of A), B k d e g , B MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeeOqai0aaCbmaeaacqGHsgIRaSqaaaqaaiabdUgaRnaaBaaameaacqWGKbazcqWGLbqzcqWGNbWzcqGGSaalcqWGcbGqaeqaaaaakiabgwGigdaa@381C@ (degradation of B), A + B k c C MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeeyqaeKaey4kaSIaeeOqai0aaCbmaeaacqWImhYGaSqaaaqaaiabdUgaRnaaBaaameaacqWGJbWyaeqaaaaakiabboeadbaa@3516@ (complex formation).

Supposing A, B quasi-stationary we have to find the positive solutions of the equations k A = A ˜ + k ˜ c A ˜ B ˜ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabdgeabbqabaGccqGH9aqpcuWGbbqqgaacaiabgUcaRiqbdUgaRzaaiaWaaSbaaSqaaiabdogaJbqabaGccuWGbbqqgaacaiqbdkeaczaaiaaaaa@36A0@ , k B = B ˜ + k ˜ c A ˜ B ˜ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabdkeacbqabaGccqGH9aqpcuWGcbGqgaacaiabgUcaRiqbdUgaRzaaiaWaaSbaaSqaaiabdogaJbqabaGccuWGbbqqgaacaiqbdkeaczaaiaaaaa@36A4@ , where A ˜ = k d e g , A A MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmyqaeKbaGaacqGH9aqpcqWGRbWAdaWgaaWcbaGaemizaqMaemyzauMaem4zaCMaeiilaWIaemyqaeeabeaakiabdgeabbaa@367B@ , B ˜ = k d e g , B B MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOqaiKbaGaacqGH9aqpcqWGRbWAdaWgaaWcbaGaemizaqMaemyzauMaem4zaCMaeiilaWIaemOqaieabeaakiabdkeacbaa@3681@ , k ˜ c = k c / ( k d e g , A k d e g , B ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4AaSMbaGaadaWgaaWcbaGaem4yamgabeaakiabg2da9iabdUgaRnaaBaaaleaacqWGJbWyaeqaaOGaei4la8IaeiikaGIaem4AaS2aaSbaaSqaaiabdsgaKjabdwgaLjabdEgaNjabcYcaSiabdgeabbqabaGccqWGRbWAdaWgaaWcbaGaemizaqMaemyzauMaem4zaCMaeiilaWIaemOqaieabeaakiabcMcaPaaa@4442@ . We will consider two cases a) 1/ k ˜ c MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4AaSMbaGaadaWgaaWcbaGaem4yamgabeaaaaa@2EBE@ <<k A <<k B and b) 1/ k ˜ c MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafm4AaSMbaGaadaWgaaWcbaGaem4yamgabeaaaaa@2EBE@ <<k B <<k A . Both cases mean that degradation of A, B is weak and/or the propensity of complex formation is high. Case a) means also that B is in excess, the opposite being true in case b).

Let us consider the case a). We consider that the order of A ˜ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmyqaeKbaGaaaaa@2CEF@ in the dominant solution is larger than the order of B ˜ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOqaiKbaGaaaaa@2CF1@ , A ˜ < < B ˜ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmyqaeKbaGaacqGH8aapcqGH8aapcuWGcbGqgaacaaaa@3013@ . From the linear equation k A - k B = A ˜ B ˜ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmyqaeKbaGaacqGHsislcuWGcbGqgaacaaaa@2EF8@ we obtain B ˜ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOqaiKbaGaaaaa@2CF1@ = k B and from the second nonlinear equation we obtain A ˜ = k A 1 + k ˜ c k B k A k ˜ c k B MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmyqaeKbaGaacqGH9aqpjuaGdaWcaaqaaiabdUgaRnaaBaaabaGaemyqaeeabeaaaeaacqaIXaqmcqGHRaWkcuWGRbWAgaacamaaBaaabaGaem4yamgabeaacqWGRbWAdaWgaaqaaiabdkeacbqabaaaaOGaeyisISBcfa4aaSaaaeaacqWGRbWAdaWgaaqaaiabdgeabbqabaaabaGafm4AaSMbaGaadaWgaaqaaiabdogaJbqabaGaem4AaS2aaSbaaeaacqWGcbGqaeqaaaaaaaa@42AA@ . Finally, we have A ˜ < < B ˜ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmyqaeKbaGaacqGH8aapcqGH8aapcuWGcbGqgaacaaaa@3013@ consistently with the starting guess. The dominant solution in case b) is obtained by symmetry from the one in case a). The quantity of interest in this example, for which we want a reduced expression is the production rate of the complex R c = k c AB. Actually, the two solutions can be summarized by:

R c = min(k A , k B )

Using the exact solution of the system (after eliminating A from the linear equation we remain with a quadratic equation for B) we can show that the min-funnel approximation (29) is valid under less restrictive conditions. The only separation condition that we need is min(k A , k B ) >> k deg, A kdeg,B/k c . We can easily identify the critical parameters k A , k B and the non-critical ones kdeg,A, kdeg,B, k c . The validity of the expression (29) depends on order relations involving monomials of critical and non-critical parameters.

Eliminating slow species: averaging

Averaging is an useful model reduction technique for high-dimensional clocks or for other types of oscillating molecular systems (the activity of some transcription factors, among which NF-κ B, present oscillations under some conditions).

Averaging can be applied rather generally [2224] to produce coarse grained quantities and reduced models. The typical mathematical result applying here is due to Pontryagin and Rodygin [48, 49]. Supposing that the oscillating species are x, the non-oscillating species are y, and is a small parameter, then we have:
ϵ d x d t = f ( x , y ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWeuvgwd1utHrhAjrxySL2yaeHbJ1wBPfdmaGabciab=v=aYMqbaoaalaaabaGaemizaqMaemiEaGhabaGaemizaqMaemiDaqhaaOGaeyypa0JaemOzayMaeiikaGIaemiEaGNaeiilaWIaemyEaKNaeiykaKcaaa@4427@
(30)
d y d t = g ( x , y ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGKbazcqWG5bqEaeaacqWGKbazcqWG0baDaaGccqGH9aqpcqWGNbWzcqGGOaakcqWG4baEcqGGSaalcqWG5bqEcqGGPaqkaaa@3A3C@
(31)
It is supposed that for any y, the fast dynamics (30) has an attractive hyperbolic limit cycle x = ψ (τ, y), of period T(y): ψ (τ + T(y), y) = ψ(τ, y) (τ = t/ϵ). Then, after a short transient, the slow variable satisfies the averaged equation:
d y d t = 1 T ( y ) 0 T ( y ) g ( ψ ( τ , y ) , y ) d τ MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGKbazcqWG5bqEaeaacqWGKbazcqWG0baDaaGccqGH9aqpjuaGdaWcaaqaaiabigdaXaqaaiabdsfaujabcIcaOiabdMha5jabcMcaPaaakmaapedabaGaem4zaCMaeiikaGIaeqiYdKNaeiikaGIaeqiXdqNaeiilaWIaemyEaKNaeiykaKIaeiilaWIaemyEaKNaeiykaKIaemizaqMaeqiXdqhaleaacqaIWaamaeaacqWGubavcqGGOaakcqWG5bqEcqGGPaqka0Gaey4kIipaaaa@50E4@
(32)

The result can be extended to the case when x = ψ(τ, y) describes damped oscillations, with damping time much larger than ϵ, i.e. when the fast dynamics (30) has a stable focus and the eigenvalues of the Jacobian ∂f/∂x calculated at the focus are of the form -λ ± , 0 <λ <<μ = O MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NdX=eaaa@3765@ (1/ϵ).

The following averaged steady state equation allows to eliminate the slow species y:
0 T ( y ) g ( ψ ( τ , y ) , y ) d τ = 0 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaa8qmaeaacqWGNbWzcqGGOaakcqaHipqEcqGGOaakcqaHepaDcqGGSaalcqWG5bqEcqGGPaqkcqGGSaalcqWG5bqEcqGGPaqkcqWGKbazcqaHepaDcqGH9aqpcqaIWaamaSqaaiabicdaWaqaaiabdsfaujabcIcaOiabdMha5jabcMcaPaqdcqGHRiI8aaaa@45A6@
(33)

If (32) has a stable steady state, we always reach this situation. In this case, the slow non-oscillating variables y are constant in time and can be considered to be conserved, which has two significant consequences.

First, Eq.(33) restores conservation. Slow variables are often the result of broken conservation laws. In fact, in biological open systems, nothing is conserved. Conservation laws result from balancing production and degradation either passively (slow processes) or actively (feed-back). Thus, we can ignore production and degradation of molecules whose level is rigorously controlled. Eq.(33) describes such a case.

Second, (33) are averaged steady state equations for the slow variables. If slow variables y reach stationarity, the only variables that change in time are the oscillating variables x. Eq.(30) describes the dynamics of x, considering that y satisfies (33). For oscillators, averaging provides a way to eliminate slow non-oscillating variables, which is formally equivalent to quasi-stationarity and represents a new case of applicability of Clarke's method. The difference between the two cases is that we eliminate fast variables by solving quasi-stationarity equations and we eliminate slow variables by solving averaged stationarity equations. Thus, intermediate non-oscillating variables are expressed in terms of only non-oscillating terminal variables. If there are no non-oscillating terminal variables, then non-oscillating intermediates become conserved quantities.

Results and discussion

Methodology

In this section, we demonstrate hierarchical model reduction, model comparison and critical parameter identification. Critical parameters are identified during the reduction procedure.

Model reduction starts with a complex model, from which we obtain a hierarchy of reduced models by eliminating various intermediate species. The intermediate species are either quasi-stationary species (in general), or non-oscillating species (for oscillators). The complexity of a model is quantified by three integers. A model with n species, r reactions and p parameters is designated by M(n, r, p). Our conception about systems biology models is summarized by the following idea. Instead of providing a single model, it is better to provide a hierarchy of models, and the relations between them. Depending on the application, we can choose the most appropriate model in the hierarchy or couple several simple models into a larger model.

The number of parameters in a model are obtained as follows. If the elementary reactions follow mass action law kinetics, there are n k = 2n r + n i kinetic constants, where n r , n i are the numbers of reversible and irreversible reactions. Reactions with kinetic constants zero are not considered in the counting. Each one of the n c conservation laws adds an extra parameter, the value of the conserved quantity. These values follow from initial data and are important parameters for the dynamics. For multi-compartment models, the ratios of the compartments volumes (in the example below there is only one ratio kv, the cytoplasm to nucleus volume ratio) are extra parameters. Thus p = n k + n c + 1.

Model comparison has a similar flowchart. By model comparison we understand a) mapping one model to another one by model reduction or mapping each model to a third one, closest in some sense to both; b) compare predictions of the models (for instance, about how the system responds to perturbations) for sets of parameters related one to the other by the mapping at a). In this case, the choice of intermediate species is dictated by the differences between the models to be compared.

Hierarchy of models for NF-κ B signalling

The transcription factor NF-κ B is involved in a wide diversity of domains such as the immune and inflammatory responses, cell survival and apoptosis, cellular stress and neuro-degenerative diseases, cancer and development. NF-κ B is sequestered in the cytoplasm by inactivating proteins named Iκ B. Upon signalling, Iκ B molecules are phosphorylated by a kinase complex, then ubiquitinylated, and finally degraded by the proteasomal complex. NF-κ B bound to Iκ B molecules is then transported to the nucleus to activate its target genes. There are known five members of the NF-κ B family in mammals, Rel (c-rel), RelA (p65), RelB, NF-κ B1 (p50 and its precursor p105) and NF-κ B2 (p52 and its precursor p100). This generates a large combinatorial complexity of dimers, affinities and transcriptional capabilities. Iκ B family comprises seven members in mammals (Iκ Bα, Iκ Bβ, Iκ Bϵ, Iκ Bγ, Bcl-3) [50]. All these inhibitors display different affinities for NF-κ B dimers, multiplying the combinatorial complexity. Moreover, the gene coding for Iκ Bα, is transcriptionally activated by NF-κ B. This negative feed-back loop can give rise to oscillations of the activity of NF-κ B [51, 52]. Phosphorylation of Iκ Bα upon signalling is provided by a kinases complex that includes IKKα and IKKβ (Iκ B Kinase, also named IKK1 and IKK2), associated to a regulating protein NEMO (NF-κ B Essential Modulator, also called IKKγ). Therefore, it is clear that understanding such a complex biological system requires modeling. Several mathematical models of NF-κ B have been published. The first model described a single NF-κ B molecule, which binds to Iκ Bα, Iκ Bβ and Iκ Bϵ. This work demonstrated oscillations in NF-κ B activity, confirmed by experimental data [51]. The model set by [53] included in addition an A20 molecule whose production is enhanced upon NF-κ B stimulation, and which negatively regulates IKK activity. A third model analyzed the critical parameters necessary for maintaining oscillations, with given amplitude and frequency [54]. In addition, a minimal simplified model was also set to study the oscillations of the NF-κ B module [55]. We propose here a fourth, new model, with more complex descriptions that takes into account transcription, translation and degradation of different NF-κ B units.

In our model, NF-κ B is considered to be made of two subunits, p50 and p65. All combinations of these subunits are allowed, including two homodimers p50:p50, p65:p65 and one heterodimer p50:p65. The three dimers of NF-κ B are characterized by different affinities for DNA sites, and associate differentially to Iκ Bα, β and ϵ, generating thus 9 species with different abundances and characteristics upon signalling and degradation. The production of the dimer p65 is considered under control of a transcription factor FTAy, which represents a simplification of many transcription factors supposed to activate this promoter. p50 is produced from a precursor molecule p105. The transcription factor FTAx binds to the promoter of p105 to activate its transcription at a basal level. Similarly to FTAy, this factor represents the sum of individual activities due to several transcription factors contributing to the basal activity of this promoter. As the p105 gene is activated by NF-κ B, this factor can also bind to the p105 promoter and activate the transcription above the basal level. Promoter of Iκ B is controlled by NF-κ B and FTAz in a similar way as it is p105. In addition, it was supposed that nuclear Iκ B can come and bind to NF-κ B when this is on the promoter of Iκ B or of p105. Once the complex formed this can unbind from the DNA, taking NF-κ B away. The kinase activation/inactivation module including interactions with A20 was borrowed from [53]. Let us notice that transcription regulation modules are very simplified and do not take into account specificities of eukaryotic regulation (existence of several binding sites, enhancers, etc).

Initiation [56, 57] and elongation [5860] for transcription and translation rates come from previous studies which were more recently re-examined [61]. Binding and unbinding constants for NF-κ B subunits come either from literature [6264] or from previous models [51, 53].

We should signal large uncertainty concerning values of constants. For example, the rate of degradation of Iκ B was assumed to be independent of the state of the molecule, either free or bound to NF-κ B. This led to a poor fit of computational simulations of the NF-κ B signalling module. The rate was newly measured in vivo and led to better fits of Iκ B levels and basal NF-κ B activity [65]. This motivated us to determine which parameters of the model are critical and should be known with precision and which ones are not critical.

A simplified version of the model (considering only the Iκ Bα inhibitor) is given in Table 1.
Table 1

Model (39, 65, 90).

reaction

kinetic constants

IKK → IKK|active

k1 = 0.0025

IKK → null

k2 = 0.000125

null → IKK

k3 = 1e-005

IKK|active + A20 → A20 + IKK|inactive

k4 = 0.1

IKK|active → IKK|inactive

k5 = 0.0015

IKK|active → null

k6 = 0.000125

IKK|active + IkBa@csl → IKK|active:IkBa

k7 = 0.24

IKK|active:IkBa → IKK|active

k8 = 0.1

IKK|active + IkBa:p50:p65@csl → IKK|active:IkBa:p50:p65

k9 = 1.2

IKK|active:IkBa:p50:p65 → IKK|active + p50:p65@csl

k10 = 0.1

IKK|inactive → null

k11 = 0.000125

IkBa:p50:p65@csl → p50:p65@csl

k12 = 2e-005

p50:p65@csl + IkBa@csl IkBa:p50:p65@csl

kf13 = 0.5 kr13 = 0

p50:p65@ncl + IkBn IkBa:p50:p65@ncl

kf14 = 0.5 kr14 = 0

p50:p65@csl k v p50:p65@ncl

kf15 = 0.0025 kr15 = 8e-005

mRNAA20 → mRNAA20 + A20

k16 = 0.5

mRNAA20 → null

k17 = 0.0004

A20 → null

k18 = 0.0003

null → mRNAA20

k19 = 0

p50:p65@ncl → p50:p65@ncl + mRNAA20

k20 = 5e-007

IkBa@csl → null

k21 = 0.0001

mRNAIkBa → mRNAIkBa + IkBa@csl

k22 = 0.5

IkBa@csl k v IkBn

kf23 = 0.001 kr23 = 0.0005

null → mRNAIkBa

k25 = 0

mRNAIkBa → null

k27 = 0.0004

k v IkBa:p50:p65@ncl → IkBa:p50:p65@csl

kf28 = 0.01 kr28 = 0

Prop105:RNAP + FTAx Prop105:RNAP:FTAx

kf32 = 10 kr32 = 0.0001

Prop105:RNAP → Prop105:RNAP + RNAP1|active

k33 = 0.0005

Prop105:RNAP:FTAx → Prop105:RNAP:FTAx + RNAP1|active

k34 = 0.1

RNAP1|active → mRNAp105

k35 = 0.01

mRNAp105 → mRNAp105 + p105

k36 = 0.0041

mRNAp105 → null

k37 = 5e-005

p105 → null

k38 = 6e-005

p105 → p50

k39 = 0.00013

p50 → null

k40 = 6.4e-005

FTAy + Prop65:RNAP Prop65:RNAP:FTAy

kf41 = 10 kr41 = 0.0001

Prop65:RNAP → Prop65:RNAP + RNAP2|active

k42 = 0.0005

Prop65:RNAP:FTAy → Prop65:RNAP:FTAy + RNAP2|active

k43 = 0.1

RNAP2|active → mRNAp65

k44 = 0.016

mRNAp65 → mRNAp65 + p65

k45 = 0.0053

mRNAp65 → null

k46 = 5e-005

p65 → null

k47 = 6.4e-005

FTAz + ProIkBa:RNAP ProIkBa:RNAP:FTAz

kf48 = 10 kr48 = 0.0001

ProIkBa:RNAP → ProIkBa:RNAP + RNAP3|active

k49 = 0.0005

ProIkBa:RNAP:FTAz → ProIkBa:RNAP:FTAz + RNAP3|active

k50 = 0.02

RNAP3|active → mRNAIkBa

k51 = 0.025

p50 + p65 p50:p65@csl

kf52 = 0.003 kr52 = 0.001

p50:p65@csl → null

k53 = 0.0002

p50:p65@ncl → null

k54 = 0.0002

p50:p65@ncl + ProIkBa:RNAP ProIkBa:RNAP:p50:p65

kf55 = 0.62 kr55 = 0.00048

p50:p65@ncl + ProIkBa:RNAP:FTAz ProIkBa:RNAP:FTAz:p50:p65

kf56 = 0.62 kr56 = 0.00048

IkBn + p50:p65@nclProIkBa:RNAP ProIkBa:RNAP:p50:p65:IkBa

kf57 = 18.4 kr57 = 0.055

IkBn + ProIkBa:RNAP:FTAz:p50:p65 IkBnProIkBa:RNAP:FTAz:p50:p65

kf58 = 18.4 kr58 = 0.055

ProIkBa:RNAP:p50:p65:IkBa IkBa:p50:p65@ncl + ProIkBa:RNAP

kf59 = 0.0038 kr59 = 8e-013

IkBnProIkBa:RNAP:FTAz:p50:p65 IkBa:p50:p65@ncl + ProIkBa:RNAP:FTAz

kf60 = 0.0038 kr60 = 8e-013

p50:p65@nclProIkBa:RNAP → p50:p65@nclProIkBa:RNAP + RNAP3|active

k61 = 0.06

ProIkBa:RNAP:FTAz:p50:p65 → ProIkBa:RNAP:FTAz:p50:p65 + RNAP3|active

k62 = 0.6

p50:p65@ncl + Prop105:RNAP Prop105:RNAP:p50:p65

kf63 = 0.62 kr63 = 0.00048

p50:p65@ncl + Prop105:RNAP:FTAx Prop105:RNAP:FTAx:p50:p65

kf64 = 0.62 kr64 = 0.00048

IkBn + Prop105:RNAP:p50:p65 Prop105:RNAP:p50:p65:IkBa

kf65 = 18.4 kr65 = 0.055

IkBn + Prop105:RNAP:FTAx:p50:p65 Prop105:RNAP:FTAx:p50:p65:IkBa

kf66 = 18.4 kr66 = 0.055

Prop105:RNAP:p50:p65:IkBa IkBa:p50:p65@ncl + Prop105:RNAP

kf67 = 0.0038 kr67 = 8e-013

Prop105:RNAP:FTAx:p50:p65:IkBa IkBa:p50:p65@ncl + Prop105:RNAP:FTAx

kf68 = 0.0038 kr68 = 8e-013

Prop105:RNAP:p50:p65 → Prop105:RNAP:p50:p65 + RNAP1|active

k69 = 0.006

Prop105:RNAP:FTAx:p50:p65 → Prop105:RNAP:FTAx:p50:p65 + RNAP1|active

k70 = 0.06

IkBa:p50:p65@csl → null

k71 = 0.0002

IkBa:p50:p65@ncl → null

k72 = 0.0002

Detailed description of the complex model for NF-κB signalling. The names of the species are provided following the template similar to that proposed in B7676: Entity1name|Modifications ...: Entity2name|Modifications...[|active]@compartment. Here, the colon symbol ':' delimitates components of a complex. Optional suffix 'active' describes the active state of the protein. The localization information (@compartment suffix) is provided when a protein or complex exists in both nucleus (@ncl) and cytoplasm (@csl). Mass action law constants are either in s-1 or in μMs-1 units. kv parameter (cytoplasm/nucleus volume ratio) is set up to 5. First reactions in the list (Re1–Re28) correspond to the Lipniacky's model.

Model reduction

As an illustration of the model reduction flowchart, we obtain from the model proposed by Lipniacki [53] a series of simpler models. This model is (14, 25, 28) in our hierarchy: it contains only one reversible reaction and the total NF-κ B quantity is conserved n c = n r = 1. The description of the reactions can be found in Table 1 (Lipniacki's model is a submodel of our model).

The model was forced to function in a strongly oscillating regime. This situation is the most unfavorable for the simple version of Clarke's method which is doomed to shorten delays and to destabilize oscillations when intermediates are not appropriately chosen. Thus, it represents a good test for our method. First, we identify quasi-stationary and non-oscillating species. We define log-average concentration clog = log <c > and the log-amplitude alog = min(log max(c) - clog, clog - log min(c)) (the minimum is to avoid divergence when min(c) = 0). Species whose log-amplitudes are low and well separated from other values are declared non-oscillating. In order to detect quasi-stationary species, for each species A i we compare two trajectories (concentrations as functions of time): a) the trajectory in the unreduced model b) the trajectory of A i calculated from the trajectories of the species influencing A i by using the quasi-stationarity equation (22) for I = {i}. The two trajectories must be close one to another for quasi-stationary species (except for a short transition region), see Fig. 3a). Hausdorff distance between the two trajectories can be used to detect quasi-stationary species for automatic computation. Non-oscillating species could also satisfy this criterion, but after a larger transition region, because they are slow (see the behavior of IKK|inactive in Fig. 3a)).

These procedures allow to identify 7 quasi-stationary species (IKK|active, IKK, IKK|active:IkBa, IKK|active:IkBa:p50:p65, IkBa@ncl, IkBa:p50:p65@ncl, p50:p65@csl) and one non-oscillating species (IKK|inactive). Two species with small concentration (mRNAA20, mRNAIkBa) are not quasi-stationary, as their relaxation time can be compared to the period of the oscillations. The smallness of their concentration is not a consequence of rapid consumption, but of small production (transcription) rate. Two species with large concentration are quasi-stationary (IkBa@ncl, p50:p65@csl).

The 8 intermediate species can be grouped into two connected subsets (modules). The first module involves six cytosol located intermediates (IKK|active, IKK|inactive, IKK, IKK|active: IkBa, IKK|active:IkBa:p50:p65, p50:p65@csl) and four terminal species (A20, IkBa@csl, IkBa:p50:p65@csl, p50:p65@ncl). The intermediate reactions form the cytoplasmic part of the signalling mechanism. The kinase transformation reactions R1–11, the complex release reaction R12, the complex formation reaction R13 and the NF-κ B translocation reaction R15 are replaced by two simple sub-mechanisms representing the modulated inhibitor degradation (IkBa → ), and summarizing the NF-κ B release and translocation (IkBa:p50:p65@csl → p50:p65@ncl), respectively. The corresponding dominant rates are:
R 21 k 21 p 1 x 10 x 13 / ( ( k 21 p 2 + x 10 ) ( k 21 p 3 + x 8 ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGOmaiJaeGymaedabeaakiabgIKi7kabdUgaRnaaBaaaleaacqaIYaGmcqaIXaqmcqWGWbaCcqaIXaqmaeqaaOGaemiEaG3aaSbaaSqaaiabigdaXiabicdaWaqabaGccqWG4baEdaWgaaWcbaGaeGymaeJaeG4mamdabeaakiabc+caViabcIcaOiabcIcaOiabdUgaRnaaBaaaleaacqaIYaGmcqaIXaqmcqWGWbaCcqaIYaGmaeqaaOGaey4kaSIaemiEaG3aaSbaaSqaaiabigdaXiabicdaWaqabaGccqGGPaqkcqGGOaakcqWGRbWAdaWgaaWcbaGaeGOmaiJaeGymaeJaemiCaaNaeG4mamdabeaakiabgUcaRiabdIha4naaBaaaleaacqaI4aaoaeqaaOGaeiykaKIaeiykaKcaaa@57B5@
(34)
R 15 k 15 p 1 x 13 / ( ( k 15 p 2 + x 10 ) ( k 15 p 3 + x 8 ) ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGymaeJaeGynaudabeaakiabgIKi7kabdUgaRnaaBaaaleaacqaIXaqmcqaI1aqncqWGWbaCcqaIXaqmaeqaaOGaemiEaG3aaSbaaSqaaiabigdaXiabiodaZaqabaGccqGGVaWlcqGGOaakcqGGOaakcqWGRbWAdaWgaaWcbaGaeGymaeJaeGynauJaemiCaaNaeGOmaidabeaakiabgUcaRiabdIha4naaBaaaleaacqaIXaqmcqaIWaamaeqaaOGaeiykaKIaeiikaGIaem4AaS2aaSbaaSqaaiabigdaXiabiwda1iabdchaWjabiodaZaqabaGccqGHRaWkcqWG4baEdaWgaaWcbaGaeGioaGdabeaakiabcMcaPiabcMcaPaaa@5440@
(35)

where x10 = [IkBa@csl], x8 = [A 20], x13 = [IkBa : p 50 : p 65@csl], k21p 1= k3k9/k4, k21p2 = k15p2 = k15/k13, k15p2 = (k15k3k9)/(k4k13), k21p3 = k15p3 = k5/k4.

After reduction of the first module we obtain the model (8, 12, 19).

The second module is situated in the nucleus and contains IkBa@ncl and IKBnp50:p65@ncl. Three intermediate reactions (translocations of inhibitor and of the complex and complex formation) are replaced by one simple submechanism describing the nuclear complex formation and translocation (IkBa@csl + p50:p65@ncl → IkBa:p50:p65@csl) whose dominant rate is:
R 14 = k 14 p 1 x 10 x 7 / ( k 14 p 2 + x 7 ) MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGymaeJaeGinaqdabeaakiabg2da9iabdUgaRnaaBaaaleaacqaIXaqmcqaI0aancqWGWbaCcqaIXaqmaeqaaOGaemiEaG3aaSbaaSqaaiabigdaXiabicdaWaqabaGccqWG4baEdaWgaaWcbaGaeG4naCdabeaakiabc+caViabcIcaOiabdUgaRnaaBaaaleaacqaIXaqmcqaI0aancqWGWbaCcqaIYaGmaeqaaOGaey4kaSIaemiEaG3aaSbaaSqaaiabiEda3aqabaGccqGGPaqkaaa@4885@
(36)

where x7 = [p 50 : p 65@ncl], k14p 1= k23, k 14 p 2 = k v k 23 / k 14 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabigdaXiabisda0iabdchaWjabikdaYaqabaGccqGH9aqpcqWGRbWAdaWgaaWcbaGaemODayhabeaakiqbdUgaRzaafaWaaSbaaSqaaiabikdaYiabiodaZaqabaGccqGGVaWlcqWGRbWAdaWgaaWcbaGaeGymaeJaeGinaqdabeaaaaa@3D99@ .

This reduction step leads to the model (6, 10, 17). The dynamics (illustrated by trajectories in Fig. 3b) of the two new models is practically the same as the dynamics of the non-reduced model. One should not expect a perfect match because the method is based on asymptotic order relations between parameters. In establishing the expression of dominant rates we have considered that one parameter is much bigger than another one if the absolute value of their ratio is larger than ten. Of course, a more drastic criterion would produce more complex expressions, because less monomials could be simplified (separation of these monomials would not be large enough).

We have tested reduction of two more species that have small concentration but are not quasi-stationary. Reducing the species mRNAA20 leads to the model (5, 8, 15) Intermediate reactions (representing the transcription/translation module) are replaced by a single one (production of protein), of parameter k20p= k16k20/k17. This model has stable oscillations, but with slightly smaller period, and with different phase relations between oscillating species (A20 is almost in phase with nuclear NFκ B). Both period and phase changes result from the reduced delay on the negative feed-back loop containing A20. Reducing the species mRNAIkB has destabilizing effect on the oscillations. It is no longer possible to obtain self-sustained oscillations and damping times are generally smaller than for the non-reduced model. It is well known that delayed negative feed-back favors stable oscillations and that reducing the delay destabilizes oscillations. Our findings suggest that the delay along the IkBa negative feed-back loop is more important for the stability of the oscillations than the delay along the A20 loop.

Model reduction allows to identify critical and non-critical parameters. Parameters of reduced models are monomials of parameters of the non-reduced models (see Eqs.(34),(35),(36)). Some parameters of the non-reduced model may not occur in these monomials; these are non-critical parameters. Among monomials, only some are critical. Critical monomials are detected by sensitivity studies [66] performed on the reduced model. Critical parameters of the non-reduced model are contained in the critical monomials of the reduced model. The relation between critical parameters and critical monomials is hierarchical: monomials may be combined to form new monomials (in our example only two hierarchical levels are present). The degrees of critical monomials provide qualitative information on the influence of various critical parameters on the properties of the system. For instance, if two parameters have degrees of opposite signs in a critical monomial, their effects will be opposite.

As an example, we detect critical monomials in the simplest reduced model (5, 8, 15), first with respect to damping time and then with respect to the period of the oscillations. Deciding rigorously what large sensitivity means is not easy. In [34] we proposed a criterion which applies to properties that are homogeneous of degree ±1 in the kinetic constants, in particular, to characteristic times. Let τ be the studied quantity and k the parameter (monomial). We say that k is critical if sup | log ( s ) | < A | d log τ ( s k 0 ) d log s | > 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGagi4CamNaeiyDauNaeiiCaa3aaSbaaSqaaiabcYha8jGbcYgaSjabc+gaVjabcEgaNjabcIcaOiabdohaZjabcMcaPiabcYha8jabgYda8iabdgeabbqabaGccqGG8baFjuaGdaWcaaqaaiabdsgaKjGbcYgaSjabc+gaVjabcEgaNjabes8a0jabcIcaOiabdohaZjabdUgaRnaaBaaabaGaeGimaadabeaacqGGPaqkaeaacqWGKbazcyGGSbaBcqGGVbWBcqGGNbWzcqWGZbWCaaGccqGH+aGpcqaIXaqmaaa@5464@ , where A > 0 is some fixed constant and k0 some central value of the parameter. The sensitivity study is presented in Fig. 4. The relation between parameters of the initial and the reduced models is represented in Fig. 5. Damping time of the oscillations is most sensitive to parameters k14p 1, k18, k20p, k21p 1, k22, k26, C0. By changing these parameters, the oscillations can be modified from damped to self-sustained. The above parameters are the critical monomials from which we get the critical parameters (with respect to damping time) of the unreduced model: k23, k18, k16, k20, k17, k3, k9, k4, k22, k26, C0. The degrees of the critical monomials represent logarithmic sensitivities, therefore they provide both sign an strength of the influence of the critical parameters on the studied property. For instance, from k21p 1= k3k9(k4)-1 we can say that damping time can be increased (produce sustained oscillations) by reducing k3, or by reducing k9, or by increasing k4), see also Fig. 3.
https://static-content.springer.com/image/art%3A10.1186%2F1752-0509-2-86/MediaObjects/12918_2008_Article_243_Fig4_HTML.jpg
Figure 4

Log-log sensitivity of the damping time and of the period of the oscillations with respect to variations of different parameters of the model (5, 8, 15). The parameters are multiplied by a scale s (1/50, 50). The log(timescales) are represented as functions of log(s). Period and damping time are not represented on intervals of parameter values where oscillations are over-damped (the ratio of the damping time to the period is smaller than 1.75). Damping time is infinite and not represented for intervals of parameter values where oscillations are self-sustained. The latter intervals are limited by Hopf bifurcations where the damping time diverges.

https://static-content.springer.com/image/art%3A10.1186%2F1752-0509-2-86/MediaObjects/12918_2008_Article_243_Fig5_HTML.jpg
Figure 5

Correspondence between the parameters of the models (14, 25, 28) and (5, 8, 15). Parameters of the first model are gathered into monomials that are parameters of the reduced model. The integers on the arrows connecting parameters represent the corresponding powers of the parameters in the monomial. The critical monomials are connected to the property on which they act upon (here sustained oscillations). Thus, an increase of k21p 1= k2k9 k 4 1 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aa0baaSqaaiabisda0aqaaiabgkHiTiabigdaXaaaaaa@3034@ favors significantly the oscillations.

Critical parameters correspond to reactions affecting three targets: the kinase, A20, and the inhibitor, see Fig. 5. Four groups of critical monomials are easy to interpret. Increase of the monomial k20pstands for increasing the NF-κ B dependent A20 production (changing k17, k18 have the opposite effect, increase degradation). Increasing k26, k22 stands for increasing the NF-κ B dependent Iκ B production. The latter effect has been exploited in [52] to stabilize oscillations by transfecting HeLa cells with κ Iκ B-EGFP vector. Decreasing k14p 1stands for decreasing the nuclear concentration of the inhibitor, by reducing its translocation rate to the nucleus. It is possible that the experiment in [52] affected also this constant (in the right direction, ie towards decreased translocation rate) by attaching EGFP to the inhibitor. The critical monomial k21p 1is more difficult to interpret in terms of putative targets. It gathers recovery (via k3) and dynamical properties (via k9), as well as the A20 dependent inactivation (via k4) of the kinase IKK. Finally, increasing C0 means increasing the total concentration of NF-κ B (free or trapped).

The value of the period is remarkably robust. There are no critical monomials for the period.

Although the strongest effect on the oscillations has already been tested experimentally by increasing the NF-κ B dependent Iκ B production [52], there are two remaining targets (the kinase and A20) that could be tested experimentally.

The sequence of reduction steps described above is illustrated on Fig. 1S in Additional File 1. A series of simplified models provided in SBML 2.1 [67] format and annotated by CellDesigner 3.5 [68] software are submitted to BioModels database http://www.ebi.ac.uk/biomodels/ with the following ids: MODEL7743386835, MODEL7743358405, MODEL7743315447, MODEL7743212613.

Model comparison

To illustrate model comparison, we compare a version of our complex model (that employs only the most important member of the Iκ B family, namely Iκ Bα) to the model (14, 25, 28), proposed by Lipniacki [53]. Our model is (39, 65, 90 (there are 39 species, 65 reactions, among which 18 are reversible, 6 conservation laws, though the total NF-κ B quantity is not conserved). The model (14, 25, 28) is a submodel of (39,65, 90) in the sense that all its species are included in our larger model. The description of our model has been sketched at the beginning of the section 3.2. A complete description is given in Table 1. To perform model comparison we define the set of intermediates I as the difference of the sets of species of the two models. There are 25 intermediate species and a small frontier: only 5 terminal species.

In order to verify that intermediates can be eliminated with no consequence on the dynamics we have used the method described in the previous section.

The intermediate species can be divided into four functional modules: production of mRNAp50, production of mRNAp65, production of mRNAIκ B, and min funnel production of the complex p50:p65@csl, see Fig 6. We found three categories of intermediates. There are 10 quasi-stationary species, 3 non-oscillating species and 7 buffered species (species in large excess whose concentrations are practically constant). The elimination of these is entirely justified and has no consequence on the oscillations. There are 5 non-quasistationary, oscillating species. Among these, 4 are low concentration species, representing the states of two promoters (Prop105:RNAP, PropIkBa:RNAP) free and singly occupied by transcription factors FTAx, FTAz, respectively. However, we can safely eliminate them because transcription initiation starts dominantly when both p50:p65@csl and FTAx (or FTAz) are on the promoter, therefore the non-quasistationary promoter states are not important. The last non-quasistationary, oscillating species is p50 who binds to p65 (another slow, but non-oscillating species) to produce p50:p65@csl via the min funnel. Concentrations of all quasi-stationary intermediates are small (see Fig. 7a)), (< 10-4 μM corresponding to less than 30 molecules per cell). The reduction that we propose is fully justified for a deterministic model, but one may ask if deterministic differential equations apply in this case. We have shown elsewhere [33] that deterministic approximation can be applied in two different situations. The first, well known situation is when the numbers of molecules are large; the law of large numbers applies. The second, less known situation, is when some species are in small numbers, but when the reactions involving these species are frequent. An example is the quick binding-unbinding of a transcription factor on a promoter site. In this case, we can consider that various states of the promoter are at stochastic equilibrium (meaning they have reached a time invariant probability distribution). Under some conditions (the intermediate reactions should be pseudo-monomolecular), stochastic averaging [69] of the remaining equations (describing the promoter activity) with respect to the invariant distribution is equivalent to applying quasi-stationarity to the fast concentrations in the deterministic approach.
https://static-content.springer.com/image/art%3A10.1186%2F1752-0509-2-86/MediaObjects/12918_2008_Article_243_Fig6_HTML.jpg
Figure 6

Complete model (39, 65, 90) (left, top). Intermediate mechanisms for 1) Production module of p65; 2) Min-funnel production of p50:p65@csl; 3) Production module of p50.

https://static-content.springer.com/image/art%3A10.1186%2F1752-0509-2-86/MediaObjects/12918_2008_Article_243_Fig7_HTML.jpg
Figure 7

Model comparison a) Trajectories of various species for the model M (39, 65, 90); quasi-stationary species have concentrations in the lower cluster. b) Production rates of mRNAIκ B for two models having the same reactions and species, differing only by one kinetic law. c) Trajectories (signal applied at t = 20). Notice the different behavior of IkBa@csl in (14, 25, 28).

Reduction can be decomposed into several steps. The first three steps correspond to simplifications of the mechanisms producing the proteins p50, p65, and the mRNAIkBa. Thus, the reactions R41–46, R32–39, R63–70, R48–51, R55–62 are replaced by the simple submechanisms → p65, → p50, → mRNAIkBa, of rates R 45 , R 39 , R 26 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGinaqJaeGynaudabeaakiabcYcaSiqbdkfaszaafaWaaSbaaSqaaiabiodaZiabiMda5aqabaGccqGGSaalcuWGsbGugaqbamaaBaaaleaacqaIYaGmcqaI2aGnaeqaaaaa@37A6@ , respectively. The quasi-stationarity equations become linear after applying the strong binding, large concentration approximation for the transcription factors FTAx-y-z. The corresponding linear mechanisms R I MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaSbaaSqaaiabdMeajbqabaaaaa@37EC@ are represented in Fig. 6. The dominant solutions of the quasistationarity equations are obtained with techniques presented for linear subsystems. Using also Eq.(28) we find the following simple submechanism rates:
R 45 k 43 k 45 k 46 [ P r o p 65 : R N A P ] 0 , MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGinaqJaeGynaudabeaakiabgIKi7MqbaoaalaaabaGaem4AaS2aaSbaaeaacqaI0aancqaIZaWmaeqaaiabdUgaRnaaBaaabaGaeGinaqJaeGynaudabeaaaeaacqWGRbWAdaWgaaqaaiabisda0iabiAda2aqabaaaaOGaei4waSLaemiuaaLaemOCaiNaem4Ba8MaemiCaaNaeGOnayJaeGynauJaeiOoaOJaemOuaiLaemOta4KaemyqaeKaemiuaaLaeiyxa01aaSbaaSqaaiabicdaWaqabaGccqGGSaalaaa@4D7F@
(37)
R 39 k 39 p 1 x 11 + k 39 p 2 x 7 x 7 x 11 + k 39 p 3 x 11 + k 39 p 4 x 7 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeG4mamJaeGyoaKdabeaakiabgIKi7MqbaoaalaaabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI5aqocqWGWbaCcqaIXaqmaeqaaiabdIha4naaBaaabaGaeGymaeJaeGymaedabeaacqGHRaWkcqWGRbWAdaWgaaqaaiabiodaZiabiMda5iabdchaWjabikdaYaqabaGaemiEaG3aaSbaaeaacqaI3aWnaeqaaaqaaiabdIha4naaBaaabaGaeG4naCdabeaacqWG4baEdaWgaaqaaiabigdaXiabigdaXaqabaGaey4kaSIaem4AaS2aaSbaaeaacqaIZaWmcqaI5aqocqWGWbaCcqaIZaWmaeqaaiabdIha4naaBaaabaGaeGymaeJaeGymaedabeaacqGHRaWkcqWGRbWAdaWgaaqaaiabiodaZiabiMda5iabdchaWjabisda0aqabaGaemiEaG3aaSbaaeaacqaI3aWnaeqaaaaaaaa@5DEB@
(38)
R 26 k 26 p 1 x 11 + k 26 p 2 x 7 x 7 x 11 + k 26 p 3 x 11 + k 26 p 4 x 7 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGOmaiJaeGOnaydabeaakiabgIKi7MqbaoaalaaabaGaem4AaS2aaSbaaeaacqaIYaGmcqaI2aGncqWGWbaCcqaIXaqmaeqaaiabdIha4naaBaaabaGaeGymaeJaeGymaedabeaacqGHRaWkcqWGRbWAdaWgaaqaaiabikdaYiabiAda2iabdchaWjabikdaYaqabaGaemiEaG3aaSbaaeaacqaI3aWnaeqaaaqaaiabdIha4naaBaaabaGaeG4naCdabeaacqWG4baEdaWgaaqaaiabigdaXiabigdaXaqabaGaey4kaSIaem4AaS2aaSbaaeaacqaIYaGmcqaI2aGncqWGWbaCcqaIZaWmaeqaaiabdIha4naaBaaabaGaeGymaeJaeGymaedabeaacqGHRaWkcqWGRbWAdaWgaaqaaiabikdaYiabiAda2iabdchaWjabisda0aqabaGaemiEaG3aaSbaaeaacqaI3aWnaeqaaaaaaaa@5DC3@
(39)

Where x7 = [p50 : p65@ncl], x11 = [IkBa@ncl], k 39 p 1 = k 39 k 38 + k 39 k 36 k 34 k 68 P 0 105 k 37 k 64 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabiodaZiabiMda5iabdchaWjabigdaXaqabaGccqGH9aqpjuaGdaWcaaqaaiabdUgaRnaaBaaabaGaeG4mamJaeGyoaKdabeaaaeaacqWGRbWAdaWgaaqaaiabiodaZiabiIda4aqabaGaey4kaSIaem4AaS2aaSbaaeaacqaIZaWmcqaI5aqoaeqaaaaadaWcaaqaaiabdUgaRnaaBaaabaGaeG4mamJaeGOnaydabeaacqWGRbWAdaWgaaqaaiabiodaZiabisda0aqabaGaem4AaS2aaSbaaeaacqaI2aGncqaI4aaoaeqaaiabdcfaqnaaDaaabaGaeGimaadabaGaeGymaeJaeGimaaJaeGynaudaaaqaaiabdUgaRnaaBaaabaGaeG4mamJaeG4naCdabeaacqWGRbWAdaWgaaqaaiabiAda2iabisda0aqabaaaaaaa@54E6@ , k 39 p 2 = k 39 k 36 k 38 + k 39 k 66 k 70 P 0 105 k 37 k 66 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabiodaZiabiMda5iabdchaWjabikdaYaqabaGccqGH9aqpjuaGdaWcaaqaaiabdUgaRnaaBaaabaGaeG4mamJaeGyoaKdabeaacqWGRbWAdaWgaaqaaiabiodaZiabiAda2aqabaaabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI4aaoaeqaaiabgUcaRiabdUgaRnaaBaaabaGaeG4mamJaeGyoaKdabeaaaaWaaSaaaeaacuWGRbWAgaqbamaaBaaabaGaeGOnayJaeGOnaydabeaacqWGRbWAdaWgaaqaaiabiEda3iabicdaWaqabaGaemiuaa1aa0baaeaacqaIWaamaeaacqaIXaqmcqaIWaamcqaI1aqnaaaabaGaem4AaS2aaSbaaeaacqaIZaWmcqaI3aWnaeqaaiabdUgaRnaaBaaabaGaeGOnayJaeGOnaydabeaaaaaaaa@54F4@ , k 39 p 3 = k 68 k 64 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabiodaZiabiMda5iabdchaWjabiodaZaqabaGccqGH9aqpjuaGdaWcaaqaaiabdUgaRnaaBaaabaGaeGOnayJaeGioaGdabeaaaeaacqWGRbWAdaWgaaqaaiabiAda2iabisda0aqabaaaaaaa@3A47@ , k 39 p 4 = k 66 k 66 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabiodaZiabiMda5iabdchaWjabisda0aqabaGccqGH9aqpjuaGdaWcaaqaaiqbdUgaRzaafaWaaSbaaeaacqaI2aGncqaI2aGnaeqaaaqaaiabdUgaRnaaBaaabaGaeGOnayJaeGOnaydabeaaaaaaaa@3A55@ , k 26 p 1 = k 50 k 60 P 0 I k B a k 56 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabikdaYiabiAda2iabdchaWjabigdaXaqabaGccqGH9aqpjuaGdaWcaaqaaiabdUgaRnaaBaaabaGaeGynauJaeGimaadabeaacqWGRbWAdaWgaaqaaiabiAda2iabicdaWaqabaGaemiuaa1aa0baaeaacqaIWaamaeaacqWGjbqscqWGRbWAcqWGcbGqcqWGHbqyaaaabaGaem4AaS2aaSbaaeaacqaI1aqncqaI2aGnaeqaaaaaaaa@449E@ , k 26 p 2 = k 58 k 62 P 0 I k B a k 58 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabikdaYiabiAda2iabdchaWjabikdaYaqabaGccqGH9aqpjuaGdaWcaaqaaiqbdUgaRzaafaWaaSbaaeaacqaI1aqncqaI4aaoaeqaaiabdUgaRnaaBaaabaGaeGOnayJaeGOmaidabeaacqWGqbaudaqhaaqaaiabicdaWaqaaiabdMeajjabdUgaRjabdkeacjabdggaHbaaaeaacqWGRbWAdaWgaaqaaiabiwda1iabiIda4aqabaaaaaaa@44C4@ , k 26 p 3 = k 60 k 56 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabikdaYiabiAda2iabdchaWjabiodaZaqabaGccqGH9aqpjuaGdaWcaaqaaiabdUgaRnaaBaaabaGaeGOnayJaeGimaadabeaaaeaacqWGRbWAdaWgaaqaaiabiwda1iabiAda2aqabaaaaaaa@3A31@ , k 26 p 4 = k 58 k 58 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4AaS2aaSbaaSqaaiabikdaYiabiAda2iabdchaWjabisda0aqabaGccqGH9aqpjuaGdaWcaaqaaiqbdUgaRzaafaWaaSbaaeaacqaI1aqncqaI4aaoaeqaaaqaaiabdUgaRnaaBaaabaGaeGynauJaeGioaGdabeaaaaaaaa@3A51@ . P 0 105 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiuaa1aa0baaSqaaiabicdaWaqaaiabigdaXiabicdaWiabiwda1aaaaaa@30EF@ , P 0 I k B a MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiuaa1aa0baaSqaaiabicdaWaqaaiabdMeajjabdUgaRjabdkeacjabdggaHbaaaaa@32EB@ are the concentrations of promoter sites of p105, IkBa, respectively.

The fourth step is a min funnel simplification of the production of the complex p 50 : p 65@csl.

R 39 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeG4mamJaeGyoaKdabeaaaaa@2F2E@ , R40, R 45 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGinaqJaeGynaudabeaaaaa@2F28@ , R47, R52 are replaced by → p50:p65@csl, of rate:
R 52 m i n ( R 39 , R 45 ) = R 39 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGynauJaeGOmaidabeaakiabgIKi7kabd2gaTjabdMgaPjabd6gaUjabcIcaOiqbdkfaszaafaWaaSbaaSqaaiabiodaZiabiMda5aqabaGccqGGSaalcuWGsbGugaqbamaaBaaaleaacqaI0aancqaI1aqnaeqaaOGaeiykaKIaeyypa0JafmOuaiLbauaadaWgaaWcbaGaeG4mamJaeGyoaKdabeaaaaa@4301@
(40)

This leads to the model (14, 30, 41).

The fifth step, justified by averaging, introduces a new conservation law (the model (14, 30, 41) has no conservation law). Without the reactions R 52 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGynauJaeGOmaidabeaaaaa@2F24@ , R53–54, R71–72, that produce and consume p 50 : p 65, the total amount of p 50 : p 65 (free or in complexes with other species) would be conserved. Considering that the degradation reactions R53–54, R71–72, R72 have the same constant k, the total amount of NF-κ B (free, or in complexes) represented by the variable

C = [p 50 : p 65@csl] + [p 50 : p 65@ncl]/k v + [p 50 : p 65 : IkBa@csl] + ... satisfies the equation :
d C d t = k C + R 52 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqWGKbazcqWGdbWqaeaacqWGKbazcqWG0baDaaGccqGH9aqpcqGHsislcqWGRbWAcqWGdbWqcqGHRaWkcuWGsbGugaqbamaaBaaaleaacqaI1aqncqaIYaGmaeqaaaaa@3A7F@
(41)
The dynamics (41) has two time scales, a slow timescale 1/k and a rapid timescale, the period of the oscillations ( R 52 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGynauJaeGOmaidabeaaaaa@2F24@ is oscillating). C is a slow, non-oscillating variable, it averages oscillations. Thus, the asymptotic, total amount of NF-κ B is:
C 0 = < R 52 > / k , MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aaSbaaSqaaiabicdaWaqabaGccqGH9aqpcqGH8aapcuWGsbGugaqbamaaBaaaleaacqaI1aqncqaIYaGmaeqaaOGaeyOpa4Jaei4la8Iaem4AaSMaeiilaWcaaa@37E6@
(42)

where the average is over a period of the oscillations.

In the fifth reduction step, reactions R52, R53, R54, R71, R72 are eliminated. Initial conditions of the system are chosen such that initial total NF-κ B is C0 (this is a conserved value and a new parameter of the model).

We obtain the model (14, 25, 33) that has the same species and reactions as Lipniacki's model (14, 25, 28), but slightly more parameters. The difference in the number of parameters comes from the more complex expressions of the mRNA Iκ B transcription rate R 26 MathType@MTEF@5@5@+=feaagaart1ev2aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGafmOuaiLbauaadaWgaaWcbaGaeGOmaiJaeGOnaydabeaaaaa@2F26@ given by (39). In our model this rate is modulated by the nuclear Iκ B concentration x11 (indeed, the inhibitor can unbind NF-κ B from DNA). This phenomenon is not taken into account in [53] where the corresponding rate is simply R26 = k26x7.

One important objective of model comparison is to obtain the parameter mapping. This allows to calculate the parameters of one model if the parameters of the other model are known. Then, dynamical properties of the models can be compared. In our example, all the parameters of (14, 25, 28) should be equal to the corresponding parameters of (39, 65, 90) except for C0 and k26 which are obtained by averaging (C0 is given by Eq.(42) and k26 is calculated in order to have equal average production rates of mRNAIκ B in the two models, see Fig. 7b). Dynamical comparison has been done in Fig. 7c. The model (14, 25, 33) is a reduction of (39, 65, 90), therefore the dynamics of these two models is very similar. The model (14, 25, 28) preserves the main features of the dynamics, except for the behavior Iκ Ba. Without signal, the quantity of inhibitor in (14, 25, 28) is small (it is largely in excess in the other two models). With signal, the amplitude of the oscillations is higher in (14, 25, 28). These differences follow from the different kinetic laws for the transcription of Iκ Ba. Basically, in M(14, 25, 33) and (39, 65, 90), Iκ Ba has some negative influence on its own production (see Eq.(39)).

Our most complex model can account for phenomena that can not be studied by any of the conservative models (14, 25, 28), (14, 25, 33), namely it can take into account variations of the NF-κ B total quantity. Although this is not important in normal situations (when C is conserved), it could become important if one wants to cope with strong perturbations of NF-κ B activity.

Thus, using a more complex model depends on the experimental situation (number of variables that can be observed, or controlled, type of perturbation). The role of mathematics and modeling in quantitative biology is to predict the behavior of a system. Depending on which behavior, the simplest theory can change, and we want a hierarchy of models and model mapping methods. The process can go in both directions: reducing, or increasing the number of details.

Model mapping also allows to identify non-critical and critical parameters. Let us give only two examples. The constants or reactions 13,14 (formation of the complex) are not critical and one does not need to know them with precision. Actually, variations by a factor 100 in these constants do not change the dynamics.

The values that we use come from [51], who cites two other references [70, 71] that seem to propose very different values. Our analysis shows that this is not important. On the contrary, we show that the constant C0 (total concentration of NF-κ B) is a critical parameter. Reference [72] proposes 60000 molecules in a volume (of a fibroblast cell) of 2000 μm3. This means C0 = 0.06 μM. Nevertheless, cell volume estimate is not really precise and errors can easily shift the model from a damped oscillatory to a sustained oscillatory dynamics. In this case, it is the comparison between model prediction and theoretical observation that can fix the value of the critical parameter.

The sequence of reduction steps described in this section is illustrated on Fig. 2S1–2S7 in Additional File 1. A series of models of decreasing complexity starting from (39, 65, 90) and upto (14, 25, 33) provided in SBML 2.1 [67] format and annotated by CellDesigner 3.5 software [68] are submitted to BioModels database http://www.ebi.ac.uk/biomodels/ with the following ids: MODEL7743656488, MODEL7743631122, MODEL7743608569, MODEL7743576806, MODEL7743528808, MODEL7743444866.

Conclusion

We have presented a methodology for reducing and comparing systems biology models. We show how to produce a hierarchy of coarse grained models that can be used for understanding functioning of the biological systems. We show how models in the hierarchy can be mapped one onto another, thus allowing to decrease or to increase the number of details that are needed for the description of the system. Our method identifies the set of critical parameters of the system. This can be particularly useful for robustness studies (when robustness is understood as stability against parameter variability [34]) or for practical multi-target approaches in pharmacology.

We did not approach aspects of multi-scale modeling that occur in multi-organ physiology, or spatial aspects. Relation with stochastic modelling has been only briefly discussed and will be presented in detail elsewhere (Crudu et al., in preparation). The reduction methods presented here can be applied to systems of biochemical reactions modeling cell physiology [73] and can be usefully applied to various problems in signalling, metabolism, genetic regulation.

A central idea in our treatment is the hypothesis that biological systems are hierarchial, involving many separated time scales. The reduction methods were adapted to exploit this situation (we look for dominant subsystems, which lead to tremendous simplification). The hierarchical nature of the systems is not sufficiently exploited by more traditional approaches. For instance, singular perturbation copes with two time scales and eliminates the fastest. In biology, we are often interested in a "middle" time-scale, corresponding to a particular process that we study. We have shown how to eliminate both faster and slower variables. Another specificity of systems biology is the quest for critical parameters. Our approach offers naturally a solution: critical parameters are detected in the reduction process. It also extends the theory of limiting step to complex networks [1]. Showing how to find critical parameters and dominant simplifications is a first step towards a dynamical systems approach to physiology. Indeed, complex networks fulfill various tasks in simple ways by activating a few degrees of freedom. Dominant subsystems gather dynamical variables that are activated and can change when the system needs to perform a given task. Changing task could be represented as zooming in and out (change the number of degrees of freedom), or jumping laterally (change the set of degrees of freedom) in the hierarchy of models. As pointed out by Denis Noble [74], physiology should not be understood from the bottom upwards. Our approach suggests that not only the subjective understanding, but also the objective functioning of biological systems can be based on middle-out (meaning variable level of detail) pictures.

As future work we will improve our algorithms in order to propose fully automated reduction tools. At present, the automated sections of our methods are the calculation of dominant subsystems of pseudo-monomolecular subsystems and the calculation of simple sub-mechanisms stoichiometries and rates. The detection of quasi-stationary and non-oscillating species is semi-automated. The solutions of quasi-stationarity and averaged stationarity equations are not yet fully automated (except for the pseudo-monomolecular case).

We also plan to consider other applications such as high dimensional switches [75].

Concerning our model comparison methods, we would like to study hierarchies of kinetic models coming from various organisms, for which the conserved and the specific parts are the result of evolution.

Declarations

Acknowledgements

We acknowledge support from the French Ministry of Research program ACI IMPBio, from the British Council/French Foreign Affairs Ministry cooperation program Alliance (Partenariat Hubert Curien), from the French Complex Systems Institute ISC and EC-FP-7 (APO-SYS). AZ is member of the team "Systems Biology of Cancer "équipe labellisée par la Ligue Nationale Contre le Cancer. We thank Upinder Bhalla, Dennis Bray and John Reinitz for inspiring discussions. We also thank the students that contributed to some of the programs used in this work: Karine Yviquel, IFSIC intern and Debasis Panda, INRIA intern from IBAB.

Authors’ Affiliations

(1)
IRMAR (CNRS UMR 6025) and IRISA/INRIA
(2)
Department of Mathematics, University of Leicester
(3)
Institut Curie, Service Bioinformatique
(4)
INSERM, U900
(5)
Ecole des Mines de Paris
(6)
Institute of Computational Modeling SB RAS
(7)
Cytosquelette et Développement (CNRS UMR 7000), Faculté de Médecine Pitié-Salpêtrière, 105, boulevard de l'Hôpital
(8)
Stress et Pathologies du Cytosquelette (EA300), Université Paris 7 Denis Diderot, 4, rue Marie-Andrée Lagroua Weill-Hallé

References

  1. Gorban AN, Radulescu O: Dynamic and static limitation in reaction networks, revisited. Advances in Chemical Engineering. 2008, 34: 103-173. http://arxiv.org/abs/physics/0703278View ArticleGoogle Scholar
  2. Lam SH, Goussis DA: The CSP Method for Simplifying Kinetics. International Journal of Chemical Kinetics. 1994, 26: 461-486.View ArticleGoogle Scholar
  3. Chiavazzo E, Gorban AN, Karlin IV: Comparisons of Invariant Manifolds for Model Reduction in Chemical Kinetics. Comm Comp Phys. 2007, 2: 964-992.Google Scholar
  4. Gorban AN, Karlin IV: Method of invariant manifold for chemical kinetics. Chem Eng Sci. 2003, 58: 4751-4768. 10.1016/j.ces.2002.12.001.View ArticleGoogle Scholar
  5. Gorban AN, Karlin IV: Invariant manifolds for physical and chemical kinetics, Lect. Notes. Phys. 660. 2005, Berlin, Heidelberg: SpringerGoogle Scholar
  6. Gorban AN, Karlin IV, Zinovyev AY: Invariant grids for reaction kinetics. Physica A. 2004, 333: 106-154. 10.1016/j.physa.2003.10.043.View ArticleGoogle Scholar
  7. Roussel MR, Fraser SJ: On the geometry of transient relaxation. J Chem Phys. 1991, 94: 7106-7113.View ArticleGoogle Scholar
  8. Krauskopf B, Osinga HM, Doedel EJ, Henderson ME, Guckenheimer J, Vladimirsky A, Dellnitz M, Junge O: A survey of method's for computing (un)stable manifold of vector fields. International Journal of Bifurcation and Chaos. 2005, 15: 763-791.View ArticleGoogle Scholar
  9. Auger P, de la Para RB, Poggiale JC, Sanchez E, Huu TN: Aggregation of variables and applications to population dynamics. Structured Population Models in Biology and Epidemiology, LNM 1936, Mathematical Biosciences Subseries. Edited by: Magal P, Ruan S. 2008, 209-263. Berlin: SpringerGoogle Scholar
  10. Gorban AN, Kazantzis N, Kevrekidis IG, Ottinger HC, : CT: Model Reduction and Coarse-Graining Approaches for Multiscale Phenomena. 2006, Berlin-Heidelberg-New York: SpringerGoogle Scholar
  11. Conzelmann H, Saez-Rodriguez J, Sauter T, Bullinger E, Allgower F, Gilles ED: Reduction of mathematical models of signal transduction networks: simulation-based approach applied to EGF receptor signalling. Syst Biol (Stevenage). 2004, 1 (1): 159-169.View ArticleGoogle Scholar
  12. Wang R, Zhou T, Jing Z, Chen L: Modelling periodic oscillations of biological systems with multiple timescales network. Syst Biol. 2004, 1: 71-84.View ArticleGoogle Scholar
  13. Indic P, Gurdziel K, Kronauer RE, Klerman EB: Development of a two-dimension manifold to represent high dimension mathematical models of the intracellular mammalian clock. J Biol Rhythms. 2006, 21: 222-232.View ArticlePubMedGoogle Scholar
  14. Borisov NM, Markevich NI, Hoek JB, Kholodenko BN: Signaling through Receptors and Scaffolds: Independent Interactions Reduce Combinatorial Complexity. Biophys J. 2005, 89: 951-966.PubMed CentralView ArticlePubMedGoogle Scholar
  15. Conzelmann H, Saez-Rodriguez J, Sauter T, Kholodenko BN, Gilles ED: A domain-oriented approach to the reduction of combinatorial complexity in signal transduction networks. BMC Bioinformatics. 2006, 7: 34-PubMed CentralView ArticlePubMedGoogle Scholar
  16. Reinhardt V, Winckler M, Lebiedz D: Approximation of slow attracting manifolds in chemical kinetics by trajectory-based optimization approaches. J Phys Chem A. 2008, 112: 1712-1718.View ArticlePubMedGoogle Scholar
  17. Jolliffe IT: Principal Component Analysis, Series: Springer Series in Statistics. 2002, XXIX: New York: Springer, 2Google Scholar
  18. Berkooz G, Holmes P, Lumley JL: The proper orthogonal decomposition in the analysis of turbulent flows. Annu Rev Fluid Mech. 1993, 25: 539-575.View ArticleGoogle Scholar
  19. Tresser C, Worfolk A, Baas H: Master-slave synchronization from the point of view of global dynamics. Chaos. 1995, 5: 693-699.View ArticlePubMedGoogle Scholar
  20. Pécou E: Splitting the dynamics of large interaction networks. J Theor Biol. 2005, 232: 375-384.View ArticlePubMedGoogle Scholar
  21. Schnell S, Maini PK: Enzyme Kinetics Far From the Standard Quasi-Steady-State and Equilibrium Approximations. Mathematical and Computer Modelling. 2002, 35: 137-144.View ArticleGoogle Scholar
  22. Bogoliubov NN, Mitropolski YA: Asymptotic Methods in the Theory of Nonlinear Oscillations. 1961, New York: Gordon and BreachGoogle Scholar
  23. Givon D, Kupferman R, Stuart A: Extracting macroscopic dynamics: model problems and algorithms. Nonlinearity. 2004, 17: R55-R127.View ArticleGoogle Scholar
  24. Acharya A, Sawant A: On a computational approach for the approximate dynamics of averaged variables in nonlinear ODE systems: Toward the derivation of constitutive laws of the rate type. J Mech Phys Sol. 2006, 54: 2183-2213.View ArticleGoogle Scholar
  25. Toth J, Li G, Rabitz H, Tomlin AS: The Effect of Lumping and Expanding on Kinetic Differential Equations. SIAM J Appl Math. 1997, 57: 1531-1556.View ArticleGoogle Scholar
  26. Clarke BL: General Method for Simplifying Chemical Networks while Preserving Overall Stoichiometry in Reduced Mechanisms. J Phys Chem. 1992, 97: 4066-4071.View ArticleGoogle Scholar
  27. Kruskal MD: Asymptotology. Mathematical Models in Physical Sciences. Edited by: Dobrot S. 1963, 17-48. New Jersey: Prentice-HallGoogle Scholar
  28. Holmes MH: Introduction to Perturbation Methods. 1995, New York: SpringerView ArticleGoogle Scholar
  29. Vishik MI, Ljusternik LA: Solution of some perturbation problems in the case of matrices and self-adjoint or non-selfadjoint differential equations. Russian Math Surveys. 1960, 15: 1-73.View ArticleGoogle Scholar
  30. Akian M, Bapat R, Gaubert S: Min-plus methods in eigenvalue perturbation theory and generalised Lidskii-Vishik-Ljusternik theorem. arXiv e-print math.SP/0402090. 2004Google Scholar
  31. White RB: Asymptotic Analysis of Differential Equations. 2006, London: Imperial College Press and World ScientificGoogle Scholar
  32. Ball K, Kurtz TG, Popovic L, Rempala G: Asymptotic analysis of multiscale approximations to reaction networks. Ann Appl Probab. 2006, 16: 1925-1961.View ArticleGoogle Scholar
  33. Radulescu O, Muller A, Crudu A: Théorémes limites pour des processus de Markov à sauts. Synthèse des resultats et applications en biologie moleculaire. Technique et Science Informatique. 2007, 26: 443-469. http://cat.inist.fr/?aModele=afficheN&cpsidt=18842024View ArticleGoogle Scholar
  34. Gorban AN, Radulescu O: Dynamical robustness of biological networks with hierarchical distribution of time scales. IET Systems Biology. 2007, 1: 238-246.View ArticlePubMedGoogle Scholar
  35. Glass L: Classification of biological networks by their qualitative dynamics. J Theor Biol. 1975, 54: 85-107.View ArticlePubMedGoogle Scholar
  36. Snoussi EH: Qualitative dynamics of piecewise-linear differential equations: a discrete mapping approach. Dyn Stab Syst. 1989, 4: 189-207.View ArticleGoogle Scholar
  37. de Jong H, Gouzé JL, Hernandez C, Page M, Sari T, Geiselmann J: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull Math Biol. 2004, 66: 301-340.View ArticlePubMedGoogle Scholar
  38. Klamt S, Saez-Rodriguez J, Lindquist JA, Simeoni L, Gilles ED: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics. 2006, 7: 56-PubMed CentralView ArticlePubMedGoogle Scholar
  39. Temkin ON, Zeigarnik AV, Bonchev D: Chemical Reactions Networks. 1996, Boca Raton: CRC PressGoogle Scholar
  40. Tikhonov AN, Vasileva AB, Sveshnikov AG: Differential equations. 1985, Berlin: SpringerView ArticleGoogle Scholar
  41. Wasow W: Asymptotic Expansions for Ordinary Differential Equations. 1965, New York: WileyGoogle Scholar
  42. Fenichel N: Geometric Singular Perturbation Theory for Ordinary Differential Equations. J Diff Eq. 1979,31: 53-98.View ArticleGoogle Scholar
  43. Gagneur J, Klamt S: Computation of elementary modes: a unifying framework and the new binary approach. BMC Bioinformatics. 2004, 5: 175-PubMed CentralView ArticlePubMedGoogle Scholar
  44. Urbanczik R, Wagner C: An improved algorithm for stoichiometric network analysis: theory and applications. Bioinformatics. 2005, 21: 1203-1210.View ArticlePubMedGoogle Scholar
  45. Klamt S, Gagneur J, von Kamp A: Algorithmic approaches for computing elementary modes in large biochemical reaction networks. IEE Proc Syst Biol. 2005, 152: 249-55.View ArticleGoogle Scholar
  46. Bjorner A, Las Vergnas M, Sturmfels B, White N, Ziegler G: Oriented Matroids. 1999, Cambridge: Cambridge University Press, 2Google Scholar
  47. Bruno AD: Power Geometry in Algebraic and Differential Equations. 2000, Amsterdam: North-HollandGoogle Scholar
  48. Pontryagin LS, Rodygin LV: Approximate solution of a system of ordinary differential equations involving a small parameter in the derivatives. Soviet Math Dokl. 1960, 1: 237-240.Google Scholar
  49. Sari T, Yadi K: On Pontryagin-Rodygin's theorem for convergence of solutions of slow and fast systems. Electr J Diff Eq. 2004, 2004: 1-17.Google Scholar
  50. Ghosh S, Karin M: Missing pieces in the NF-κ B puzzle. Cell. 2002, 109: S81-96.View ArticlePubMedGoogle Scholar
  51. Hoffmann A, et al.: The Iκ B-NF-κ B signaling module: temporal control and selective gene activation. Science. 2002, 298: 1241-1245.View ArticlePubMedGoogle Scholar
  52. Nelson DE, et al.: Oscillations in NF-κ B Signaling Control the Dynamics of Gene Expression. Science. 2004, 306: 704-708.View ArticlePubMedGoogle Scholar
  53. Lipniacki T, Paszek P, Brasier AR, Luxon B, Kimmel M: Mathematical model of NF-κ B regulatory module. J Theor Biol. 2004, 228: 195-215.View ArticlePubMedGoogle Scholar
  54. Ihekwaba AEC, et al.: Sensitivity analysis of parameters controlling oscillatory signalling in the NF-κ B pathway: the roles of IKK and Iκ Bα. Syst Biol. 2004, 1: 93-102.View ArticleGoogle Scholar
  55. Krishna S, Jensen M, Sneppen K: Minimal model of spiky oscillations in NF-κ B signaling. Proc Natl Acad Sci USA. 2006, 103: 10840-45.PubMed CentralView ArticlePubMedGoogle Scholar
  56. Yean D, Gralla J: Transcription reinitiation rate: a special role for the TATA box. Mol Cell Biol. 1997, 17: 3809-16.PubMed CentralView ArticlePubMedGoogle Scholar
  57. Yie J, Senger K, Thanos D: Mechanism by which the IFN-β enhanceosome activates transcription. Proc Natl Acad Sci USA. 1999, 96: 13108-13.PubMed CentralView ArticlePubMedGoogle Scholar
  58. Dintzis HM: Assembly of the peptide chains of hemoglobin. Proc Natl Acad Sci USA. 1961, 47: 247-61.PubMed CentralView ArticlePubMedGoogle Scholar
  59. Jansen GMC, Moller W: Kinetic studies on the role of elongation factors 1β and 1γ in protein synthesis. J Biol Chem. 1988, 263: 1773-8.Google Scholar
  60. Narayan S, Widen SG, Beard WA, Wilson SH: RNA polymerase II transcription. J Biol Chem. 1994, 269: 12755-63.PubMedGoogle Scholar
  61. Wen JD, Lancaster L, Hodges C, Zeri AC, Yoshimura SG, Noller HF, Bustamante C, Tinoco I: Following translation by single ribosomes one codon at a time. Nature. 2008, 452: 598-603.PubMed CentralView ArticlePubMedGoogle Scholar
  62. Hart DJ, Speight RE, Cooper MA, Sutherland JD, Blackburn JM: The salt dependence of DNA recognition by NF-κ B p50: a detailed kinetic analysis of the effects on affinity and specificity. Nucl Acids Res. 1999, 27: 1063-9.PubMed CentralView ArticlePubMedGoogle Scholar
  63. de Lumley M, Hart DJ, Cooper MA, Symeonides S, Blackburn JM: A biophysical characterisation of factors controlling dimerisation and selectivity in the NF-κ B and NFAT families. J Mol Biol. 2004, 339: 1059-75.View ArticlePubMedGoogle Scholar
  64. Phelps CB, Sengchanthalangsy LL, Huxford T, Ghosh G: Mechanism of Iκ Bα binding to NF-κ B dimers. J Biol Chem. 2000, 275: 29840-6.View ArticlePubMedGoogle Scholar
  65. O'Dea E, Barken D, Peralta R, Tran T, Werner S, Kearns J, Levchenko A, Hoffmann A: A homeostatic model of Iκ B metabolism to control constitutive NF-κ B activity. Mol Syst Biol. 2007, 3: 1-7.View ArticleGoogle Scholar
  66. Rabitz H, Kramer M, Dacol D: Sensitivity analysis in chemical kinetics. Annual Review of Physical Chemistry. 1983, 34: 419-461.View ArticleGoogle Scholar
  67. Hucka M, Finney A, Sauro HM, Bolouri H, Doyle J, Kitano H, Arkin AP, Bornstein BJ, Bray D, et al.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics. 2003, 19: 524-531.View ArticlePubMedGoogle Scholar
  68. Funahashi A, Tanimura N, Morohashi M, Kitano H: CellDesigner: a process diagram editor for gene-regulatory and biochemical networks. BIOSILICO. 2003, 1: 159-162.View ArticleGoogle Scholar
  69. Freidlin M, Wentzell A: Random perturbations of dynamical systems. 1984, New York: SpingerView ArticleGoogle Scholar
  70. Malek S, Huxford T, Ghosh G: Iκ B Functions through Diect Contacts with the Nuclear Localization Signal and the DNA Binding Sequences of NF-κ B. J Biol Chem. 1998, 273: 25427-25435.View ArticlePubMedGoogle Scholar
  71. Carlotti F, Dower SK, Qwarnstrom EE: Dynamic Shuttling of Nuclear Factor κ B between the Nucleus and Cytoplasm as a Consequence of Inhibitor Dissociation. J Biol Chem. 2000, 273: 41028-41034.View ArticleGoogle Scholar
  72. Carlotti F, Chapman R, Dower SK, Qwarnstrom EE: Activation of nuclear factor κ B in single living cells. J Biol Chem. 1999, 274: 37941-37949.View ArticlePubMedGoogle Scholar
  73. Bray D: Protein molecules as computational elements in living cells. Nature. 1995, 376: 307-312.View ArticlePubMedGoogle Scholar
  74. Noble D: The Rise of Computational Biology. Nature Reviews Molecular Cell Bioloy. 2002, 3: 460-463.Google Scholar
  75. Bhalla US, Ram PT, Iyengar R: MAP Kinase Phosphatase as a Locus of Flexibility in a Mitogen-Activated Protein Kinase Signaling Network. Science. 2002, 297: 1018-1023.View ArticlePubMedGoogle Scholar
  76. Calzone L, Gelay A, Zinovyev A, Radvanyi F, Barillot E: A comprehensive modular map of molecular interactions in RB/E2F pathway. Molecular Systems Biology. 2008, 4: 174-View ArticleGoogle Scholar

Copyright

© Radulescu et al; licensee BioMed Central Ltd. 2008

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.