Showing 1–50 of 50 results for author: Wiuf, C

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.

Comments: 28 pages

Any Stochastic Reaction Network has a Stationary Measure

Authors: Carsten Wiuf, Chuang Xu

Abstract: In this note, we use a result by Harris (1957) to show that there always exists a stationary measure (not necessarily a distribution) on a closed irreducible component of a stochastic reaction network. This measure might not be unique. In particular, any weakly reversible stochastic reaction network has a stationary measure on all closed irreducibe components, irrespective whether it is compelx ba… ▽ More In this note, we use a result by Harris (1957) to show that there always exists a stationary measure (not necessarily a distribution) on a closed irreducible component of a stochastic reaction network. This measure might not be unique. In particular, any weakly reversible stochastic reaction network has a stationary measure on all closed irreducibe components, irrespective whether it is compelx balanced or not. △ Less

Submitted 11 December, 2023; originally announced December 2023.

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.

Evaluation of population structure inferred by principal component analysis or the admixture model

Authors: Jan van Waaij, Song Li, Genís Garcia-Erill, Anders Albrechtsen, Carsten Wiuf

Abstract: Principal component analysis (PCA) is commonly used in genetics to infer and visualize population structure and admixture between populations. PCA is often interpreted in a way similar to inferred admixture proportions, where it is assumed that individuals belong to one of several possible populations or are admixed between these populations. We propose a new method to assess the statistical fit o… ▽ More Principal component analysis (PCA) is commonly used in genetics to infer and visualize population structure and admixture between populations. PCA is often interpreted in a way similar to inferred admixture proportions, where it is assumed that individuals belong to one of several possible populations or are admixed between these populations. We propose a new method to assess the statistical fit of PCA (interpreted as a model spanned by the top principal components) and to show that violations of the PCA assumptions affect the fit. Our method uses the chosen top principal components to predict the genotypes. By assessing the covariance (and the correlation) of the residuals (the differences between observed and predicted genotypes), we are able to detect violation of the model assumptions. Based on simulations and genome wide human data we show that our assessment of fit can be used to guide the interpretation of the data and to pinpoint individuals that are not well represented by the chosen principal components. Our method works equally on other similar models, such as the admixture model, where the mean of the data is represented by linear matrix decomposition. △ Less

Submitted 9 February, 2023; originally announced February 2023.

MSC Class: 92Dxx ACM Class: G.3

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.

Comments: 29 pages, 2 figures

MSC Class: Primary 60J27; 60J28; secondary 92B05; 92E20; 92C42

Estimation of the covariance structure from SNP allele frequencies

Authors: Jan van Waaij, Zilong Li, Carsten Wiuf

