Complexity of model testing for dynamical systems with toric steady states

被引:6
作者
Adamer, Michael F. [1 ]
Helmer, Martin [2 ]
机构
[1] Univ Oxford, Math Inst, Woodstock Rd, Oxford OX2 6GG, England
[2] Univ Copenhagen, Dept Math Sci, Univ Pk 5, DK-2100 Copenhagen, Denmark
基金
英国工程与自然科学研究理事会; 加拿大自然科学与工程研究理事会;
关键词
REACTION NETWORK STRUCTURE; MULTISITE PHOSPHORYLATION; DUAL PHOSPHORYLATION; PROCESSIVE PHOSPHORYLATION; PROTEIN-PHOSPHORYLATION; ISOTHERMAL REACTORS; MAP KINASE; STABILITY; MECHANISM; ASF/SF2;
D O I
10.1016/j.aam.2019.06.001
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
In this paper we investigate the complexity of model selection and model testing for dynamical systems with toric steady states. Such systems frequently arise in the study of chemical reaction networks. We do this by formulating these tasks as a constrained optimization problem in Euclidean space. This optimization problem is known as a Euclidean distance problem; the complexity of solving this problem is measured by an invariant called the Euclidean distance (ED) degree. We determine closed-form expressions for the ED degree of the steady states of several families of chemical reaction networks with toric steady states and arbitrarily many reactions. To illustrate the utility of this work we show how the ED degree can be used as a tool for estimating the computational cost of solving the model testing and model selection problems. (C) 2019 Elsevier Inc. All rights reserved.
引用
收藏
页码:42 / 75
页数:34
相关论文
共 63 条
[11]   A comprehensive analysis of the geometry of TDOA maps in localization problems [J].
Compagnoni, Marco ;
Notari, Roberto ;
Antonacci, Fabio ;
Sarti, Augusto .
INVERSE PROBLEMS, 2014, 30 (03)
[12]  
Condat L., 2015, SAMPL THEORY SIGNAL, V14, P17, DOI DOI 10.1007/BF03549586
[13]  
Conradi C., 2017, ARXIV170510913
[14]   A Global Convergence Result for Processive Multisite Phosphorylation Systems [J].
Conradi, Carsten ;
Shiu, Anne .
BULLETIN OF MATHEMATICAL BIOLOGY, 2015, 77 (01) :126-155
[15]  
Cox D., 2011, Graduate studies in mathematics
[16]   Toric dynamical systems [J].
Craciun, Gheorghe ;
Dickenstein, Alicia ;
Shiu, Anne ;
Sturmfels, Bernd .
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 44 (11) :1551-1565
[17]   Multisite phosphorylation and the countdown to S phase [J].
Deshaies, RJ ;
Ferrell, JE .
CELL, 2001, 107 (07) :819-822
[18]   The Euclidean Distance Degree of an Algebraic Variety [J].
Draisma, Jan ;
Horobet, Emil ;
Ottaviani, Giorgio ;
Sturmfels, Bernd ;
Thomas, Rekha R. .
FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, 2016, 16 (01) :99-149
[19]   EFFICIENT COMPUTATION OF ZERO-DIMENSIONAL GROBNER BASES BY CHANGE OF ORDERING [J].
FAUGERE, JC ;
GIANNI, P ;
LAZARD, D ;
MORA, T .
JOURNAL OF SYMBOLIC COMPUTATION, 1993, 16 (04) :329-344