Showing 1–49 of 49 results for author: Shiu, A

From chemical reaction networks to algebraic and polyhedral geometry -- and back again

Authors: Elisenda Feliu, Anne Shiu

Abstract: This is a chapter for a book in honor of Bernd Sturmfels and his contributions. We describe the contributions by Bernd Sturmfels and his collaborators in harnessing algebraic and combinatorial methods for analyzing chemical reaction networks. Topics explored include the steady-state variety, counting steady states, and the global attractor conjecture. We also recount some personal stories that hig… ▽ More This is a chapter for a book in honor of Bernd Sturmfels and his contributions. We describe the contributions by Bernd Sturmfels and his collaborators in harnessing algebraic and combinatorial methods for analyzing chemical reaction networks. Topics explored include the steady-state variety, counting steady states, and the global attractor conjecture. We also recount some personal stories that highlight Sturmfels's long-lasting impact on this research area. △ Less

Submitted 10 January, 2025; originally announced January 2025.

Comments: 35 pages

MSC Class: 05B35; 12D10; 13P25; 37C25; 37N25; 52B11; 92E20

Identifiability of catenary and directed-cycle linear compartmental models

Authors: Saber Ahmed, Natasha Crepeau, Paul R. Dessauer Jr., Alexis Edozie, Odalys Garcia-Lopez, Tanisha Grimsley, Jordy Lopez Garcia, Viridiana Neri, Anne Shiu

Abstract: A parameter of a mathematical model is structurally identifiable if it can be determined from noiseless experimental data. Here, we examine the identifiability properties of two important classes of linear compartmental models: directed-cycle models and catenary models (models for which the underlying graph is a directed cycle or a bidirected path, respectively). Our main result is a complete char… ▽ More A parameter of a mathematical model is structurally identifiable if it can be determined from noiseless experimental data. Here, we examine the identifiability properties of two important classes of linear compartmental models: directed-cycle models and catenary models (models for which the underlying graph is a directed cycle or a bidirected path, respectively). Our main result is a complete characterization of the directed-cycle models for which every parameter is (generically, locally) identifiable. Additionally, for catenary models, we give a formula for their input-output equations. Such equations are used to analyze identifiability, so we expect our formula to support future analyses into the identifiability of catenary models. Our proofs rely on prior results on input-output equations, and we also use techniques from linear algebra and graph theory. △ Less

Submitted 14 November, 2024; originally announced December 2024.

Comments: 46 pages, 12 figures

MSC Class: 93B30; 37N25; 92C45; 34A30; 34A55; 05C50

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.

Comments: Proof in Section 5 edited, in response to reviewer comments

MSC Class: 37N25; 92E20; 12D10; 37C25; 65H14; 14Q20

Absolute Concentration Robustness and Multistationarity in Reaction Networks: Conditions for Coexistence

Authors: Nidhi Kaihnsa, Tung Nguyen, Anne Shiu

Abstract: Many reaction networks arising in applications are multistationary, that is, they have the capacity for more than one steady state; while some networks exhibit absolute concentration robustness (ACR), which means that some species concentration is the same at all steady states. Both multistationarity and ACR are significant in biological settings, but only recently has attention focused on the pos… ▽ More Many reaction networks arising in applications are multistationary, that is, they have the capacity for more than one steady state; while some networks exhibit absolute concentration robustness (ACR), which means that some species concentration is the same at all steady states. Both multistationarity and ACR are significant in biological settings, but only recently has attention focused on the possibility for these properties to coexist. Our main result states that such coexistence in at-most-bimolecular networks (which encompass most networks arising in biology) requires at least $3$ species, $5$ complexes, and $3$ reactions. We prove additional bounds on the number of reactions for general networks based on the number of linear conservation laws. Finally, we prove that, outside of a few exceptional cases, ACR is equivalent to non-multistationarity for bimolecular networks that are small (more precisely, one-dimensional or up to two species). Our proofs involve analyses of systems of sparse polynomials, and we also use classical results from chemical reaction network theory. △ Less

Submitted 9 July, 2023; originally announced July 2023.

MSC Class: 92E20; 37N25; 26C10; 34A34; 34C08

Journal ref: Eur. J. Appl. Math 35 (2024) 566-600

Deficiency of chemical reaction networks: The effect of operations that preserve multistationarity and periodic orbits

Authors: Awildo Gutierrez, Elijah Leake, Caelyn Rivas-Sobie, Jordy Lopez Garcia, Anne Shiu

Abstract: We investigate six operations on chemical reaction networks, all of which have been proven to preserve important dynamical properties, namely, the capacity for nondegenerate multistationarity (multiple steady states) and periodic orbits. Both multistationarity and periodic orbits are properties that are known to be precluded when the deficiency (a nonnegative integer associated to a network) is ze… ▽ More We investigate six operations on chemical reaction networks, all of which have been proven to preserve important dynamical properties, namely, the capacity for nondegenerate multistationarity (multiple steady states) and periodic orbits. Both multistationarity and periodic orbits are properties that are known to be precluded when the deficiency (a nonnegative integer associated to a network) is zero. It is therefore natural to conjecture that the deficiency never decreases when any of the six aforementioned network operations are performed. We prove that this is indeed the case, and moreover, we characterize the numerical difference in deficiency after performing each network operation. △ Less

Submitted 29 November, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Comments: Reorganized Section 3, improved exposition throughout, made several edits in response to referee suggestions

MSC Class: 37N25; 05C90; 05C76; 15A03

On the connectedness of multistationarity regions of small reaction networks

Authors: Allison McClure, Anne Shiu

Abstract: A multistationarity region is the part of a reaction network's parameter space that gives rise to multiple steady states. Mathematically, this region consists of the positive parameters for which a parametrized family of polynomial equations admits two or more positive roots. Much recent work has focused on analyzing multistationarity regions of biologically significant reaction networks and deter… ▽ More A multistationarity region is the part of a reaction network's parameter space that gives rise to multiple steady states. Mathematically, this region consists of the positive parameters for which a parametrized family of polynomial equations admits two or more positive roots. Much recent work has focused on analyzing multistationarity regions of biologically significant reaction networks and determining whether such regions are connected; indeed, a better understanding of the topology and geometry of such regions may help elucidate how robust multistationarity is to perturbations. Here we focus on the multistationarity regions of small networks, those with few species and few reactions. For two families of such networks -- those with one species and up to three reactions, and those with two species and up to two reactions -- we prove that the resulting multistationarity regions are connected. We also give an example of a network with one species and six reactions for which the multistationarity region is disconnected. Our proofs rely on the formula for the discriminant of a trinomial, a classification of small multistationary networks, and a recent result of Feliu and Telek that partially generalizes Descartes' rule of signs. △ Less

Submitted 5 April, 2024; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: 16 pages, 1 figure; many edits following suggestions by reviewers; updated one author's last name

MSC Class: 37N25; 92E20; 12D10; 37C25

Prevalence of multistationarity and absolute concentration robustness in reaction networks

Authors: Badal Joshi, Nidhi Kaihnsa, Tung D. Nguyen, Anne Shiu

Abstract: For reaction networks arising in systems biology, the capacity for two or more steady states, that is, multistationarity, is an important property that underlies biochemical switches. Another property receiving much attention recently is absolute concentration robustness (ACR), which means that some species concentration is the same at all positive steady states. In this work, we investigate the p… ▽ More For reaction networks arising in systems biology, the capacity for two or more steady states, that is, multistationarity, is an important property that underlies biochemical switches. Another property receiving much attention recently is absolute concentration robustness (ACR), which means that some species concentration is the same at all positive steady states. In this work, we investigate the prevalence of each property while paying close attention to when the properties occur together. Specifically, we consider a stochastic block framework for generating random networks, and prove edge-probability thresholds at which - with high probability - multistationarity appears and ACR becomes rare. We also show that the small window in which both properties occur only appears in networks with many species. Taken together, our results confirm that, in random reversible networks, ACR and multistationarity together, or even ACR on its own, is highly atypical. Our proofs rely on two prior results, one pertaining to the prevalence of networks with deficiency zero, and the other "lifting" multistationarity from small networks to larger ones. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Comments: 21 pages, 3 figures

MSC Class: 60F99; 60C05; 92E20; 5C80; 37N25

Wheels: A New Criterion for Non-convexity of Neural Codes

Authors: Laura Matusevich, Alexander Ruys de Perez, Anne Shiu

