Stochastic models for an open biochemical system

This paper uses the theory of Markov processes to derive stochastic models for a single open biochemical system at st?ady state under 3 sets of assumptions. The system is a one substrate, one product reaction. Each set of assumptions results in a separate solution for the probability functions. A system of linear equations in the probability function as well as an equivalent differential equation in its generating function are derived. The assumption of no flux leads to the first (exact) solution of the linear equations. The form agrees with that of the closed systems. Making assumptions that simplify the system to model active transport results in the second (exact) solution to the linear equations. Assuming the presence of a large number of molecules in the system facilitates obtaining the third (approximate) solution to the differential equations.     

Accuracy of alternative representations for integrated biochemical systems

The Michaelis-Menten formalism often provides appropriate representations of individual enzyme-catalyzed reactions in vitro but is not well suited for the mathematical analysis of complex biochemical networks. Mathematically tractable alternatives are the linear formalism and the power-law formalism. Within the power-law formalism there are alternative ways to represent biochemical processes, depending upon the degree to which fluxes and concentrations are aggregated. Two of the most relevant variants for dealing with biochemical pathways are treated in this paper. In one variant, aggregation leads to a rate law for each enzyme-catalyzed reaction, which is then represented by a power-law function. In the other, aggregation produces a composite rate law for either net rate of increase or net rate of decrease of each system constituent; the composite rate laws are then represented by a power-law function. The first variant is the mathematical basis for a method of biochemical analysis called metabolic control, the latter for biochemical systems theory. We compare the accuracy of the linear and of the two power-law representations for networks of biochemical reactions governed by Michaelis-Menten and Hill kinetics. Michaelis-Menten kinetics are always represented more accurately by power-law than by linear functions. Hill kinetics are in most cases best modeled by power-law functions, but in some cases linear functions are best. Aggregation into composite rate laws for net increase or net decrease of each system constituent almost always improves the accuracy of the power-law representation. The improvement in accuracy is one of several factors that contribute to the wide range of validity of this power-law representation. Other contributing factors that are discussed include the nonlinear character of the power-law formalism, homeostatic regulatory mechanisms in living systems, and simplification of rate laws by regulatory mechanisms in vivo.     

Transfer Functions for Protein Signal Transduction: Application to a Model of Striatal Neural Plasticity

We present a novel formulation for biochemical reaction networks in the context of protein signal transduction. The model consists of input-output transfer functions, which are derived from differential equations, using stable equilibria. We select a set of “source” species, which are interpreted as input signals. Signals are transmitted to all other species in the system (the “target” species) with a specific delay and with a specific transmission strength. The delay is computed as the maximal reaction time until a stable equilibrium for the target species is reached, in the context of all other reactions in the system. The transmission strength is the concentration change of the target species. The computed input-output transfer functions can be stored in a matrix, fitted with parameters, and even recalled to build dynamical models on the basis of state changes. By separating the temporal and the magnitudinal domain we can greatly simplify the computational model, circumventing typical problems of complex dynamical systems. The transfer function transformation of biochemical reaction systems can be applied to mass-action kinetic models of signal transduction. The paper shows that this approach yields significant novel insights while remaining a fully testable and executable dynamical model for signal transduction. In particular we can deconstruct the complex system into local transfer functions between individual species. As an example, we examine modularity and signal integration using a published model of striatal neural plasticity. The modularizations that emerge correspond to a known biological distinction between calcium-dependent and cAMP-dependent pathways. Remarkably, we found that overall interconnectedness depends on the magnitude of inputs, with higher connectivity at low input concentrations and significant modularization at moderate to high input concentrations. This general result, which directly follows from the properties of individual transfer functions, contradicts notions of ubiquitous complexity by showing input-dependent signal transmission inactivation.     

Fluctuation analysis in small chemically reacting systems

A theory of noise fluctuations is developed which is applicable to systems of any size in which unimolecular or bimolecular reactions are occurring. The main difference between small and large reacting systems is that in the former the probability of finding a particle in a particular state does not obey a Gaussian distribution, but satisfies a distribution which reflects the mechanism of the chemical reaction. This difference is reflected in the main result of the theory: an autocorrelation function that is expressible as a sum of exponentials, the amplitudes of which are explicit functions of the moments of the distribution. Thus, by using small systems, the autocorrelation function,in principle, allows the elucidation of reaction mechanisms. Numerical simulations indicate that for reacting systems having ten or fewer particles, the deviation of the autocorrelation function from a single exponential should be easily detectable, and that estimates of the first four moments of the distribution should be possible. Accurate inference of the distribution, however, will require further mathematical and experimental advances.     

