Russell Bradford
James H. Davenport
Matthew England
Thomas Sturm
Andreas Weber
ABSTRACT
We consider the problem of determining multiple steady states for positive real values in models of biological networks. Investigating the potential for these in models of the mitogen-activated protein kinases (MAPK) network has consumed considerable effort using special insights into the structure of corresponding models. Here we apply combinations of symbolic computation methods for mixed equality/inequality systems, specifically virtual substitution, lazy real triangularization and cylindrical algebraic decomposition. We determine multistationarity of an 11-dimensional MAPK network when numeric values are known for all but potentially one parameter. More precisely, our considered model has 11 equations in 11 variables and 19 parameters, 3 of which are of interest for symbolic treatment, and furthermore positivity conditions on all variables and parameters.
- D. S. Arnon, G. E. Collins, and S. McCallum. Cylindrical algebraic decomposition I: The basic algorithm. SIAM J. Comput., 13(4):865--877, 1984. Google Scholar
Digital Library
- D. J. Bates, J. D. Hauenstein, A. J. Sommese, and C. W. Wampler. Bertini: Software for numerical algebraic geometry.Google Scholar
- U. S. Bhalla and R. Iyengar. Emergent properties of networks of biological signaling pathways. Science, 283(5400):381--387, 1999.Google ScholarCross Ref
- C. Chen, J. Davenport, J. May, M. Moreno Maza, B. Xia, and R. Xiao. Triangular decomposition of semi-algebraic systems. J. Symb. Comput., 49:3--26, 2013. Google ScholarDigital Library
- C. Chen, M. Moreno Maza, B. Xia, and L. Yang. Computing cylindrical algebraic decomposition via triangular decomposition. In Proceedings of the ISSAC 2009, pages 95--102. ACM, 2009. Google ScholarDigital Library
- C. Conradi, E. Feliu, M. Mincheva, and C. Wiuf. Identifying parameter regions for multistationarity. Preprint: arXiv:1608.03993, 2017.Google Scholar
- C. Conradi, D. Flockerzi, and J. Raisch. Multistationarity in the activation of a MAPK: parametrizing the relevant region in parameter space. Math. Biosci., 211(1):105--31, 2008.Google ScholarCross Ref
- C. Conradi and M. Mincheva. Catalytic constants enable the emergence of bistability in dual phosphorylation. Journal of The Royal Society Interface, 11(95), 2014.Google ScholarCross Ref
- G. Craciun, A. Dickenstein, A. Shiu, and B. Sturmfels. Toric dynamical systems. J. Symb. Comput., 44(11):1551--1565, 2009. Google ScholarDigital Library
- A. Dolzmann and T. Sturm. Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin, 31(2):2--9, 1997. Google ScholarDigital Library
- M. England, R. Bradford, and J. Davenport. Improving the use of equational constraints in cylindrical algebraic decomposition. In Proceedings of the ISSAC 2015, pages 165--172. ACM, 2015. Google ScholarDigital Library
- M. England and J. Davenport. The complexity of cylindrical algebraic decomposition with respect to polynomial degre. In Proceedings of the CASC 2016, volume 9890 of LNCS, pages 172--192. Springer, 2016.Google Scholar
- M. Feinberg. Stability of complex isothermal reactors--I. the deficiency zero and deficiency one theorems. Chem. Eng. Sci., 42(10):2229--2268, 1987.Google ScholarCross Ref
- D. Grigoriev and N. N. Vorobjov. Solving systems of polynomial inequalities in subexponential time. J. Symb. Comput., 5:37--64, 1988. Google ScholarDigital Library
- E. Gross, H. A. Harrington, Z. Rosen, and B. Sturmfels. Algebraic systems biology: A case study for the Wnt pathway. Bull. Math. Biol., 78(1):21--51, 2016.Google ScholarCross Ref
- H. Hong, R. Liska, and S. Steinberg. Testing stability by quantifier elimination. J. Symb. Comput., 24(2):161--187, 1997. Google ScholarDigital Library
- M. D. Johnston. A note on "MAPK networks and their capacity for multistationarity due to toric steady states". arXiv:1407.5651, 2014.Google Scholar
- B. Joshi and A. Shiu. A Survey of Methods for Deciding Whether a Reaction Network is Multistationary. Math. Model. Nat. Phenom., 10(5):47--67, 2015.Google ScholarCross Ref
- C. Li, M. Donizelli, N. Rodriguez, H. Dharuri, L. Endler, V. Chelliah, L. Li, E. He, A. Henry, M. I. Stefan, J. L. Snoep, M. Hucka, N. Le Novère, and C. Laibe. BioModels database: An enhanced, curated and annotated resource for published quantitative kinetic models. BMC Systems Biology, 4:92, 2010.Google ScholarCross Ref
- N. I. Markevich, J. B. Hoek, and B. N. Kholodenko. Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades. J. Cell Biol., 164(3):353--359, 2004.Google ScholarCross Ref
- M. Pérez Millán and A. Dickenstein. The structure of MESSI biological systems. Preprint: arXiv:1612.08763, 2016.Google Scholar
- M. Pérez Millán and A. G. Turjanski. MAPK's networks and their capacity for multistationarity due to toric steady states. Math. Biosci., 262:125--37, 2015.Google ScholarCross Ref
- S. Schuster and T. Höfer. Determining all extreme semi-positive conservation relations in chemical reaction systems: a test criterion for conservativity. J. Chem. Soc. Faraday T., 87(16):2561--2566, 1991.Google ScholarCross Ref
- A. J. Sommese, J. Verschelde, and C. W. Wampler. Introduction to numerical algebraic geometry. In Solving Polynomial Equations: Foundations, Algorithms, and Applications, pages 301--337. Springer, 2005.Google Scholar
- D. Wang. Elimination Methods. Springer, 2000.Google Scholar
- D. Wang and B. Xia. Stability analysis of biological systems with real solution classification. In Proceedings of the ISSAC 2005, pages 354--361. ACM, 2005. Google ScholarDigital Library
- V. Weispfenning. Quantifier elimination for real algebra--the quadratic case and beyond. Appl. Algebr. Eng. Comm., 8(2):85--101, 1997.Google ScholarCross Ref
- G. Weng, U. S. Bhalla, and R. Iyengar. Complexity in biological signaling systems. Science, 284(5411):92--6, 1999.Google ScholarCross Ref
Index Terms
- A Case Study on the Parametric Occurrence of Multiple Steady States
Recommendations
Identifying the parametric occurrence of multiple steady states for some biological networks
AbstractWe consider a problem from biological network analysis of determining regions in a parameter space over which there are multiple steady states for positive real values of variables and parameters. We describe multiple approaches to ...
Case study: Molecular dynamics study on the ligand recognition by tandem SH3 domains of p47phox, regulating NADPH oxidase activity
The phagocyte NADPH oxidase complex plays a crucial role in host defense against microbial infection through the production of superoxides. Chronic granulomatous disease (CGD) is an inherited immune deficiency caused by the absence of certain components ...
Comments