[論文レビュー] 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

ひとこと要約

本稿は、二重サイクルからなる非同期ブール自己機械ネットワークの遷移的および漸近的ダイナミクスを、アルゴリズム的更新シーケンスにインspiredした新規形式的枠組みを用いて完全に特徴付けている。主な貢献は、計算的挙動およびアトラクタ構造の正確な記述であり、こうしたシステムにおける複雑性の理解を深めるものである。

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.

研究の動機と目的

• 非同期ブール自己機械ネットワークの複雑なダイナミクスを理解すること、特にサイクルを複雑性の基本的単位として焦点とする。
• 交差するサイクルを有するネットワークにおける一時的および漸近的挙動の包括的特徴付けの欠如に取り組むこと。
• 従来の手法よりもより正確かつ効率的な更新シーケンスおよびそれらに起因するダイナミクスの記述を可能にする形式的枠組みを開発すること。

提案手法

• 二重サイクルにおける長い更新軌道をモデル化するため、アルゴリズム的更新シーケンスにインspiredした形式的枠組みを導入する。
• この形式的枠組みを用いて、ネットワークダイナミクスにおけるアトラクタ構造および一時的段階の構造を体系的に分析する。
• 交差するサイクル構造における自己機械の非同期的挙動を捉える更新シーケンスを定義する。
• 状態の到達可能性および安定性を分析し、アトラクタおよび一時的経路を分類する。
• この形式的枠組みを適用して、システムダイナミクスの構造的および計算的性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 二重サイクル非同期ブール自己機械ネットワークにおける一時的および漸近的ダイナミクスは、どのように振る舞うか？
• RQ2 更新シーケンスのどのような構造的性質が、こうしたネットワークにおけるアトラクタの性質を決定するか？
• RQ3 アルゴリズム的更新シーケンスに基づく形式的枠組みは、従来の手法と比較して、ダイナミクスの特徴付けをどの程度改善できるか？

主な発見

• 提案された形式的枠組みは、文献に既存の手法よりもより正確かつ効率的なダイナミクス記述を可能にする。
• 本稿は、アトラクタの構造およびそれらに至る一時的経路を完全に特徴付けている。
• 二重サイクルのダイナミクスは、更新シーケンス形式的枠組みによって完全に決定される特定の計算的挙動を示している。
• アトラクタ構造は、更新順序に完全に分離されており、それにより内在的な安定性および周期的パターンが明らかになる。
• この形式的枠組みにより、システムにおけるすべての可能な漸近的挙動および一時的長さを同定できる。