Reconstructing biochemical pathways from time course data

Time series data on biochemical reactions reveal transient behavior, away from chemical equilibrium, and contain information on the dynamic interactions among reacting components. However, this information can be difficult to extract using conventional analysis techniques. We present a new method to infer biochemical pathway mechanisms from time course data using a global nonlinear modeling technique to identify the elementary reaction steps which constitute the pathway. The method involves the generation of a complete dictionary of polynomial basis functions based on the law of mass action. Using these basis functions, there are two approaches to model construction, namely the general to specific and the specific to general approach. We demonstrate that our new methodology reconstructs the chemical reaction steps and connectivity of the glycolytic pathway of Lactococcus lactis from time course experimental data.     

The dynamic systems approach to control and regulation of intracellular networks

Systems theory and cell biology have enjoyed a long relationship that has received renewed interest in recent years in the context of systems biology. The term 'systems' in systems biology comes from systems theory or dynamic systems theory: systems biology is defined through the application of systems- and signal-oriented approaches for an understanding of inter- and intra-cellular dynamic processes. The aim of the present text is to review the systems and control perspective of dynamic systems. The biologist's conceptual framework for representing the variables of a biochemical reaction network, and for describing their relationships, are pathway maps. A principal goal of systems biology is to turn these static maps into dynamic models, which can provide insight into the temporal evolution of biochemical reaction networks. Towards this end, we review the case for differential equation models as a 'natural' representation of causal entailment in pathways. Block-diagrams, commonly used in the engineering sciences, are introduced and compared to pathway maps. The stimulus-response representation of a molecular system is a necessary condition for an understanding of dynamic interactions among the components that make up a pathway. Using simple examples, we show how biochemical reactions are modelled in the dynamic systems framework and visualized using block-diagrams.     

Extending the viability theory framework of resilience to uncertain dynamics,and application to lake eutrophication

Resilience, the capacity for a system to recover from a perturbation so as to keep its properties and functions, is of growing concern to a wide range of environmental systems. The challenge is often to render this concept operational without betraying it, nor diluting its content. The focus here is on building on the viability theory framework of resilience to extend it to discrete-time stochastic dynamical systems. The viability framework describes properties of the system as a subset of its state space. This property is resilient to a perturbation if it can be recovered and kept by the system after a perturbation: its trajectory can come back and stay in the subset. This is shown to reflect a general definition of resilience. With stochastic dynamics, the stochastic viability kernel describes the robust states, in which the system has a high probability of staying in the subset for a long time. Then, probability of resilience is defined as the maximal probability that the system reaches a robust state within a time horizon. Management strategies that maximize the probability of resilience can be found through dynamic programming. It is then possible to compute a range of statistics on the time for restoring the property. The approach is illustrated on the example of lake eutrophication and shown to foster the use of different indicators that are adapted to distinct situations. Its relevance for the management of ecological systems is also discussed.     

Control analysis of metabolic networks. 2. Total differentials and general formulation of the connectivity relations

The mathematical background of the connectivity relations of metabolic control theory is analysed. The connectivity relations are shown to reflect general properties of total differentials of reaction rate vi, flux J, and metabolite concentration Xj. Connectivity relations hold for any metabolic network in which all vi are homogeneous functions of enzyme concentration Ei. This notion allows established algebraic methods to be used for the formulation of connectivity relations for metabolic systems in which numerous constraints are imposed on metabolite concentrations. A general procedure to derive connectivity relations for such metabolic systems is given. To encourage a broader audience to apply control theory to physiological systems, an easy-to-use graphical procedure is derived for formulating connectivity relations for biochemical systems in which no metabolite is involved in more than one constraint.     

The Validity of Quasi-Steady-State Approximations in Discrete Stochastic Simulations

