전사 시스템의 전역적 주기 입력 동기화 메커니즘

초록

본 논문은 수축 이론을 활용해 외부 주기 신호에 의해 전사 네트워크가 전역적으로 고정된 리미트 사이클에 수렴한다는 충분조건을 제시한다. 일반적인 수학적 정리를 증명하고, 억제형 피드백 회로와 같은 전형적인 전사 모델에 적용해 전역 동기화(entrainment)를 확인한다.

상세 분석

이 연구는 전사 시스템을 비선형 미분 방정식 집합으로 모델링하고, 외부 주기 입력이 존재할 때 시스템이 전역적으로 하나의 주기 궤도에 수렴하는지를 분석한다. 핵심 도구는 수축 이론(contraction theory)이며, 이는 시스템의 상태 공간에서 두 궤적 사이의 거리(일반적으로 Riemannian metric에 의해 정의된)가 지수적으로 감소함을 보이는 방법이다. 논문은 먼저 수축성을 보장하는 충분조건을 제시한다. 구체적으로, 시스템의 Jacobian 행렬 J(x,t)와 선택된 양정정규 행렬 M에 대해 대칭화된 행렬 (M J+Jᵀ M)/2가 모든 x와 t에 대해 부정정(negative definite)임을 보이면, 시스템은 전역적으로 수축한다는 정리를 증명한다.

다음 단계에서는 주기 입력 u(t)=u(t+T) 가 존재할 때, 수축 시스템은 반드시 고유한 T-주기 해(solution)를 갖고, 모든 초기 조건에서 그 해로 수렴한다는 ‘entrainment’ 결과를 도출한다. 이때 중요한 점은 입력이 비선형 함수이더라도, 입력이 시스템에 미치는 영향이 Jacobian에 포함되므로 동일한 수축 조건을 적용할 수 있다는 것이다.

전사 네트워크에 특화된 모델로는 (1) 단일 유전자 억제 회로, (2) 두 유전자 상호 억제 토글 스위치, (3) 세 유전자 순환 억제인 repressilator 가 선택되었다. 각 모델은 일반적인 Hill 함수 형태의 전사·번역 속도식을 사용하며, 파라미터 공간에서 수축성을 만족하는 영역을 분석한다. 예를 들어, 억제 강도와 분해율의 비율이 일정 임계값 이상이면 Jacobian의 대칭화된 행렬이 부정정이 되며, 이는 시스템이 외부 주기적인 전사 인자(예: 광유도 프로모터)의 리듬에 완전히 동기화됨을 의미한다.

수치 시뮬레이션에서는 외부 입력을 사인파와 펄스 파형 두 종류로 적용했으며, 초기 조건을 크게 달리해도 모두 동일한 리미트 사이클에 수렴함을 확인했다. 특히, 입력 주기가 시스템 고유 진동수와 크게 차이날 때도 수축 조건이 유지되면 강제 동기화가 일어나며, 이는 생물학적 시계가 외부 환경(광‑다크 사이클 등)에 강인하게 적응할 수 있는 메커니즘을 수학적으로 뒷받침한다.

마지막으로 논문은 수축 이론이 제공하는 ‘전역적’ 보증이 기존의 선형화 기반 지역 안정성 분석보다 훨씬 강력함을 강조한다. 전사 네트워크 설계 시, 파라미터 선택을 통해 수축성을 확보하면 설계된 회로가 어떠한 초기 상태에서도 원하는 주기적 행동을 보장받을 수 있다. 이는 합성 생물학에서 리듬 회로를 구축하거나, 약물 투여 스케줄을 최적화하는 데 실용적인 지침을 제공한다.