哈米德·拉科伊;托马斯·斯特姆 反应网络稳态变量的参数复性。 （英语） Zbl 07497962号 Boulier，François（编辑）等人，《科学计算中的计算机代数》。2021年9月13日至17日，俄罗斯索契，CASC 2021第23届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12865, 314-333 (2021). 小结：我们研究了化学反应网络动力学的真实稳态变化。动力学是使用具有参数反应速率的质量作用动力学推导出来的。所研究的模型本质上不是参数化的。相反，我们对参数的兴趣是由参数不确定性引起的，因为反应速率通常是以有限的精度测量或估计的。我们的目标是使用最近针对实数和复数上的非参数情况引入和研究的框架来检测复曲面和平移复曲面。环面性要求多样性指定基础场的乘法群的直幂的一个子群，而移位环面性只需要陪集。在非参数情况下，这些要求建立了实际的决策问题。在存在参数的情况下，我们必须进一步推导复曲面或平移复曲面保持的参数的充要条件。从技术上讲，我们使用真正的量词消除方法。我们在这里对生物网络的计算再次证实了移动复曲面是一个相关的概念，而复曲面仅适用于退化参数选择。有关整个系列，请参见[Zbl 1482.68009号]. MSC公司： 68瓦30 符号计算和代数计算 关键词：化学反应网络;逻辑计算;质量作用动力学;参数不确定性;实计算;科学计算;符号计算;复曲面品种 软件：MESSI公司;二进制值.m2;QEPCAD公司;重新记录 PDF格式BibTeX公司 XML格式引用 \textit{H.Rahkooy}和\textit{T.Sturm}，莱克特。注释计算。科学。12865、314--333（2021；Zbl 07497962） 全文： 内政部 arXiv公司 参考文献： [1] 巴苏，S。；波拉克，R。；罗伊，MF，《关于量词消除的组合和代数复杂性》，J.ACM，43，6，1002-1045（1996）·Zbl 0885.68070号 ·数字对象标识代码：10.1145/235809.235813 [2] Boltzmann，L.，气体理论讲座（1964年），伯克利和洛杉矶：加州大学出版社，伯克利与洛杉矶·数字对象标识代码：10.1525/9780520327474 [3] Boulier，F.，《SYMBIONT项目：生物网络的符号方法》，ACM Commun。计算。代数，52，3，67-70（2018）·doi:10.1145/3313880.3313885 [4] Boulier，F.等人：SYMBIONT项目：生物网络的符号方法。F1000研究7（1341）（2018）。doi:10.7490/f1000research.1115995.1 [5] Bradford，R.等人：多稳态参数发生的案例研究。摘自：2017年国际会计准则理事会会议记录，第45-52页。ACM（2017）。doi:10.1145/3087604.3087622·Zbl 1444.92034号 [6] Bradford，R.，《识别某些生物网络的多个稳态参数发生》，J.Symb。计算。，98, 84-119 (2020) ·Zbl 1442.92056号 ·doi:10.1016/j.jsc.2019.07.008 [7] Brown，CW，QEPCAD B：使用CAD计算半代数集的程序，ACM SIGSAM Bull。，37, 4, 97-108 (2003) ·Zbl 1083.68148号 ·数字对象标识代码：10.1145/968708.968710 [8] Chelliah，V.，《生物模型：十周年》，Nucl。《酸类研究》，43，D1，D542-D548（2015）·doi:10.1093/nar/gku1181 [9] 陈，C。；Moreno Maza，M.，基于正则链的柱面代数分解量词消除，J.Symb。计算。，75, 74-93 (2016) ·兹比尔1398.68695 ·doi:10.1016/j.jsc.2015.11.008 [10] 通用电气柯林斯公司；Hong，H.，量词消除的部分柱面代数分解，J.Symb。计算。，12, 3, 299-328 (1991) ·Zbl 0754.68063号 ·doi:10.1016/S0747-7171（08）80152-6 [11] Conradi，C。；Kahle，T.，《检测二项式》，高级应用。数学。，71, 52-67 (2015) ·Zbl 1327.13101号 ·doi:10.1016/j.aam.2015.08.004 [12] Craciun，G。；狄更斯坦，A。；Shiu，A。；Sturmfels，B.，Toric动力学系统，J.Symb。计算。，44, 11, 1551-1565 (2009) ·Zbl 1188.37082号 ·doi:10.1016/j.jsc.2008.006 [13] Dolzmann，A。；Sturm，T.，REDLOG：计算机代数与计算机逻辑的结合，ACM SIGSAM Bull。，31，2，2-9（1997年）·doi:10.1145/261320.261324 [14] Dolzmann，A。；Sturm，T.，有序域上无量词公式的简化，J.Symb。计算。，24, 2, 209-231 (1997) ·Zbl 0882.03030号 ·doi:10.1006/jsco.1997.0123 [15] Dolzmann，A。；Sturm，T。；魏斯芬宁，V。；伯克希尔哈撒韦州Matzat；Greuel，总经理；Hiss，G.，《实际中的实量词消除》，《算法代数与数论》，221-247（1998），海德堡：斯普林格出版社·Zbl 0934.68130号 ·doi:10.1007/978-3-642-59932-3_11 [16] Edelstein，SJ；沙德，O。；亨利·E。；Bertrand，D。；Changeux，JP，基于多变构转变的烟碱乙酰胆碱受体动力学机制，生物。赛博。，75, 5, 361-379 (1996) ·Zbl 0882.92011号 ·doi:10.1007/s004220050302 [17] 爱因斯坦，A.，Strahlungs-emission und-abstration nach der Quantentheorie，Verh.Dtsch。物理。Ges.、。，18, 318-323 (1916) [18] 艾森巴德，D。；Sturmfels，B.，二项式理想，杜克数学。J.，84，1，1-45（1996）·Zbl 0873.13021号 ·doi:10.1215/S0012-7094-96-08401-X [19] 英格兰，M。；埃尔拉米，H。；格里戈里耶夫，D。；Radulescu，O。；Sturm，T。；韦伯，A。；副总裁Gerdt；科普夫，W。；西勒，WM；Vorozhtsov，EV，《生物网络多稳态的符号与数值计算及参数区域可视化》，《科学计算中的计算机代数》，93-108（2017），查姆：斯普林格，查姆·Zbl 1455.92058号 ·数字对象标识代码：10.1007/978-3-319-66320-38 [20] Feinberg，M.，《一般动力学系统中的复杂平衡》，Arch。理性力学。分析。，187-194年3月49日（1972年）·doi:10.1007/BF00255665 [21] Feinberg，M.，复杂等温反应器的稳定性——Ⅰ.亏零和亏一定理，化学。工程科学。，422229-2668（1987年）·doi:10.1016/0009-2509（87）80099-4 [22] Feinberg，M.，《化学反应网络理论基础》（2019），查姆：斯普林格，查姆·Zbl 1420.92001年 ·doi:10.1007/978-3-030-03858-8 [23] Gatermann，K.：计算化学中稀疏多项式系统的稳定解。摘自：《符号计算：代数、几何和工程中的方程求解》，当代数学，第286卷，第53-69页。AMS，普罗维登斯（2001）。doi:10.1090/conm/286/04754·Zbl 1009.68198号 [24] Gatermann，K。；Wolfrum，M.，化学中稀疏多项式系统的Bernstein第二定理和Viro方法，高级应用。数学。，34, 2, 252-294 (2005) ·Zbl 1075.65074号 ·doi:10.1016/j.aam.2004.04.003 [25] AN Gorban；米尔克斯，EM；Yablonski，GS，《不可逆反应极限的热力学》，《物理学A》，392，6，1318-1335（2013）·doi:10.1016/j.physa.2012.10.009 [26] AN Gorban；Yablonski，GS，具有不可逆反应系统的扩展详细平衡，化学。工程科学。，66, 21, 5388-5399 (2011) ·doi:10.1016/j.ces.2011.07.054 [27] Grigoriev，D.，决定Tarski代数的复杂性，J.Symb。计算。，5, 1-2, 65-108 (1988) ·Zbl 0689.03021号 ·doi:10.1016/S0747-7171（88）80006-3 [28] 格里戈里耶夫，D。；Iosif，A。；拉科伊，H。；Sturm，T。；韦伯，A.，《有效识别稳态变量的重复性》，数学。计算。科学。，15, 2, 199-232 (2021) ·Zbl 1495.14095号 ·doi:10.1007/s11786-020-00479-9 [29] 格里戈里耶夫，D。；Milman，PD，Nash二项式变种的欧氏除法。先验终止界，本质维2的多项式复杂性，高级数学。，231, 6, 3389-3428 (2012) ·Zbl 1287.14004号 ·doi:10.1016/j.aim.2012.08.09 [30] Hearn，A.C.：Reduce：面向用户的交互式代数简化系统。在：实验应用数学交互系统研讨会论文集。ACM（1967）。doi:10.1145/2402536.2402544 [31] Hearn，A.C.：减少：前四十年。摘自：《算法代数和逻辑：2005年A3L会议录》，第19-24页。董事会，Norderstedt（2005） [32] 喇叭，F。；Jackson，R.，《一般质量作用动力学》，Arch。理性力学。分析。，47, 2, 81-116 (1972) ·doi:10.1007/BF00251225 [33] Kahle，T.，二项式理想的分解，Ann.Inst.Stat.Math。，62, 4, 727-745 (2010) ·Zbl 1440.62394号 ·doi:10.1007/s10463-010-0290-9 [34] Kahle，T.，二项式理想的分解，J.Softw。代数几何。，4, 1, 1-5 (2012) ·Zbl 1311.13038号 ·doi:10.2140/jsag.2012.4.1 [35] Košta，M.：通过虚拟替换消除实量词的新概念。德国萨尔州大学博士论文（2016年）。doi:10.22028/D291-26679 [36] 科什塔，M。；Sturm，T。；Dolzmann，A.，《真实问题的更好答案》，J.Symb。计算。，74, 255-275 (2016) ·Zbl 1346.68290号 ·doi:10.1016/j.jsc.2015.07.002 [37] Kruff，N.，Lüders，C.，Radulescu，O.，Sturm，T.，Walcher，S.：多时间尺度生物网络的算法简化。数学。计算。科学。15(3), 499-534 (2021). doi:10.1007/s11786-021-00515-2·Zbl 1484.13058号 [38] 卢斯，R。；魏斯芬宁，V.，应用线性量词消除，计算。J.，36，5，450-462（1993）·Zbl 0787.03021号 ·doi:10.1093/comjnl/36.5.450 [39] Michaelis，L。；Menten，ML，Die Kinetik der Invertinwirkung，Biochemicsche Zeitschrift，49，333-369（1913） [40] 缪勒，S。；Feliu，E。；雷根斯堡，G。；Conradi，C。；Shiu，A。；Dickenstein，A.，广义多项式映射内射性的符号条件及其在化学反应网络和实代数几何中的应用，Found。计算。数学。，16, 1, 69-97 (2016) ·兹比尔1382.92272 ·doi:10.1007/s10208-014-9239-3 [41] Onsager，L.，《不可逆过程中的相互关系》。一、 物理学。修订版，37、4、405（1931年）·doi:10.1103/PhysRev.37.405 [42] 佩雷斯·米兰，M。；Dickenstein，A.，《MESSI生物系统的结构》，SIAM J.Appl。动态。系统。，17, 2, 1650-1682 (2018) ·Zbl 1395.92071号 ·doi:10.1137/17M1113722 [43] 佩雷斯·米兰，M。；狄更斯坦，A。；Shiu，A。；Conradi，C.，具有复曲面稳态的化学反应系统，Bull。数学。《生物学》，74，5，1027-1065（2012）·Zbl 1251.92016年 ·doi:10.1007/s11538-011-9685-x [44] 拉科伊，H。；Radulescu，O。；Sturm，T。；Boulier，F。；英格兰，M。；萨迪科夫，TM；Vorozhtsov，EV，检测可逆化学反应网络稳态理想二项式的线性代数方法，科学计算中的计算机代数，492-509（2020），Cham:Springer，Cham·兹伯利07635848 ·doi:10.1007/978-3-030-60026-6_29 [45] 拉科伊，H。；Sturm，T。；Boulier，F。；英格兰，M。；萨迪科夫，TM；Vorozhtsov，EV，圆环性的一阶测试，科学计算中的计算机代数，510-527（2020），Cham:Springer，Cham·Zbl 07635849号 ·doi:10.1007/978-3-030-60026-6_30 [46] Shinar，G。；Feinberg，M.，《生物化学反应网络稳健性的结构来源》，《科学》，327，5971，1389-1391（2010）·doi:10.1126/科学.1183372 [47] Strzebonski，AW，《使用验证数值的圆柱代数分解》，J.Symb。计算。，41, 9, 1021-1038 (2006) ·Zbl 1124.68123号 ·doi:10.1016/j.jsc.2006.06.004 [48] Sturm，T.，实量词消除、判定和可满足性及其应用的一些方法的综述，数学。计算。科学。，11, 3-4, 483-502 (2017) ·Zbl 1425.68380号 ·doi:10.1007/s11786-017-0319-z [49] Sturm，T.：三十年的虚拟替代：基础、技术、应用。参见：2018年国际社会科学院院刊，第11-16页。ACM（2018）。数字对象标识代码：10.1145/3208976.3209030·Zbl 1460.03007号 [50] Tarski，A.：初等代数和几何的决策方法。由J.C.C.麦肯锡编写出版。兰德报告R1091948年8月1日，1951年5月修订，第二版，兰德，加利福尼亚州圣莫尼卡（1957）·Zbl 0035.00602号 [51] 吨，Z。；Gerhard，J。；Kotsireas，I.，maple中的多算法量词消除包，数学教育和研究中的maple，171-186（2020），Cham:Spriger，Cham·doi:10.1007/978-3-030-41258-613 [52] JMG维拉尔；Jansen，R。；Sander，C.，TGF-（β）超家族配体受体网络中的信号处理，PLoS Compute。生物，2，1，e3（2006）·doi:10.1371/journal.pcbi.0020003 [53] Wang，L。；Sontag，ED，关于多重无效循环中的稳态数，J.Math。生物学，57，1，29-52（2008）·Zbl 1141.92022号 ·doi:10.1007/s00285-007-0145-z [54] 王，S。；林，JR；桑塔格，ED；Sorger，PK，利用复曲面系统理论从单细胞、多重数据推断反应网络结构，PLoS Compute。生物，15，12，e1007311（2019）·doi:10.1371/journal.pcbi.1007311 [55] Wegscheider，R.，同时使用Gleichgewichte und die Beziehungen zwischen Thermodynamic und Reactions kinetik均质系统，Monatsh。化学。版本。电话：22、8、849-906（1901）·doi:10.1007/BF01517498 [56] 魏斯芬宁，V.，实代数的量词消去——二次型情形及其以外，应用。代数工程通讯。计算。，8, 2, 85-101 (1997) ·Zbl 0867.03003号 ·doi:10.1007/s002000050055 [57] 魏斯芬宁，V。；洞穴，BF；Johnson，JR，实代数量词消除的新方法，量词消除和柱代数分解，376-392（1998），维也纳：施普林格，维也纳·Zbl 0900.03046号 ·doi:10.1007/978-3-7091-9459-120 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。