[论文解读] Persistence of deterministic population processes and the Global Attractor Conjecture

David F. Anderson, Anne Shiu|arXiv (Cornell University)|Mar 5, 2009

Gene Regulatory Network Analysis参考文献 13被引用 2

一句话总结

本文证明了复平衡化学反应系统中全局吸引子猜想，其边界平衡位于边界相对开的面内，确立了不变流形内平衡的全局渐近稳定性。在这些条件下，确认了弱可逆种群过程的持久性，将先前结果扩展至二维不变流形，并为解决长期悬而未决的猜想提供了关键一步。

ABSTRACT

This paper concerns the dynamical behavior of weakly reversible, deterministically modeled population processes near the facets of their invariant manifolds and gives sufficient conditions for persistence of these systems. It has been conjectured that any population process whose network graph is weakly reversible (has strongly connected components) is persistent. We prove this conjecture for a class of systems. An important application of this work pertains to chemical reaction systems that are “complex-balancing. ” For these systems it is known that within the interior of each invariant manifold there is a unique equilibrium. The Global Attractor Conjecture states that each of these equilibria is globally asymptotically stable relative to the interior of the invariant manifold in which it lies. Our main result implies that this conjecture holds for all complex-balancing systems whose boundary equilibria lie in relatively open facets of the boundary. As a corollary, we show that the Global Attractor Conjecture holds for those systems for which the associated invariant manifolds are two-dimensional.

研究动机与目标

• 建立弱可逆确定性种群过程持久性的充分条件。
• 研究复平衡反应系统在不变流形内平衡的稳定性。
• 解决边界平衡位于边界相对开面的系统的全局吸引子猜想。
• 将猜想的有效性扩展至二维不变流形。
• 为证明所有弱可逆系统的完整全局吸引子猜想提供基础性结果。

提出的方法

• 分析弱可逆种群过程在其不变流形边界附近的动态行为。
• 应用几何与动力系统技术，研究不变流形内轨迹的ω-极限集。
• 利用网络图的结构——特别是弱可逆性与分量的强连通性——推导持久性条件。
• 聚焦于复平衡系统，其中每个不变流形包含唯一一个平衡点。
• 证明：若边界平衡位于相对开面，则唯一内部平衡点是全局渐近稳定的。
• 将结果应用于二维不变流形，证明在此情况下猜想成立。

实验结果

研究问题

• RQ1 在何种条件下，弱可逆种群过程是持久的，特别是在其不变流形边界附近？
• RQ2 对于边界平衡位于边界相对开面的复平衡系统，全局吸引子猜想是否成立？
• RQ3 当不变流形为二维时，复平衡系统中每个不变流形内的唯一平衡点是否为全局渐近稳定？
• RQ4 能否通过分析边界行为与不变流形结构，确保弱可逆系统的持久性？
• RQ5 反应网络的何种结构特性可保证复平衡系统中平衡点的全局稳定性？

主要发现

• 所有边界平衡位于边界相对开面的复平衡系统，其全局吸引子猜想均成立。
• 在边界平衡被限制于相对开面的条件下，确认了弱可逆种群过程的持久性。
• 当边界平衡位于相对开面时，复平衡系统中每个不变流形内的唯一平衡点是全局渐近稳定的。
• 对于具有二维不变流形的系统，猜想得到证实，提供了重要特例的解决。
• 结果为证明所有弱可逆系统完整全局吸引子猜想提供了关键一步。