In biochemical networks, reactions often occur on disparate timescales and can be characterized as either fast or slow. The quasi-steady-state approximation (QSSA) utilizes timescale separation to project models of biochemical networks onto lower-dimensional slow manifolds. As a result, fast elementary reactions are not modeled explicitly, and their effect is captured by nonelementary reaction-rate functions (e.g., Hill functions). The accuracy of the QSSA applied to deterministic systems depends on how well timescales are separated. Recently, it has been proposed to use the nonelementary rate functions obtained via the deterministic QSSA to define propensity functions in stochastic simulations of biochemical networks. In this approach, termed the stochastic QSSA, fast reactions that are part of nonelementary reactions are not simulated, greatly reducing computation time. However, it is unclear when the stochastic QSSA provides an accurate approximation of the original stochastic simulation. We show that, unlike the deterministic QSSA, the validity of the stochastic QSSA does not follow from timescale separation alone, but also depends on the sensitivity of the nonelementary reaction rate functions to changes in the slow species. The stochastic QSSA becomes more accurate when this sensitivity is small. Different types of QSSAs result in nonelementary functions with different sensitivities, and the total QSSA results in less sensitive functions than the standard or the prefactor QSSA. We prove that, as a result, the stochastic QSSA becomes more accurate when nonelementary reaction functions are obtained using the total QSSA. Our work provides an apparently novel condition for the validity of the QSSA in stochastic simulations of biochemical reaction networks with disparate timescales.     

The Validity of Quasi-Steady-State Approximations in Discrete Stochastic Simulations

In biochemical networks, reactions often occur on disparate timescales and can be characterized as either fast or slow. The quasi-steady-state approximation (QSSA) utilizes timescale separation to project models of biochemical networks onto lower-dimensional slow manifolds. As a result, fast elementary reactions are not modeled explicitly, and their effect is captured by nonelementary reaction-rate functions (e.g., Hill functions). The accuracy of the QSSA applied to deterministic systems depends on how well timescales are separated. Recently, it has been proposed to use the nonelementary rate functions obtained via the deterministic QSSA to define propensity functions in stochastic simulations of biochemical networks. In this approach, termed the stochastic QSSA, fast reactions that are part of nonelementary reactions are not simulated, greatly reducing computation time. However, it is unclear when the stochastic QSSA provides an accurate approximation of the original stochastic simulation. We show that, unlike the deterministic QSSA, the validity of the stochastic QSSA does not follow from timescale separation alone, but also depends on the sensitivity of the nonelementary reaction rate functions to changes in the slow species. The stochastic QSSA becomes more accurate when this sensitivity is small. Different types of QSSAs result in nonelementary functions with different sensitivities, and the total QSSA results in less sensitive functions than the standard or the prefactor QSSA. We prove that, as a result, the stochastic QSSA becomes more accurate when nonelementary reaction functions are obtained using the total QSSA. Our work provides an apparently novel condition for the validity of the QSSA in stochastic simulations of biochemical reaction networks with disparate timescales.     

Thermodynamics of systems of biochemical reactions

When a reaction system described in terms of species is in a certain state, the Gibbs energy G provides the means for determining whether each reaction will go to the right or the left, and the equilibrium composition of the whole system can be calculated using G. When the pH is specified, a system of biochemical reactions is described in terms of reactants, like ATP (a sum of species), and the transformed Gibbs energy G' provides the means for determining whether each reaction will go to the right or the left. The equilibrium composition of the whole system can be calculated using G'. Since metabolism is complicated, the thermodynamics of systems of reactions like glycolysis and the citric acid cycle can also be considered at specified concentrations of coenzymes like ATP, ADP, NAD(ox), and NAD(red). This is of interest because coenzymes tend to be in steady states because they are involved in many reactions. When the concentrations of coenzymes are constant, the further transformed Gibbs energy G" provides the means for calculating whether each reaction will go to the right or the left, and the equilibrium composition of the whole system can be calculated using G". Under these conditions, a metabolic reaction system can be reconceptualized in terms of sums of reactants; for example, glycolysis can be represented by C(6)=2C(3), where C(6) is the sum of the reactants with six carbon atoms and C(3) is the sum of the reactants with three carbon atoms. These calculations can also be described by use of semigrand partition functions. Semigrand partition functions have the advantage of containing all the thermodynamic information on a series of reactions at specified pH or at specified pH and specified concentrations of coenzymes.     

Model building and model checking for biochemical processes

