-
Asymptotic analysis for stationary distributions of scaled reaction networks
Authors:
Linard Hoessly,
Carsten Wiuf,
Panqiu Xia
Abstract:
We study stationary distributions in the context of stochastic reaction networks. In particular, we are interested in complex balanced reaction networks and reduction of such networks by assuming a set of species (called non-interacting species) are degraded fast (and therefore essentially absent in the network), implying some reaction rates are large compared to others. Technically, we assume the…
▽ More
We study stationary distributions in the context of stochastic reaction networks. In particular, we are interested in complex balanced reaction networks and reduction of such networks by assuming a set of species (called non-interacting species) are degraded fast (and therefore essentially absent in the network), implying some reaction rates are large compared to others. Technically, we assume these reaction rates are scaled by a common parameter $N$ and let $N\to\infty$. The limiting stationary distribution as $N\to\infty$ is compared to the stationary distribution of the reduced reaction network obtained by algebraic elimination of the non-interacting species. In general, the limiting stationary distribution might differ from the stationary distribution of the reduced reaction network. We identify various sufficient conditions for when these two distributions are the same, including when the reaction network is detailed balanced and when the set of non-interacting species consists of intermediate species. In the latter case, the limiting stationary distribution essentially retains the form of the complex balanced distribution. This finding is particularly surprising given that the reduced reaction network might be non-weakly reversible and exhibit unconventional kinetics.
△ Less
Submitted 3 February, 2024;
originally announced February 2024.
-
Stationary measures of continuous time Markov chains with applications to stochastic reaction networks
Authors:
Mads Chr Hansen,
Carsten Wiuf,
Chuang Xu
Abstract:
We study continuous-time Markov chains on the non-negative integers under mild regularity conditions (in particular, the set of jump vectors is finite and both forward and backward jumps are possible). Based on the so-called flux balance equation, we derive an iterative formula for calculating stationary measures. Specifically, a stationary measure $π(x)$ evaluated at $x\in\mathbb{N}_0$ is represe…
▽ More
We study continuous-time Markov chains on the non-negative integers under mild regularity conditions (in particular, the set of jump vectors is finite and both forward and backward jumps are possible). Based on the so-called flux balance equation, we derive an iterative formula for calculating stationary measures. Specifically, a stationary measure $π(x)$ evaluated at $x\in\mathbb{N}_0$ is represented as a linear combination of a few generating terms, similarly to the characterization of a stationary measure of a birth-death process, where there is only one generating term, $π(0)$. The coefficients of the linear combination are recursively determined in terms of the transition rates of the Markov chain. For the class of Markov chains we consider, there is always at least one stationary measure (up to a scaling constant). We give various results pertaining to uniqueness and non-uniqueness of stationary measures, and show that the dimension of the linear space of signed invariant measures is equal to the number of generating terms. A minimization problem is constructed in order to compute stationary measures numerically. Moreover, a heuristic linear approximation scheme is suggested for the same purpose by first approximating the generating terms. The correctness of the linear approximation scheme is justified in some special cases. Furthermore, a decomposition of the state space into different types of states (open and closed irreducible classes, and trap**, esca** and neutral states) is presented. Applications to stochastic reaction networks are well illustrated.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Complex balanced distributions for chemical reaction networks
Authors:
Linard Hoessly,
Carsten Wiuf,
Panqiu Xia
Abstract:
Stationary distributions of continuous time Markov chains (CTMCs) are often a main interest, but hard to find. We consider CTMCs modelling reaction networks, and characterise complex balanced distributions (provided they exist) of reaction networks with arbitrary transition functions through conditions on the cycles of their corresponding digraph. The proof works by constructing a dynamically equi…
▽ More
Stationary distributions of continuous time Markov chains (CTMCs) are often a main interest, but hard to find. We consider CTMCs modelling reaction networks, and characterise complex balanced distributions (provided they exist) of reaction networks with arbitrary transition functions through conditions on the cycles of their corresponding digraph. The proof works by constructing a dynamically equivalent reaction network of disjoint cycles. We further derive a sufficient condition for the existence of a complex balanced distribution, and give precise conditions on when it is necessary. The sufficient condition holds for mass-action kinetics or if the digraph consists of only cyclic connected components. Hence, we fully characterise the existence and form of complex balanced distributions. Moreover, these results can be used to design complex balanced reaction networks with a given stationary distribution.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Fast reactions with non-interacting species in stochastic reaction networks
Authors:
Linard Hoessly,
Carsten Wiuf
Abstract:
We consider stochastic reaction networks modeled by continuous-time Markov chains. Such reaction networks often contain many reactions, potentially occurring at different time scales, and have unknown parameters (kinetic rates, total amounts). This makes their analysis complex. We examine stochastic reaction networks with non-interacting species that often appear in examples of interest (e.g. in t…
▽ More
We consider stochastic reaction networks modeled by continuous-time Markov chains. Such reaction networks often contain many reactions, potentially occurring at different time scales, and have unknown parameters (kinetic rates, total amounts). This makes their analysis complex. We examine stochastic reaction networks with non-interacting species that often appear in examples of interest (e.g. in the two-substrate Michaelis Menten mechanism). Non-interacting species typically appear as intermediate (or transient) chemical complexes that are depleted at a fast rate. We embed the Markov process of the reaction network into a one-parameter family under a two time-scale approach, such that molecules of non-interacting species are degraded fast. We derive simplified reaction networks where the non-interacting species are eliminated and that approximate the scaled Markov process in the limit as the parameter becomes small. Then, we derive sufficient conditions for such reductions based on the reaction network structure for both homogeneous and time-varying stochastic settings, and study examples and properties of the reduction.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Critical parameters for singular perturbation reductions of chemical reaction networks
Authors:
Elisenda Feliu,
Sebastian Walcher,
Carsten Wiuf
Abstract:
We are concerned with polynomial ordinary differential systems that arise from modelling chemical reaction networks. For such systems, which may be of high dimension and may depend on many parameters, it is frequently of interest to obtain a reduction of dimension in certain parameter ranges. Singular perturbation theory, as initiated by Tikhonov and Fenichel, provides a path toward such reduction…
▽ More
We are concerned with polynomial ordinary differential systems that arise from modelling chemical reaction networks. For such systems, which may be of high dimension and may depend on many parameters, it is frequently of interest to obtain a reduction of dimension in certain parameter ranges. Singular perturbation theory, as initiated by Tikhonov and Fenichel, provides a path toward such reductions. In the present paper we discuss parameter values that lead to singular perturbation reductions (so-called Tikhonov-Fenichel parameter values, or TFPVs). An algorithmic approach is known, but it is feasible for small dimensions only. Here we characterize conditions for classes of reaction networks for which TFPVs arise by turning off reactions (by setting rate parameters to zero), or by removing certain species (which relates to the classical quasi-steady state approach to model reduction). In particular, we obtain definitive results for the class of complex balanced reaction networks (of deficiency zero) and first order reaction networks.
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Fiber decomposition of deterministic reaction networks with applications
Authors:
Carsten Wiuf,
Chuang Xu
Abstract:
Deterministic reaction networks (RNs) are tools to model diverse biological phenomena characterized by particle systems, when there are abundant number of particles. Examples include but are not limited to biochemistry, molecular biology, genetics, epidemiology, and social sciences. In this chapter we propose a new type of decomposition of RNs, called fiber decomposition. Using this decomposition,…
▽ More
Deterministic reaction networks (RNs) are tools to model diverse biological phenomena characterized by particle systems, when there are abundant number of particles. Examples include but are not limited to biochemistry, molecular biology, genetics, epidemiology, and social sciences. In this chapter we propose a new type of decomposition of RNs, called fiber decomposition. Using this decomposition, we establish lifting of mass-action RNs preserving stationary properties, including multistationarity and absolute concentration robustness. Such lifting scheme is simple and explicit which imposes little restriction on the reaction networks. We provide examples to illustrate how this lifting can be used to construct RNs preserving certain dynamical properties.
△ Less
Submitted 18 July, 2021;
originally announced July 2021.
-
On the sum of chemical reactions
Authors:
Linard Hoessly,
Carsten Wiuf,
Panqiu Xia
Abstract:
It is standard in chemistry to represent a sequence of reactions by a single overall reaction, often called a complex reaction in contrast to an elementary reaction. Photosynthesis $6 \text{CO}_2+6 \text{H}_2\text{O} \to \ \text{C}_6\text{H}_{12}\text{O}_6$ $+\ 6 \text{O}_2$ is an example of such complex reaction. We introduce a mathematical operation that corresponds to summing two chemical react…
▽ More
It is standard in chemistry to represent a sequence of reactions by a single overall reaction, often called a complex reaction in contrast to an elementary reaction. Photosynthesis $6 \text{CO}_2+6 \text{H}_2\text{O} \to \ \text{C}_6\text{H}_{12}\text{O}_6$ $+\ 6 \text{O}_2$ is an example of such complex reaction. We introduce a mathematical operation that corresponds to summing two chemical reactions. Specifically, we define an associative and non-communicative operation on the product space $\mathbb{N}_0^n\times \mathbb{N}_0^n$ (representing the reactant and the product of a chemical reaction, respectively). The operation models the overall effect of two reactions happening in succession, one after the other. We study the algebraic properties of the operation and apply the results to stochastic reaction networks, in particular to reachability of states, and to reduction of reaction networks.
△ Less
Submitted 25 March, 2022; v1 submitted 10 May, 2021;
originally announced May 2021.
-
Classification and threshold dynamics of stochastic reaction networks
Authors:
Carsten Wiuf,
Chuang Xu
Abstract:
Stochastic reaction networks (SRNs) provide models of many real-world networks. Examples include networks in epidemiology, pharmacology, genetics, ecology, chemistry, and social sciences. Here, we model stochastic reaction networks by continuous time Markov chains (CTMCs) and pay special attention to one-dimensional mass-action SRNs (1-d stoichiometric subspace). We classify all states of the unde…
▽ More
Stochastic reaction networks (SRNs) provide models of many real-world networks. Examples include networks in epidemiology, pharmacology, genetics, ecology, chemistry, and social sciences. Here, we model stochastic reaction networks by continuous time Markov chains (CTMCs) and pay special attention to one-dimensional mass-action SRNs (1-d stoichiometric subspace). We classify all states of the underlying CTMC of 1-d SRNs. In terms of (up to) four parameters, we provide sharp checkable criteria for various dynamical properties (including explosivity, recurrence, ergodicity, and the tail asymptotics of stationary or quasi-stationary distributions) of SRNs in the sense of their underlying CTMCs. As a result, we prove that all 1-d endotactic networks are non-explosive, and positive recurrent with an ergodic stationary distribution with Conley-Maxwell-Poisson (CMP)-like tail, provided the state space of the associated CTMCs consists of closed communicating classes. In particular, we prove the recently proposed positive recurrence conjecture in one dimension: Weakly reversible mass-action SRNs with 1-d stoichiometric subspaces are positive recurrent. The proofs of the main results rely on our recent work on CTMCs with polynomial transition rate functions.
△ Less
Submitted 24 January, 2023; v1 submitted 14 December, 2020;
originally announced December 2020.
-
The asymptotic tails of limit distributions of continuous time Markov chains
Authors:
Chuang Xu,
Mads Christian Hansen,
Carsten Wiuf
Abstract:
This paper investigates tail asymptotics of stationary distributions and quasi-stationary distributions (QSDs) of continuous-time Markov chains on subsets of the non-negative integers. Based on the so-called flux-balance equation, we establish identities for stationary measures and QSDs, which we use to derive tail asymptotics. In particular, continuous-time Markov chains with asymptotic power law…
▽ More
This paper investigates tail asymptotics of stationary distributions and quasi-stationary distributions (QSDs) of continuous-time Markov chains on subsets of the non-negative integers. Based on the so-called flux-balance equation, we establish identities for stationary measures and QSDs, which we use to derive tail asymptotics. In particular, continuous-time Markov chains with asymptotic power law transition rates, tail asymptotics for stationary distributions and QSDs are classified into three types using three easily computable parameters: (i) super-exponential distributions, (ii) exponential-tailed distributions, and (iii) sub-exponential distributions. Our approach to establish tail asymptotics of stationary distributions is different from the classical semimartingale approach, and we do not impose ergodicity nor moment bound conditions. In particular, the results also hold for explosive Markov chains, for which multiple stationary distributions may exist. Furthermore, our results on tail asymptotics of QSDs seem new. We apply our results to biochemical reaction networks, a general single-cell stochastic gene expression model, an extended class of branching processes, and stochastic population processes with bursty reproduction, none of which are birth-death processes. The approach together with the identities easily extends to discrete time Markov chains.
△ Less
Submitted 14 August, 2023; v1 submitted 22 July, 2020;
originally announced July 2020.
-
Full classification of dynamics for one-dimensional continuous time Markov chains with polynomial transition rates
Authors:
Chuang Xu,
Mads Christian Hansen,
Carsten Wiuf
Abstract:
This paper provides full classification of dynamics for continuous time Markov chains (CTMCs) on the non-negative integers with polynomial transition rate functions. Such stochastic processes are abundant in applications, in particular in biology. More precisely, for CTMCs of bounded jumps, we provide necessary and sufficient conditions in terms of calculable parameters for explosivity, recurrence…
▽ More
This paper provides full classification of dynamics for continuous time Markov chains (CTMCs) on the non-negative integers with polynomial transition rate functions. Such stochastic processes are abundant in applications, in particular in biology. More precisely, for CTMCs of bounded jumps, we provide necessary and sufficient conditions in terms of calculable parameters for explosivity, recurrence vs transience, certain absorption, positive recurrence vs null recurrence, and implosivity. Simple sufficient conditions for exponential ergodicity of stationary distributions and quasi-stationary distributions as well as existence and non-existence of moments of hitting times are also obtained. Similar simple sufficient conditions for the aforementioned dynamics together with their opposite dynamics are established for CTMCs with unbounded jumps. The results generalize respective criteria for birth-death processes by Karlin and McGregor in the 1960s. Finally, we apply our results to stochastic reaction networks, an extended class of branching processes, a general bursty single-cell stochastic gene expression model, and population processes, none of which are birth-death processes. The approach is based on a mixture of Lyapunov-Foster type results, semimartingale approach, as well as estimates of stationary measures.
△ Less
Submitted 30 November, 2021; v1 submitted 17 June, 2020;
originally announced June 2020.
-
Structural classification of continuous time Markov chains with applications
Authors:
Chuang Xu,
Mads Christian Hansen,
Carsten Wiuf
Abstract:
This paper is motivated by examples from stochastic reaction network theory. The $Q$-matrix of a stochastic reaction network can be derived from the reaction graph, an edge-labelled directed graph encoding the jump vectors of an associated continuous time Markov chain on the invariant space $\mathbb{N}^d_0$. An open question is how to decompose the space $\mathbb{N}^d_0$ into neutral, trap**, an…
▽ More
This paper is motivated by examples from stochastic reaction network theory. The $Q$-matrix of a stochastic reaction network can be derived from the reaction graph, an edge-labelled directed graph encoding the jump vectors of an associated continuous time Markov chain on the invariant space $\mathbb{N}^d_0$. An open question is how to decompose the space $\mathbb{N}^d_0$ into neutral, trap**, and esca** states, and open and closed communicating classes, and whether this can be done from the reaction graph alone. Such general continuous time Markov chains can be understood as natural generalizations of birth-death processes, incorporating multiple different birth and death mechanisms. We characterize the structure of $\mathbb{N}^d_0$ imposed by a general $Q$-matrix generating continuous time Markov chains with values in $\mathbb{N}^d_0$, in terms of the set of jump vectors and their corresponding transition rate functions. Thus the setting is not limited to stochastic reaction networks. Furthermore, we define structural equivalence of two $Q$-matrices, and provide sufficient conditions for structural equivalence. Examples are abundant in applications. We apply the results to stochastic reaction networks, a Lotka-Volterra model in ecology, the EnvZ-OmpR system in systems biology, and a class of extended branching processes, none of which are birth-death processes.
△ Less
Submitted 22 December, 2021; v1 submitted 17 June, 2020;
originally announced June 2020.
-
Stationary distributions of systems with Discreteness Induced Transitions
Authors:
Enrico Bibbona,
**su Kim,
Carsten Wiuf
Abstract:
We provide a theoretical analysis of some autocatalytic reaction networks exhibiting the phenomenon of discretely induced transitions (DITs). The family of networks that we address includes the celebrated Togashi and Kaneko model. We prove positive recurrence, finiteness of all moments, and geometric ergodicity of the models in the family. For some parameter values, we find the analytic expression…
▽ More
We provide a theoretical analysis of some autocatalytic reaction networks exhibiting the phenomenon of discretely induced transitions (DITs). The family of networks that we address includes the celebrated Togashi and Kaneko model. We prove positive recurrence, finiteness of all moments, and geometric ergodicity of the models in the family. For some parameter values, we find the analytic expression for the stationary distribution, and discuss the effect of volume scaling on the stationary behavior of the chain. We find the exact critical value of the volume for which DITs disappear.
△ Less
Submitted 28 March, 2020; v1 submitted 13 January, 2020;
originally announced January 2020.
-
Long-time asymptotics of stochastic reaction systems
Authors:
Daniele Cappelletti,
Abhishek Pal Majumder,
Carsten Wiuf
Abstract:
We study the stochastic dynamics of a system of interacting species in a stochastic environment by means of a continuous-time Markov chain with transition rates depending on the state of the environment. Models of gene regulation in systems biology take this form. We characterise the finite-time distribution of the Markov chain, provide conditions for ergodicity, and characterise the stationary di…
▽ More
We study the stochastic dynamics of a system of interacting species in a stochastic environment by means of a continuous-time Markov chain with transition rates depending on the state of the environment. Models of gene regulation in systems biology take this form. We characterise the finite-time distribution of the Markov chain, provide conditions for ergodicity, and characterise the stationary distribution (when it exists) as a mixture of Poisson distributions. The mixture measure is uniquely identified as the law of a fixed point of a stochastic recurrence equation. This recursion is crucial for statistical computation of moments and other distributional features.
△ Less
Submitted 1 December, 2019;
originally announced December 2019.
-
Dynamics of continuous time Markov chains with applications
Authors:
Chuang Xu,
Mads Christian Hansen,
Carsten Wiuf
Abstract:
This paper contributes an in-depth study of properties of continuous time Markov chains (CTMCs) on non-negative integer lattices $\N_0^d$, with particular interest in one-dimensional CTMCs with polynomial transitions rates. Such stochastic processes are abundant in applications, in particular in biology. We characterize the structure of the state space of general CTMCs on $\N_0^d$ in terms of the…
▽ More
This paper contributes an in-depth study of properties of continuous time Markov chains (CTMCs) on non-negative integer lattices $\N_0^d$, with particular interest in one-dimensional CTMCs with polynomial transitions rates. Such stochastic processes are abundant in applications, in particular in biology. We characterize the structure of the state space of general CTMCs on $\N_0^d$ in terms of the set of jump vectors and their corresponding transition rate functions. For CTMCs on $\N_0$ with polynomial transition rate functions, we provide threshold criteria in terms of easily computable parameters for various dynamical properties such as explosivity, recurrence, transience, certain absorption, positive/null recurrence, implosivity, and existence and non-existence of moments of hitting times. In particular, simple sufficient conditions for exponential ergodicity of stationary distributions and quasi-stationary distributions are obtained, and the few gap cases are well-illustrated by examples. Subtle differences in conditions for different dynamical properties are revealed in terms of examples. Finally, we apply our results to stochastic reaction networks, an extended class of branching processes, a general bursty single-cell stochastic gene expression model, and population processes which are not birth-death processes.
△ Less
Submitted 19 June, 2020; v1 submitted 27 September, 2019;
originally announced September 2019.
-
Addition of flow reactions preserving multistationarity and bistability
Authors:
Daniele Cappelletti,
Elisenda Feliu,
Carsten Wiuf
Abstract:
We consider the question whether a chemical reaction network preserves the number and stability of its positive steady states upon inclusion of inflow and outflow reactions. Often a model of a reaction network is presented without inflows and outflows, while in fact some of the species might be degraded or leaked to the environment, or be synthesized or transported into the system. We provide a su…
▽ More
We consider the question whether a chemical reaction network preserves the number and stability of its positive steady states upon inclusion of inflow and outflow reactions. Often a model of a reaction network is presented without inflows and outflows, while in fact some of the species might be degraded or leaked to the environment, or be synthesized or transported into the system. We provide a sufficient and easy-to-check criterion based on the stoichiometry of the reaction network alone and discuss examples from systems biology.
△ Less
Submitted 9 December, 2019; v1 submitted 26 September, 2019;
originally announced September 2019.
-
Quasi-steady state and singular perturbation reduction for reaction networks with non-interacting species
Authors:
Elisenda Feliu,
Christian Lax,
Sebastian Walcher,
Carsten Wiuf
Abstract:
Quasi-steady state (QSS) reduction is a commonly used method to lower the dimension of a differential equation model of a chemical reaction network. From a mathematical perspective, QSS reduction is generally interpreted as a special type of singular perturbation reduction, but in many instances the correspondence is not worked out rigorously, and the QSS reduction may yield incorrect results. The…
▽ More
Quasi-steady state (QSS) reduction is a commonly used method to lower the dimension of a differential equation model of a chemical reaction network. From a mathematical perspective, QSS reduction is generally interpreted as a special type of singular perturbation reduction, but in many instances the correspondence is not worked out rigorously, and the QSS reduction may yield incorrect results. The present paper contains a thorough discussion of QSS reduction and its relation to singular perturbation reduction for the special, but important, case when the right hand side of the differential equation is linear in the variables to be eliminated. For this class we give necessary and sufficient conditions for a singular perturbation reduction (in the sense of Tikhonov and Fenichel) to exist, and to agree with QSS reduction. We then apply the general results to chemical reaction networks with non-interacting species, generalizing earlier results and methods for steady states to quasi-steady state scenarios. We provide easy-to-check graphical conditions to select parameter values yielding to singular perturbation reductions and additionally, we identify a choice of parameters for which the corresponding singular perturbation reduction agrees with the QSS reduction. Finally we consider a number of examples.
△ Less
Submitted 29 August, 2019;
originally announced August 2019.
-
A proof of unlimited multistability for phosphorylation cycles
Authors:
Elisenda Feliu,
Alan D. Rendall,
Carsten Wiuf
Abstract:
The multiple futile cycle is a phosphorylation system in which a molecular substrate might be phosphorylated sequentially n times by means of an enzymatic mechanism. The system has been studied mathematically using reaction network theory and ordinary differential equations. It is known that the system might have at least as many as 2[n/2]+1 steady states (where [x] is the integer part of x) for p…
▽ More
The multiple futile cycle is a phosphorylation system in which a molecular substrate might be phosphorylated sequentially n times by means of an enzymatic mechanism. The system has been studied mathematically using reaction network theory and ordinary differential equations. It is known that the system might have at least as many as 2[n/2]+1 steady states (where [x] is the integer part of x) for particular choices of parameters. Furthermore, for the simple and dual futile cycles (n=1,2) the stability of the steady states has been determined in the sense that the only steady state of the simple futile cycle is globally stable, while there exist parameter values for which the dual futile cycle admits two asymptotically stable and one unstable steady state. For general n, evidence that the possible number of asymptotically stable steady states increases with $n$ has been given, which has led to the conjecture that parameter values can be chosen such that [n/2]+1 out of 2[n/2]+1 steady states are asymptotically stable and the remaining steady states are unstable.
We prove this conjecture here by first reducing the system to a smaller one, for which we find a choice of parameter values that give rise to a unique steady state with multiplicity 2[n/2]+1. Using arguments from geometric singular perturbation theory, and a detailed analysis of the centre manifold of this steady state, we achieve the desired result.
△ Less
Submitted 5 April, 2019;
originally announced April 2019.
-
Existence of a Unique Quasi-stationary Distribution for Stochastic Reaction Networks
Authors:
Mads Christian Hansen,
Carsten Wiuf
Abstract:
In the setting of stochastic dynamical systems that eventually go extinct, the quasi-stationary distributions are useful to understand the long-term behavior of a system before evanescence. For a broad class of applicable continuous-time Markov processes on countably infinite state spaces, known as reaction networks, we introduce the inferred notion of absorbing and endorsed sets, and obtain suffi…
▽ More
In the setting of stochastic dynamical systems that eventually go extinct, the quasi-stationary distributions are useful to understand the long-term behavior of a system before evanescence. For a broad class of applicable continuous-time Markov processes on countably infinite state spaces, known as reaction networks, we introduce the inferred notion of absorbing and endorsed sets, and obtain sufficient conditions for the existence and uniqueness of a quasi-stationary distribution within each such endorsed set. In particular, we obtain sufficient conditions for the existence of a globally attracting quasi-stationary distribution in the space of probability measures on the set of endorsed states. Furthermore, under these conditions, the convergence from any initial distribution to the quasi-stationary distribution is exponential in the total variation norm.
△ Less
Submitted 21 August, 2018;
originally announced August 2018.
-
Nonnegative linear elimination for chemical reaction networks
Authors:
Meritxell Sáez,
Carsten Wiuf,
Elisenda Feliu
Abstract:
We consider linear elimination of variables in steady state equations of a chemical reaction network. Particular subsets of variables corresponding to sets of so-called reactant-noninteracting species, are introduced. The steady state equations for the variables in such a set, taken together with potential linear conservation laws in the variables, define a linear system of equations. We give cond…
▽ More
We consider linear elimination of variables in steady state equations of a chemical reaction network. Particular subsets of variables corresponding to sets of so-called reactant-noninteracting species, are introduced. The steady state equations for the variables in such a set, taken together with potential linear conservation laws in the variables, define a linear system of equations. We give conditions that guarantee that the solution to this system is nonnegative, provided it is unique. The results are framed in terms of spanning forests of a particular multidigraph derived from the reaction network and thereby conditions for uniqueness and nonnegativity of a solution are derived by means of the multidigraph. Though our motivation comes from applications in systems biology, the results have general applicability in applied sciences.
△ Less
Submitted 29 June, 2018;
originally announced July 2018.
-
Node Balanced Steady States: Unifying and Generalizing Complex and Detailed Balanced Steady States
Authors:
Elisenda Feliu,
Daniele Cappelletti,
Carsten Wiuf
Abstract:
We introduce a unifying and generalizing framework for complex and detailed balanced steady states in chemical reaction network theory. To this end, we generalize the graph commonly used to represent a reaction network. Specifically, we introduce a graph, called a reaction graph, that has one edge for each reaction but potentially multiple nodes for each complex. A special class of steady states,…
▽ More
We introduce a unifying and generalizing framework for complex and detailed balanced steady states in chemical reaction network theory. To this end, we generalize the graph commonly used to represent a reaction network. Specifically, we introduce a graph, called a reaction graph, that has one edge for each reaction but potentially multiple nodes for each complex. A special class of steady states, called node balanced steady states, is naturally associated with such a reaction graph. We show that complex and detailed balanced steady states are special cases of node balanced steady states by choosing appropriate reaction graphs. Further, we show that node balanced steady states have properties analogous to complex balanced steady states, such as uniqueness and asymptotical stability in each stoichiometric compatibility class. Moreover, we associate an integer, called the deficiency, to a reaction graph that gives the number of independent relations in the reaction rate constants that need to be satisfied for a positive node balanced steady state to exist.
The set of reaction graphs (modulo isomorphism) is equipped with a partial order that has the complex balanced reaction graph as minimal element. We relate this order to the deficiency and to the set of reaction rate constants for which a positive node balanced steady state exists.
△ Less
Submitted 19 November, 2017;
originally announced November 2017.
-
Graphical criteria for positive solutions to linear systems
Authors:
Meritxell Sáez,
Elisenda Feliu,
Carsten Wiuf
Abstract:
We study linear systems of equations with coefficients in a generic partially ordered ring $R$ and a unique solution, and seek conditions for the solution to be nonnegative, that is, every component of the solution is a quotient of two nonnegative elements in $R$. The requirement of a nonnegative solution arises typically in applications, such as in biology and ecology, where quantities of interes…
▽ More
We study linear systems of equations with coefficients in a generic partially ordered ring $R$ and a unique solution, and seek conditions for the solution to be nonnegative, that is, every component of the solution is a quotient of two nonnegative elements in $R$. The requirement of a nonnegative solution arises typically in applications, such as in biology and ecology, where quantities of interest are concentrations and abundances. We provide novel conditions on a labeled multidigraph associated with the linear system that guarantee the solution to be nonnegative. Furthermore, we study a generalization of the first class of linear systems, where the coefficient matrix has a specific block form and provide analogous conditions for nonnegativity of the solution, similarly based on a labeled multidigraph. The latter scenario arises naturally in chemical reaction network theory, when studying full or partial parameterizations of the positive part of the steady state variety of a polynomial dynamical system in the concentrations of the molecular species.
△ Less
Submitted 6 September, 2017;
originally announced September 2017.
-
Uniform Approximation of Solutions by Elimination of Intermediate Species in Deterministic Reaction Networks
Authors:
Daniele Cappelletti,
Carsten Wiuf
Abstract:
Chemical reactions often proceed through the formation and the consumption of intermediate species. An example is the creation and subsequent degradation of the substrate-enzyme complexes in an enzymatic reaction. In this paper we provide a setting, based on ordinary differential equations, in which the presence of intermediate species has little effect on the overall dynamics of a biological syst…
▽ More
Chemical reactions often proceed through the formation and the consumption of intermediate species. An example is the creation and subsequent degradation of the substrate-enzyme complexes in an enzymatic reaction. In this paper we provide a setting, based on ordinary differential equations, in which the presence of intermediate species has little effect on the overall dynamics of a biological system. The result provides a method to perform model reduction by elimination of intermediate species. We study the problem in a multiscale setting, where the species abundances as well a the reaction rates scale to different orders of magnitudes. The different time and concentration scales are parameterised by a single parameter $N$. We show that a solution to the original reaction system is uniformly approximated on compact time intervals to a solution of a reduced reaction system without intermediates and to a solution of a certain limiting reaction systems, which does not depend on $N$. Known approximation techniques such as the theorems by Tikhonov and Fenichel cannot readily be used in this framework.
△ Less
Submitted 7 September, 2017; v1 submitted 6 September, 2016;
originally announced September 2016.
-
Identifying parameter regions for multistationarity
Authors:
Carsten Conradi,
Elisenda Feliu,
Maya Mincheva,
Carsten Wiuf
Abstract:
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 giv…
▽ More
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.
△ Less
Submitted 6 May, 2017; v1 submitted 13 August, 2016;
originally announced August 2016.
-
Intermediates and Generic Convergence to Equilibria
Authors:
Michael Marcondes de Freitas,
Carsten Wiuf,
Elisenda Feliu
Abstract:
Known graphical conditions for the generic or global convergence to equilibria of the dynamical system arising from a reaction network are shown to be invariant under the so-called successive removal of intermediates, a systematic procedure to simplify the network, making the graphical conditions easier to check.
Known graphical conditions for the generic or global convergence to equilibria of the dynamical system arising from a reaction network are shown to be invariant under the so-called successive removal of intermediates, a systematic procedure to simplify the network, making the graphical conditions easier to check.
△ Less
Submitted 19 April, 2017; v1 submitted 30 June, 2016;
originally announced June 2016.
-
Intermediates, Catalysts, Persistence, and Boundary Steady States
Authors:
Michael Marcondes de Freitas,
Elisenda Feliu,
Carsten Wiuf
Abstract:
For dynamical systems arising from chemical reaction networks, persistence is the property that each species concentration remains positively bounded away from zero, as long as species concentrations were all positive in the beginning. We describe two graphical procedures for simplifying reaction networks without breaking known necessary or sufficient conditions for persistence, by iteratively rem…
▽ More
For dynamical systems arising from chemical reaction networks, persistence is the property that each species concentration remains positively bounded away from zero, as long as species concentrations were all positive in the beginning. We describe two graphical procedures for simplifying reaction networks without breaking known necessary or sufficient conditions for persistence, by iteratively removing so-called intermediates and catalysts from the network. The procedures are easy to apply and, in many cases, lead to highly simplified network structures, such as monomolecular networks. For specific classes of reaction networks, we show that these conditions for persistence are equivalent to one another. Furthermore, they can also be characterized by easily checkable strong connectivity properties of a related graph. In particular, this is the case for (conservative) monomolecular networks, as well as cascades of a large class of post-translational modification systems (of which the MAPK cascade and the $n$-site futile cycle are prominent examples). Since one of the aforementioned sufficient conditions for persistence precludes the existence of boundary steady states, our method also provides a graphical tool to check for that.
△ Less
Submitted 28 July, 2016; v1 submitted 20 September, 2015;
originally announced September 2015.
-
Graphical reduction of reaction networks by linear elimination of species
Authors:
Meritxell Sáez,
Carsten Wiuf,
Elisenda Feliu
Abstract:
The quasi-steady state approximation and time-scale separation are commonly applied methods to simplify models of biochemical reaction networks based on ordinary differential equations (ODEs). The concentrations of the "fast" species are assumed effectively to be at steady state with respect to the "slow" species. Under this assumption the steady state equations can be used to eliminate the "fast"…
▽ More
The quasi-steady state approximation and time-scale separation are commonly applied methods to simplify models of biochemical reaction networks based on ordinary differential equations (ODEs). The concentrations of the "fast" species are assumed effectively to be at steady state with respect to the "slow" species. Under this assumption the steady state equations can be used to eliminate the "fast" variables and a new ODE system with only the slow species can be obtained.
We interpret a reduced system obtained by time-scale separation as the ODE system arising from a unique reaction network, by identification of a set of reactions and the corresponding rate functions. The procedure is graphically based and can easily be worked out by hand for small networks. For larger networks, we provide a pseudo-algorithm. We study properties of the reduced network, its kinetics and conservation laws, and show that the kinetics of the reduced network fulfil realistic assumptions, provided the original network does. We illustrate our results using biological examples such as substrate mechanisms, post-translational modification systems and networks with intermediates (transient) steps.
△ Less
Submitted 9 May, 2016; v1 submitted 10 September, 2015;
originally announced September 2015.
-
Product-form Poisson-like distributions and complex balanced reaction systems
Authors:
Daniele Cappelletti,
Carsten Wiuf
Abstract:
Stochastic reaction networks are dynamical models of biochemical reaction systems and form a particular class of continuous-time Markov chains on $\mathbb{N}^n$. Here we provide a fundamental characterisation that connects structural properties of a network to its dynamical features. Specifically, we define the notion of `stochastically complex balanced systems' in terms of the network's stationar…
▽ More
Stochastic reaction networks are dynamical models of biochemical reaction systems and form a particular class of continuous-time Markov chains on $\mathbb{N}^n$. Here we provide a fundamental characterisation that connects structural properties of a network to its dynamical features. Specifically, we define the notion of `stochastically complex balanced systems' in terms of the network's stationary distribution and provide a characterisation of stochastically complex balanced systems, parallel to that established in the 70-80ies for deterministic reaction networks. Additionally, we establish that a network is stochastically complex balanced if and only if an associated deterministic network is complex balanced (in the deterministic sense), thereby proving a strong link between the theory of stochastic and deterministic networks. Further, we prove a stochastic version of the `deficiency zero theorem' and show that any (not only complex balanced) deficiency zero reaction network has a product-form Poisson-like stationary distribution on all irreducible components.
Finally, we provide sufficient conditions for when a product-form Poisson-like distribution on a single (or all) component(s) implies the network is complex balanced, and explore the possibility to characterise complex balanced systems in terms of product-form Poisson-like stationary distributions.
△ Less
Submitted 2 December, 2015; v1 submitted 8 July, 2015;
originally announced July 2015.
-
Lyapunov functions, stationary distributions, and non-equilibrium potential for chemical reaction networks
Authors:
David F. Anderson,
Gheorghe Craciun,
Manoj Gopalkrishnan,
Carsten Wiuf
Abstract:
We consider the relationship between stationary distributions for stochastic models of reaction systems and Lyapunov functions for their deterministic counterparts. Specifically, we derive the well known Lyapunov function of reaction network theory as a scaling limit of the non-equilibrium potential of the stationary distribution of stochastically modeled complex balanced systems. We extend this r…
▽ More
We consider the relationship between stationary distributions for stochastic models of reaction systems and Lyapunov functions for their deterministic counterparts. Specifically, we derive the well known Lyapunov function of reaction network theory as a scaling limit of the non-equilibrium potential of the stationary distribution of stochastically modeled complex balanced systems. We extend this result to general birth-death models and demonstrate via example that similar scaling limits can yield Lyapunov functions even for models that are not complex or detailed balanced, and may even have multiple equilibria.
△ Less
Submitted 10 June, 2015; v1 submitted 17 October, 2014;
originally announced October 2014.
-
Elimination of Intermediate Species in Multiscale Stochastic Reaction Networks
Authors:
Daniele Cappelletti,
Carsten Wiuf
Abstract:
We study networks of biochemical reactions modelled by continuous-time Markov processes. Such networks typically contain many molecular species and reactions and are hard to study analytically as well as by simulation. Particularly, we are interested in reaction networks with intermediate species such as the substrate-enzyme complex in the Michaelis-Menten mechanism. These species are virtually in…
▽ More
We study networks of biochemical reactions modelled by continuous-time Markov processes. Such networks typically contain many molecular species and reactions and are hard to study analytically as well as by simulation. Particularly, we are interested in reaction networks with intermediate species such as the substrate-enzyme complex in the Michaelis-Menten mechanism. These species are virtually in all real-world networks, they are typically short-lived, degraded at a fast rate and hard to observe experimentally.
We provide conditions under which the Markov process of a multiscale reaction network with intermediate species is approximated in finite dimensional distribution by the Markov process of a simpler reduced reaction network without intermediate species. We do so by embedding the Markov processes into a one-parameter family of processes, where reaction rates and species abundances are scaled in the parameter. Further, we show that there are close links between these stochastic models and deterministic ODE models of the same networks.
△ Less
Submitted 30 November, 2015; v1 submitted 11 August, 2014;
originally announced August 2014.
-
Simplifying Biochemical Models With Intermediate Species
Authors:
Elisenda Feliu,
Carsten Wiuf
Abstract:
Mathematical models are increasingly being used to understand complex biochemical systems, to analyze experimental data and make predictions about unobserved quantities. However, we rarely know how robust our conclusions are with respect to the choice and uncertainties of the model. Using algebraic techniques we study systematically the effects of intermediate, or transient, species in biochemical…
▽ More
Mathematical models are increasingly being used to understand complex biochemical systems, to analyze experimental data and make predictions about unobserved quantities. However, we rarely know how robust our conclusions are with respect to the choice and uncertainties of the model. Using algebraic techniques we study systematically the effects of intermediate, or transient, species in biochemical systems and provide a simple, yet rigorous mathematical classification of all models obtained from a core model by including intermediates. Main examples include enzymatic and post-translational modification systems, where intermediates often are considered insignificant and neglected in a model, or they are not included because we are unaware of their existence. All possible models obtained from the core model are classified into a finite number of classes. Each class is defined by a mathematically simple canonical model that characterizes crucial dynamical properties, such as mono- and multistationarity and stability of steady states, of all models in the class. We show that if the core model does not have conservation laws, then the introduction of intermediates does not change the steady-state concentrations of the species in the core model, after suitable matching of parameters. Importantly, our results provide guidelines to the modeler in choosing between models and in distinguishing their properties. Further, our work provides a formal way of comparing models that share a common skeleton.
△ Less
Submitted 4 November, 2015; v1 submitted 27 March, 2013;
originally announced March 2013.
-
Power-law Kinetics and Determinant Criteria for the Preclusion of Multistationarity in Networks of Interacting Species
Authors:
Carsten Wiuf,
Elisenda Feliu
Abstract:
We present determinant criteria for the preclusion of non-degenerate multiple steady states in networks of interacting species. A network is modeled as a system of ordinary differential equations in which the form of the species formation rate function is restricted by the reactions of the network and how the species influence each reaction. We characterize families of so-called power-law kinetics…
▽ More
We present determinant criteria for the preclusion of non-degenerate multiple steady states in networks of interacting species. A network is modeled as a system of ordinary differential equations in which the form of the species formation rate function is restricted by the reactions of the network and how the species influence each reaction. We characterize families of so-called power-law kinetics for which the associated species formation rate function is injective within each stoichiometric class and thus the network cannot exhibit multistationarity. The criterion for power-law kinetics is derived from the determinant of the Jacobian of the species formation rate function. Using this characterization we further derive similar determinant criteria applicable to general sets of kinetics. The criteria are conceptually simple, computationally tractable and easily implemented. Our approach embraces and extends previous work on multistationarity, such as work in relation to chemical reaction networks with dynamics defined by mass-action or non-catalytic kinetics, and also work based on graphical analysis of the interaction graph associated to the system. Further, we interpret the criteria in terms of circuits in the so-called DSR-graph
△ Less
Submitted 17 July, 2013; v1 submitted 16 February, 2012;
originally announced February 2012.
-
Preclusion of switch behavior in reaction networks with mass-action kinetics
Authors:
Elisenda Feliu,
Carsten Wiuf
Abstract:
We provide a Jacobian criterion that applies to arbitrary chemical reaction networks taken with mass-action kinetics to preclude the existence of multiple positive steady states within any stoichiometric class for any choice of rate constants. We are concerned with the characterization of injective networks, that is, networks for which the species formation rate function is injective in the interi…
▽ More
We provide a Jacobian criterion that applies to arbitrary chemical reaction networks taken with mass-action kinetics to preclude the existence of multiple positive steady states within any stoichiometric class for any choice of rate constants. We are concerned with the characterization of injective networks, that is, networks for which the species formation rate function is injective in the interior of the positive orthant within each stoichiometric class. We show that a network is injective if and only if the determinant of the Jacobian of a certain function does not vanish. The function consists of components of the species formation rate function and a maximal set of independent conservation laws. The determinant of the function is a polynomial in the species concentrations and the rate constants (linear in the latter) and its coefficients are fully determined. The criterion also precludes the existence of degenerate steady states. Further, we relate injectivity of a chemical reaction network to that of the chemical reaction network obtained by adding outflow, or degradation, reactions for all species.
△ Less
Submitted 20 December, 2011; v1 submitted 23 September, 2011;
originally announced September 2011.
-
Variable elimination in chemical reaction networks with mass action kinetics
Authors:
Elisenda Feliu,
Carsten Wiuf
Abstract:
We consider chemical reaction networks taken with mass action kinetics. The steady states of such a system are solutions to a system of polynomial equations. Even for small systems the task of finding the solutions is daunting. We develop an algebraic framework and procedure for linear elimination of variables. The procedure reduces the variables in the system to a set of "core" variables by elimi…
▽ More
We consider chemical reaction networks taken with mass action kinetics. The steady states of such a system are solutions to a system of polynomial equations. Even for small systems the task of finding the solutions is daunting. We develop an algebraic framework and procedure for linear elimination of variables. The procedure reduces the variables in the system to a set of "core" variables by eliminating variables corresponding to a set of non-interacting species. The steady states are parameterized algebraically by the core variables, and a graphical condition is given for when a steady state with positive core variables necessarily have all variables positive. Further, we characterize graphically the sets of eliminated variables that are constrained by a conservation law and show that this conservation law takes a specific form.
△ Less
Submitted 7 September, 2011;
originally announced September 2011.
-
Variable elimination in post-translational modification reaction networks with mass-action kinetics
Authors:
Elisenda Feliu,
Carsten Wiuf
Abstract:
We define a subclass of Chemical Reaction Networks called Post-Translational Modification systems. Important biological examples of such systems include MAPK cascades and two-component systems which are well-studied experimentally as well as theoretically. The steady states of such a system are solutions to a system of polynomial equations with as many variables as equations. Even for small system…
▽ More
We define a subclass of Chemical Reaction Networks called Post-Translational Modification systems. Important biological examples of such systems include MAPK cascades and two-component systems which are well-studied experimentally as well as theoretically. The steady states of such a system are solutions to a system of polynomial equations with as many variables as equations. Even for small systems the task of finding the solutions is daunting. We develop a mathematical framework based on the notion of a cut, which provides a linear elimination procedure to reduce the number of variables in the system. The steady states are parameterized algebraically by a set of "core" variables, and the non-negative steady states correspond to non-negative values of the core variables. Further, minimal cuts are the connected components in the species graph and provide conservation laws. A criterion for when a set of independent conservation laws can be derived from cuts is given.
△ Less
Submitted 18 July, 2011;
originally announced July 2011.
-
Fatgraph Models of Proteins
Authors:
R. C. Penner,
Michael Knudsen,
Carsten Wiuf,
Joergen Ellegaard Andersen
Abstract:
We introduce a new model of proteins, which extends and enhances the traditional graphical representation by associating a combinatorial object called a fatgraph to any protein based upon its intrinsic geometry. Fatgraphs can easily be stored and manipulated as triples of permutations, and these methods are therefore amenable to fast computer implementation. Applications include the refinement o…
▽ More
We introduce a new model of proteins, which extends and enhances the traditional graphical representation by associating a combinatorial object called a fatgraph to any protein based upon its intrinsic geometry. Fatgraphs can easily be stored and manipulated as triples of permutations, and these methods are therefore amenable to fast computer implementation. Applications include the refinement of structural protein classifications and the prediction of geometric and other properties of proteins from their chemical structures.
△ Less
Submitted 30 May, 2009; v1 submitted 6 February, 2009;
originally announced February 2009.