-
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 29 December, 2023;
originally announced January 2024.
-
Algorithm to find new identifiable reparametrizations of parametric rational ODE models
Authors:
Nicolette Meshkat,
Alexey Ovchinnikov,
Thomas Scanlon
Abstract:
Structural identifiability concerns the question of which unknown parameters of a model can be recovered from (perfect) input-output data. If all of the parameters of a model can be recovered from data, the model is said to be identifiable. However, in many models, there are parameters that can take on an infinite number of values but yield the same input-output data. In this case, those parameter…
▽ More
Structural identifiability concerns the question of which unknown parameters of a model can be recovered from (perfect) input-output data. If all of the parameters of a model can be recovered from data, the model is said to be identifiable. However, in many models, there are parameters that can take on an infinite number of values but yield the same input-output data. In this case, those parameters and the model are called unidentifiable. The question is then what to do with an unidentifiable model. One can either adjust the model, if experimentally feasible, or try to find a reparametrization to make the model identifiable. In this paper, we take the latter approach. While existing approaches to find identifiable reparametrizations were limited to scaling reparametrizations or were not guaranteed to find a globally identifiable reparametrization even if it exists, we significantly broaden the class of models for which we can find a globally identifiable model with the same input-output behavior as the original one. We also prove that, for linear models, a globally identifiable reparametrization always exists and show that, for a certain class of linear compartmental models, an explicit reparametrization formula exists. We illustrate our method on several examples and provide detailed analysis in supplementary material on github.
△ Less
Submitted 26 June, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
Graph-based sufficient conditions for indistinguishability of linear compartmental models
Authors:
Cashous Bortner,
Nicolette Meshkat
Abstract:
An important problem in biological modeling is choosing the right model. Given experimental data, one is supposed to find the best mathematical representation to describe the real-world phenomena. However, there may not be a unique model representing that real-world phenomena. Two distinct models could yield the same exact dynamics. In this case, these models are called indistinguishable. In this…
▽ More
An important problem in biological modeling is choosing the right model. Given experimental data, one is supposed to find the best mathematical representation to describe the real-world phenomena. However, there may not be a unique model representing that real-world phenomena. Two distinct models could yield the same exact dynamics. In this case, these models are called indistinguishable. In this work, we consider the indistinguishability problem for linear compartmental models, which are used in many areas, such as pharmacokinetics, physiology, cell biology, toxicology, and ecology. We exhibit sufficient conditions for indistinguishability for models with a certain graph structure: paths from input to output with "detours". The benefit of applying our results is that indistinguishability can be proven using only the graph structure of the models, without the use of any symbolic computation. This can be very helpful for medium-to-large sized linear compartmental models. These are the first sufficient conditions for indistinguishability of linear compartmental models based on graph structure alone, as previously only necessary conditions for indistinguishability of linear compartmental models existed based on graph structure alone. We prove our results by showing that the indistinguishable models are the same up to a renaming of parameters, which we call permutation indistinguishability.
△ Less
Submitted 2 July, 2024; v1 submitted 19 September, 2023;
originally announced September 2023.
-
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.
-
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.
-
Identifiable paths and cycles in linear compartmental models
Authors:
Cashous Bortner,
Nicolette Meshkat
Abstract:
We introduce a class of linear compartmental models called identifiable path/cycle models which have the property that all of the monomial functions of parameters associated to the directed cycles and paths from input compartments to output compartments are identifiable and give sufficient conditions to obtain one. Removing leaks, we then show how one can obtain a locally identifiable model from a…
▽ More
We introduce a class of linear compartmental models called identifiable path/cycle models which have the property that all of the monomial functions of parameters associated to the directed cycles and paths from input compartments to output compartments are identifiable and give sufficient conditions to obtain one. Removing leaks, we then show how one can obtain a locally identifiable model from an identifiable path/cycle model. These identifiable path/cycle models yield the only identifiable models with certain conditions on their graph structure and thus we provide necessary and sufficient conditions for identifiable models with certain graph properties. A sufficient condition based on the graph structure of the model is also provided so that one can test if a model is an identifiable path/cycle model by examining the graph itself. We also provide some necessary conditions for identifiability based on graph structure. Our proofs use algebraic and combinatorial techniques.
△ Less
Submitted 30 August, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
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.
-
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.
-
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.
-
Algebraic Tools for the Analysis of State Space Models
Authors:
Nicolette Meshkat,
Zvi Rosen,
Seth Sullivant
Abstract:
We present algebraic techniques to analyze state space models in the areas of structural identifiability, observability, and indistinguishability. While the emphasis is on surveying existing algebraic tools for studying ODE systems, we also present a variety of new results. In particular: on structural identifiability, we present a method using linear algebra to find identifiable functions of the…
▽ More
We present algebraic techniques to analyze state space models in the areas of structural identifiability, observability, and indistinguishability. While the emphasis is on surveying existing algebraic tools for studying ODE systems, we also present a variety of new results. In particular: on structural identifiability, we present a method using linear algebra to find identifiable functions of the parameters of a model for unidentifiable models. On observability, we present techniques using Gröbner bases and algebraic matroids to test algebraic observability of state space models. On indistinguishability, we present a sufficient condition for distinguishability using computational algebra and demonstrate testing indistinguishability.
△ Less
Submitted 7 September, 2016;
originally announced September 2016.
-
Differential Algebra for Model Comparison
Authors:
Heather A. Harrington,
Kenneth L. Ho,
Nicolette Meshkat
Abstract:
We present a method for rejecting competing models from noisy time-course data that does not rely on parameter inference. First we characterize ordinary differential equation models in only measurable variables using differential algebra elimination. Next we extract additional information from the given data using Gaussian Process Regression (GPR) and then transform the differential invariants. We…
▽ More
We present a method for rejecting competing models from noisy time-course data that does not rely on parameter inference. First we characterize ordinary differential equation models in only measurable variables using differential algebra elimination. Next we extract additional information from the given data using Gaussian Process Regression (GPR) and then transform the differential invariants. We develop a test using linear algebra and statistics to reject transformed models with the given data in a parameter-free manner. This algorithm exploits the information about transients that is encoded in the model's structure. We demonstrate the power of this approach by discriminating between different models from mathematical biology.
△ Less
Submitted 31 March, 2016;
originally announced March 2016.
-
Identifiability results for several classes of linear compartment models
Authors:
Nicolette Meshkat,
Seth Sullivant,
Marisa Eisenberg
Abstract:
Identifiability concerns finding which unknown parameters of a model can be estimated from given input-output data. If some subset of the parameters of a model cannot be determined given input-output data, then we say the model is unidentifiable. In past work we identified a class of models, that we call identifiable cycle models, which are not identifiable but have the simplest possible identifia…
▽ More
Identifiability concerns finding which unknown parameters of a model can be estimated from given input-output data. If some subset of the parameters of a model cannot be determined given input-output data, then we say the model is unidentifiable. In past work we identified a class of models, that we call identifiable cycle models, which are not identifiable but have the simplest possible identifiable functions (so-called monomial cycles). Here we show how to modify identifiable cycle models by adding inputs, adding outputs, or removing leaks, in such a way that we obtain an identifiable model. We also prove a constructive result on how to combine identifiable models, each corresponding to strongly connected graphs, into a larger identifiable model. We apply these theoretical results to several real-world biological models from physiology, cell biology, and ecology.
△ Less
Submitted 30 October, 2014;
originally announced October 2014.
-
Structural identifiability of viscoelastic mechanical systems
Authors:
Adam Mahdi,
Nicolette Meshkat,
Seth Sullivant
Abstract:
We solve the local and global structural identifiability problems for viscoelastic mechanical models represented by networks of springs and dashpots. We propose a very simple characterization of both local and global structural identifiability based on identifiability tables, with the purpose of providing a guideline for constructing arbitrarily complex, identifiable spring-dashpot networks. We il…
▽ More
We solve the local and global structural identifiability problems for viscoelastic mechanical models represented by networks of springs and dashpots. We propose a very simple characterization of both local and global structural identifiability based on identifiability tables, with the purpose of providing a guideline for constructing arbitrarily complex, identifiable spring-dashpot networks. We illustrate how to use our results in a number of examples and point to some applications in cardiovascular modeling.
△ Less
Submitted 8 January, 2014; v1 submitted 22 August, 2013;
originally announced August 2013.
-
Identifiable reparametrizations of linear compartment models
Authors:
Nicolette Meshkat,
Seth Sullivant
Abstract:
Identifiability concerns finding which unknown parameters of a model can be quantified from given input-output data. Many linear ODE models, used in systems biology and pharmacokinetics, are unidentifiable, which means that parameters can take on an infinite number of values and yet yield the same input-output data. We use commutative algebra and graph theory to study a particular class of unident…
▽ More
Identifiability concerns finding which unknown parameters of a model can be quantified from given input-output data. Many linear ODE models, used in systems biology and pharmacokinetics, are unidentifiable, which means that parameters can take on an infinite number of values and yet yield the same input-output data. We use commutative algebra and graph theory to study a particular class of unidentifiable models and find conditions to obtain identifiable scaling reparametrizations of these models. Our main result is that the existence of an identifiable scaling reparametrization is equivalent to the existence of a scaling reparametrization by monomial functions. We also provide partial results beginning to classify graphs which possess an identifiable scaling reparametrization.
△ Less
Submitted 11 December, 2013; v1 submitted 24 May, 2013;
originally announced May 2013.
-
Alternative to Ritt's Pseudodivision for finding the input-output equations in algebraic structural identifiability analysis
Authors:
Nicolette Meshkat,
Chris Anderson,
Joseph J. DiStefano III
Abstract:
Differential algebra approaches to structural identifiability analysis of a dynamic system model in many instances heavily depend upon Ritt's pseudodivision at an early step in analysis. The pseudodivision algorithm is used to find the characteristic set, of which a subset, the input-output equations, is used for identifiability analysis. A simpler algorithm is proposed for this step, using Gröbne…
▽ More
Differential algebra approaches to structural identifiability analysis of a dynamic system model in many instances heavily depend upon Ritt's pseudodivision at an early step in analysis. The pseudodivision algorithm is used to find the characteristic set, of which a subset, the input-output equations, is used for identifiability analysis. A simpler algorithm is proposed for this step, using Gröbner Bases, along with a proof of the method that includes a reduced upper bound on derivative requirements. Efficacy of the new algorithm is illustrated with two biosystem model examples.
△ Less
Submitted 20 March, 2012;
originally announced March 2012.