[论文解读] Full characterization of attractors for two intersected asynchronous Boolean automata cycles.

Tarek Melliti, Mathilde Noual+3 more|arXiv (Cornell University)|Oct 21, 2013

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

一句话总结

本文通过一种受算法更新序列启发的新型形式化方法，对由两个相交环路组成的异步布尔自动机网络中的瞬态和渐近动力学进行了完整表征。核心贡献在于对计算行为和吸引子结构的精确描述，从而深化了对这类系统复杂性的理解。

ABSTRACT

The understanding of Boolean automata networks dynamics takes an important place in various domains of computer science such as computability, complexity and discrete dynamical systems. In this paper, we make a step further in this understanding by focusing on their cycles, whose necessity in networks is known as the brick of their complexity. We present new results that provide a characterisation of the transient and asymptotic dynamics, i.e. of the computational abilities, of asynchronous Boolean automata networks composed of two cycles that intersect at one automaton, the so-called double-cycles. To do so, we introduce an efficient formalism inspired by algorithms to define long sequences of updates, that allows a better description of their dynamics than previous works in this area.

研究动机与目标

• 为了理解异步布尔自动机网络的复杂动力学，特别是将环路作为复杂性基本单元进行研究。
• 为解决在具有相交环路的网络中瞬态和渐近行为缺乏全面表征的问题。
• 开发一种形式化方法，以比以往方法更精确、更高效地描述更新序列及其导致的动力学。

提出的方法

• 引入一种受算法更新序列启发的形式化方法，用于建模双环结构中的长期更新轨迹。
• 利用该形式化方法系统分析网络动力学中吸引子和瞬态阶段的结构。
• 定义能够捕捉相交环路结构中自动机异步行为的更新序列。
• 分析状态的可达性和稳定性，以对吸引子和瞬态路径进行分类。
• 将该形式化方法应用于推导系统动力学的结构和计算特性。

实验结果

研究问题

• RQ1 双环异步布尔自动机网络中的瞬态和渐近动力学行为如何？
• RQ2 更新序列的何种结构特性决定了此类网络中吸引子的性质？
• RQ3 基于算法更新序列的形式化方法在多大程度上能改善对动力学的表征，相比先前方法？

主要发现

• 所提出的形式化方法在文献中比以往方法能更精确、更高效地描述动力学。
• 本文实现了对吸引子的完整表征，包括其结构以及通向它们的瞬态路径。
• 双环的动力学表现出特定的计算行为，其完全由更新序列形式化方法决定。
• 吸引子结构在某种意义上与更新顺序完全解耦，从而揭示了内在的稳定性和周期性模式。
• 该形式化方法使得能够识别系统中所有可能的渐近行为和瞬态长度。