Abstract: We introduce new geometric and combinatorial criteria that preclude a neural code from being convex, and use them to tackle the classification problem for codes on six neurons. Along the way, we give the first example of a code that is non-convex, has no local obstructions, and has simplicial complex of dimension two. We also characterize convexity for neural codes for which the simplicial complex… ▽ More We introduce new geometric and combinatorial criteria that preclude a neural code from being convex, and use them to tackle the classification problem for codes on six neurons. Along the way, we give the first example of a code that is non-convex, has no local obstructions, and has simplicial complex of dimension two. We also characterize convexity for neural codes for which the simplicial complex is pure of low or high dimension. △ Less

Submitted 14 February, 2023; v1 submitted 10 August, 2021; originally announced August 2021.

Comments: 25 pages, 3 figures, 2 tables

Identifiability of linear compartmental tree models and a general formula for input-output equations

Authors: Cashous Bortner, Elizabeth Gross, Nicolette Meshkat, Anne Shiu, Seth Sullivant

Abstract: A foundational question in the theory of linear compartmental models is how to assess whether a model is structurally identifiable -- that is, whether parameter values can be inferred from noiseless data -- directly from the combinatorics of the model. Our main result completely answers this question for models (with one input and one output) in which the underlying graph is a bidirectional tree;… ▽ More A foundational question in the theory of linear compartmental models is how to assess whether a model is structurally identifiable -- that is, whether parameter values can be inferred from noiseless data -- directly from the combinatorics of the model. Our main result completely answers this question for models (with one input and one output) in which the underlying graph is a bidirectional tree; moreover, identifiability of such models can be verified visually}. Models of this structure include two families of models often appearing in biological applications: catenary and mammillary models. Our analysis of such models is enabled by two supporting results, which are significant in their own right. One result gives the first general formula for the coefficients of input-output equations (certain equations that can be used to determine identifiability) that allows for input and output to be in distinct compartments}. In another supporting result, we prove that identifiability is preserved when a model is enlarged and altered in specific ways involving adding a new compartment with a bidirected edge to an existing compartment. △ Less

Submitted 15 December, 2022; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: 34 pages

MSC Class: 92C45; 37N25; 93B30; 34A30; 34A55

Absolute concentration robustness in networks with low-dimensional stoichiometric subspace

Authors: Nicolette Meshkat, Anne Shiu, Angélica Torres

Abstract: A reaction system exhibits "absolute concentration robustness" (ACR) in some species if the positive steady-state value of that species does not depend on initial conditions. Mathematically, this means that the positive part of the variety of the steady-state ideal lies entirely in a hyperplane of the form $x_i=c$, for some $c>0$. Deciding whether a given reaction system -- or those arising from s… ▽ More A reaction system exhibits "absolute concentration robustness" (ACR) in some species if the positive steady-state value of that species does not depend on initial conditions. Mathematically, this means that the positive part of the variety of the steady-state ideal lies entirely in a hyperplane of the form $x_i=c$, for some $c>0$. Deciding whether a given reaction system -- or those arising from some reaction network -- exhibits ACR is difficult in general, but here we show that for many simple networks, assessing ACR is straightforward. Indeed, our criteria for ACR can be performed by simply inspecting a network or its standard embedding into Euclidean space. Our main results pertain to networks with many conservation laws, so that all reactions are parallel to one other. Such "one-dimensional" networks include those networks having only one species. We also consider networks with only two reactions, and show that ACR is characterized by a well-known criterion of Shinar and Feinberg. Finally, up to some natural ACR-preserving operations -- relabeling species, lengthening a reaction, and so on -- only three families of networks with two reactions and two species have ACR. Our results are proven using algebraic and combinatorial techniques. △ Less

Submitted 6 June, 2022; v1 submitted 30 April, 2021; originally announced May 2021.

Identifiability of Linear Compartmental Models: The Impact of Removing Leaks and Edges

Authors: Patrick Chan, Katherine Johnston, Anne Shiu, Aleksandra Sobieska, Clare Spinner

Abstract: A mathematical model is identifiable if its parameters can be recovered from data. Here, we focus on a particular class of model, linear compartmental models, which are used to represent the transfer of substances in a system. We analyze what happens to identifiability when operations are performed on a model, specifically, adding or deleting a leak or an edge. We first consider the conjecture of… ▽ More A mathematical model is identifiable if its parameters can be recovered from data. Here, we focus on a particular class of model, linear compartmental models, which are used to represent the transfer of substances in a system. We analyze what happens to identifiability when operations are performed on a model, specifically, adding or deleting a leak or an edge. We first consider the conjecture of Gross et al. that states that removing a leak from an identifiable model yields a model that is again identifiable. We prove a special case of this conjecture, and also show that the conjecture is equivalent to asserting that leak terms do not divide the so-called singular-locus equation. As for edge terms that do divide this equation, we conjecture that removing any one of these edges makes the model become unidentifiable,and then prove a case of this somewhat surprising conjecture. △ Less

Submitted 21 June, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: 15 pages, 6 figures. Updated paper in light of conjecture now solved

MSC Class: 92C45; 37N25; 93B30

Nondegenerate Neural Codes and Obstructions to Closed-Convexity

Authors: Patrick Chan, Katherine Johnston, Joseph Lent, Alexander Ruys de Perez, Anne Shiu

Abstract: Previous work on convexity of neural codes has produced codes that are open-convex but not closed-convex -- or vice-versa. However, why a code is one but not the other, and how to detect such discrepancies are open questions. We tackle these questions in two ways. First, we investigate the concept of degeneracy introduced by Cruz et al., and extend their results to show that nondegeneracy precisel… ▽ More Previous work on convexity of neural codes has produced codes that are open-convex but not closed-convex -- or vice-versa. However, why a code is one but not the other, and how to detect such discrepancies are open questions. We tackle these questions in two ways. First, we investigate the concept of degeneracy introduced by Cruz et al., and extend their results to show that nondegeneracy precisely captures the situation when taking closures or interiors of open or closed realizations, respectively, yields another realization of the code. Second, we give the first general criteria for precluding a code from being closed-convex (without ruling out open-convexity), unifying ad-hoc geometric arguments in prior works. One criterion is built on a phenomenon we call a rigid structure, while the other can be stated algebraically, in terms of the neural ideal of the code. These results complement existing criteria having the opposite purpose: precluding open-convexity but not closed-convexity. Finally, we show that a family of codes shown by Jeffs to be not open-convex is in fact closed-convex and realizable in dimension two. △ Less

Submitted 28 August, 2022; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: Added Corollary 4.14 and updated Remark 4.28

Neural Codes With Three Maximal Codewords: Convexity and Minimal Embedding Dimension

Authors: Katherine Johnston, Anne Shiu, Clare Spinner

Abstract: Neural codes, represented as collections of binary strings called codewords, are used to encode neural activity. A code is called convex if its codewords are represented as an arrangement of convex open sets in Euclidean space. Previous work has focused on addressing the question: how can we tell when a neural code is convex? Giusti and Itskov identified a local obstruction and proved that convex… ▽ More Neural codes, represented as collections of binary strings called codewords, are used to encode neural activity. A code is called convex if its codewords are represented as an arrangement of convex open sets in Euclidean space. Previous work has focused on addressing the question: how can we tell when a neural code is convex? Giusti and Itskov identified a local obstruction and proved that convex neural codes have no local obstructions. The converse is true for codes on up to four neurons, but false in general. Nevertheless, we prove this converse holds for codes with up to three maximal codewords, and moreover the minimal embedding dimension of such codes is at most two. △ Less

Submitted 30 August, 2020; originally announced August 2020.

Comments: 8 pages, 6 figures

Journal ref: Involve 15 (2022) 333-343

Mixed volume of small reaction networks

Authors: Nida Obatake, Anne Shiu, Dilruba Sofia

Abstract: An important invariant of a chemical reaction network is its maximum number of positive steady states. This number, however, is in general difficult to compute. Nonetheless, there is an upper bound on this number -- namely, a network's mixed volume -- that is easy to compute. Moreover, recent work has shown that, for certain biological signaling networks, the mixed volume does not greatly exceed t… ▽ More An important invariant of a chemical reaction network is its maximum number of positive steady states. This number, however, is in general difficult to compute. Nonetheless, there is an upper bound on this number -- namely, a network's mixed volume -- that is easy to compute. Moreover, recent work has shown that, for certain biological signaling networks, the mixed volume does not greatly exceed the maximum number of positive steady states. Continuing this line of research, we further investigate this overcount and also compute the mixed volumes of small networks, those with only a few species or reactions. △ Less

