反应网络稳态簇的参数环面性

我们研究化学反应网络动力学中的实稳态簇。动力学采用具有参数化反应速率的质量作用动力学推导。所研究的模型本质上并非参数化的。相反，我们对参数的兴趣源于参数不确定性，因为反应速率通常测量精度有限或被估计。我们旨在检测环面性与平移环面性，使用近期针对实数与复数上非参数情形引入并研究的框架。环面性要求该簇指定底层域乘法群直幂的一个子群，而平移环面性仅要求一个陪集。在非参数情形下，这些要求构成了实判定问题。在存在参数的情况下，我们必须进一步推导参数满足环面性或平移环面性的充要条件。技术上，我们使用实量词消去方法。我们在生物网络上的计算再次确认平移环面性是一个相关概念，而环面性仅对退化参数选择成立。