Search

Protein phosphorylation cycles are important mechanisms of the post translational modification of a protein and as such an integral part of intracellular signaling and control. We consider the sequential phosphorylation and dephosphorylation of a protein at two binding sites. While it is known that proteins where phosphorylation is processive and dephosphorylation is distributive admit oscillations (for some value of the rate constants and total concentrations) it is not known whether or not this is the case if both phosphorylation and dephosphorylation are distributive. We study four simplified mass action models of sequential and distributive phosphorylation and show that for each of those there do not exist rate constants and total concentrations where a Hopf bifurcation occurs. To arrive at this result we use convex parameters to parameterize the steady state and Hurwitz matrices.

Delay mass-action systems provide a model of chemical kinetics when past states influence the current dynamics. In this work, we provide a graph-theoretic condition for delay stability, i.e., linear stability independent of both rate constants and delay parameters. In particular, the result applies when the system has no delay, implying asymptotic stability for the ODE system. The graph-theoretic condition is about cycles in the directed species-reaction graph of the network, which encodes how different species in the system interact.

Delay differential equations are used as a model when the effect of past states has to be taken into account. In this work we consider delay models of chemical reaction networks with mass action kinetics. We obtain a sufficient condition for absolute delay stability of equilibrium concentrations, i.e., local asymptotic stability independent of the delay parameters. Several interesting examples on sequestration networks with delays are presented.

A parametric sensitivity analysis for periodic solutions of delay-differential equations is developed. Because phase shifts cause the sensitivity coefficients of a periodic orbit to diverge, we focus on sensitivities of the extrema, from which amplitude sensitivities are computed, and of the period. Delay-differential equations are often used to model gene expression networks. In these models, the parametric sensitivities of a particular genotype define the local geometry of the evolutionary landscape. Thus, sensitivities can be used to investigate directions of gradual evolutionary change. An oscillatory protein synthesis model whose properties are modulated by RNA interference is used as an example. This model consists of a set of coupled delay-differential equations involving three delays. Sensitivity analyses are carried out at several operating points. Comments on the evolutionary implications of the results are offered.

A common feature of pattern formation in both space and time is the destabilization of a stable equilibrium solution of an ordinary differential equation by adding diffusion or delay, or both. Here we study linear stability of general reactiondiffusion systems with off-diagonal time delays. We show that a delay-stable system cannot be destabilized by diffusion, and that a diffusion stable system is also stable with respect to delay, if the diffusion is sufficiently fast. A system with direct negative feedback which is strongly stable with respect to diffusion can be destabilized by off-diagonal delay.

Network conditions for Turing instability in biochemical systems with two biochemical species are well known and involve autocatalysis or self-activation. On the other hand general network conditions for potential Turing instabilities in large biochemical reaction networks are not well developed. A biochemical reaction network with any number of species where only one species moves is represented by a simple digraph and is modeled by a reaction–diffusion system with non-mass action kinetics. A graph-theoretic condition for potential Turing-Hopf instability that arises when a spatially homogeneous equilibrium loses its stability via a single pair of complex eigenvalues is obtained. This novel graph-theoretic condition is closely related to the negative cycle condition for oscillations in ordinary differential equation models and its generalizations, and requires the existence of a pair of subnetworks, each containing an even number of positive cycles. The technique is illustrated with a double-cycle Goodwin type model.

Mathematical modelling has become an established tool for studying the dynamics of biological systems. Current applications range from building models that reproduce quantitative data to identifying systems with predefined qualitative features, such as switching behaviour, bistability or oscillations. Mathematically, the latter question amounts to identifying parameter values associated with a given qualitative feature. We introduce a procedure to partition the parameter space of a parameterized system of ordinary differential equations into regions for which the system has a unique or multiple equilibria. The procedure is based on the computation of the Brouwer degree, and it creates a multivariate polynomial with parameter depending coefficients. The signs of the coefficients determine parameter regions with and without multistationarity. A particular strength of the procedure is the avoidance of numerical analysis and parameter sampling. The procedure consists of a number of steps. Each of these steps might be addressed algorithmically using various computer programs and available software, or manually. We demonstrate our procedure on several models of gene transcription and cell signalling, and show that in many cases we obtain a complete partitioning of the parameter space with respect to multistationarity., Author summary Mathematical modelling has become an important tool in biology. As modelling requires separating the essential from the ordinary, there is never just one model but a collection thereof. To understand biology through modelling it is therefore crucial to be able to tell which of these models are capable of reproducing an observed behaviour and which are not. For example, to understand cellular decision making, models allowing multiple equilibria are studied and one asks which models allow for this behaviour. Here we describe a procedure that links the existence of a unique and of multiple equilibria to the sign of a single expression. We demonstrate the usefulness of the procedure by applying it to models of gene transcription and cellular signalling.

Biochemical mechanisms with mass action kinetics are usually modeled assystems of ordinary differential equations (ODE) or bipartite graphs. We present a software module for the numerical analysis of ODE models ofbiochemical mechanisms of chemical species and elementary reactions (BMCSER) within the programming environment of CAS Mathematica.The module BMCSER also visualizes the bipartite graph of biochemical mechanisms. Numerical examples, including a double phosphorylation model, are presented demonstrating the scientific applications and the visualizationproperties of the module.ACM Computing Classification System (1998): G.4.

