[論文レビュー] Nesting of dynamic systems and mode-dependent networks

David I. Spivak, Joshua Tan|arXiv (Cornell University)|Feb 25, 2015

Cellular Automata and Applications参考文献 17被引用数 3

ひとこと要約

本稿は、モード依存ネットワーク——内部状態に応じてネットワークトポロジーが変化する動的システム——をモデル化するため、オペラッドとその代数を用いた圏論的枠組みを導入する。この枠組みは、スケールをまたぐ一貫性のある合成を保証する意味論を通じて、このようなシステムのネスティングを形式化し、神経系のような複雑で適応的なネットワークの階層的モデリングを可能にする。

ABSTRACT

For many networks, the connection pattern (often called the topology) can vary in time, depending on the changing state, or mode, of the modules within the network. For example, "airplane mode" is the name for one communicative mode of a modern cellphone, in which it will not connect with any cellphone towers; thus the topology of the cellular network is dependent on the modes of its modules. This paper addresses the issue of nesting such mode-dependent networks, in which a local network can be abstracted as a single module in a larger network. Each module in the network represents a dynamic system, whose behavior includes repeatedly updating its communicative mode. It is in this way that the dynamics of the modules controls the topology of the networks at all levels. This paper provides a formal semantics, using the category-theoretic framework of operads and their algebras, to capture the nesting property and dynamics of mode-dependent networks. We provide a detailed running example to ground the mathematics.

研究の動機と目的

• 内部状態に応じてトポロジーが変化する動的でモード依存のネットワークのネスティングを形式化すること。
• 時間変動するトポロジーを有するネットワークの間の、一貫性のある合成的意味論を提供すること。
• 視覚路のような複雑な生物学的システム——例えば視覚経路——を、階層的で状態依存のネットワークダイナミクスを用いてモデル化すること。
• ワイヤリング図理論を拡張し、状態依存の接続性を含めることで、再帰的なシステム合成を可能にすること。
• 大規模で適応的な力学的システムを、圏論を用いて構築・推論するための形式的基盤を確立すること。

提案手法

• 動的トポロジーを有するネットワークの階層的合成を形式化するために、オペラッドとその代数を用いる。
• ノードの状態が接続パターンを決定するようなシステムをモデル化するため、モード依存ネットワークのオペラッド（OMDN）を導入する。
• 状態集合、モード関数、更新関数、通信モードに依存する出力マップを用いて、モーダル力学系を定義する。
• 階層的な合成における一貫性を保証するために、整合性写像と合成則を適用する。
• テンソル積と準同型を用いて、フィードフォワードニューラルネットワークのようなレイヤード構造を構築する。
• プラグアンドプレイな合成戦略を用いて、ニューロンやリ flex モジュールのような原子的構成要素から複雑なシステムを組み立てる。

実験結果

リサーチクエスチョン

• RQ1 時間変動するトポロジーを有するネットワークを、スケールをまたいで一貫性を保つ形で形式的に合成する方法は何か？
• RQ2 内部状態に依存する接続性を有する力学系のネスティングを可能にする圏論的構造は何か？
• RQ3 統一された意味論が、適応的システムにおける局所的ダイナミクスとグローバルなネットワークトポロジーを同時にモデル化できるか？
• RQ4 オペラッドは、脳の視覚路のような階層的で異種のネットワークを形式的基盤として提供できるか？
• RQ5 モード依存ネットワークの合成が、ズームレベルや分解の選択に依存しない条件は何か？

主な発見

• モード依存ネットワークのオペラッド（OMDN）は、内部状態に応じてトポロジーが変化するシステムに対して、一貫性があり合成可能な枠組みを提供する。
• モーダル力学系は、状態集合、モード関数、更新ルール、通信モードに依存する出力関数を用いて正式に定義される。
• この枠組みは階層的合成をサポートする：個々のニューロンは、視覚皮質やまばたき反射のようなより大きなネットワーク内のモジュールとして抽象化可能である。
• フィードフォワードニューラルネットワークは、OMDN の部分オペラッド（OFFN）として構築可能であり、モジュラー設計と合成を可能にする。
• 視覚系モデル VS は、神経やニューロンのような基本的構成要素に還元可能な、ネストされた操作の逐次的合成として形式的に構成される。
• この枠組みは、再接続と合成が分解の選択に依存しないことを保証し、スケールをまたぐ一貫性を確保する。