[논문 리뷰] Revisiting Persistence of Chemical Reaction Networks through Lyapunov Function Partial Differential Equations

Xiaoyu Zhang, Zhou Fang외 1명|arXiv (Cornell University)|2018. 09. 29.

Gene Regulatory Network Analysis참고 문헌 18인용 수 4

한 줄 요약

이 논문은 질량작용 화학 반응망(CRN)에서 지속성(persistence)을 분석하기 위해 새로운 리아푸노프 함수 PDE 기법을 도입한다. 이 기법을 통해 양의 정사분면의 경계상에 존재하는 ω-극한점이 존재하지 않음을 확인할 수 있는 검증 가능한 기준을 도출할 수 있다. 이 방법은 특정 클래스의 네트워크—특히 1차원 $Ω_I$-내향 네트워크—가 속도 상수의 영향을 받지 않고도 지속성임을 증명하며, 기존 결과를 넘어서는 새로운 통찰을 제공한다.

ABSTRACT

In this paper, we propose a novel technique, referred to as the Lyapunov Function PDEs technique, to diagnose persistence of chemical reaction networks with mass-action kinetics. The technique allows that every network is attached to a Lyapuonv function PDE and a boundary condition whose solutions are expected to be Lyapunov functions for the network. By means of solution of the PDEs, either in the forms of itself or its time derivative, some checkable criteria are proposed for persistence of network systems. These criteria show high validity in proving that neither non-semilocking boundary points nor semilocking boundary non-equilibrium points (with additional conditions included) in mass-action systems are $ω$-$limit$ points. Further, we prove that a class of networks, called $\mathcal{W}_{I}$-endotactic networks that are regardless of values of the system parameters, a set larger than endotactic networks but smaller than $w_{I}$-endotactic networks, also give rise to persistent systems if the networks are $1$-dimensional. Although part of our results are covered by existing ones, part of them are still new. The proposed Lyapunov Function PDEs technique allows us to check persistence of mass action systems in an alternative corner, and is exhibiting large potential.

연구 동기 및 목표

• 질량작용 동역학을 갖는 화학 반응망에서 지속성 검증을 위한 새로운 분석 프레임워크를 개발하는 것.
• CRN에서 궤적이 멸종(즉, 경계상의 ω-극한점)에 접근하지 않는지를 판단하는 문제에 도전하는 것.
• 비-반지구화(non-semilocking) 및 반지구화(-semilocking) 비평형 경계점에 적용 가능한 PDE 기반 리아푸노프 함수 접근법을 도입함으로써 기존의 지속성 기준을 확장하는 것.
• 1D $Ω_I$-내향 네트워크가 속도 상수의 영향을 받지 않고도 지속적임을 증명함으로써, 내향 네트워크와 $w_I$-내향 네트워크 사이의 격차를 메우는 것.

제안 방법

• 각 CRN에 대해 리아푸노프 함수 PDE를 구성하며, 경계 조건은 네트워크의 구조와 동역학으로부터 유도된다.
• PDE의 해 또는 그 시간 도함수를 사용하여 지속성에 대한 검증 가능한 기준을 도출한다.
• 궤적 沿해 리아푸노프 함수의 기울기 행동을 활용하여 ω-극한집합을 분석하는 데에 이 방법을 활용한다.
• 고차원 시스템을 저차원 시스템으로 줄이기 위해 투영 기법을 사용하며, 경계점에서 농도가 0인 종 집합에 집중한다.
• 농도가 0에 수렴할 때 반응 속도의 극한 행동을 분석하기 위해 리아푸노프 함수의 기울기를 포함하는 지수항을 사용한다.
• 만약 리아푸노프 함수의 시간 도함수가 경계점 근처에서 균일하게 음수이면, 그 점은 ω-극한점일 수 없다는 것을 입증한다.

실험 결과

연구 질문

• RQ1 PDE 기반 리아푸노프 함수 프레임워크를 사용하여 질량작용 CRN의 지속성을 검증할 수 있는가?
• RQ2 비-반지구화 경계 비평형점, 특히 반지구화 점들은 어떤 조건에서 ω-극한점이 될 수 없는가?
• RQ3 1D $Ω_I$-내향 네트워크는 속도 상수가 어떤 값이 되든 지속적인가, 즉 내향이 아닐 경우에도 마찬가지로 성립하는가?
• RQ4 제안된 PDE 방법은 기존의 알려진 지속성 결과를 복원하거나 확장할 수 있는가, 특히 비-반지구화 및 반지구화 경계점에 대해 성립하는가?

주요 결과

• 리아푸노프 함수 PDE 기법은 질량작용 시스템에서 지속성 검증을 위한 새로운 대안적 방법을 제공하며, 이의 해는 리아푸노프 함수로 기능한다.
• 비-반지구화 경계점은 관련 PDE 해가 특정 조건을 만족할 경우 ω-극한점일 수 없다는 것을 증명한다.
• 반지구화 경계 비평형점의 경우, 리아푸노프 함수의 시간 도함수가 그 점 근처에서 균일하게 음수이면 지속성이 보장된다.
• 논문은 1D $Ω_I$-내향 네트워크가 모든 매개변수 값에서 지속적임을 입증한다. 이는 내향이 아닐 경우에도 성립한다.
• 이 방법은 존재하는 결과를 일반화하여, 경계점 근처에서 반응 속도의 극한 행동이 활성 종에만 의존함을 보여주며, 이는 저차원 시스템으로의 축소를 가능하게 한다.