Submitted 29 April, 2020; originally announced April 2020.

MSC Class: 52A39; 37C10; 12D10; 65H04; 80A30

Journal ref: Involve 13 (2020) 845-860

Non-monotonicity of closed convexity in neural codes

Authors: Brianna Gambacini, R. Amzi Jeffs, Sam Macdonald, Anne Shiu

Abstract: Neural codes are lists of subsets of neurons that fire together. Of particular interest are neurons called place cells, which fire when an animal is in specific, usually convex regions in space. A fundamental question, therefore, is to determine which neural codes arise from the regions of some collection of open convex sets or closed convex sets in Euclidean space. This work focuses on how these… ▽ More Neural codes are lists of subsets of neurons that fire together. Of particular interest are neurons called place cells, which fire when an animal is in specific, usually convex regions in space. A fundamental question, therefore, is to determine which neural codes arise from the regions of some collection of open convex sets or closed convex sets in Euclidean space. This work focuses on how these two classes of codes -- open convex and closed convex codes -- are related. As a starting point, open convex codes have a desirable monotonicity property, namely, adding non-maximal codewords preserves open convexity; but here we show that this property fails to hold for closed convex codes. Additionally, while adding non-maximal codewords can only increase the open embedding dimension by 1, here we demonstrate that adding a single such codeword can increase the closed embedding dimension by an arbitrarily large amount. Finally, we disprove a conjecture of Goldrup and Phillipson, and also present an example of a code that is neither open convex nor closed convex. △ Less

Submitted 2 April, 2021; v1 submitted 2 December, 2019; originally announced December 2019.

Comments: Many minor edits, as suggested by referees

Dynamics of ERK regulation in the processive limit

Authors: Carsten Conradi, Nida Obatake, Anne Shiu, Xiaoxian Tang

Abstract: We consider a model of extracellular signal-regulated kinase (ERK) regulation by dual-site phosphorylation and dephosphorylation, which exhibits bistability and oscillations, but loses these properties in the limit in which the mechanisms underlying phosphorylation and dephosphorylation become processive. Our results suggest that anywhere along the way to becoming processive, the model remains bis… ▽ More We consider a model of extracellular signal-regulated kinase (ERK) regulation by dual-site phosphorylation and dephosphorylation, which exhibits bistability and oscillations, but loses these properties in the limit in which the mechanisms underlying phosphorylation and dephosphorylation become processive. Our results suggest that anywhere along the way to becoming processive, the model remains bistable and oscillatory. More precisely, in simplified versions of the model, precursors to bistability and oscillations (specifically, multistationarity and Hopf bifurcations, respectively) exist at all "processivity levels". Finally, we investigate whether bistability and oscillations can exist together. △ Less

Submitted 3 September, 2020; v1 submitted 31 October, 2019; originally announced October 2019.

Comments: 22 pages, 2 figures, 3 tables, builds on arXiv:1903.02617

Identifiability of Linear Compartmental Models: The Effect of Moving Inputs, Outputs, and Leaks

Authors: Seth Gerberding, Nida Obatake, Anne Shiu

Abstract: A mathematical model is identifiable if its parameters can be recovered from data. Here we investigate, for linear compartmental models, whether (local, generic) identifiability is preserved when parts of the model -- specifically, inputs, outputs, leaks, and edges -- are moved, added, or deleted. Our results are as follows. First, for certain catenary, cycle, and mammillary models, moving or dele… ▽ More A mathematical model is identifiable if its parameters can be recovered from data. Here we investigate, for linear compartmental models, whether (local, generic) identifiability is preserved when parts of the model -- specifically, inputs, outputs, leaks, and edges -- are moved, added, or deleted. Our results are as follows. First, for certain catenary, cycle, and mammillary models, moving or deleting the leak preserves identifiability. Next, for cycle models with up to one leak, moving inputs or outputs preserves identifiability. Thus, every cycle model with up to one leak (and at least one input and at least one output) is identifiable. Next, we give conditions under which adding leaks renders a cycle model unidentifiable. Finally, for certain cycle models with no leaks, adding specific edges again preserves identifiability. Our proofs, which are algebraic and combinatorial in nature, rely on results on elementary symmetric polynomials and the theory of input-output equations for linear compartmental models. △ Less

Submitted 22 April, 2020; v1 submitted 29 October, 2019; originally announced October 2019.

Neural Codes and the Factor Complex

Authors: Alexander Ruys de Perez, Laura Felicia Matusevich, Anne Shiu

Abstract: We introduce the factor complex of a neural code, and show how intervals and maximal codewords are captured by the combinatorics of factor complexes. We use these results to obtain algebraic and combinatorial characterizations of max-intersection-complete codes, as well as a new combinatorial characterization of intersection-complete codes. We introduce the factor complex of a neural code, and show how intervals and maximal codewords are captured by the combinatorics of factor complexes. We use these results to obtain algebraic and combinatorial characterizations of max-intersection-complete codes, as well as a new combinatorial characterization of intersection-complete codes. △ Less

Submitted 18 October, 2019; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: Added a new section that takes computational considerations into account. That is, it compares an algorithm to determine max intersection completeness derived from our results with brute force methods

Oscillations and bistability in a model of ERK regulation

Authors: Nida Obatake, Anne Shiu, Xiaoxian Tang, Angelica Torres