It is well known that oscillations in models of biochemical reaction networks can arise as a result of a single negative cycle. On the other hand, methods for finding general network conditions for potential oscillations in large biochemical reaction networks containing many cycles are not well developed. A biochemical reaction network with any number of species is represented by a simple digraph and is modeled by an ordinary differential equation (ODE) system with non-mass action kinetics. The obtained graph-theoretic condition generalizes the negative cycle condition for oscillations in ODE models to the existence of a pair of subnetworks, where each subnetwork contains an even number of positive cycles. The technique is illustrated with a model of genetic regulation.

We show that solutions of a mass action chemical kinetics reaction–diffusion system are nonnegative. Conditions for components of the solution to be strictly positive or identically zero are given, based on an indexing procedure due to A. I. Volpert [Mat. Sb. (Russian) 88, 578–588 (1972); Math. USSR Sb. (English) 17, 571–582]. The results are illustrated with some examples.

A chemical mechanism is a model of a chemical reaction network consisting of a set of elementary reactions that express how molecules react with each other. In classical mass-action kinetics, a mechanism implies a set of ordinary differential equations (ODEs) which govern the time evolution of the concentrations. In this article, ODE models of chemical kinetics that have the potential for multiple positive equilibria or oscillations are studied. We begin by considering some methods of stability analysis based on the digraph of the Jacobian matrix. We then prove two theorems originally given by A. N. Ivanova which correlate the bifurcation structure of a mass-action model to the properties of a bipartite graph with nodes representing chemical species and reactions. We provide several examples of the application of these theorems.

Biochemical mechanisms with mass action kinetics are often modeled by systems of polynomial differential equations (DE). Determining directly if the DE system has multiple equilibria (multistationarity) is difficult for realistic systems, since they are large, nonlinear and contain many unknown parameters. Mass action biochemical mechanisms can be represented by a directed bipartite graph with species and reaction nodes. Graph-theoretic methods can then be used to assess the potential of a given biochemical mechanism for multistationarity by identifying structures in the bipartite graph referred to as critical fragments. In this article we present a graph-theoretic method for conservative biochemical mechanisms characterized by bounded species concentrations, which makes the use of degree theory arguments possible. We illustrate the results with an example of a mitogen-activated protein kinases (MAPK) network.

Results on stability of two types of chemical reactions, one represented by an acyclic graph and the other as a reversible reaction have been extended to the case of reaction–diffusion systems. Lyapunov functions are used as the major method for showing asymptotic stability of spatially homogeneous equilibria. Some examples are considered for illustration.

Systems biologists increasingly use network representations to investigate biochemical pathways and their dynamic behaviours. In this critical review, we discuss four commonly used network representations of chemical and biochemical pathways. We illustrate how some of these representations reduce network complexity but result in the ambiguous representation of biochemical pathways. We also examine the current theoretical approaches available to investigate the dynamic behaviour of chemical and biochemical networks. Finally, we describe how the critical chemical and biochemical pathways responsible for emergent dynamic behaviour can be identified using network mining and functional mapping approaches.

Biochemical reaction models show a variety of dynamical behaviors, such as stable steady states, multistability, and oscillations. Biochemical reaction networks with generalized mass action kinetics are represented as directed bipartite graphs with nodes for species and reactions. The bipartite graph of a biochemical reaction network usually contains at least one cycle, i.e., a sequence of nodes and directed edges which starts and ends at the same species node. Cycles can be positive or negative, and it has been shown that oscillations can arise as a result of either a positive cycle or a negative cycle. In earlier work it was shown that oscillations associated with a positive cycle can arise from subnetworks with an odd number of positive cycles. In this article we formulate a similar graph-theoretic condition, which generalizes the negative cycle condition for oscillations. This new graph-theoretic condition for oscillations involves pairs of subnetworks with an even number of positive cycles. An example of a calcium reaction network with generalized mass action kinetics is discussed in detail.

The conditions for diffusion-driven (Turing) instabilities in systems with two reactive species are well known. General methods for detecting potential Turing bifurcations in larger reaction schemes are, on the other hand, not well developed. We prove a theorem for a graph-theoretic condition originally given by Volpert and Ivanova [Mathematical Modeling (Nauka, Moscow, 1987) (in Russian), p. 57] for Turing instabilities in a mass-action reaction-diffusion system involving n substances. The method is based on the representation of a reaction mechanism as a bipartite graph with two types of nodes representing chemical species and reactions, respectively. The condition for diffusion-driven instability is related to the existence of a structure in the graph known as a critical fragment. The technique is illustrated using a substrate-inhibited bifunctional enzyme mechanism which involves seven chemical species.

Dual phosphorylation of proteins is a principal component of intracellular signalling. Bistability is considered an important property of such systems and its origin is not yet completely understood. Theoretical studies have established parameter values for multistationarity and bistability for many types of proteins. However, up to now no formal criterion linking multistationarity and bistability to the parameter values characterizing dual phosphorylation has been established. Deciding whether an unclassified protein has the capacity for bistability, therefore requires careful numerical studies. Here, we present two general algebraic conditions in the form of inequalities. The first employs the catalytic constants, and if satisfied guarantees multistationarity (and hence the potential for bistability). The second involves the catalytic and Michaelis constants, and if satisfied guarantees uniqueness of steady states (and hence absence of bistability). Our method also allows for the direct computation of the total concentration values such that multistationarity occurs. Applying our results yields insights into the emergence of bistability in the ERK–MEK–MKP system that previously required a delicate numerical effort. Our algebraic conditions present a practical way to determine the capacity for bistability and hence will be a useful tool for examining the origin of bistability in many models containing dual phosphorylation.