[논문 리뷰] On the flora of asynchronous locally non-monotonic Boolean automata networks

Aurore Alcolei, Kévin Perrot외 1명|arXiv (Cornell University)|2015. 10. 19.

Gene Regulatory Network Analysis참고 문헌 23인용 수 5

한 줄 요약

이 논문은 이분기적 국소 비단조성 부울 자동기계 네트워크(⊕-BANs)의 이방성 동역학을 종합적으로 특성화하며, 크기가 >3인 유도 이중 사이클을 가지며 특정한 구조를 띤 강하게 연결된 ⊕-BANs에 초점을 맞춘다. 알고리즘적 및 그래프 이론적 방법을 사용하여 재작성 규칙을 통한 구조적 불변량과 행동 등가성을 규명하며, ⊕-BANs가 제한된 안착집합과 안정된 구성으로 나타나며, 사이클의 짝성과 네트워크 대칭성에 기반한 고정점, 일시적 상태 및 도달 불가능한 구성에 대한 핵심 결과를 제시한다.

ABSTRACT

Boolean automata networks (BANs) are a well established model for biological regulation systems such as neural networks or genetic networks. Studies on the dynamics of BANs, whether it is synchronous or asynchronous, have mainly focused on monotonic networks, where fundamental questions on the links relating their static and dynamical properties have been raised and addressed. This paper explores analogous questions on asynchronous non-monotonic networks, xor-BANs, that are BANs where all the local transition functions are xor-functions. Using algorithmic tools, we give a general characterisation of the asynchronous transition graphs for most of the cactus xor-BANs and strongly connected xor-BANs. As an illustration of the results, we provide a complete description of the asynchronous dynamics of two particular classes of xor-BAN, namely xor-Flowers and xor-Cycle Chains. This work also leads to new bisimulation equivalences specific to xor-BANs.

연구 동기 및 목표

• 비단조성 부울 자동기계 네트워크(BANs)의 동역학적 행동, 특히 XOR 기반 국소 함수를 가진 네트워크의 동역학적 행동을 이해하기 위해.
• 크기가 >3인 유도 이중 사이클을 가진 강하게 연결된 ⊕-BANs의 이방성 전이 그래프(ATG)를 특성화하기 위해.
• 두 가지 특정 ⊕-BAN 가족인 ⊕-Flowers와 ⊕-Cycle Chains의 완전한 동역학적 기술을 제공하기 위해.
• 상호작용 구조에 대한 그래프 재작성 규칙을 통해 BANs 간의 행동 등가성을 규명하기 위해.
• 비단조성성이 이방성 BANs의 안정성, 안착집합 구조, 도달 가능성에 미치는 영향을 탐구하기 위해.

제안 방법

• 이 연구는 크기가 >3인 유도 이중 사이클을 가진 ⊕-BANs의 이방성 전이 그래프(ATG)에 대한 알고리즘적 기술을 사용한다.
• 도달 가능성과 안정성 분석을 위해 노드 경로와 그 부호(부정 전이의 짝성)에 기반한 구성적 접근을 사용한다.
• 동일한 동역학을 가지는 BANs를 분류하기 위해 그래프 재작성 규칙을 통한 행동 동형성 정의 및 적용을 수행한다.
• 사이클 길이를 3으로 나눈 나머지에 따라 양성 및 음성 ⊕-BACCs(이아크 사이클)를 구분한다.
• 감소 그래프와 구성 대칭성을 활용하여 고정점 수와 도달 불가능한 구성의 수를 결정한다.
• 이 방법을 통해 ⊕-Flowers와 ⊕-Cycle Chains의 전체 ATG 구조를 유도하며, 동역학적 클래스의 차이를 드러낸다.

실험 결과

연구 질문

• RQ1 크기가 >3인 유도 이중 사이클을 가진 강하게 연결된 ⊕-BANs의 이방성 동역학은 어떻게 행동하며, 어떤 구조적 특성이 전이 그래프의 구조를 결정하는가?
• RQ2 ⊕-BANs에서 고정점과 도달 불가능한 구성의 수는 무엇에 의해 결정되며, 특히 ⊕-Cycle Chains와 ⊕-Flowers에서는 어떠한가?
• RQ3 상호작용 구조에 대한 그래프 재작성 규칙을 통해 ⊕-BANs 간의 행동 동형성을 특성화할 수 있는가?
• RQ4 사이클 길이의 짝성(mod 3)은 ⊕-BACCs에서 안정된 구성의 존재에 어떤 영향을 미치는가?
• RQ5 네트워크 대칭성과 반전은 ⊕-BANs의 동역학적 구조에 어떤 영향을 미치는가?

주요 결과

• m−1 ≡ 0 mod 3인 길이 m의 ⊕-BACCs의 경우, 네트워크의 부호 클래스와 그 반전에 따라 이방성 전이 그래프(ATG)에 최대 두 개의 고정점과 두 개의 도달 불가능한 구성이 존재할 수 있다.
• m−1 ≢ 0 mod 3일 경우, ATG는 정확히 한 개의 도달 불가능한 구성, 한 개의 고정점, 그리고 2^n − 2개의 일시적 구성으로 이루어진 단일 강하게 연결된 구성성분(SCC)을 가진다.
• m ≡ 1 mod 3인 음성 ⊕-BACCs에서는 사이클 갱신 동역학의 짝성 제약로 인해 안정된 구성이 존재하지 않는다.
• ⊕-Flowers와 ⊕-Cycle Chains의 ATG는 완전히 특성화되었으며, 그들의 동역학은 사이클 길이와 부호에 의해 결정되며 제한된 안착집합을 가짐을 보여준다.
• 그래프 재작성에 의한 행동 동형성은 구조적 대칭성과 사이클의 짝성을 ⊕-BANs의 동역학적 등가성의 핵심 결정 요소로 드러낸다.
• 이중 사이클 내 최소 사이클 크기보다 큰 k-동기화(k > 최소 사이클 크기)를 추가하면 ATG에서 도달 불가능한 구성이 제거되며, 이는 병렬 갱신 하에서 수렴을 시사한다.