Abstract: This work concerns the question of how two important dynamical properties, oscillations and bistability, emerge in an important biological signaling network. Specifically, we consider a model for dual-site phosphorylation and dephosphorylation of extracellular signal-regulated kinase (ERK). We prove that oscillations persist even as the model is greatly simplified (reactions are made irreversible… ▽ More This work concerns the question of how two important dynamical properties, oscillations and bistability, emerge in an important biological signaling network. Specifically, we consider a model for dual-site phosphorylation and dephosphorylation of extracellular signal-regulated kinase (ERK). We prove that oscillations persist even as the model is greatly simplified (reactions are made irreversible and intermediates are removed). Bistability, however, is much less robust -- this property is lost when intermediates are removed or even when all reactions are made irreversible. Moreover, bistability is characterized by the presence of two reversible, catalytic reactions: as other reactions are made irreversible, bistability persists as long as one or both of the specified reactions is preserved. Finally, we investigate the maximum number of steady states, aided by a network's "mixed volume" (a concept from convex geometry). Taken together, our results shed light on the question of how oscillations and bistability emerge from a limiting network of the ERK network -- namely, the fully processive dual-site network -- which is known to be globally stable and therefore lack both oscillations and bistability. Our proofs are enabled by a Hopf bifurcation criterion due to Yang, analyses of Newton polytopes arising from Hurwitz determinants, and recent characterizations of multistationarity for networks having a steady-state parametrization. △ Less

Submitted 6 March, 2019; originally announced March 2019.

Comments: 33 pages, 4 figures, 4 tables, 3 appendices

Joining and decomposing reaction networks

Authors: Elizabeth Gross, Heather A Harrington, Nicolette Meshkat, Anne Shiu

Abstract: In systems and synthetic biology, much research has focused on the behavior and design of single pathways, while, more recently, experimental efforts have focused on how cross-talk (coupling two or more pathways) or inhibiting molecular function (isolating one part of the pathway) affects systems-level behavior. However, the theory for tackling these larger systems in general has lagged behind. He… ▽ More In systems and synthetic biology, much research has focused on the behavior and design of single pathways, while, more recently, experimental efforts have focused on how cross-talk (coupling two or more pathways) or inhibiting molecular function (isolating one part of the pathway) affects systems-level behavior. However, the theory for tackling these larger systems in general has lagged behind. Here, we analyze how joining networks (e.g., cross-talk) or decomposing networks (e.g., inhibition or knock-outs) affects three properties that reaction networks may possess---identifiability (recoverability of parameter values from data), steady-state invariants (relationships among species concentrations at steady state, used in model selection), and multistationarity (capacity for multiple steady states, which correspond to multiple cell decisions). Specifically, we prove results that clarify, for a network obtained by joining two smaller networks, how properties of the smaller networks can be inferred from or can imply similar properties of the original network. Our proofs use techniques from computational algebraic geometry, including elimination theory and differential algebra. △ Less

Submitted 14 August, 2019; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: 44 pages; extensive revision in response to referee comments

Multistationarity in Structured Reaction Networks

Authors: Alicia Dickenstein, Mercedes Perez Millan, Anne Shiu, Xiaoxian Tang

Abstract: Many dynamical systems arising in biology and other areas exhibit multistationarity (two or more positive steady states with the same conserved quantities). Although deciding multistationarity for a polynomial dynamical system is an effective question in real algebraic geometry, it is in general difficult to determine whether a given network can give rise to a multistationary system, and if so, to… ▽ More Many dynamical systems arising in biology and other areas exhibit multistationarity (two or more positive steady states with the same conserved quantities). Although deciding multistationarity for a polynomial dynamical system is an effective question in real algebraic geometry, it is in general difficult to determine whether a given network can give rise to a multistationary system, and if so, to identify witnesses to multistationarity, that is, specific parameter values for which the system exhibits multiple steady states. Here we investigate both problems. First, we build on work of Conradi, Feliu, Mincheva, and Wiuf, who showed that for certain reaction networks whose steady states admit a positive parametrization, multistationarity is characterized by whether a certain "critical function" changes sign. Here, we allow for more general parametrizations, which make it much easier to determine the existence of a sign change. This is particularly simple when the steady-state equations are linearly equivalent to binomials; we give necessary conditions for this to happen, which hold for many networks studied in the literature. We also give a sufficient condition for multistationarity of networks whose steady-state equations can be replaced by equivalent triangular-form equations. Finally, we present methods for finding witnesses to multistationarity, which we show work well for certain structured reaction networks, including those common to biological signaling pathways. Our work relies on results from degree theory, on the existence of explicit rational parametrizations of the steady states, and on the specialization of Groebner bases. △ Less

Submitted 7 February, 2019; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: 44 pages, 2 figures, 1 table

Emergence of oscillations in a mixed-mechanism phosphorylation system

Authors: Carsten Conradi, Maya Mincheva, Anne Shiu

Abstract: This work investigates the emergence of oscillations in one of the simplest cellular signaling networks exhibiting oscillations, namely, the dual-site phosphorylation and dephosphorylation network (futile cycle), in which the mechanism for phosphorylation is processive while the one for dephosphorylation is distributive (or vice-versa). The fact that this network yields oscillations was shown rece… ▽ More This work investigates the emergence of oscillations in one of the simplest cellular signaling networks exhibiting oscillations, namely, the dual-site phosphorylation and dephosphorylation network (futile cycle), in which the mechanism for phosphorylation is processive while the one for dephosphorylation is distributive (or vice-versa). The fact that this network yields oscillations was shown recently by Suwanmajo and Krishnan. Our results, which significantly extend their analyses, are as follows. First, in the three-dimensional space of total amounts, the border between systems with a stable versus unstable steady state is a surface defined by the vanishing of a single Hurwitz determinant. Second, this surface consists generically of simple Hopf bifurcations. Next, simulations suggest that when the steady state is unstable, oscillations are the norm. Finally, the emergence of oscillations via a Hopf bifurcation is enabled by the catalytic and association constants of the distributive part of the mechanism: if these rate constants satisfy two inequalities, then the system generically admits a Hopf bifurcation. Our proofs are enabled by the Routh-Hurwitz criterion, a Hopf-bifurcation criterion due to Yang, and a monomial parametrization of steady states. △ Less

Submitted 1 February, 2019; v1 submitted 8 September, 2018; originally announced September 2018.

Comments: 24 pages

Revisiting a synthetic intracellular regulatory network that exhibits oscillations

Authors: Jonathan Tyler, Anne Shiu, Jay Walton

Abstract: In 2000, Elowitz and Leibler introduced the repressilator--a synthetic gene circuit with three genes that cyclically repress transcription of the next gene--as well as a corresponding mathematical model. Experimental data and model simulations exhibited oscillations in the protein concentrations across generations. In 2006, Müller \textit{et al.}\ generalized the model to an arbitrary number of ge… ▽ More In 2000, Elowitz and Leibler introduced the repressilator--a synthetic gene circuit with three genes that cyclically repress transcription of the next gene--as well as a corresponding mathematical model. Experimental data and model simulations exhibited oscillations in the protein concentrations across generations. In 2006, Müller \textit{et al.}\ generalized the model to an arbitrary number of genes and analyzed the resulting dynamics. Their new model arose from five key assumptions, two of which are restrictive given current biological knowledge. Accordingly, we propose a new repressilator system that allows for general functions to model transcription, degradation, and translation. We prove that, with an odd number of genes, the new model has a unique steady state and the system converges to this steady state or to a periodic orbit. We also give a necessary and sufficient condition for stability of steady states when the number of genes is even and conjecture a condition for stability for an odd number. Finally, we derive a new rate function describing transcription that arises under more reasonable biological assumptions than the widely used single-step binding assumption. With this new transcription-rate function, we compare the model's amplitude and period with that of a model with the conventional transcription-rate function. Taken together, our results enhance our understanding of genetic regulation by repression. △ Less

Submitted 31 December, 2018; v1 submitted 1 August, 2018; originally announced August 2018.

Linear compartmental models: input-output equations and operations that preserve identifiability

Authors: Elizabeth Gross, Heather A. Harrington, Nicolette Meshkat, Anne Shiu

Abstract: This work focuses on the question of how identifiability of a mathematical model, that is, whether parameters can be recovered from data, is related to identifiability of its submodels. We look specifically at linear compartmental models and investigate when identifiability is preserved after adding or removing model components. In particular, we examine whether identifiability is preserved when a… ▽ More This work focuses on the question of how identifiability of a mathematical model, that is, whether parameters can be recovered from data, is related to identifiability of its submodels. We look specifically at linear compartmental models and investigate when identifiability is preserved after adding or removing model components. In particular, we examine whether identifiability is preserved when an input, output, edge, or leak is added or deleted. Our approach, via differential algebra, is to analyze specific input-output equations of a model and the Jacobian of the associated coefficient map. We clarify a prior determinantal formula for these equations, and then use it to prove that, under some hypotheses, a model's input-output equations can be understood in terms of certain submodels we call "output-reachable". Our proofs use algebraic and combinatorial techniques. △ Less

Submitted 24 May, 2019; v1 submitted 1 August, 2018; originally announced August 2018.

Comments: v2: 26 pages, 3 figures; expanded introduction to identifiability, including updating definitions; deleted two remarks from v1; improved exposition throughout

Algebraic signatures of convex and non-convex codes

Authors: Carina Curto, Elizabeth Gross, Jack Jeffries, Katherine Morrison, Zvi Rosen, Anne Shiu, Nora Youngs

Abstract: A convex code is a binary code generated by the pattern of intersections of a collection of open convex sets in some Euclidean space. Convex codes are relevant to neuroscience as they arise from the activity of neurons that have convex receptive fields. In this paper, we use algebraic methods to determine if a code is convex. Specifically, we use the neural ideal of a code, which is a generalizati… ▽ More A convex code is a binary code generated by the pattern of intersections of a collection of open convex sets in some Euclidean space. Convex codes are relevant to neuroscience as they arise from the activity of neurons that have convex receptive fields. In this paper, we use algebraic methods to determine if a code is convex. Specifically, we use the neural ideal of a code, which is a generalization of the Stanley-Reisner ideal. Using the neural ideal together with its standard generating set, the canonical form, we provide algebraic signatures of certain families of codes that are non-convex. We connect these signatures to the precise conditions on the arrangement of sets that prevent the codes from being convex. Finally, we also provide algebraic signatures for some families of codes that are convex, including the class of intersection-complete codes. These results allow us to detect convexity and non-convexity in a variety of situations, and point to some interesting open questions. △ Less

Submitted 7 July, 2018; originally announced July 2018.

Comments: 22 pages, 6 figures, 7 tables

Neural codes, decidability, and a new local obstruction to convexity

Authors: Aaron Chen, Florian Frick, Anne Shiu

Abstract: Given an intersection pattern of arbitrary sets in Euclidean space, is there an arrangement of convex open sets in Euclidean space that exhibits the same intersections? This question is combinatorial and topological in nature, but is motivated by neuroscience. Specifically, we are interested in a type of neuron called a place cell, which fires precisely when an organism is in a certain region, usu… ▽ More Given an intersection pattern of arbitrary sets in Euclidean space, is there an arrangement of convex open sets in Euclidean space that exhibits the same intersections? This question is combinatorial and topological in nature, but is motivated by neuroscience. Specifically, we are interested in a type of neuron called a place cell, which fires precisely when an organism is in a certain region, usually convex, called a place field. The earlier question, therefore, can be rephrased as follows: Which neural codes, that is, patterns of neural activity, can arise from a collection of convex open sets? To address this question, Giusti and Itskov proved that convex neural codes have no "local obstructions," which are defined via the topology of a code's simplicial complex. Codes without local obstructions are called locally good, because the obstruction precludes the code from encoding the intersections of open sets that form a good cover. In other words, every good-cover code is locally good. Here we prove the converse: Every locally good code is a good-cover code. We also prove that the good-cover decision problem is undecidable. Finally, we reveal a stronger type of local obstruction that prevents a code from being convex, and prove that the corresponding decision problem is NP-hard. Our proofs use combinatorial and topological methods. △ Less

Submitted 26 September, 2018; v1 submitted 30 March, 2018; originally announced March 2018.

MSC Class: 05E45; 55U10; 92C20

Journal ref: SIAM J. Appl. Algebra Geom. 3 (1), 44-66 (2019)

Nondegenerate multistationarity in small reaction networks

Authors: Anne Shiu, Timo de Wolff

Abstract: Much attention has been focused in recent years on the following algebraic problem arising from applications: which chemical reaction networks, when taken with mass-action kinetics, admit multiple positive steady states? The interest behind this question is in steady states that are stable. As a step toward this difficult question, here we address the question of multiple nondegenerate positive st… ▽ More Much attention has been focused in recent years on the following algebraic problem arising from applications: which chemical reaction networks, when taken with mass-action kinetics, admit multiple positive steady states? The interest behind this question is in steady states that are stable. As a step toward this difficult question, here we address the question of multiple nondegenerate positive steady states. Mathematically, this asks whether certain families of parametrized, real, sparse polynomial systems ever admit multiple positive real roots that are simple. Our main results settle this problem for certain types of small networks, and our techniques point the way forward for larger networks. △ Less

Submitted 5 June, 2018; v1 submitted 31 January, 2018; originally announced February 2018.

Comments: Revision; final version; 17 pages; 1 figure; 1 table. This work builds on arXiv:1603.06441

MSC Class: 12D10; 14P05; 34A34; 37C10; 37C25; 65H04; 80A30

Identifiability of linear compartmental models: the singular locus

Authors: Elizabeth Gross, Nicolette Meshkat, Anne Shiu

Abstract: This work addresses the problem of identifiability, that is, the question of whether parameters can be recovered from data, for linear compartmental models. Using standard differential algebra techniques, the question of whether a given model is generically locally identifiable is equivalent to asking whether the Jacobian matrix of a certain coefficient map, arising from input-output equations, is… ▽ More This work addresses the problem of identifiability, that is, the question of whether parameters can be recovered from data, for linear compartmental models. Using standard differential algebra techniques, the question of whether a given model is generically locally identifiable is equivalent to asking whether the Jacobian matrix of a certain coefficient map, arising from input-output equations, is generically full rank. A natural next step is to study the set of parameter values where the Jacobian matrix drops in rank, which we refer to as the locus of non-identifiable parameter values, or, for short, the singular locus. In this work, we give a formula for coefficient maps in terms of acyclic subgraphs of the model's underlying directed graph and, then, study the case when the singular locus is defined by a single equation, the singular-locus equation. We prove that the singular-locus equation can be used to determine when submodels are generically locally identifiable. We also determine the singular-locus equation for two families of linear compartmental models, cycle and mammillary (star) models with input and output in a single compartment. We also state a conjecture for the corresponding equation for a third family: catenary (path) models. Finally, we introduce the identifiability degree, which is the number of parameter values that map to a generic input-output data vector. This degree was previously computed for mammillary and catenary models, and here we determine this degree for cycle models. △ Less

Submitted 28 June, 2021; v1 submitted 28 September, 2017; originally announced September 2017.

Comments: Version 3: Added missing hypothesis to Theorem 3.1, improved exposition, and made minor edits (in particular, changed "compartment model" to "compartmental model")

MSC Class: 13P15; 13P25; 34A30; 34A55; 80A30; 92C45

Gröbner Bases of Neural Ideals

Authors: Rebecca Garcia, Luis David García Puente, Ryan Kruse, Jessica Liu, Dane Miyata, Ethan Petersen, Kaitlyn Phillipson, Anne Shiu

Abstract: The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. Every neural ideal has a particular generating set, called the canonical form, that directly encodes a minimal description of the receptive field structure intrinsic to the neural c… ▽ More The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. Every neural ideal has a particular generating set, called the canonical form, that directly encodes a minimal description of the receptive field structure intrinsic to the neural code. On the other hand, for a given monomial order, any polynomial ideal is also generated by its unique (reduced) Gröbner basis with respect to that monomial order. How are these two types of generating sets -- canonical forms and Gröbner bases -- related? Our main result states that if the canonical form of a neural ideal is a Gröbner basis, then it is the universal Gröbner basis (that is, the union of all reduced Gröbner bases). Furthermore, we prove that this situation -- when the canonical form is a Gröbner basis -- occurs precisely when the universal Gröbner basis contains only pseudo-monomials (certain generalizations of monomials). Our results motivate two questions: (1)~When is the canonical form a Gröbner basis? (2)~When the universal Gröbner basis of a neural ideal is {\em not} a canonical form, what can the non-pseudo-monomial elements in the basis tell us about the receptive fields of the code? We give partial answers to both questions. Along the way, we develop a representation of pseudo-monomials as hypercubes in a Boolean lattice. △ Less

Submitted 20 April, 2018; v1 submitted 16 December, 2016; originally announced December 2016.

Comments: 13 pages, 2 figures, 1 table

MSC Class: 92-04 (Primary); 13P25; 68W30 (Secondary)

An All-Encompassing Global Convergence Result for Processive Multisite Phosphorylation Systems

Authors: Mitchell Eithun, Anne Shiu

Abstract: Phosphorylation, the enzyme-mediated addition of a phosphate group to a molecule, is a ubiquitous chemical mechanism in biology. Multisite phosphorylation, the addition of phosphate groups to multiple sites of a single molecule, may be distributive or processive. Distributive systems can be bistable, while processive systems were recently shown to be globally stable. However, this global convergen… ▽ More Phosphorylation, the enzyme-mediated addition of a phosphate group to a molecule, is a ubiquitous chemical mechanism in biology. Multisite phosphorylation, the addition of phosphate groups to multiple sites of a single molecule, may be distributive or processive. Distributive systems can be bistable, while processive systems were recently shown to be globally stable. However, this global convergence result was proven only for a specific mechanism of processive phosphorylation/dephosphorylation (namely, all catalytic reactions are reversible). Accordingly, we generalize this result to allow for processive phosphorylation networks in which each reaction may be irreversible, and also to account for possible product inhibition. We accomplish this by defining an all-encompassing processive network that encapsulates all of these schemes, and then appealing to recent results of Marcondes de Freitas, Wiuf, and Feliu that assert global convergence by way of monontone systems theory and network/graph reductions (which correspond to removal of intermediate complexes). Our results form a case study into the question of when global convergence is preserved when reactions and/or intermediate complexes are added to or removed from a network. △ Less

Submitted 2 June, 2017; v1 submitted 25 August, 2016; originally announced August 2016.

Comments: 23 pages; updated to be consistent with version 2 of arXiv:1606.09480

Which small reaction networks are multistationary?

Authors: Badal Joshi, Anne Shiu

Abstract: Reaction networks taken with mass-action kinetics arise in many settings, from epidemiology to population biology to systems of chemical reactions. Bistable reaction networks are posited to underlie biochemical switches, which motivates the following question: which reaction networks have the capacity for multiple steady states? Mathematically, this asks: among certain parametrized families of pol… ▽ More Reaction networks taken with mass-action kinetics arise in many settings, from epidemiology to population biology to systems of chemical reactions. Bistable reaction networks are posited to underlie biochemical switches, which motivates the following question: which reaction networks have the capacity for multiple steady states? Mathematically, this asks: among certain parametrized families of polynomial systems, which admit multiple positive roots? No complete answer is known. This work analyzes the smallest networks, those with only a few chemical species or reactions. For these "smallest" networks, we completely answer the question of multistationarity and, in some cases, multistability too, thereby extending related work of Boros. Our results highlight the role played by the Newton polytope of a network (the convex hull of the reactant vectors). Also, our work is motivated by recent results that explain how a given network's capacity for multistationarity arises from that of certain related networks which are typically smaller. Hence, we are interested in classifying small multistationary networks, and our work forms a first step in this direction. △ Less

Submitted 19 September, 2016; v1 submitted 21 March, 2016; originally announced March 2016.

Comments: 27 pages, small corrections, added citations, new definition of "arrow diagram"

Obstructions to convexity in neural codes

Authors: Caitlin Lienkaemper, Anne Shiu, Zev Woodstock

Abstract: How does the brain encode spatial structure? One way is through hippocampal neurons called place cells, which become associated to convex regions of space known as their receptive fields: each place cell fires at a high rate precisely when the animal is in the receptive field. The firing patterns of multiple place cells form what is known as a convex neural code. How can we tell when a neural code… ▽ More How does the brain encode spatial structure? One way is through hippocampal neurons called place cells, which become associated to convex regions of space known as their receptive fields: each place cell fires at a high rate precisely when the animal is in the receptive field. The firing patterns of multiple place cells form what is known as a convex neural code. How can we tell when a neural code is convex? To address this question, Giusti and Itskov identified a local obstruction, defined via the topology of a code's simplicial complex, and proved that convex neural codes have no local obstructions. Curto et al. proved the converse for all neural codes on at most four neurons. Via a counterexample on five neurons, we show that this converse is false in general. Additionally, we classify all codes on five neurons with no local obstructions. This classification is enabled by our enumeration of connected simplicial complexes on 5 vertices up to isomorphism. Finally, we examine how local obstructions are related to maximal codewords (maximal sets of neurons that co-fire). Curto et al. proved that a code has no local obstructions if and only if it contains certain "mandatory" intersections of maximal codewords. We give a new criterion for an intersection of maximal codewords to be non-mandatory, and prove that it classifies all such non-mandatory codewords for codes on up to 5 neurons. △ Less

Submitted 18 December, 2016; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: 21 pages, 1 table; published version

MSC Class: 05E45; 55U10; 92C20

Journal ref: Advances in Applied Mathematics, vol. 85, pp. 31-59 (2017)

Analyzing Multistationarity in Chemical Reaction Networks using the Determinant Optimization Method

Authors: Bryan Félix, Anne Shiu, Zev Woodstock

Abstract: Multistationary chemical reaction networks are of interest to scientists and mathematicians alike. While some criteria for multistationarity exist, obtaining explicit reaction rates and steady states that exhibit multistationarity for a given network -- in order to check nondegeneracy or determine stability of the steady states, for instance -- is nontrivial. Nonetheless, we accomplish this task f… ▽ More Multistationary chemical reaction networks are of interest to scientists and mathematicians alike. While some criteria for multistationarity exist, obtaining explicit reaction rates and steady states that exhibit multistationarity for a given network -- in order to check nondegeneracy or determine stability of the steady states, for instance -- is nontrivial. Nonetheless, we accomplish this task for a certain family of sequestration networks. Additionally, our results allow us to prove the existence of nondegenerate steady states for some of these sequestration networks, thereby resolving a subcase of a conjecture of Joshi and Shiu. Our work relies on the determinant optimization method, developed by Craciun and Feinberg, for asserting that certain networks are multistationary. More precisely, we implement the construction of reaction rates and multiple steady states which appears in the proofs that underlie their method. Furthermore, we describe in detail the steps of this construction so that other researchers can more easily obtain, as we did, multistationary rates and steady states. △ Less

Submitted 21 April, 2016; v1 submitted 29 August, 2015; originally announced August 2015.

Comments: 24 pages; made small edits and corrected typos

What makes a neural code convex?

Authors: Carina Curto, Elizabeth Gross, Jack Jeffries, Katherine Morrison, Mohamed Omar, Zvi Rosen, Anne Shiu, Nora Youngs

Abstract: Neural codes allow the brain to represent, process, and store information about the world. Combinatorial codes, comprised of binary patterns of neural activity, encode information via the collective behavior of populations of neurons. A code is called convex if its codewords correspond to regions defined by an arrangement of convex open sets in Euclidean space. Convex codes have been observed expe… ▽ More Neural codes allow the brain to represent, process, and store information about the world. Combinatorial codes, comprised of binary patterns of neural activity, encode information via the collective behavior of populations of neurons. A code is called convex if its codewords correspond to regions defined by an arrangement of convex open sets in Euclidean space. Convex codes have been observed experimentally in many brain areas, including sensory cortices and the hippocampus, where neurons exhibit convex receptive fields. What makes a neural code convex? That is, how can we tell from the intrinsic structure of a code if there exists a corresponding arrangement of convex open sets? In this work, we provide a complete characterization of local obstructions to convexity. This motivates us to define max intersection-complete codes, a family guaranteed to have no local obstructions. We then show how our characterization enables one to use free resolutions of Stanley-Reisner ideals in order to detect violations of convexity. Taken together, these results provide a significant advance in understanding the intrinsic combinatorial properties of convex codes. △ Less

Submitted 21 December, 2016; v1 submitted 1 August, 2015; originally announced August 2015.

Comments: 25 pages, 9 figures, and 2 tables. Supplementary Text begins on page 17. Accepted to SIAM Journal on Applied Algebra and Geometry (SIAGA)

A survey of methods for deciding whether a reaction network is multistationary

Authors: Badal Joshi, Anne Shiu

Abstract: Which reaction networks, when taken with mass-action kinetics, have the capacity for multiple steady states? There is no complete answer to this question, but over the last 40 years various criteria have been developed that can answer this question in certain cases. This work surveys these developments, with an emphasis on recent results that connect the capacity for multistationarity of one netwo… ▽ More Which reaction networks, when taken with mass-action kinetics, have the capacity for multiple steady states? There is no complete answer to this question, but over the last 40 years various criteria have been developed that can answer this question in certain cases. This work surveys these developments, with an emphasis on recent results that connect the capacity for multistationarity of one network to that of another. In this latter setting, we consider a network $N$ that is embedded in a larger network $G$, which means that $N$ is obtained from $G$ by removing some subsets of chemical species and reactions. This embedding relation is a significant generalization of the subnetwork relation. For arbitrary networks, it is not true that if $N$ is embedded in $G$, then the steady states of $N$ lift to $G$. Nonetheless, this does hold for certain classes of networks; one such class is that of fully open networks. This motivates the search for embedding-minimal multistationary networks: those networks which admit multiple steady states but no proper, embedded networks admit multiple steady states. We present results about such minimal networks, including several new constructions of infinite families of these networks. △ Less

Submitted 20 August, 2015; v1 submitted 16 December, 2014; originally announced December 2014.

A global convergence result for processive multisite phosphorylation systems

Authors: Carsten Conradi, Anne Shiu

Abstract: Multisite phosphorylation plays an important role in intracellular signaling. There has been much recent work aimed at understanding the dynamics of such systems when the phosphorylation/dephosphorylation mechanism is distributive, that is, when the binding of a substrate and an enzyme molecule results in addition or removal of a single phosphate group and repeated binding therefore is required fo… ▽ More Multisite phosphorylation plays an important role in intracellular signaling. There has been much recent work aimed at understanding the dynamics of such systems when the phosphorylation/dephosphorylation mechanism is distributive, that is, when the binding of a substrate and an enzyme molecule results in addition or removal of a single phosphate group and repeated binding therefore is required for multisite phosphorylation. In particular, such systems admit bistability. Here we analyze a different class of multisite systems, in which the binding of a substrate and an enzyme molecule results in addition or removal of phosphate groups at all phosphorylation sites. That is, we consider systems in which the mechanism is processive, rather than distributive. We show that in contrast with distributive systems, processive systems modeled with mass-action kinetics do not admit bistability and, moreover, exhibit rigid dynamics: each invariant set contains a unique equilibrium, which is a global attractor. Additionally, we obtain a monomial parametrization of the steady states. Our proofs rely on a technique of Johnston for using "translated" networks to study systems with "toric steady states", recently given sign conditions for injectivity of polynomial maps, and a result from monotone systems theory due to Angeli and Sontag. △ Less

Submitted 21 October, 2014; v1 submitted 22 April, 2014; originally announced April 2014.

Comments: 23 pages; substantial revision

Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry

Authors: Stefan Müller, Elisenda Feliu, Georg Regensburger, Carsten Conradi, Anne Shiu, Alicia Dickenstein

Abstract: We give necessary and sufficient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents defined on the positive orthant. Our work relates and extends existing injectivity conditions expressed in terms of Jacobian matrices and determinants. In the context of chemical reaction networks with power-law kinetics, our results can be used to p… ▽ More We give necessary and sufficient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents defined on the positive orthant. Our work relates and extends existing injectivity conditions expressed in terms of Jacobian matrices and determinants. In the context of chemical reaction networks with power-law kinetics, our results can be used to preclude as well as to guarantee multiple positive steady states. In the context of real algebraic geometry,our work recognizes a prior result of Craciun, Garcia-Puente, and Sottile, together with work of two of the authors, as the first partial multivariate generalization of the classical Descartes' rule, which bounds the number of positive real roots of a univariate real polynomial in terms of the number of sign variations of its coefficients. △ Less

Submitted 30 October, 2014; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: To appear in FoCM

A geometric approach to the Global Attractor Conjecture

Authors: Manoj Gopalkrishnan, Ezra Miller, Anne Shiu

Abstract: This paper introduces the class of "strongly endotactic networks", a subclass of the endotactic networks introduced by G. Craciun, F. Nazarov, and C. Pantea. The main result states that the global attractor conjecture holds for complex-balanced systems that are strongly endotactic: every trajectory with positive initial condition converges to the unique positive equilibrium allowed by conservation… ▽ More This paper introduces the class of "strongly endotactic networks", a subclass of the endotactic networks introduced by G. Craciun, F. Nazarov, and C. Pantea. The main result states that the global attractor conjecture holds for complex-balanced systems that are strongly endotactic: every trajectory with positive initial condition converges to the unique positive equilibrium allowed by conservation laws. This extends a recent result by D. F. Anderson for systems where the reaction diagram has only one linkage class (connected component). The results here are proved using differential inclusions, a setting that includes power-law systems. The key ideas include a perspective on reaction kinetics in terms of combinatorial geometry of reaction diagrams, a projection argument that enables analysis of a given system in terms of systems with lower dimension, and an extension of Birch's theorem, a well-known result about intersections of affine subspaces with manifolds parameterized by monomials. △ Less

Submitted 18 December, 2013; v1 submitted 22 May, 2013; originally announced May 2013.

Comments: v2: 49 pages, 8 figures, minor changes; v1: 48 pages, 8 figures

Journal ref: SIAM J. Appl. Dyn. Syst. 2014, 13(2), 758--797, (40 pages)

A Projection Argument for Differential Inclusions, with Applications to Persistence of Mass-Action Kinetics

Authors: Manoj Gopalkrishnan, Ezra Miller, Anne Shiu

Abstract: Motivated by questions in mass-action kinetics, we introduce the notion of vertexical family of differential inclusions. Defined on open hypercubes, these families are characterized by particular good behavior under projection maps. The motivating examples are certain families of reaction networks -- including reversible, weakly reversible, endotactic, and strongly endotactic reaction networks --… ▽ More Motivated by questions in mass-action kinetics, we introduce the notion of vertexical family of differential inclusions. Defined on open hypercubes, these families are characterized by particular good behavior under projection maps. The motivating examples are certain families of reaction networks -- including reversible, weakly reversible, endotactic, and strongly endotactic reaction networks -- that give rise to vertexical families of mass-action differential inclusions. We prove that vertexical families are amenable to structural induction. Consequently, a trajectory of a vertexical family approaches the boundary if and only if either the trajectory approaches a vertex of the hypercube, or a trajectory in a lower-dimensional member of the family approaches the boundary. With this technology, we make progress on the global attractor conjecture, a central open problem concerning mass-action kinetics systems. Additionally, we phrase mass-action kinetics as a functor on reaction networks with variable rates. △ Less

Submitted 26 March, 2013; v1 submitted 3 August, 2012; originally announced August 2012.

Comments: v5: published version; v3 and v4: minor additional edits; v2: contains more general version of main theorem on vertexical families, including its accompanying corollaries -- some of them new; final section contains new results relating to prior and future research on persistence of mass-action systems; improved exposition throughout

Journal ref: SIGMA 9 (2013), 025, 25 pages

Atoms of multistationarity in chemical reaction networks

Authors: Badal Joshi, Anne Shiu

Abstract: Chemical reaction systems are dynamical systems that arise in chemical engineering and systems biology. In this work, we consider the question of whether the minimal (in a precise sense) multistationary chemical reaction networks, which we propose to call `atoms of multistationarity,' characterize the entire set of multistationary networks. Our main result states that the answer to this question i… ▽ More Chemical reaction systems are dynamical systems that arise in chemical engineering and systems biology. In this work, we consider the question of whether the minimal (in a precise sense) multistationary chemical reaction networks, which we propose to call `atoms of multistationarity,' characterize the entire set of multistationary networks. Our main result states that the answer to this question is `yes' in the context of fully open continuous-flow stirred-tank reactors (CFSTRs), which are networks in which all chemical species take part in the inflow and outflow. In order to prove this result, we show that if a subnetwork admits multiple steady states, then these steady states can be lifted to a larger network, provided that the two networks share the same stoichiometric subspace. We also prove an analogous result when a smaller network is obtained from a larger network by `removing species.' Our results provide the mathematical foundation for a technique used by Siegal-Gaskins et al. of establishing bistability by way of `network ancestry.' Additionally, our work provides sufficient conditions for establishing multistationarity by way of atoms and moreover reduces the problem of classifying multistationary CFSTRs to that of cataloging atoms of multistationarity. As an application, we enumerate and classify all 386 bimolecular and reversible two-reaction networks. Of these, exactly 35 admit multiple positive steady states. Moreover, each admits a unique minimal multistationary subnetwork, and these subnetworks form a poset (with respect to the relation of `removing species') which has 11 minimal elements (the atoms of multistationarity). △ Less

