[论文解读] Disguised toric dynamical systems

Laura Brustenga i Moncusí, Gheorghe Crăciun+1 more|arXiv (Cornell University)|Jun 1, 2020

Protein Structure and Dynamics参考文献 23被引用 9

一句话总结

本文引入了伪装的环面动力系统（disguised toric dynamical systems）——这是环面（复平衡）系统的一种推广，将全局稳定性与持久性等关键动力学性质扩展至更大的参数集。利用实代数几何，作者表明，尽管环面轨迹（产生复平衡的参数）通常具有勒贝格测度为零，但伪装的环面轨迹却可能具有正测度，从而使得强稳定性结果具有更广泛的应用性，并提供了一种系统性计算该轨迹的算法。

ABSTRACT

We study families of polynomial dynamical systems inspired by biochemical reaction networks. We focus on complex balanced mass-action systems, which have also been called toric. They are known or conjectured to enjoy very strong dynamical properties, such as existence and uniqueness of positive steady states, local and global stability, persistence, and permanence. We consider the class of disguised toric dynamical systems, which contains toric dynamical systems, and to which all dynamical properties mentioned above extend naturally. By means of (real) algebraic geometry we show that some reaction networks have an empty toric locus or a toric locus of Lebesgue measure zero in parameter space, while their disguised toric locus is of positive measure. We also propose some algorithms one can use to detect the disguised toric locus.

研究动机与目标

• 将具有强稳定性和持久性动力学性质的系统类扩展至传统环面系统之外。
• 解决环面轨迹（产生复平衡系统的参数）通常具有勒贝格测度为零的局限性。
• 定义并表征一个更广泛的系统类，称为伪装的环面动力系统，其继承环面系统的动力学性质。
• 开发一个算法框架，用于检测反应网络中的伪装环面轨迹。
• 通过实例表明，即使标准环面轨迹为空或测度为零，伪装环面轨迹也可能具有正测度。

提出的方法

• 将伪装的环面动力系统定义为在变量变换下与复平衡系统动态等价的系统，同时保持关键稳定性性质。
• 利用实代数几何分析参数空间，特别关注环面轨迹的代数结构及其向伪装环面轨迹的扩展。
• 应用计算代数几何工具，包括消去量和实根理想，以表征使系统成为伪装环面系统的参数集合。
• 提出算法8.2，通过求解源自网络结构的多项式不等式组，系统性地计算伪装环面轨迹。
• 分析特定网络族（如直线上的N边形）以说明在标准环面轨迹为空或测度为零时，伪装环面轨迹仍可具有正测度。
• 利用环面几何与微分包含的结果，证明全局吸引子和持久性等动力学性质可推广至伪装环面类。

实验结果

研究问题

• RQ1 能否将全局稳定性与持久性等动力学性质扩展至通常测度为零的标准环面轨迹之外？
• RQ2 反应网络成为伪装环面系统的参数集合的代数与几何结构为何？
• RQ3 在何种条件下，即使其环面轨迹为空或测度为零，反应网络仍具有非空的伪装环面轨迹？
• RQ4 如何算法化地确定给定反应网络的伪装环面轨迹？
• RQ5 环面系统的动力学性质在更广泛的伪装环面系统类中能保持到何种程度？

主要发现

• 伪装环面轨迹在参数空间中可能具有正勒贝格测度，即使标准环面轨迹为空或测度为零。
• 对于直线上的N边形网络，当N ≥ 4时，伪装环面轨迹被证明具有正测度，尽管N = 4时环面轨迹为空。
• 本文构造了显式实例（如直线上的四边形），其中环面轨迹为空，但伪装环面轨迹具有正测度。
• 提供了一种算法（算法8.2），利用实代数几何时技术（如消去量和实根计算）来计算伪装环面轨迹。
• 环面系统的关键动力学性质——如正稳态的存在与唯一性、局部与全局稳定性、持久性与永久性——在伪装环面系统类中得以保持。
• 结果表明，具有强动力学行为的系统类远比以往认为的更广泛，显著扩展了全局吸引子猜想的适用范围。