Parametric Toricity of Steady State Varieties of Reaction Networks
arXiv:2105.10853 · doi:10.1007/978-3-030-85165-1_18
Abstract
We study real steady state varieties of the dynamics of chemical reaction networks. The dynamics are derived using mass action kinetics with parametric reaction rates. The models studied are not inherently parametric in nature. Rather, our interest in parameters is motivated by parameter uncertainty, as reaction rates are typically either measured with limited precision or estimated. We aim at detecting toricity and shifted toricity, using a framework that has been recently introduced and studied for the non-parametric case over both the real and the complex numbers. While toricity requires that the variety specifies a subgroup of the direct power of the multiplicative group of the underlying field, shifted toricity requires only a coset. In the non-parametric case these requirements establish real decision problems. In the presence of parameters we must go further and derive necessary and sufficient conditions in the parameters for toricity or shifted toricity to hold. Technically, we use real quantifier elimination methods. Our computations on biological networks here once more confirm shifted toricity as a relevant concept, while toricity holds only for degenerate parameter choices.
arXiv commentComputations available as ancillary files
References in corpus (14)
- Signal processing in the TGF-beta superfamily ligand-receptor network
- Extended Detailed Balance for Systems with Irreversible Reactions
- Thermodynamics in the Limit of Irreversible Reactions
- A Case Study on the Parametric Occurrence of Multiple Steady States
- Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks
- Decompositions of Binomial Ideals in Macaulay 2
- Detecting Binomiality
- Decompositions of Binomial Ideals
- Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
- Better Answers to Real Questions
- Efficiently and Effectively Recognizing Toricity of Steady State Varieties
- Algorithmic Reduction of Biological Networks With Multiple Time Scales
- A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
- First-Order Tests for Toricity