[논문 리뷰] Periodic solutions of piecewise affine gene network models: the case of a negative feedback loop

Etienne Farcot, Jean‐Luc Gouzé|arXiv (Cornell University)|2006. 11. 08.

Gene Regulatory Network Analysis참고 문헌 12인용 수 10

한 줄 요약

이 논문은 단일 음성 피드백 루프를 가진 조각별 애파인 유전자 네트워크 모델에서 안정된 주기적 궤도의 존재성과 유일성을 고정점 정리에 기반한 단조 증가, 오목 함수의 연산자 이론을 사용하여 증명한다. 이전 연구들과 달리 동일한 분해율을 가정하지 않으며, 차원 >2에서는 유일한 한계 사이클로 수렴하고, 차원 2에서는 원점으로 수렴함을 입증한다.

ABSTRACT

In this paper the existence and unicity of a stable periodic orbit is proven, for a class of piecewise affine differential equations in dimension 3 or more, provided their interaction structure is a negative feedback loop. It is also shown that the same systems converge toward a unique stable equilibrium point in dimension 2. This extends a theorem of Snoussi, which showed the existence of these orbits only. The considered class of equations is usually studied as a model of gene regulatory networks. It is not assumed that all decay rates are identical, which is biologically irrelevant, but has been done in the vast majority of previous studies. Our work relies on classical results about fixed points of monotone, concave operators acting on positive variables. Moreover, the used techniques are very likely to apply in more general contexts, opening directions for future work.

연구 동기 및 목표

• 조각별 애파인 유전자 네트워크 모델에서 음성 피드백 루프가 있는 안정된 주기적 궤도의 존재성과 유일성을 확립하기 위해.
• 이전에 Snoussi 가 제시한 한계 사이클 존재성 결과를 확장하여, 동일한 분해율을 가정하지 않고도 유일성과 안정성을 증명하기 위해.
• 이러한 시스템에서 첫 번째 재진입 Poincaré 사상이 단조 증가하고 오목함을 보이며, 고정점 이론의 적용이 가능함을 보여주기 위해.
• 차원 2에서는 모든 궤도가 원점으로 수렴하고, 차원 >2에서는 유일한 영이 아닌 고정점으로 수렴함을 보여주기 위해.
• 단조 증가, 오목 함수의 연산자 이론을 사용하여 수학적으로 엄밀하고 자가 포함된 증명을 제공함으로써, 특정 모델 클래스를 초월한 적용 가능성을 확보하기 위해.

제안 방법

• 특정 단면 $\mathcal{Z}^1$ 에서 정의된 첫 번째 재진입 Poincaré 사상 $\mathbf{T}$ 를 사용하여, 주기적인 영역 시퀀스를 횡단하는 궤도의 역학을 분석한다.
• 조각별 애파인 시스템의 구조를 활용하여, 정규 단조 증가, 오목 함수의 고정점 정리인 Smith 의 고정점 정리를 정규 양의 코너 $[0,p]$ 에 적용한다.
• Poincaré 사상 $\mathbf{T}$ 가 연속적이며 내부에서 $C^1$ 이며, 단조성 조건 (M) 과 엄격한 오목성 조건 (C) 을 만족함을 입증한다.
• 자기행렬 $DT(0)$ 의 스펙트럼 반경 $\lambda$ 를 사용하여, $\lambda > 1$ 일 때 유일한 영이 아닌 고정점이 존재함을 보장한다.
• 생산 및 분해 항의 부호 구조를 분석하여, 사이클을 따라 행렬 요소의 곱이 1이 됨을 보이며, 사상의 양성과 일관성을 보장한다.
• 유한한 수의 단계 이후 모든 궤도가 첫 번째 재진입 사상이 단조 증가하고 오목해지는 영역으로 진입하며, 이에 따라 고정점 정리의 적용이 가능해짐을 보였다.

실험 결과

연구 질문

• RQ1 동일한 분해율을 가정하지 않고, 음성 피드백 루프가 있는 조각별 애파인 유전자 네트워크 모델에서 유일한 안정된 주기적 궤도가 존재하는가?
• RQ2 이러한 시스템의 역학은 차원 2와 차원 >2에서 어떻게 다를까?
• RQ3 단조 증가, 오목 함수의 고정점 이론을 사용하여 한계 사이클의 존재성과 유일성을 엄밀하게 증명할 수 있는가?
• RQ4 유전자 네트워크 모델의 맥락에서 첫 번째 재진입 Poincaré 사상이 단조 증가하고 오목함을 보이게 하는 조건은 무엇인가?
• RQ5 이 논문에서 사용된 수학적 프레임워크는 단일 음성 피드백 루프를 초월한 더 복잡한 조절 네트워크 구조로 일반화될 수 있는가?

주요 결과

• 차원 $n > 2$ 에서, $\mathcal{Z}^1$ 의 내부에서 유일한 영이 아닌 고정점 $q = \mathbf{T}q$ 가 존재하며, 모든 궤도가 Poincaré 사상의 반복에 의해 $q$ 로 수렴한다.
• 차원 $n = 2$ 에서, $\mathcal{Z}^1$ 의 모든 $x$ 에 대해 $\mathbf{T}^m x \to 0$ as $m \to \infty$ 를 만족하여 원점으로의 수렴을 나타낸다.
• 스펙트럼 반경 $\lambda = \rho(DT(0))$ 는 장기적 행동을 결정하며, $\lambda > 1$ 이면 유일한 영이 아닌 고정점이 존재하고, $\lambda \leq 1$ 이면 원점이 전역적인 흡인점이 된다.
• Poincaré 사상 $\mathbf{T}$ 는 $[0,p]$ 에서 단조 증가하고 엄격하게 오목하며, Smith 의 고정점 정리에 필요한 조건을 만족한다.
• 생산 및 분해 항의 부호 일관성으로 인해, 사상 내의 어떤 사이클을 따라도 자코비안 요소의 곱이 1이 되며, 이는 사상의 양성과 구조적 일관성을 보장한다.
• 증명은 동일한 분해율을 가정하지 않으며, 이는 이전 연구들보다 생물학적으로 더 현실적인 접근이다.