Submitted 9 July, 2012; v1 submitted 26 August, 2011; originally announced August 2011.

Comments: Theorem 3.1 updated to allow general kinetics, conjecture now proven (Theorem 4.2), 3 figures

Simplifying the Jacobian Criterion for precluding multistationarity in chemical reaction networks

Authors: Badal Joshi, Anne Shiu

Abstract: Chemical reaction networks taken with mass-action kinetics are dynamical systems that arise in chemical engineering and systems biology. In general, determining whether a chemical reaction network admits multiple steady states is difficult, as this requires determining existence of multiple positive solutions to a large system of polynomials with unknown coefficients. However, in certain cases, va… ▽ More Chemical reaction networks taken with mass-action kinetics are dynamical systems that arise in chemical engineering and systems biology. In general, determining whether a chemical reaction network admits multiple steady states is difficult, as this requires determining existence of multiple positive solutions to a large system of polynomials with unknown coefficients. However, in certain cases, various easy criteria can be applied. One such test is the Jacobian Criterion, due to Craciun and Feinberg, which gives sufficient conditions for ruling out the possibility of multiple steady states. A chemical reaction network is said to pass the Jacobian Criterion if all terms in the determinant expansion of its parametrized Jacobian matrix have the same sign. In this article, we present a procedure which simplifies the application of the Jacobian Criterion, and as a result, we identify a new class of networks for which multiple steady states is precluded: those in which all chemical species have total molecularity of at most two. The total molecularity of a species refers to the sum of all of its stoichiometric coefficients in the network. We illustrate our results by examining enzyme catalysis networks. △ Less

