[논문 리뷰] Toric Differential Inclusions and a Proof of the Global Attractor Conjecture

Gheorghe Crăciun|arXiv (Cornell University)|2015. 01. 13.

Advanced Differential Equations and Dynamical Systems참고 문헌 21인용 수 68

한 줄 요약

이 논문은 글로벌 액트러 컨jecture를 증명하기 위한 새로운 프레임워크로 토릭 미분 포함을 도입한다. 이는 모든 토릭 동역계, 특히 복잡 균형 질량작용 법칙 시스템이 각각의 양의 스토이키오메트릭 호환성 클래스 내에서 유일한 전역적으로 끌리는 평형점을 지닌다는 것을 보여준다. 증명은 궤적들이 원점에 가까워지는 것을 방지하는 불변 영역을 구성하여 수행되며, 리아푸노프 함수와 불변성 원리를 활용하여 전역 수렴성을 확립한다.

ABSTRACT

The global attractor conjecture says that toric dynamical systems (i.e., a class of polynomial dynamical systems on the positive orthant) have a globally attracting point within each positive linear invariant subspace -- or, equivalently, complex balanced mass-action systems have a globally attracting point within each positive stoichiometric compatibility class. A proof of this conjecture implies that a large class of nonlinear dynamical systems on the positive orthant have very simple and stable dynamics. The conjecture originates from the 1972 breakthrough work by Fritz Horn and Roy Jackson, and was formulated in its current form by Horn in 1974. We introduce toric differential inclusions, and we show that each positive solution of a toric differential inclusion is contained in an invariant region that prevents it from approaching the origin. We use this result to prove the global attractor conjecture. In particular, it follows that all detailed balanced mass action systems and all deficiency zero weakly reversible networks have the global attractor property.

연구 동기 및 목표

• 오랜 기간 동안 미해결이었던 글로벌 액터 컨제크처를 해결하기 위해, 토릭 동역계가 각각의 양의 선형 불변 부분공간 내에서 유일한 전역적으로 끌리는 평형점을 가진다는 것을 증명한다.
• 양의 옥타ント에서 비선형 다항식 시스템의 지속성과 안정성 분석을 위한 일반적인 프레임워크를 수립한다.
• 글로벌 액터 성질을 증명하기 위한 도구로 토릭 미분 포함 이론을 도입하고 발전시킨다.
• 홀름과 잭슨의 안정성 결과를 국소 점근적 안정성에서 전역 수렴으로 확장한다.

제안 방법

• 다각형의 기하학적 임bed된 그래프에 의해 정의된 방향 집합 내에서 벡터장이 제약을 받는 다항식 동역계의 일반화로서 토릭 미분 포함을 도입한다.
• 정점 균형 평형점의 정의를 제시하고, 각각의 선형 불변 부분공간 내에서 엄격한 리아푸노프 함수가 존재함을 보여준다.
• 양의 옥타ント의 저차원 면의 이웃 영역을 순차적으로 제거하여 불변 영역 ${\cal R}_n^{k}$을 구성함으로써 궤적이 경계에 가까워지는 것을 방지한다.
• 리아푸노프 함수에 대해 라살의 불변성 원리를 적용하여 각 선형 불변 부분공간 내에서 유일한 양의 평형점으로의 수렴을 증명한다.
• 기저 그래프의 약한 가역성과 구조를 활용하여 궤적의 지속성과 영속성을 보장한다.
• 단체 분할에서의 영역 분리 표면과 점선 표면의 귀납적 구성 방법을 적용하여 양의 옥타ント 경계 근처의 행동을 제어한다.

실험 결과

연구 질문

• RQ1 모든 토릭 동역계가 1974년 홀름이 제안한 바와 같이 각각의 양의 선형 불변 부분공간 내에서 전역적으로 끌리는 평형점을 가지는가?
• RQ2 기하학적 및 역학적 제약 조건을 활용하여, 약한 가역성 질량작용 법칙 시스템에서 궤적의 지속성은 엄밀히 증명될 수 있는가?
• RQ3 고차원 시스템에서 해가 원점이나 양의 옥타ント의 경계에 가까워지는 것을 방지하기 위해 불변 영역을 어떻게 구성할 수 있는가?
• RQ4 토릭 미분 포함은 복잡 균형 및 결함 수 0 네트워크의 분석을 일반화하고 통합하는 데 어떤 역할을 하는가?
• RQ5 국소 안정성 가정 없이도, 구조적 및 대수적 제약 조건만으로도 글로벌 액터 성질을 증명할 수 있는가?

주요 결과

• 글로벌 액터 컨제크처가 증명됨: 모든 토릭 동역계는 각각의 양의 선형 불변 부분공간 내에서 유일한 전역적으로 끌리는 평형점을 가진다.
• 모든 세부 균형 질량작용 법칙 시스템과 모든 결함 수 0의 약한 가역성 네트워크는 글로벌 액터 성질을 가진다.
• 토릭 미분 포함의 양의 해는 양의 옥타ント의 경계 이웃 영역을 배제하는 불변 영역 존재로 인해 원점에서 멀리 떨어져 있음을 보장한다.
• 불변 영역 ${\cal R}_n^{k}$의 구성은 궤적이 $\mathbb{R}_+^n$의 모든 저차원 면에서 양의 거리를 유지함을 보장하여 지속성을 보장한다.
• 엄격한 리아푸노프 함수와 라살의 불변성 원리의 활용은 각 스토이키오메트릭 호환성 클래스 내에서 유일한 양의 평형점으로의 전역 수렴성을 확인한다.
• 토릭 미분 포함의 프레임워크는 양의 옥타ント에서 비선형 동역계의 영속성과 전역 안정성 증명에 있어 강력한 도구를 제공한다.