-
Absolute concentration robustness: Algebra and geometry
Authors:
Luis David García Puente,
Elizabeth Gross,
Heather A Harrington,
Matthew Johnston,
Nicolette Meshkat,
Mercedes Pérez Millán,
Anne Shiu
Abstract:
Motivated by the question of how biological systems maintain homeostasis in changing environments, Shinar and Feinberg introduced in 2010 the concept of absolute concentration robustness (ACR). A biochemical system exhibits ACR in some species if the steady-state value of that species does not depend on initial conditions. Thus, a system with ACR can maintain a constant level of one species even a…
▽ More
Motivated by the question of how biological systems maintain homeostasis in changing environments, Shinar and Feinberg introduced in 2010 the concept of absolute concentration robustness (ACR). A biochemical system exhibits ACR in some species if the steady-state value of that species does not depend on initial conditions. Thus, a system with ACR can maintain a constant level of one species even as the environment changes. Despite a great deal of interest in ACR in recent years, the following basic question remains open: How can we determine quickly whether a given biochemical system has ACR? Although various approaches to this problem have been proposed, we show that they are incomplete. Accordingly, we present new methods for deciding ACR, which harness computational algebra. We illustrate our results on several biochemical signaling networks.
△ Less
Submitted 12 November, 2024; v1 submitted 29 December, 2023;
originally announced January 2024.
-
The Effect of Vaccination on the Competitive Advantage of Two Strains of an Infectious Disease
Authors:
Matthew D. Johnston,
Bruce Pell,
Jared Pemberton,
David A. Rubel
Abstract:
We investigate how a population's natural and vaccine immunity affects the competitive balance between two strains of an infectious disease with different epidemiological characteristics. Specifically, we consider the case where one strain is more transmissible and the other strain is more immune-resistant. The competition of these strains is modeled by two SIR-type models which incorporate waning…
▽ More
We investigate how a population's natural and vaccine immunity affects the competitive balance between two strains of an infectious disease with different epidemiological characteristics. Specifically, we consider the case where one strain is more transmissible and the other strain is more immune-resistant. The competition of these strains is modeled by two SIR-type models which incorporate waning natural immunity and which have distinct mechanisms for vaccine immunity. Waning immunity is implemented as a gamma-distributed delay, which is analyzed using the linear chain trick to transform the delay differential equation systems into a system of ordinary differential equations. Our analysis shows that vaccination has a significant effect on the competitive balance between two strains, potentially leading to dramatic flips from one strain dominating in the population to the other. We also show that which strain gains an advantage as a population's immunity level increases depends upon the integration between the mechanisms of natural and vaccine immunity. The results of this paper are consequently relevant for public policy.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Algorithmic approach for an unique definition of the next generation matrix
Authors:
Florin Avram,
Rim Adenane,
Lasko Basnarkov,
Matthew Johnston
Abstract:
The basic reproduction number R0 is a concept which originated in population dynamics, mathematical epidemiology, and ecology and is closely related to the mean number of children in branching processes.We offer below three new contributions to the literature: 1) We order a universal algorithmic definition of a (F, V) gradient decomposition (and hence of the resulting R0), which requires a minimal…
▽ More
The basic reproduction number R0 is a concept which originated in population dynamics, mathematical epidemiology, and ecology and is closely related to the mean number of children in branching processes.We offer below three new contributions to the literature: 1) We order a universal algorithmic definition of a (F, V) gradient decomposition (and hence of the resulting R0), which requires a minimal input from the user, namely the specification of an admissible set of disease/infection variables. We also present examples where other choices may be more reasonable, with more terms in F, or more terms in V .
2) We glean out from the works of Bacaer a fixed point equation (8) for the extinction probabilities of a stochastic model associated to a deterministic ODE model, which may be expressed in terms of the (F, V ) decomposition. The fact that both R0 and the extinction probabilities are functions of (F, V ) underlines the centrality of this pair, which may be viewed as more fundamental than the famous next generation matrix FV^{-1}.
3) We suggest introducing a new concept of sufficient/minimal disease/infection set (sufficient for determining R0). More precisely, our universal recipe of choosing "new infections" once the "infections" are specified suggests focusing on the choice of the latter, which is also not unique. The maximal choice of choosing all compartments which become 0 at the given boundary point seems to always work, but is the least useful for analytic computations, therefore we propose to investigate the minimal one. As a bonus, this idea seems useful for understanding the Jacobian factorization approach for computing R0 . Last but not least, we offer Mathematica scripts and implement them for a large variety of examples, which illustrate that our recipe others always reasonable results, but that sometimes other reasonable (F, V ) decompositions are available as well.
△ Less
Submitted 29 November, 2023; v1 submitted 28 November, 2023;
originally announced November 2023.
-
A two-strain model of infectious disease spread with asymmetric temporary immunity periods and partial cross-immunity
Authors:
Matthew D. Johnston,
Bruce Pell,
David A. Rubel
Abstract:
We introduce a two-strain model with asymmetric temporary immunity periods and partial cross-immunity. We derive explicit conditions for competitive exclusion and coexistence of the strains depending on the strain-specific basic reproduction numbers, temporary immunity periods, and degree of cross-immunity. The results of our bifurcation analysis suggest that, even when two strains share similar b…
▽ More
We introduce a two-strain model with asymmetric temporary immunity periods and partial cross-immunity. We derive explicit conditions for competitive exclusion and coexistence of the strains depending on the strain-specific basic reproduction numbers, temporary immunity periods, and degree of cross-immunity. The results of our bifurcation analysis suggest that, even when two strains share similar basic reproduction numbers and other epidemiological parameters, a disparity in temporary immunity periods and partial or complete cross-immunity can provide a significant competitive advantage. To analyze the dynamics, we introduce a quasi-steady state reduced model which assumes the original strain remains at its endemic steady state. We completely analyze the resulting reduced planar hybrid switching system using linear stability analysis, planar phase-plane analysis, and the Bendixson-Dulac criterion. We validate both the full and reduced models with COVID-19 incidence data, focusing on the Delta (B.1.617.2), Omicron (B.1.1.529), and Kraken (XBB.1.5) variants. These numerical studies suggest that, while early novel strains of COVID-19 had a tendency toward dramatic takeovers and extinction of ancestral strains, more recent strains have the capacity for co-existence.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
$Δ$-MILP: Deep Space Network Scheduling via Mixed-Integer Linear Programming
Authors:
Thomas Claudet,
Ryan Alimo,
Edwin Goh,
Mark Johnston,
Ramtin Madani,
Brian Wilson
Abstract:
This paper introduces $Δ$-MILP, a powerful variant of the mixed-integer linear programming (MILP) optimization framework to solve NASA's Deep Space Network (DSN) scheduling problem. This work is an extension of our original MILP framework (DOI:10.1109/ACCESS.2021.3064928) and inherits many of its constructions and strengths, including the base MILP formulation for DSN scheduling. To provide more f…
▽ More
This paper introduces $Δ$-MILP, a powerful variant of the mixed-integer linear programming (MILP) optimization framework to solve NASA's Deep Space Network (DSN) scheduling problem. This work is an extension of our original MILP framework (DOI:10.1109/ACCESS.2021.3064928) and inherits many of its constructions and strengths, including the base MILP formulation for DSN scheduling. To provide more feasible schedules with respect to the DSN requirements, $Δ$-MILP incorporates new sets of constraints including 1) splitting larger tracks into shorter segments and 2) preventing overlapping between tracks on different antennas. Additionally, $Δ$-MILP leverages a heuristic to balance mission satisfaction and allows to prioritize certain missions in special scenarios including emergencies and landings. Numerical validations demonstrate that $Δ$-MILP now satisfies 100% of the requested constraints and provides fair schedules amongst missions with respect to the state-of-the-art for the most oversubscribed weeks of the years 2016 and 2018.
△ Less
Submitted 14 February, 2022; v1 submitted 22 November, 2021;
originally announced November 2021.
-
Analysis of Mass-Action Systems by Split Network Translation
Authors:
Matthew D. Johnston
Abstract:
We introduce the notion of corresponding a chemical reaction network to a split network translation, and use this novel process to extend the scope of existing network-based theory for characterizing the steady state set of mass-action systems. In the process of network splitting, the reactions of a network are divided into subnetworks, called slices, in such a way that, when summed across the sli…
▽ More
We introduce the notion of corresponding a chemical reaction network to a split network translation, and use this novel process to extend the scope of existing network-based theory for characterizing the steady state set of mass-action systems. In the process of network splitting, the reactions of a network are divided into subnetworks, called slices, in such a way that, when summed across the slices, the stoichiometry of each reaction sums to that of the original network. This can produce a network with more desirable structural properties, such as weak reversibility and a lower deficiency, which can then be used to establish steady state properties of the original mass-action system such as multistationarity and absolute concentration robustness. We also present a computational implementation utilizing mixed-integer linear programming for determining whether a given chemical reaction network has a weakly reversible split network translation.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
The Linearized Classical Boussinesq System on the Half-Line
Authors:
C. M. Johnston,
Clarence T. Gartman,
Dionyssios Mantzavinos
Abstract:
The linearization of the classical Boussinesq system is solved explicitly in the case of nonzero boundary conditions on the half-line. The analysis relies on the unified transform method of Fokas and is performed in two different frameworks: (i) by exploiting the recently introduced extension of Fokas's method to systems of equations; (ii) by expressing the linearized classical Boussinesq system a…
▽ More
The linearization of the classical Boussinesq system is solved explicitly in the case of nonzero boundary conditions on the half-line. The analysis relies on the unified transform method of Fokas and is performed in two different frameworks: (i) by exploiting the recently introduced extension of Fokas's method to systems of equations; (ii) by expressing the linearized classical Boussinesq system as a single, higher-order equation which is then solved via the usual version of the unified transform. The resulting formula provides a novel representation for the solution of the linearized classical Boussinesq system on the half-line. Moreover, thanks to the uniform convergence at the boundary, the novel formula is shown to satisfy the linearized classical Boussinesq system as well as the prescribed initial and boundary data via a direct calculation.
△ Less
Submitted 4 December, 2020; v1 submitted 20 September, 2020;
originally announced September 2020.
-
A Dynamical Framework for Modeling Fear of Infection and Frustration with Social Distancing in COVID-19 Spread
Authors:
Matthew D. Johnston,
Bruce Pell
Abstract:
In this paper, we introduce a novel modeling framework for incorporating fear of infection and frustration with social distancing into disease dynamics. We show that the resulting SEIR behavior-perception model has three principal modes of qualitative behavior---no outbreak, controlled outbreak, and uncontrolled outbreak. We also demonstrate that the model can produce transient and sustained waves…
▽ More
In this paper, we introduce a novel modeling framework for incorporating fear of infection and frustration with social distancing into disease dynamics. We show that the resulting SEIR behavior-perception model has three principal modes of qualitative behavior---no outbreak, controlled outbreak, and uncontrolled outbreak. We also demonstrate that the model can produce transient and sustained waves of infection consistent with secondary outbreaks. We fit the model to cumulative COVID-19 case and mortality data from several regions. Our analysis suggests that regions which experience a significant decline after the first wave of infection, such as Canada and Israel, are more likely to contain secondary waves of infection, whereas regions which only achieve moderate success in mitigating the disease's spread initially, such as the United States, are likely to experience substantial secondary waves or uncontrolled outbreaks.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
On classes of reaction networks and their associated polynomial dynamical systems
Authors:
David F. Anderson,
James D. Brunner,
Gheorghe Craciun,
Matthew D. Johnston
Abstract:
In the study of reaction networks and the polynomial dynamical systems that they generate, special classes of networks with important properties have been identified. These include reversible, weakly reversible}, and, more recently, endotactic networks. While some inclusions between these network types are clear, such as the fact that all reversible networks are weakly reversible, other relationsh…
▽ More
In the study of reaction networks and the polynomial dynamical systems that they generate, special classes of networks with important properties have been identified. These include reversible, weakly reversible}, and, more recently, endotactic networks. While some inclusions between these network types are clear, such as the fact that all reversible networks are weakly reversible, other relationships are more complicated. Adding to this complexity is the possibility that inclusions be at the level of the dynamical systems generated by the networks rather than at the level of the networks themselves. We completely characterize the inclusions between reversible, weakly reversible, endotactic, and strongly endotactic network, as well as other less well studied network types. In particular, we show that every strongly endotactic network in two dimensions can be generated by an extremally weakly reversible network. We also introduce a new class of source-only networks, which is a computationally convenient property for networks to have, and show how this class relates to the above mentioned network types.
△ Less
Submitted 14 July, 2020; v1 submitted 14 April, 2020;
originally announced April 2020.
-
Realizations of kinetic differential equations
Authors:
G. Craciun,
M. D. Johnston,
G. Szederkényi,
E. Tonello,
J. Tóth,
P. Y. Yu
Abstract:
The induced kinetic differential equation of a reaction network endowed with mass action type kinetics is a system of polynomial differential equations. The problem studied here is: Given a polynomial differential equation, is it possible to find a network which induces the equation? If yes, can we find a network with some chemically relevant properties (implying also important dynamic consequence…
▽ More
The induced kinetic differential equation of a reaction network endowed with mass action type kinetics is a system of polynomial differential equations. The problem studied here is: Given a polynomial differential equation, is it possible to find a network which induces the equation? If yes, can we find a network with some chemically relevant properties (implying also important dynamic consequences), such as reversibility, weak reversibility, zero deficiency, detailed balancing, complex balancing, mass conservation, etc. The constructive answers presented to a series of questions of the above type are useful when fitting a differential equation to measurements, or when trying to find out the dynamic behavior of the solutions of a differential equation. It turns out that some of the results can be applied when trying to solve purely mathematical problems, like the existence of positive solutions to polynomial equation.
△ Less
Submitted 8 September, 2019; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Computing Weakly Reversible Deficiency Zero Network Translations Using Elementary Flux Modes
Authors:
Matthew D. Johnston,
Evan Burton
Abstract:
We present a computational method for performing structural translation, which has been studied recently in the context of analyzing the steady states and dynamical behavior of mass-action systems derived from biochemical reaction networks. Our procedure involves solving a binary linear programming problem where the decision variables correspond to interactions between the reactions of the origina…
▽ More
We present a computational method for performing structural translation, which has been studied recently in the context of analyzing the steady states and dynamical behavior of mass-action systems derived from biochemical reaction networks. Our procedure involves solving a binary linear programming problem where the decision variables correspond to interactions between the reactions of the original network. We call the resulting network a reaction-to-reaction graph and formalize how such a construction relates to the original reaction network and the structural translation. We demonstrate the efficacy and efficiency of the algorithm by running it on 508 networks from the European Bioinformatics Institutes' BioModels database. We also summarize how this work can be incorporated into recently proposed algorithms for establishing mono and multistationarity in biochemical reaction systems.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
A deficiency-based approach to parametrizing positive equilibria of biochemical reaction systems
Authors:
Matthew D. Johnston,
Stefan Müller,
Casian Pantea
Abstract:
We present conditions which guarantee a parametrization of the set of positive equilibria of a generalized mass-action system. Our main results state that (i) if the underlying generalized chemical reaction network has an effective deficiency of zero, then the set of positive equilibria coincides with the parametrized set of complex-balanced equilibria and (ii) if the network is weakly reversible…
▽ More
We present conditions which guarantee a parametrization of the set of positive equilibria of a generalized mass-action system. Our main results state that (i) if the underlying generalized chemical reaction network has an effective deficiency of zero, then the set of positive equilibria coincides with the parametrized set of complex-balanced equilibria and (ii) if the network is weakly reversible and has a kinetic deficiency of zero, then the equilibrium set is nonempty and has a positive, typically rational, parametrization. Via the method of network translation, we apply our results to classical mass-action systems studied in the biochemical literature, including the EnvZ-OmpR and shuttled WNT signaling pathways. A parametrization of the set of positive equilibria of a (generalized) mass-action system is often a prerequisite for the study of multistationarity and allows an easy check for the occurrence of absolute concentration robustness (ACR), as we demonstrate for the EnvZ-OmpR pathway.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Network translation and steady state properties of chemical reaction systems
Authors:
Elisa Tonello,
Matthew D. Johnston
Abstract:
Network translation has recently been used to establish steady state properties of mass action systems by corresponding the given system to a generalized one which is either dynamically or steady state equivalent. In this work we further use network translation to identify network structures which give rise to the well-studied property of absolute concentration robustness in the corresponding mass…
▽ More
Network translation has recently been used to establish steady state properties of mass action systems by corresponding the given system to a generalized one which is either dynamically or steady state equivalent. In this work we further use network translation to identify network structures which give rise to the well-studied property of absolute concentration robustness in the corresponding mass action systems. In addition to establishing the capacity for absolute concentration robustness, we show that network translation can often provide a method for deriving the steady state value of the robust species. We furthermore present a MILP algorithm for the identification of translated chemical reaction networks that improves on previous approaches, allowing for easier application of the theory.
△ Less
Submitted 13 August, 2018; v1 submitted 29 October, 2017;
originally announced October 2017.
-
A Computational Approach to Extinction Events in Chemical Reaction Networks with Discrete State Spaces
Authors:
Matthew D. Johnston
Abstract:
Recent work of M.D. Johnston et al. has produced sufficient conditions on the structure of a chemical reaction network which guarantee that the corresponding discrete state space system exhibits an extinction event. The conditions consist of a series of systems of equalities and inequalities on the edges of a modified reaction network called a domination-expanded reaction network. In this paper, w…
▽ More
Recent work of M.D. Johnston et al. has produced sufficient conditions on the structure of a chemical reaction network which guarantee that the corresponding discrete state space system exhibits an extinction event. The conditions consist of a series of systems of equalities and inequalities on the edges of a modified reaction network called a domination-expanded reaction network. In this paper, we present a computational implementation of these conditions written in Python and apply the program on examples drawn from the biochemical literature, including a model of polyamine metabolism in mammals and a model of the pentose phosphate pathway in Trypanosoma brucei. We also run the program on 458 models from the European Bioinformatics Institute's BioModels Database and report our results.
△ Less
Submitted 9 January, 2017; v1 submitted 8 January, 2017;
originally announced January 2017.
-
Conditions for Extinction Events in Chemical Reaction Networks with Discrete State Spaces
Authors:
Matthew D. Johnston,
David F. Anderson,
Gheorghe Craciun,
Robert Brijder
Abstract:
We study chemical reaction networks with discrete state spaces, such as the standard continuous time Markov chain model, and present sufficient conditions on the structure of the network that guarantee the system exhibits an extinction event. The conditions we derive involve creating a modified chemical reaction network called a domination-expanded reaction network and then checking properties of…
▽ More
We study chemical reaction networks with discrete state spaces, such as the standard continuous time Markov chain model, and present sufficient conditions on the structure of the network that guarantee the system exhibits an extinction event. The conditions we derive involve creating a modified chemical reaction network called a domination-expanded reaction network and then checking properties of this network. We apply the results to several networks including an EnvZ-OmpR signaling pathway in Escherichia coli. This analysis produces a system of equalities and inequalities which, in contrast to previous results on extinction events, allows algorithmic implementation. Such an implementation will be investigated in a companion paper where the results are applied to 458 models from the European Bioinformatics Institute's BioModels database.
△ Less
Submitted 9 January, 2017; v1 submitted 8 January, 2017;
originally announced January 2017.
-
A Linear Programming Approach to Dynamical Equivalence, Linear Conjugacy, and the Deficiency One Theorem
Authors:
Matthew D. Johnston
Abstract:
The well-known Deficiency One Theorem gives structural conditions on a chemical reaction network under which, for any set of parameter values, the steady states of the corresponding mass action system may be easily characterized. It is also known, however, that mass action systems are not uniquely associated with reaction networks and that some representations may satisfy the Deficiency One Theore…
▽ More
The well-known Deficiency One Theorem gives structural conditions on a chemical reaction network under which, for any set of parameter values, the steady states of the corresponding mass action system may be easily characterized. It is also known, however, that mass action systems are not uniquely associated with reaction networks and that some representations may satisfy the Deficiency One Theorem while others may not. In this paper we present a mixed-integer linear programming framework capable of determining whether a given mass action system has a dynamically equivalent or linearly conjugate representation which has an underlying network satisfying the Deficiency One Theorem. This extends recent computational work determining linearly conjugate systems which are weakly reversible and have a deficiency of zero.
△ Less
Submitted 29 February, 2016; v1 submitted 22 January, 2016;
originally announced February 2016.
-
A computational approach to persistence, permanence, and endotacticity of biochemical reaction systems
Authors:
Matthew D. Johnston,
Casian Pantea,
Pete Donnell
Abstract:
We introduce a mixed-integer linear programming (MILP) framework capable of determining whether a chemical reaction network possesses the property of being endotactic or strongly endotactic. The network property of being strongly endotactic is known to lead to persistence and permanence of chemical species under genetic kinetic assumptions, while the same result is conjectured but as yet unproved…
▽ More
We introduce a mixed-integer linear programming (MILP) framework capable of determining whether a chemical reaction network possesses the property of being endotactic or strongly endotactic. The network property of being strongly endotactic is known to lead to persistence and permanence of chemical species under genetic kinetic assumptions, while the same result is conjectured but as yet unproved for general endotactic networks. The algorithms we present are the first capable of verifying endotacticity of chemical reaction networks for systems with greater than two constituent species. We implement the algorithms in the open-source online package CoNtRol and apply them to several well-studied biochemical examples, including the general $n$-site phosphorylation / dephosphorylation networks and a circadian clock mechanism.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
A note on "MAPK networks and their capacity for multistationarity due to toric steady states"
Authors:
Matthew D. Johnston
Abstract:
We provide a short supplement to the paper "MAPK networks and their capacity for multistationarity due to toric steady states" by Pérez Millán and Turjanski. We show that the capacity for toric steady states in the three networks analyzed in that paper can be derived using the process of network translation, which corresponds the original mass action system to a generalized mass action system with…
▽ More
We provide a short supplement to the paper "MAPK networks and their capacity for multistationarity due to toric steady states" by Pérez Millán and Turjanski. We show that the capacity for toric steady states in the three networks analyzed in that paper can be derived using the process of network translation, which corresponds the original mass action system to a generalized mass action system with the same steady states. In all three cases, the translated chemical reaction network is proper, weakly reversible, and has both a structural and kinetic deficiency of zero. This is sufficient to guarantee toric steady states by previously established work on network translations. A basis of the steady state ideal is then derived by consideration of the linkage classes of the translated chemical reaction network.
△ Less
Submitted 21 July, 2014;
originally announced July 2014.
-
A Computational Approach to Steady State Correspondence of Regular and Generalized Mass Action Systems
Authors:
Matthew D. Johnston
Abstract:
It has been recently observed that the dynamical properties of mass action systems arising from many models of biochemical reaction networks can be derived by considering the corresponding properties of a related generalized mass action system. The correspondence process known as network translation in particular has been shown to be useful in characterizing a system's steady states. In this paper…
▽ More
It has been recently observed that the dynamical properties of mass action systems arising from many models of biochemical reaction networks can be derived by considering the corresponding properties of a related generalized mass action system. The correspondence process known as network translation in particular has been shown to be useful in characterizing a system's steady states. In this paper, we further develop the theory of network translation with particular focus on a subclass of translations known as improper translations. For these translations, we derive conditions on the network topology of the translated network which are sufficient to guarantee the original and translated systems share the same steady states. We then present a mixed-integer linear programming (MILP) algorithm capable of determining whether a mass action system can be corresponded to a generalized system through the process of network translation.
△ Less
Submitted 21 July, 2014; v1 submitted 17 July, 2014;
originally announced July 2014.
-
Stochastic analysis of biochemical reaction networks with absolute concentration robustness
Authors:
David F. Anderson,
German Enciso,
Matthew Johnston
Abstract:
It has recently been shown that structural conditions on the reaction network, rather than a 'fine-tuning' of system parameters, often suffice to impart 'absolute concentration robustness' on a wide class of biologically relevant, deterministically modeled mass-action systems [Shinar and Feinberg, Science, 2010]. We show here that fundamentally different conclusions about the long-term behavior of…
▽ More
It has recently been shown that structural conditions on the reaction network, rather than a 'fine-tuning' of system parameters, often suffice to impart 'absolute concentration robustness' on a wide class of biologically relevant, deterministically modeled mass-action systems [Shinar and Feinberg, Science, 2010]. We show here that fundamentally different conclusions about the long-term behavior of such systems are reached if the systems are instead modeled with stochastic dynamics and a discrete state space. Specifically, we characterize a large class of models that exhibit convergence to a positive robust equilibrium in the deterministic setting, whereas trajectories of the corresponding stochastic models are necessarily absorbed by a set of states that reside on the boundary of the state space, i.e. the system undergoes an extinction event. If the time to extinction is large relative to the relevant time-scales of the system, the process will appear to settle down to a stationary distribution long before the inevitable extinction will occur. This quasi-stationary distribution is considered for two systems taken from the literature, and results consistent with absolute concentration robustness are recovered by showing that the quasi-stationary distribution of the robust species approaches a Poisson distribution.
△ Less
Submitted 16 January, 2014; v1 submitted 14 October, 2013;
originally announced October 2013.
-
Translated Chemical Reaction Networks
Authors:
Matthew D. Johnston
Abstract:
Many biochemical and industrial applications involve complicated networks of simultaneously occurring chemical reactions. Under the assumption of mass action kinetics, the dynamics of these chemical reaction networks are governed by systems of polynomial ordinary differential equations. The steady states of these mass action systems have been analysed via a variety of techniques, including element…
▽ More
Many biochemical and industrial applications involve complicated networks of simultaneously occurring chemical reactions. Under the assumption of mass action kinetics, the dynamics of these chemical reaction networks are governed by systems of polynomial ordinary differential equations. The steady states of these mass action systems have been analysed via a variety of techniques, including elementary flux mode analysis, algebraic techniques (e.g. Groebner bases), and deficiency theory. In this paper, we present a novel method for characterizing the steady states of mass action systems. Our method explicitly links a network's capacity to permit a particular class of steady states, called toric steady states, to topological properties of a related network called a translated chemical reaction network. These networks share their reaction stoichiometries with their source network but are permitted to have different complex stoichiometries and different network topologies. We apply the results to examples drawn from the biochemical literature.
△ Less
Submitted 11 June, 2013; v1 submitted 24 May, 2013;
originally announced May 2013.
-
Computing Weakly Reversible Linearly Conjugate Chemical Reaction Networks with Minimal Deficiency
Authors:
Matthew D. Johnston,
David Siegel,
Gábor Szederkényi
Abstract:
Mass-action kinetics is frequently used in systems biology to model the behaviour of interacting chemical species. Many important dynamical properties are known to hold for such systems if they are weakly reversible and have a low deficiency. In particular, the Deficiency Zero and Deficiency One Theorems guarantee strong regularity with regards to the number and stability of positive equilibrium s…
▽ More
Mass-action kinetics is frequently used in systems biology to model the behaviour of interacting chemical species. Many important dynamical properties are known to hold for such systems if they are weakly reversible and have a low deficiency. In particular, the Deficiency Zero and Deficiency One Theorems guarantee strong regularity with regards to the number and stability of positive equilibrium states. It is also known that chemical reaction networks with disparate reaction structure can exhibit the same qualitative dynamics. The theory of linear conjugacy encapsulates the cases where this relationship is captured by a linear transformation. In this paper, we propose a mixed-integer linear programming algorithm capable of determining weakly reversible reaction networks with a minimal deficiency which are linearly conjugate to a given reaction network.
△ Less
Submitted 22 March, 2012;
originally announced March 2012.
-
Dynamical Equivalence and Linear Conjugacy of Chemical Reaction Networks: New Results and Methods
Authors:
Matthew D. Johnston,
David Siegel,
Gábor Szederkényi
Abstract:
In the first part of this paper, we propose new optimization-based methods for the computation of preferred (dense, sparse, reversible, detailed and complex balanced) linearly conjugate reaction network structures with mass action dynamics. The developed methods are extensions of previously published results on dynamically equivalent reaction networks and are based on mixed-integer linear programm…
▽ More
In the first part of this paper, we propose new optimization-based methods for the computation of preferred (dense, sparse, reversible, detailed and complex balanced) linearly conjugate reaction network structures with mass action dynamics. The developed methods are extensions of previously published results on dynamically equivalent reaction networks and are based on mixed-integer linear programming. As related theoretical contributions we show that (i) dense linearly conjugate networks define a unique super-structure for any positive diagonal state transformation if the set of chemical complexes is given, and (ii) the existence of linearly conjugate detailed balanced and complex balanced networks do not depend on the selection of equilibrium points. In the second part of the paper it is shown that determining dynamically equivalent realizations to a network that is structurally fixed but parametrically not can also be written and solved as a mixed-integer linear programming problem. Several examples illustrate the presented computation methods.
△ Less
Submitted 6 November, 2011;
originally announced November 2011.
-
A Linear Programming Approach to Weak Reversibility and Linear Conjugacy of Chemical Reaction Networks
Authors:
Matthew D. Johnston,
David Siegel,
Gábor Szederkényi
Abstract:
A numerically effective procedure for determining weakly reversible chemical reaction networks that are linearly conjugate to a known reaction network is proposed in this paper. The method is based on translating the structural and algebraic characteristics of weak reversibility to logical statements and solving the obtained set of linear (in)equalities in the framework of mixed integer linear pro…
▽ More
A numerically effective procedure for determining weakly reversible chemical reaction networks that are linearly conjugate to a known reaction network is proposed in this paper. The method is based on translating the structural and algebraic characteristics of weak reversibility to logical statements and solving the obtained set of linear (in)equalities in the framework of mixed integer linear programming. The unknowns in the problem are the reaction rate coefficients and the parameters of the linear conjugacy transformation. The efficacy of the approach is shown through numerical examples.
△ Less
Submitted 8 July, 2011;
originally announced July 2011.
-
Linear Conjugacy of Chemical Reaction Networks
Authors:
Matthew D. Johnston,
David Siegel
Abstract:
Under suitable assumptions, the dynamic behaviour of a chemical reaction network is governed by an autonomous set of polynomial ordinary differential equations over continuous variables representing the concentrations of the reactant species. It is known that two networks may possess the same governing mass-action dynamics despite disparate network structure. To date, however, there has only been…
▽ More
Under suitable assumptions, the dynamic behaviour of a chemical reaction network is governed by an autonomous set of polynomial ordinary differential equations over continuous variables representing the concentrations of the reactant species. It is known that two networks may possess the same governing mass-action dynamics despite disparate network structure. To date, however, there has only been limited work exploiting this phenomenon even for the cases where one network possesses known dynamics while the other does not. In this paper, we bring these known results into a broader unified theory which we call conjugate chemical reaction network theory. We present a theorem which gives conditions under which two networks with different governing mass-action dynamics may exhibit the same qualitative dynamics and use it to extend the scope of the well-known theory of weakly reversible systems.
△ Less
Submitted 9 January, 2011;
originally announced January 2011.
-
Weak Dynamic Non-Emptiability and Persistence of Chemical Kinetics Systems
Authors:
Matthew D. Johnston,
David Siegel
Abstract:
A frequently desirable characteristic of chemical kinetics systems is that of persistence, the property that if all the species are initially present then none of them may tend toward extinction. It is known that solutions of deterministically modelled mass-action systems may only approach portions of the boundary of the positive orthant which correspond to semi-locking sets (alternatively called…
▽ More
A frequently desirable characteristic of chemical kinetics systems is that of persistence, the property that if all the species are initially present then none of them may tend toward extinction. It is known that solutions of deterministically modelled mass-action systems may only approach portions of the boundary of the positive orthant which correspond to semi-locking sets (alternatively called siphons). Consequently, most recent work on persistence of these systems has been focused on these sets.
In this paper, we focus on a result which states that, for a conservative mass-action system, persistence holds if every critical semi-locking set is dynamically non-emptiable and the system contains no nested locking sets. We will generalize this result by introducing the notion of a weakly dynamically non-emptiable semi-locking set and making novel use of the well-known Farkas' Lemma. We will also connect this result to known results regarding complex balanced systems and systems with facets.
△ Less
Submitted 17 January, 2011; v1 submitted 3 September, 2010;
originally announced September 2010.
-
A Stratum Approach to Global Stability of Complex Balanced Systems
Authors:
David Siegel,
Matthew D. Johnston
Abstract:
It has long been known that complex balanced mass-action systems exhibit a restrictive form of behaviour known as locally stable dynamics. This means that within each compatibility class $\mathcal{C}_{\mathbf{x}_0}$---the forward invariant space where solutions lies---there is exactly one equilibrium concentration and that this concentration is locally asymptotically stable. It has also been conje…
▽ More
It has long been known that complex balanced mass-action systems exhibit a restrictive form of behaviour known as locally stable dynamics. This means that within each compatibility class $\mathcal{C}_{\mathbf{x}_0}$---the forward invariant space where solutions lies---there is exactly one equilibrium concentration and that this concentration is locally asymptotically stable. It has also been conjectured that this stability extends globally to $\mathcal{C}_{\mathbf{x}_0}$. That is to say, all solutions originating in $\mathcal{C}_{\mathbf{x}_0}$ approach the unique positive equilibrium concentration rather than $\partial \mathcal{C}_{\mathbf{x}_0}$ or $\infty$. To date, however, no general proof of this conjecture has been found.
In this paper, we approach the problem of global stability for complex balanced systems through the methodology of dividing the positive orthant into regions called strata. This methodology has been previously applied to detailed balanced systems---a proper subset of complex balanced systems---to show that, within a stratum, trajectories are repelled from any face of $\mathbb{R}_{\geq 0}^m$ adjacent to the stratum. Several known global stability results for detailed balanced systems are generalized to complex balanced systems.
△ Less
Submitted 19 October, 2010; v1 submitted 9 August, 2010;
originally announced August 2010.