Submitted 14 February, 2012; v1 submitted 8 June, 2011; originally announced June 2011.

Comments: 26 pages

Chemical reaction systems with toric steady states

Authors: Mercedes Perez Millan, Alicia Dickenstein, Anne Shiu, Carsten Conradi

Abstract: Mass-action chemical reaction systems are frequently used in Computational Biology. The corresponding polynomial dynamical systems are often large (consisting of tens or even hundreds of ordinary differential equations) and poorly parametrized (due to noisy measurement data and a small number of data points and repetitions). Therefore, it is often difficult to establish the existence of (positive)… ▽ More Mass-action chemical reaction systems are frequently used in Computational Biology. The corresponding polynomial dynamical systems are often large (consisting of tens or even hundreds of ordinary differential equations) and poorly parametrized (due to noisy measurement data and a small number of data points and repetitions). Therefore, it is often difficult to establish the existence of (positive) steady states or to determine whether more complicated phenomena such as multistationarity exist. If, however, the steady state ideal of the system is a binomial ideal, then we show that these questions can be answered easily. The focus of this work is on systems with this property, and we say that such systems have toric steady states. Our main result gives sufficient conditions for a chemical reaction system to have toric steady states. Furthermore, we analyze the capacity of such a system to exhibit positive steady states and multistationarity. Examples of systems with toric steady states include weakly-reversible zero-deficiency chemical reaction systems. An important application of our work concerns the networks that describe the multisite phosphorylation of a protein by a kinase/phosphatase pair in a sequential and distributive mechanism. △ Less