Abstract: We propose two new statistics, V and S, to disentangle the population history of related populations from SNP frequency data. If the populations are related by a tree, we show by theoretical means as well as by simulation that the new statistics are able to identify the root of a tree correctly, in contrast to standard statistics, such as the observed matrix of F2-statistics (distances between pai… ▽ More We propose two new statistics, V and S, to disentangle the population history of related populations from SNP frequency data. If the populations are related by a tree, we show by theoretical means as well as by simulation that the new statistics are able to identify the root of a tree correctly, in contrast to standard statistics, such as the observed matrix of F2-statistics (distances between pairs of populations). The statistic V is obtained by averaging over all SNPs (similar to standard statistics). Its expectation is the true covariance matrix of the observed population SNP frequencies, offset by a matrix with identical entries. In contrast, the statistic S is put in a Bayesian context and is obtained by averaging over pairs of SNPs, such that each SNP is only used once. It thus makes use of the joint distribution of pairs of SNPs. In addition, we provide a number of novel mathematical results about old and new statistics, and their mutual relationship. △ Less

Submitted 17 May, 2022; v1 submitted 22 January, 2022; originally announced January 2022.

Comments: In this new version we added the proof that the operator norm of -D/2 is exactly square root of m

MSC Class: 92D99 (Primary); 62H22 (Secondary)

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.

MSC Class: 60J27; 60J28; 92C42; 92B05; 92E20

Journal ref: Mathematical Biosciences and Engineering 2022

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.

MSC Class: 05C92; 92C42; 92E20

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.

MSC Class: 60J27; 60J28; 92C42; 92E20

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.

MSC Class: 60J28

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.

Comments: This paper is separated into two: arXiv:2006.09802 for its first part, and arxiv:2006.10548 for its second part

MSC Class: 60J27; 37A60; 92C42

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.

Comments: To appear in Mathematical Biosciences

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 reaction network scheme which implements inference and learning for Hidden Markov Models

Authors: Abhinav Singh, Carsten Wiuf, Abhishek Behera, Manoj Gopalkrishnan

Abstract: With a view towards molecular communication systems and molecular multi-agent systems, we propose the Chemical Baum-Welch Algorithm, a novel reaction network scheme that learns parameters for Hidden Markov Models (HMMs). Each reaction in our scheme changes only one molecule of one species to one molecule of another. The reverse change is also accessible but via a different set of enzymes, in a des… ▽ More With a view towards molecular communication systems and molecular multi-agent systems, we propose the Chemical Baum-Welch Algorithm, a novel reaction network scheme that learns parameters for Hidden Markov Models (HMMs). Each reaction in our scheme changes only one molecule of one species to one molecule of another. The reverse change is also accessible but via a different set of enzymes, in a design reminiscent of futile cycles in biochemical pathways. We show that every fixed point of the Baum-Welch algorithm for HMMs is a fixed point of our reaction network scheme, and every positive fixed point of our scheme is a fixed point of the Baum-Welch algorithm. We prove that the "Expectation" step and the "Maximization" step of our reaction network separately converge exponentially fast. We simulate mass-action kinetics for our network on an example sequence, and show that it learns the same parameters for the HMM as the Baum-Welch algorithm. △ Less

Submitted 18 August, 2019; v1 submitted 22 June, 2019; originally announced June 2019.

Comments: Accepted at 25th International Conference on DNA Computing and Molecular Programming

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.

Comments: 35 pages, 12 figures

MSC Class: 60J27; 60J28; 60B10; 80A30; 92C42; 92E20

General theory for stochastic admixture graphs and F-statistics

Authors: Samuele Soraggi, Carsten Wiuf

Abstract: We provide a general mathematical framework based on the theory of graphical models to study admixture graphs. Admixture graphs are used to describe the ancestral relationships between past and present populations, allowing for population merges and migration events, by means of gene flow. We give various mathematical properties of admixture graphs with particular focus on properties of the so-cal… ▽ More We provide a general mathematical framework based on the theory of graphical models to study admixture graphs. Admixture graphs are used to describe the ancestral relationships between past and present populations, allowing for population merges and migration events, by means of gene flow. We give various mathematical properties of admixture graphs with particular focus on properties of the so-called $F$-statistics. Also the Wright-Fisher model is studied and a general expression for the loss of heterozygosity is derived. △ Less

Submitted 19 July, 2018; originally announced July 2018.

MSC Class: 92D15; 92D25

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.

MSC Class: 37N25; 92C42; 34A45; 41A63; 26E70

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.

Comments: In this version the paper has been substantially rewritten and reorganised. Theorem 1 has been reformulated and Corollary 1 added

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.

Comments: Added theorem 1 and corrected an error in the proof of theorem 2

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.

Comments: The main result was made more general through a slightly different approach. Accepted for publication in the Journal of Mathematical Biology

MSC Class: 34C99; 80A30; 92C42

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.

Comments: Exposition improved: the paper is now written for a broader audience. Accepted for publication in Journal of Mathematical Biology

MSC Class: 92C42; 80A30

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.

Comments: 22 pages, 1 figure

MSC Class: 92B05; 92E20; 80A30; 92C42; 60J28; 60G10

Finding the positive feedback loops underlying multi-stationarity

Authors: Elisenda Feliu, Carsten Wiuf

Abstract: Bistability is ubiquitous in biological systems. For example, bistability is found in many reaction networks that involve the control and execution of important biological functions, such as signalling processes. Positive feedback loops, composed of species and reactions, are necessary for bistability, and generally for multi-stationarity, to occur. These loops are therefore often used to illustra… ▽ More Bistability is ubiquitous in biological systems. For example, bistability is found in many reaction networks that involve the control and execution of important biological functions, such as signalling processes. Positive feedback loops, composed of species and reactions, are necessary for bistability, and generally for multi-stationarity, to occur. These loops are therefore often used to illustrate and pinpoint the parts of a multi-stationary network that are relevant (`responsible') for the observed multi-stationarity. However positive feedback loops are generally abundant in reaction networks but not all of them are important for subsequent interpretation of the network's dynamics. We present an automated procedure to determine the relevant positive feedback loops of a multi-stationary reaction network. The procedure only reports the loops that are relevant for multi-stationarity (that is, when broken multi-stationarity disappears) and not all positive feedback loops of the network. We show that the relevant positive feedback loops must be understood in the context of the network (one loop might be relevant for one network, but cannot create multi-stationarity in another). Finally, we demonstrate the procedure by applying it to several examples of signaling processes, including a ubiquitination and an apoptosis network, and to models extracted from the Biomodels database. We have developed and implemented an automated procedure to find relevant positive feedback loops in reaction networks. The results of the procedure are useful for interpretation and summary of the network's dynamics. △ Less

Submitted 28 October, 2014; originally announced October 2014.

Comments: 16 pages, 4 figures

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.

Comments: Proved new results related to the scaled partition functions of the stationary distributions. Added a figure to demonstrate convergence in an example

MSC Class: 60J27; 92C40; 92C42

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.

Comments: Published in the Journal of the Royal Society Interace. The proof of Proposition 2 in the originally published file was erroneus. The result is though correct and the proof has now been fixed. We thank Magali Giaroli from the University of Buenos Aires for pointing out the error in the proof

Cellular compartments cause multistability in biochemical reaction networks and allow cells to process more information

Authors: Heather A. Harrington, Elisenda Feliu, Carsten Wiuf, Michael M. P. Stumpf

Abstract: Many biological, physical, and social interactions have a particular dependence on where they take place. In living cells, protein movement between the nucleus and cytoplasm affects cellular response (i.e., proteins must be present in the nucleus to regulate their target genes). Here we use recent developments from dynamical systems and chemical reaction network theory to identify and characterize… ▽ More Many biological, physical, and social interactions have a particular dependence on where they take place. In living cells, protein movement between the nucleus and cytoplasm affects cellular response (i.e., proteins must be present in the nucleus to regulate their target genes). Here we use recent developments from dynamical systems and chemical reaction network theory to identify and characterize the key-role of the spatial organization of eukaryotic cells in cellular information processing. In particular the existence of distinct compartments plays a pivotal role in whether a system is capable of multistationarity (multiple response states), and is thus directly linked to the amount of information that the signaling molecules can represent in the nucleus. Multistationarity provides a mechanism for switching between different response states in cell signaling systems and enables multiple outcomes for cellular-decision making. We find that introducing species localization can alter the capacity for multistationarity and mathematically demonstrate that shuttling confers flexibility for and greater control of the emergence of an all-or-none response. △ Less

Submitted 10 October, 2012; originally announced October 2012.

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.

Comments: To appear in SIAM Journal on Applied Dynamical Systems

Exact Analysis of Intrinsic Qualitative Features of Phosphorelays using Mathematical Models

Authors: Michael Knudsen, Elisenda Feliu, Carsten Wiuf

Abstract: Phosphorelays are a class of signaling mechanisms used by cells to respond to changes in their environment. Phosphorelays (of which two-component systems constitute a special case) are particularly abundant in prokaryotes and have been shown to be involved in many fundamental processes such as stress response, osmotic regulation, virulence, and chemotaxis. We develop a general model of phosphorela… ▽ More Phosphorelays are a class of signaling mechanisms used by cells to respond to changes in their environment. Phosphorelays (of which two-component systems constitute a special case) are particularly abundant in prokaryotes and have been shown to be involved in many fundamental processes such as stress response, osmotic regulation, virulence, and chemotaxis. We develop a general model of phosphorelays extending existing models of phosphorelays and two-component systems. We analyze the model analytically under the assumption of mass-action kinetics and prove that a phosphorelay has a unique stable steady-state. Furthermore, we derive explicit functions relating stimulus to the response in any layer of a phosphorelay and show that a limited degree of ultrasensitivity (the ability to respond to changes in stimulus in a switch-like manner) in the bottom layer of a phosphorelay is an intrinsic feature which does not depend on any reaction rates or substrate amounts. On the other hand, we show how adjusting reaction rates and substrate amounts may lead to higher degrees of ultrasensitivity in intermediate layers. The explicit formulas also enable us to prove how the response changes with alterations in stimulus, kinetic parameters, and substrate amounts. Aside from providing biological insight, the formulas may also be used to avoid time-consuming simulations in numerical analyses and simulations. △ Less

Submitted 23 September, 2011; originally announced September 2011.

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.

Comments: Version updated, including change of title. Previous title: "Injectivity of chemical reaction networks with mass-action kinetics revisited"

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.

Enzyme sharing as a cause of multistationarity in signaling systems

Authors: Elisenda Feliu, Carsten Wiuf

Abstract: Multistationarity in biological systems is a mechanism of cellular decision making. In particular, signaling pathways regulated by protein phosphorylation display features that facilitate a variety of responses to different biological inputs. The features that lead to multistationarity are of particular interest to determine as well as the stability properties of the steady states. In this paper w… ▽ More Multistationarity in biological systems is a mechanism of cellular decision making. In particular, signaling pathways regulated by protein phosphorylation display features that facilitate a variety of responses to different biological inputs. The features that lead to multistationarity are of particular interest to determine as well as the stability properties of the steady states. In this paper we determine conditions for the emergence of multistationarity in small motifs without feedback that repeatedly occur in signaling pathways. We derive an explicit mathematical relationship between the concentration of a chemical species at steady state and a conserved quantity of the system such as the total amount of substrate available. We show that the relation determines the number of steady states and provides a necessary condition for a steady state to be stable, that is, to be biologically attainable. Further, we identify characteristics of the motifs that lead to multistationarity, and extend the view that multistationarity in signaling pathways arises from multisite phosphorylation. Our approach relies on mass-action kinetics and the conclusions are drawn in full generality without resorting to simulations or random generation of parameters. The approach is extensible to other systems. △ Less

Submitted 4 July, 2011; v1 submitted 30 January, 2011; originally announced January 2011.

Comments: 67 pages, 8 figures

Bounded Coordinate-Descent for Biological Sequence Classification in High Dimensional Predictor Space

Authors: Georgiana Ifrim, Carsten Wiuf

Abstract: We present a framework for discriminative sequence classification where the learner works directly in the high dimensional predictor space of all subsequences in the training set. This is possible by employing a new coordinate-descent algorithm coupled with bounding the magnitude of the gradient for selecting discriminative subsequences fast. We characterize the loss functions for which our generi… ▽ More We present a framework for discriminative sequence classification where the learner works directly in the high dimensional predictor space of all subsequences in the training set. This is possible by employing a new coordinate-descent algorithm coupled with bounding the magnitude of the gradient for selecting discriminative subsequences fast. We characterize the loss functions for which our generic learning algorithm can be applied and present concrete implementations for logistic regression (binomial log-likelihood loss) and support vector machines (squared hinge loss). Application of our algorithm to protein remote homology detection and remote fold recognition results in performance comparable to that of state-of-the-art methods (e.g., kernel support vector machines). Unlike state-of-the-art classifiers, the resulting classification models are simply lists of weighted discriminative subsequences and can thus be interpreted and related to the biological problem. △ Less

Submitted 3 August, 2010; originally announced August 2010.

An Algebraic Approach to Signaling Cascades with n Layers

Authors: Elisenda Feliu, Michael Knudsen, Lars N. Andersen, Carsten Wiuf

Abstract: Posttranslational modification of proteins is key in transmission of signals in cells. Many signaling pathways contain several layers of modification cycles that mediate and change the signal through the pathway. Here, we study a simple signaling cascade consisting of n layers of modification cycles, such that the modified protein of one layer acts as modifier in the next layer. Assuming mass-acti… ▽ More Posttranslational modification of proteins is key in transmission of signals in cells. Many signaling pathways contain several layers of modification cycles that mediate and change the signal through the pathway. Here, we study a simple signaling cascade consisting of n layers of modification cycles, such that the modified protein of one layer acts as modifier in the next layer. Assuming mass-action kinetics and taking the formation of intermediate complexes into account, we show that the steady states are solutions to a polynomial in one variable, and in fact that there is exactly one steady state for any given total amounts of substrates and enzymes. We demonstrate that many steady state concentrations are related through rational functions, which can be found recursively. For example, stimulus-response curves arise as inverse functions to explicit rational functions. We show that the stimulus-response curves of the modified substrates are shifted to the left as we move down the cascade. Further, our approach allows us to study enzyme competition, sequestration and how the steady state changes in response to changes in the total amount of substrates. Our approach is essentially algebraic and follows recent trends in the study of posttranslational modification systems. △ Less

Submitted 18 December, 2010; v1 submitted 2 August, 2010; originally announced August 2010.

A General Mathematical Framework Suitable for Studying Signaling Cascades

Authors: Elisenda Feliu, Lars N. Andersen, Michael Knudsen, Carsten Wiuf

Abstract: We define a general mathematical framework for studying post-translational modification processes under the assumption of mass action kinetics. We define a general mathematical framework for studying post-translational modification processes under the assumption of mass action kinetics. △ Less

Submitted 13 December, 2011; v1 submitted 2 August, 2010; originally announced August 2010.

Comments: This paper has been withdrawn by the author due to a few inaccuracies in the text. An improved version of the results of this paper can be found in arXiv:1107.3531 [q-bio.MN]

Notes to Robert et al.: Model criticism informs model choice and model comparison

Authors: Oliver Ratmann, Christophe Andrieu, Carsten Wiuf, Sylvia Richardson

Abstract: In their letter to PNAS and a comprehensive set of notes on arXiv [arXiv:0909.5673v2], Christian Robert, Kerrie Mengersen and Carla Chen (RMC) represent our approach to model criticism in situations when the likelihood cannot be computed as a way to "contrast several models with each other". In addition, RMC argue that model assessment with Approximate Bayesian Computation under model uncertaint… ▽ More In their letter to PNAS and a comprehensive set of notes on arXiv [arXiv:0909.5673v2], Christian Robert, Kerrie Mengersen and Carla Chen (RMC) represent our approach to model criticism in situations when the likelihood cannot be computed as a way to "contrast several models with each other". In addition, RMC argue that model assessment with Approximate Bayesian Computation under model uncertainty (ABCmu) is unduly challenging and question its Bayesian foundations. We disagree, and clarify that ABCmu is a probabilistically sound and powerful too for criticizing a model against aspects of the observed data, and discuss further the utility of ABCmu. △ Less

Submitted 16 December, 2009; originally announced December 2009.

Comments: Reply to [arXiv:0909.5673v2]

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.

Comments: 32 pages, 12 figures

Sampling properties of random graphs: the degree distribution

Authors: Michael P. H. Stumpf, Carsten Wiuf

Abstract: We discuss two sampling schemes for selecting random subnets from a network: Random sampling and connectivity dependent sampling, and investigate how the degree distribution of a node in the network is affected by the two types of sampling. Here we derive a necessary and sufficient condition that guarantees that the degree distribution of the subnet and the true network belong to the same family… ▽ More We discuss two sampling schemes for selecting random subnets from a network: Random sampling and connectivity dependent sampling, and investigate how the degree distribution of a node in the network is affected by the two types of sampling. Here we derive a necessary and sufficient condition that guarantees that the degree distribution of the subnet and the true network belong to the same family of probability distributions. For completely random sampling of nodes we find that this condition is fulfilled by classical random graphs; for the vast majority of networks this condition will, however, not be met. We furthermore discuss the case where the probability of sampling a node depends on the degree of a node and we find that even classical random graphs are no longer closed under this sampling regime. We conclude by relating the results to real {\it E.coli} protein interaction network data. △ Less

Submitted 14 July, 2005; originally announced July 2005.

Comments: accepted for publication in Phys.Rev. E

Statistical model selection methods applied to biological networks

Authors: M. P. H. Stumpf, P. J. Ingram, I. Nouvel, C. Wiuf

Abstract: Many biological networks have been labelled scale-free as their degree distribution can be approximately described by a powerlaw distribution. While the degree distribution does not summarize all aspects of a network it has often been suggested that its functional form contains important clues as to underlying evolutionary processes that have shaped the network. Generally determining the appropr… ▽ More Many biological networks have been labelled scale-free as their degree distribution can be approximately described by a powerlaw distribution. While the degree distribution does not summarize all aspects of a network it has often been suggested that its functional form contains important clues as to underlying evolutionary processes that have shaped the network. Generally determining the appropriate functional form for the degree distribution has been fitted in an ad-hoc fashion. Here we apply formal statistical model selection methods to determine which functional form best describes degree distributions of protein interaction and metabolic networks. We interpret the degree distribution as belonging to a class of probability models and determine which of these models provides the best description for the empirical data using maximum likelihood inference, composite likelihood methods, the Akaike information criterion and goodness-of-fit tests. The whole data is used in order to determine the parameter that best explains the data under a given model (e.g. scale-free or random graph). As we will show, present protein interaction and metabolic network data from different organisms suggests that simple scale-free models do not provide an adequate description of real network data. △ Less

Submitted 10 June, 2005; originally announced June 2005.

Comments: Transactions in Computational Systems Biology (in press)