[論文レビュー] Dynamics on networks I. Combinatorial categories of modular continuous-time systems

Robert Deville, Eugene Lerman|arXiv (Cornell University)|Aug 31, 2010

Gene Regulatory Network Analysis参考文献 46被引用数 8

ひとこと要約

本稿は、ラベル付き有向グラフの組み合わせ的構造を用いて対称性と不変性を符号化することで、ネットワーク上のモジュラー連続時系列力学系をモデル化する圏論的枠組みを導入する。この枠組みにより、このような力学系の圏がグラフの圏上にファイブレーションであることが確立され、座標に依存しない一般化された群oids形式を多様体上のベクトル場へと拡張し、普遍的性質を用いた不変部分多様体および部分系の体系的解析を可能にする。

ABSTRACT

We develop a new framework for the study of complex continuous time dynamical systems based on viewing them as collections of interacting control modules. This framework is inspired by and builds upon the groupoid formalism of Golubitsky, Stewart and their collaborators. Our approach uses the tools and --- more importantly ---the stance of category theory. This enables us to put the groupoid formalism in a coordinate-free setting and to extend it from ordinary differential equations to vector fields on manifolds. In particular, we construct combinatorial models for categories of modular continuous time dynamical systems. Each such model, as a category, is a fibration over an appropriate category of labeled directed graphs. This makes precise the relation between dynamical systems living on networks and the combinatorial structure of the underlying directed graphs, allowing us to exploit the relation in new and interesting ways.

研究の動機と目的

• ネットワーク上の複雑な連続時系列力学系を分析する座標に依存しない圏論的形式主義を構築すること。
• GolubitskyとStewartの群oids形式を通常の微分方程式にとどまらず、多様体上のベクトル場へ拡張すること。
• ラベル付き有向グラフの圏上のファイブレーションを用いて、モジュラー力学系を組み合わせ的にモデル化すること。
• 普遍的圏論的構成を用いて、ネットワーク構造と不変部分系の関係を明確化すること。
• 今後の研究において、離散時系列、数値的、確率的力学系のネットワーク上での研究の基盤を提供すること。

提案手法

• 力学系をネットワーク構造の群oidsまたは圏から多様体上のベクトル場への関手として表現する。
• 圏論を用いて、関手の極限、特に錐と終対象を用いて力学系の不変量を定義する。
• モジュラー系の圏がラベル付き有向グラフの圏上にファイブレーションであるような組み合わせ的モデルを構築する。
• 群oids不変ベクトル場の概念を用いて、モジュラーネットワーク内の繰り返しパターンを捉える。
• 極限の普遍的性質を活用して、グローバルな対称性が不要な状況でも不変部分多様体および部分系を同定する。
• 群oidsが互いに素な群の直積に同値であることを利用し、不変量の解析を群の不変部分空間の積に還元する。

実験結果

リサーチクエスチョン

• RQ1 群oids形式によるネットワーク力学の枠組みを、ユークリッド空間上の常微分方程式にとどまらず、多様体上のベクトル場へどのように一般化できるか。
• RQ2 グローバルな対称性が存在しない状況において、モジュラー力学系の不変部分多様体が出現する背後にある圏的構造は何か。
• RQ3 ネットワークの有向グラフの組み合わせ的構造が、不変部分系の存在と性質を完全に決定する仕組みは何か。
• RQ4 圏論がモジュラーネットワーク力学に座標に依存せず体系的な枠組みを提供するのはどのような点か。
• RQ5 極限や錐のような普遍的構成が、ネットワークトポロジーと力学的不変性の関係をどのように形式化するか。

主な発見

• モジュラー連続時系列力学系の圏は、ラベル付き有向グラフの圏上にファイブレーションであり、ネットワーク構造と力学の間の明確な関係を確立する。
• 対角や対称的部分空間といった不変部分多様体は、グローバルな対称性からではなく、下位のグラフの組み合わせ的構造から生じる。
• 群oids表現のベクトル空間上の不変量の空間は、その成分群の表現の不変量の積と同型であり、古典的な群不変量を一般化する。
• 群oidsからベクトル空間の圏への関手の極限は不変部分空間を捉え、これは錐と終対象による普遍的性質によって特徴づけられる。
• この枠組みにより、グラフ構造とラベルのみに依存して部分系や力学系間のインターウェーブ（例：射影）を同定できる。
• このアプローチにより、群oids形式が多様体へ一般化され、今後の研究において離散時系列、数値的、確率的系への拡張の基盤が提供される。