Submitted 12 July, 2011; v1 submitted 8 February, 2011; originally announced February 2011.

Siphons in chemical reaction networks

Authors: Anne Shiu, Bernd Sturmfels

Abstract: Siphons in a chemical reaction system are subsets of the species that have the potential of being absent in a steady state. We present a characterization of minimal siphons in terms of primary decomposition of binomial ideals, we explore the underlying geometry, and we demonstrate the effective computation of siphons using computer algebra software. This leads to a new method for determining whe… ▽ More Siphons in a chemical reaction system are subsets of the species that have the potential of being absent in a steady state. We present a characterization of minimal siphons in terms of primary decomposition of binomial ideals, we explore the underlying geometry, and we demonstrate the effective computation of siphons using computer algebra software. This leads to a new method for determining whether given initial concentrations allow for various boundary steady states. △ Less

Submitted 5 January, 2010; v1 submitted 29 April, 2009; originally announced April 2009.

The dynamics of weakly reversible population processes near facets

Authors: David F. Anderson, Anne Shiu

Abstract: This paper concerns the dynamical behavior of weakly reversible, deterministically modeled population processes near the facets (codimension-one faces) of their invariant manifolds and proves that the facets of such systems are "repelling." It has been conjectured that any population process whose network graph is weakly reversible (has strongly connected components) is persistent. We prove this… ▽ More This paper concerns the dynamical behavior of weakly reversible, deterministically modeled population processes near the facets (codimension-one faces) of their invariant manifolds and proves that the facets of such systems are "repelling." It has been conjectured that any population process whose network graph is weakly reversible (has strongly connected components) is persistent. We prove this conjecture to be true for the subclass of weakly reversible systems for which only facets of the invariant manifold are associated with semilocking sets, or siphons. An important application of this work pertains to chemical reaction systems that are complex-balancing. For these systems it is known that within the interior of each invariant manifold there is a unique equilibrium. The Global Attractor Conjecture states that each of these equilibria is globally asymptotically stable relative to the interior of the invariant manifold in which it lies. Our results pertaining to weakly reversible systems imply that this conjecture holds for all complex-balancing systems whose boundary equilibria lie in the relative interior of the boundary facets. As a corollary, we show that the Global Attractor Conjecture holds for those systems for which the associated invariant manifolds are two-dimensional. △ Less

