[論文レビュー] Complexity of Boolean Automata Networks Under Block-Parallel Update Modes

Kévin Perrot, Sylvain Sené+1 more|arXiv (Cornell University)|Jan 1, 2024

Machine Learning and Algorithms被引用数 1

ひとこと要約

本稿は、最近導入された周期的更新スケジュールの一種であるブロック並列更新モードにおけるブールオートマトンネットワークの計算複雑性を調査する。ほとんどの基本的決定問題、すなわち到達可能性、固定点の存在、極小サイクル検出に関して、PSPACE完全性を示しており、高い表現力と計算の難易度を示している一方で、双対性（bijectivity）はcoNPにとどまることから、一般の複雑性の増大とは対照的な重要な例外が存在する。

ABSTRACT

Boolean automata networks (aka Boolean networks) are space-time discrete dynamical systems, studied as a model of computation and as a representative model of natural phenomena. A collection of simple entities (the automata) update their 0-1 states according to local rules. The dynamics of the network is highly sensitive to update modes, i.e., to the schedule according to which the automata apply their local rule. A new family of update modes appeared recently, called block-parallel, which is dual to the well studied block-sequential. Although basic, it embeds the rich feature of update repetitions among a temporal updating period, allowing for atypical asymptotic behaviors. In this paper, we prove that it is able to breed complex computations, squashing almost all decision problems on the dynamics to the traditionally highest (for reachability questions) class PSPACE. Despite obtaining these complexity bounds for a broad set of local and global properties, we also highlight a surprising gap: bijectivity is still coNP.

研究の動機と目的

• ブロック並列更新モードと呼ばれる、最近導入された周期的更新スケジュールのクラスにおけるブールオートマトンネットワークの計算複雑性を分析すること。
• これらの更新モードが、到達可能性、固定点の存在、極小サイクル検出といったコアな決定問題の複雑性にどのように影響を与えるかを特定すること。
• ブロック並列更新による表現力の向上が、すべての動的問題において計算の難易度を一様に高めるかどうかを検討すること。
• 一般の複雑性の増大に対する例外を特定すること、特に双対性や構造的不変量に関連する問題において。

提案手法

• ブロックに分割されたオートマトンの集合を順番に更新する周期的スケジュールとしてのブロック並列更新モードの形式的定義。
• 既知のPSPACE完全問題からの還元技術を用いて、ブロック並列ダイナミクス下での到達可能性、固定点、極小サイクル問題の難易度を示す。
• 組合せ的構成を用いて、XORのような線形関数ですら、非ループ構造の相互作用グラフを伴っても、複雑な挙動（例えば、恒等的ダイナミクス）を生成できることを示す。
• 相互作用グラフや局所関数の依存関係といった、オートマトンネットワークの構造的性質を活用して、ブロック並列更新下でのダイナミクスを分析する。
• 更新の各サブステップにおける単射性の条件を特徴づけることで、双対性問題のcoNP-membershipを証明する。
• 一般にPSPACE完全となる問題が多い一方で、双対性はcoNPにとどまることを示すことで、複雑性ギャップを確立する。

実験結果

リサーチクエスチョン

• RQ1 ブロック並列更新モード下におけるブールオートマトンネットワークの到達可能性問題の計算複雑性は何か？
• RQ2 ブロック並列更新モードは、ブロック逐次的または並列的モードと比較して、固定点検出および極小サイクル検出問題の複雑性にどのように影響を与えるか？
• RQ3 ブロック並列更新の高い表現力にもかかわらず、ある動的問題は依然として tractable（容易）である（例えば、coNPに属する）ものがあるだろうか？
• RQ4 ブロック逐次的設定と同様に、相互作用グラフだけですべてのダイナミクスを決定できるのだろうか？
• RQ5 なぜ双対性はPSPACE完全化する他の問題とは異なり、coNPにとどまるのか？

主な発見

• ブロック並列更新モード下におけるブールオートマトンネットワークの到達可能性問題はPSPACE完全であり、ブロック逐次的モードと同等の複雑性を示す。
• 固定点の存在問題および極小サイクル検出問題は、いずれもブロック並列更新モード下でPSPACE完全である。
• 画像問題（image problem）および逆像問題（preimage problem）についてもPSPACE完全であることが示され、到達可能な状態の計算または検証が極めて複雑であることが示唆される。
• 双対性問題はcoNPにとどまっているが、これは単一のサブステップで単射性が破壊される可能性があるため、一般のPSPACE困難化トレンドとは対照的である。
• ブロック並列更新モードでは、非ループ構造および非正の弧を含む相互作用グラフですら、恒等的ダイナミクスを生成できることを示しており、非自明な構造的複雑性を示している。
• 本研究の結果は、ブールネットワークに限らず、非ブール的オートマトンネットワークに対しても拡張可能であり、複雑性境界の広範な適用可能性を示している。