A central claim of computational systems biology is that, by drawing on mathematical approaches developed in the context of dynamic systems, kinetic analysis, computational theory and logic, it is possible to create powerful simulation, analysis, and reasoning tools for working biologists to decipher existing data, devise new experiments, and ultimately to understand functional properties of genomes, proteomes, cells, organs, and organisms. In this article, a novel computational tool is described that achieves many of the goals of this new discipline. The novelty of this system involves an automaton-based semantics of the temporal evolution of complex biochemical reactions starting from the representation given as a set of differential equations. The related tools also provide ability to qualitatively reason about the systems using a propositional temporal logic that can express an ordered sequence of events succinctly and unambiguously. The implementation of mathematical and computational models in the Simpathica and XSSYS systems is described briefly. Several example applications of these systems to cellular and biochemical processes are presented: the two most prominent are Leibler et al.'s repressilator (an artificial synthesized oscillatory network), and Curto-Voit-Sorribas-Cascante's purine metabolism reaction model.     

“A stochastic solution of the 3-body problem in chemical kinetics. The termolecular stochastic process I”

It appears to be axiomatic that termolecular and higher order reactions occur relatively rarely. The basis for this judgment seems to lie in the supposition that successful 3-Body collisions of 3 interactive species of molecules cannot occur frequently enought to account for chemical or biochemical transformation. In order to provide a more complete mathematical framework than now exists for examining this hypothesis the probability of effective termolecular “δ-collisions” as a function of time is derived. This amounts to adding to the class of reactions for which stochastic models are now available the termolecular reaction. In common with the unimolecular and bimolecular cases this process is seen to satisfy the criterion of consistency-in-the-mean with respect to deterministic formulations. It is planned next to use the termolecular process and the lower order processes in computer-assistedin numero experimental studies aimed at comparing alternative mechanisms of reaction.     

Quantifying dynamic stability of genetic memory circuits

Bistability/Multistability has been found in many biological systems including genetic memory circuits. Proper characterization of system stability helps to understand biological functions and has potential applications in fields such as synthetic biology. Existing methods of analyzing bistability are either qualitative or in a static way. Assuming the circuit is in a steady state, the latter can only reveal the susceptibility of the stability to injected DC noises. However, this can be inappropriate and inadequate as dynamics are crucial for many biological networks. In this paper, we quantitatively characterize the dynamic stability of a genetic conditional memory circuit by developing new dynamic noise margin (DNM) concepts and associated algorithms based on system theory. Taking into account the duration of the noisy perturbation, the DNMs are more general cases of their static counterparts. Using our techniques, we analyze the noise immunity of the memory circuit and derive insights on dynamic hold and write operations. Considering cell-to-cell variations, our parametric analysis reveals that the dynamic stability of the memory circuit has significantly varying sensitivities to underlying biochemical reactions attributable to differences in structure, time scales, and nonlinear interactions between reactions. With proper extensions, our techniques are broadly applicable to other multistable biological systems.     

Stochastic modelling of biochemical systems of multi-step reactions using a simplified two-variable model

Background

A fundamental issue in systems biology is how to design simplified mathematical models for describing the dynamics of complex biochemical reaction systems. Among them, a key question is how to use simplified reactions to describe the chemical events of multi-step reactions that are ubiquitous in biochemistry and biophysics. To address this issue, a widely used approach in literature is to use one-step reaction to represent the multi-step chemical events. In recent years, a number of modelling methods have been designed to improve the accuracy of the one-step reaction method, including the use of reactions with time delay. However, our recent research results suggested that there are still deviations between the dynamics of delayed reactions and that of the multi-step reactions. Therefore, more sophisticated modelling methods are needed to accurately describe the complex biological systems in an efficient way.

Results

This work designs a two-variable model to simplify chemical events of multi-step reactions. In addition to the total molecule number of a species, we first introduce a new concept regarding the location of molecules in the multi-step reactions, which is the second variable to represent the system dynamics. Then we propose a simulation algorithm to compute the probability for the firing of the last step reaction in the multi-step events. This probability function is evaluated using a deterministic model of ordinary differential equations and a stochastic model in the framework of the stochastic simulation algorithm. The efficiency of the proposed two-variable model is demonstrated by the realization of mRNA degradation process based on the experimentally measured data.

Conclusions

Numerical results suggest that the proposed new two-variable model produces predictions that match the multi-step chemical reactions very well. The successful realization of the mRNA degradation dynamics indicates that the proposed method is a promising approach to reduce the complexity of biological systems.