Submitted 25 November, 2009; v1 submitted 4 March, 2009; originally announced March 2009.

Comments: Slight final changes

The smallest multistationary mass-preserving chemical reaction network

Authors: Anne Shiu

Abstract: Biochemical models that exhibit bistability are of interest to biologists and mathematicians alike. Chemical reaction network theory can provide sufficient conditions for the existence of bistability, and on the other hand can rule out the possibility of multiple steady states. Understanding small networks is important because the existence of multiple steady states in a subnetwork of a biochemi… ▽ More Biochemical models that exhibit bistability are of interest to biologists and mathematicians alike. Chemical reaction network theory can provide sufficient conditions for the existence of bistability, and on the other hand can rule out the possibility of multiple steady states. Understanding small networks is important because the existence of multiple steady states in a subnetwork of a biochemical model can sometimes be lifted to establish multistationarity in the larger network. This paper establishes the smallest reversible, mass-preserving network that admits bistability and determines the semi-algebraic set of parameters for which more than one steady state exists. △ Less

Submitted 28 April, 2008; v1 submitted 23 January, 2008; originally announced January 2008.

Comments: 13 pages, 1 table, 1 figure, Conference on Algebraic Biology

Toric dynamical systems

Authors: Gheorghe Craciun, Alicia Dickenstein, Anne Shiu, Bernd Sturmfels

Abstract: Toric dynamical systems are known as complex balancing mass action systems in the mathematical chemistry literature, where many of their remarkable properties have been established. They include as special cases all deficiency zero systems and all detailed balancing systems. One feature is that the steady state locus of a toric dynamical system is a toric variety, which has a unique point within… ▽ More Toric dynamical systems are known as complex balancing mass action systems in the mathematical chemistry literature, where many of their remarkable properties have been established. They include as special cases all deficiency zero systems and all detailed balancing systems. One feature is that the steady state locus of a toric dynamical system is a toric variety, which has a unique point within each invariant polyhedron. We develop the basic theory of toric dynamical systems in the context of computational algebraic geometry and show that the associated moduli space is also a toric variety. It is conjectured that the complex balancing state is a global attractor. We prove this for detailed balancing systems whose invariant polyhedron is two-dimensional and bounded. △ Less

Submitted 2 November, 2007; v1 submitted 25 August, 2007; originally announced August 2007.

Comments: We include the proof of our Conjecture 5 (now Lemma 5) and add some references

Convex Rank Tests and Semigraphoids

Authors: Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand

Abstract: Convex rank tests are partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. Each class consists of the linear extensions of a partially ordered set specified by data. Our methods refine existing rank tests of non-parametric statistics, such as the sign test and th… ▽ More Convex rank tests are partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. Each class consists of the linear extensions of a partially ordered set specified by data. Our methods refine existing rank tests of non-parametric statistics, such as the sign test and the runs test, and are useful for exploratory analysis of ordinal data. We establish a bijection between convex rank tests and probabilistic conditional independence structures known as semigraphoids. The subclass of submodular rank tests is derived from faces of the cone of submodular functions, or from Minkowski summands of the permutohedron. We enumerate all small instances of such rank tests. Of particular interest are graphical tests, which correspond to both graphical models and to graph associahedra. △ Less

Submitted 16 February, 2008; v1 submitted 20 February, 2007; originally announced February 2007.

Three Counterexamples on Semigraphoids

Authors: Raymond Hemmecke, Jason Morton, Anne Shiu, Bernd Sturmfels, Oliver Wienand

Abstract: Semigraphoids are combinatorial structures that arise in statistical learning theory. They are equivalent to convex rank tests and to polyhedral fans that coarsen the reflection arrangement of the symmetric group. We resolve two problems on semigraphoids posed in Studeny's book, and we answer a related question by Postnikov, Reiner, and Williams on generalized permutohedra. We also study the sem… ▽ More Semigraphoids are combinatorial structures that arise in statistical learning theory. They are equivalent to convex rank tests and to polyhedral fans that coarsen the reflection arrangement of the symmetric group. We resolve two problems on semigraphoids posed in Studeny's book, and we answer a related question by Postnikov, Reiner, and Williams on generalized permutohedra. We also study the semigroup and the toric ideal associated with semigraphoids. △ Less

Submitted 15 October, 2006; originally announced October 2006.

Geometry of rank tests

Authors: Jason Morton, Lior Pachter, Anne Shiu, Bernd Sturmfels, Oliver Wienand

Abstract: We study partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. These permutations are the linear extensions of partially ordered sets specified by the data. Our methods refine rank tests of non-parametric statistics, such as the sign test and the runs test, and ar… ▽ More We study partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. These permutations are the linear extensions of partially ordered sets specified by the data. Our methods refine rank tests of non-parametric statistics, such as the sign test and the runs test, and are useful for the exploratory analysis of ordinal data. Convex rank tests correspond to probabilistic conditional independence structures known as semi-graphoids. Submodular rank tests are classified by the faces of the cone of submodular functions, or by Minkowski summands of the permutohedron. We enumerate all small instances of such rank tests. Graphical tests correspond to both graphical models and to graph associahedra, and they have excellent statistical and algorithmic properties. △ Less

Submitted 20 July, 2006; v1 submitted 6 May, 2006; originally announced May 2006.

Comments: 8 pages, 4 figures. See also http://bio.math.berkeley.edu/ranktests/. v2: Expanded proofs, revised after reviewer comments