[논문 리뷰] Output-Oblivious Stochastic Chemical Reaction Networks

Ben Chugg, Hooman Hashemi외 1명|arXiv (Cornell University)|2018. 12. 07.

Gene Regulatory Network Analysis인용 수 2

한 줄 요약

이 논문은 출력 무관(stochastic chemical reaction networks, CRNs)으로 안정적으로 계산될 수 있는 함수 f : N² → N의 집합을 특성화한다. 이러한 함수는 증가하는 함수이며, 또는 격자-아핀(grid-affine, 동치 클래스 위에서 조각별 아핀)이거나, 유한 개의 부분 분열 함수(partial fission functions)의 최솟값인 함수여야 한다. 이는 출력 종이 계산 도중 소모되지 않도록 보장함으로써 CRN의 조합 문제를 해결한다.

ABSTRACT

We classify the functions $f:\mathbb{N}^2 ightarrow \mathbb{N}$ which are stably computable by output-oblivious Stochastic Chemical Reaction Networks (CRNs), i.e., systems of reactions in which output species are never reactants. While it is known that precisely the semilinear functions are stably computable by CRNs, such CRNs sometimes rely on initially producing too many output species and then consuming the excess in order to reach a correct stable state. These CRNs may be difficult to integrate into larger systems: if the output of a CRN $\mathcal{C}$ becomes the input to a downstream CRN $\mathcal{C}'$, then $\mathcal{C}'$ could inadvertently consume too many outputs before $\mathcal{C}$ stabilizes. If, on the other hand, $\mathcal{C}$ is output-oblivious then $\mathcal{C}'$ may consume $\mathcal{C}$'s output as soon as it is available. In this work we prove that a semilinear function $f:\mathbb{N}^2 ightarrow \mathbb{N}$ is stably computable by an output-oblivious CRN with a leader if and only if it is both increasing and either grid-affine (intuitively, its domains are congruence classes), or the minimum of a finite set of fissure functions (intuitively, functions behaving like the min function).

연구 동기 및 목표

• 출력 종이 반응물로 소모되지 않는 출력 무관 CRN에서 f : N² → N를 안정적으로 계산할 수 있는 함수를 규명하는 것.
• 하류 네트워크가 안정화되기 전에 출력을 조기에 소비하는 문제를 해결하기 위해 CRN의 조합 문제를 다루는 것.
• 표준 반선형 함수를 초월하여, 출력 무관성의 더 엄격한 조건 하에서 계산 가능한 함수의 집합을 특성화하는 것.
• 출력 단조성과 조합 가능성의 실용적 요구사항을 통합함으로써 이전의 CRN 안정 계산 연구를 확장하는 것.

제안 방법

• 저자는 출력 종이 반응물이 되지 않는 조건 하에서 반선형 함수를 분석하며, 계산을 시작하는 데 리더 종을 사용한다.
• 두 가지 핵심 함수 클래스를 정의하고 분석한다: 격자-아phin 함수(어떤 주기 모듈로에 대한 동치 클래스 위에서 조각별 아phin)와 부분 분열 함수의 최솟값(최솟값 함수와 유사한 조각별 선형 행동을 보이는 함수).
• 증명은 격자 위에서 반아핀 함수의 구조적 분해를 사용하며, 주기성과 격자 분할을 통해 쌍곡선과 선분 세그먼트로 영역을 나눈다.
• 보조정리들은 격자 전역에서 출력 단조성과 증가성의 성질을 입증하며, 비단조화 행동은 모순을 초래함을 보여준다.
• 하나의 하위영역에서의 아phin 함수 성질을 이용하고, 다양한 격자 오프셋 간의 영역 교차를 정의하기 위해 임계값 집합을 사용한다.
• 핵심 기술 도구로는 Lemma 18(단일 격자 위에서 증가하는 반아phin 함수는 모든 점에서 비감소여야 함을 증명)과 Lemma 19(이를 격자 간 전이로 확장)이 있다.

실험 결과

연구 질문

• RQ1 출력 종이 반응물로 소모되지 않는 출력 무관 CRN에서 f : N² → N를 안정적으로 계산할 수 있는 함수는 무엇인가?
• RQ2 더 엄격한 출력 무관성 조건 하에서, 기존의 반선형 함수 집합을 초월하여 안정적으로 계산 가능한 함수의 집합을 특성화할 수 있는가?
• RQ3 이 모델에서 계산 가능한 함수가 만족해야 할 구조적 성질(예: 단조성, 조각별 선형성)은 무엇인가?
• RQ4 격자-아phin 함수와 분열 함수의 최솟값은 출력 단조성 반선형 함수의 분해 과정에서 어떻게 자연스럽게 나타나는가?
• RQ5 이 특성화는 두 개 이상의 입력을 가진 함수로 확장될 수 있는가?

주요 결과

• 함수 f : N² → N이 리더를 가진 출력 무관 CRN으로 안정적으로 계산 가능할 조건은 증가 함수이며, 또는 격자-아phin이거나 유한 개의 부분 분열 함수의 최솟값인 경우에 한하여 성립한다.
• 출력 무관 계산 가능한 함수의 집합은 모든 반선형 함수 집합보다 엄밀히 작으며, 이는 단조성과 특정한 조각별 구조를 요구하기 때문이다.
• 격자-아phin 함수는 어떤 주기 p에 대해 각 동치 클래스 위에서 아phin이며, 격자 이동 간에도 일관성 있어야 한다.
• 분열 함수는 '모서리' 구조를 가진 조각별 선형 함수이며, 그 최솟값은 최솟값 함수와 유사한 행동을 모델링한다.
• 단일 리더 분자 가정 하에 정확한 제어와 확률 모델에서의 안정화가 가능하므로, 이 특성화는 이 조건 하에서 성립한다.
• 결과는 각 출력이 출력 무관 조건 하에서 독립적으로 다룰 수 있으므로, 두 개 이상의 출력을 가진 함수로 일반화된다.