[论文解读] General Iteration graphs and Boolean automata circuits

Mathilde Noual|arXiv (Cornell University)|Apr 20, 2011

Gene Regulatory Network Analysis参考文献 17被引用 4

一句话总结

本文引入通用迭代图，以系统分析布尔自动机网络在所有可能的块-顺序更新调度下的动态行为。通过形式化一个势函数并分析在扰动下的稳定性，表明特定更新调度所诱导的许多行为在生物学上不切实际，而势能最小的固定点则具有鲁棒性且更可能是真实结果——尤其在正向环路中。因此，本文主张通用迭代图比孤立的块-顺序调度更具现实性。

ABSTRACT

This article is set in the field of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to update the states of every element. When this is done deterministically, at each time step of a discretised time flow and according to a predefined order, we say that the network is updated according to block-sequential update schedule (blocks of elements are updated sequentially while, within each block, the elements are updated synchronously). Many studies, for the sake of simplicity and with some biologically motivated reasons, have concentrated on networks updated with one particular block-sequential update schedule (more often the synchronous/parallel update schedule or the sequential update schedules). The aim of this paper is to give an argument formally proven and inspired by biological considerations in favour of the fact that the choice of a particular update schedule does not matter so much in terms of the possible and likely dynamical behaviours that networks may display.

研究动机与目标

• 为解决在建模基因调控网络时选择单一块-顺序更新调度所存在的生物学与理论模糊性。
• 论证特定更新调度可能引入不反映真实生物行为的动态伪影。
• 形式化一个基于通用迭代图的框架，以捕捉网络所有确定性更新行为。
• 识别在可能的更新顺序扰动下仍能持续存在的稳定、鲁棒配置——尤其是势能最小的固定点。
• 调和布尔自动机电路的动态行为与托马斯关于正向与负向环路的猜想，特别是关于极限环和固定点的关系。

提出的方法

• 构建包含所有可能确定性更新序列的通用迭代图，其中节点表示状态配置，弧表示在任意块-顺序更新调度下的状态转移。
• 为配置 x 定义势函数 u(x)，其中值越低表示稳定性越强，对更新顺序扰动的抵抗能力越强。
• 利用势函数对配置按鲁棒性和可能性进行排序，其中 u(x) = 0 表示对扰动最不敏感的固定点。
• 分析真实网络（如 Mendoza 网络）和抽象环路，比较不同更新调度下的动态行为，并评估吸引子的可能性。
• 利用关于单调布尔函数和电路结构的已知结果，证明正向环路仅在特定且不太可能的更新顺序下才会表现出极限环。
• 引入并应用鲁棒性与可能性的度量，以量化在更新调度不确定性下吸引子的生物合理性。

实验结果

研究问题

• RQ1 布尔自动机网络的哪些动态行为对更新顺序的扰动具有鲁棒性，而哪些是固定更新调度所导致的伪影？
• RQ2 能否开发一个统一框架，以评估所有可能的块-顺序更新调度下吸引子的生物合理性？
• RQ3 电路的结构特性——特别是正向与负向环路——如何与在通用更新动态下固定点和极限环的存在性相关联？
• RQ4 在可能的更新顺序变化下，势能最小的固定点（u(x) = 0）在多大程度上主导网络的长期行为？
• RQ5 通用迭代图在多大程度上提供了比孤立的块-顺序更新调度更真实的网络动态模型？

主要发现

• 通用迭代图捕捉了布尔自动机网络所有可能的确定性更新行为，揭示了由特定更新调度诱导的许多吸引子在扰动下并不稳定。
• 势能 u(x) = 0 的固定点在更新顺序不确定性下最为鲁棒且最可能是真实结果，尤其在正向环路中。
• 正向布尔自动机环路中的极限环仅在极特定、生物学上极不可能的块-顺序更新调度下才可能出现，表明其为动态伪影。
• Mendoza 网络的分析表明，由于鲁棒性低且势能高，某些吸引子显著不如其他吸引子可能，表明其生物不合理性。
• 势函数 u(x) 有效按稳定性对配置进行排序，其中 u(x) = 0 的配置是在噪声或可变更新顺序下唯一可能持续存在的。
• 本研究证实，无环路的网络（即树状结构）只能达到固定点，而环路——尤其是正向环路——是复杂动态行为的必要条件，当考虑更新顺序不确定性时，这与托马斯的猜想一致。