[论文解读] 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

一句话总结

本文提出了一种范畴论框架，用于对网络上的模块化连续时间动力系统进行建模，利用带标签有向图的组合结构来编码对称性和不变性。该研究证明，此类系统的范畴是图范畴上的纤维丛，提供了一种无坐标、对流形上向量场的群胚形式的推广，通过普遍性质系统地分析不变子流形和子系统。

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的群胚形式化方法从欧几里得空间上的常微分方程扩展至流形上的向量场。
• 通过带标签有向图范畴上的纤维丛，组合地建模模块化动力系统。
• 通过普遍范畴构造，阐明网络结构与不变子系统之间的关系。
• 为后续研究提供基础，以系统地分析网络上的离散时间、数值和随机动力系统。

提出的方法

• 将动力系统表示为从网络结构的群胚或范畴到流形上向量场的函子。
• 利用范畴论定义动力系统的不变量，特别是通过锥和终对象来实现。
• 构建组合模型，其中模块化系统的范畴是带标签有向图范畴上的纤维丛。
• 应用群胚不变向量场的概念，以捕捉模块化网络中重复的相互作用模式。
• 利用极限的普遍性质，识别不变子流形和子系统，而无需依赖全局对称性。
• 利用群胚与不相交群的并的等价性，将不变量的分析简化为群不变子空间的乘积。

实验结果

研究问题

• RQ1 如何将网络动力学的群胚形式化方法从欧几里得空间上的常微分方程推广至流形上的向量场？
• RQ2 在无全局对称性的情况下，模块化动力系统中不变子流形的出现背后的范畴结构是什么？
• RQ3 网络有向图的组合结构如何完全决定不变子系统的存在性与性质？
• RQ4 范畴论如何提供一种无坐标且系统化的模块化网络动力学框架？
• RQ5 极限和锥等普遍构造如何形式化网络拓扑与动力不变性之间的关系？

主要发现

• 模块化连续时间动力系统的范畴是带标签有向图范畴上的纤维丛，建立了网络结构与动力学之间的精确联系。
• 不变子流形（如对角线和对称子空间）并非源于全局对称性，而是源于底层图的组合结构。
• 群胚表示在向量空间上的不变量空间，与各组成部分群表示的不变量空间的乘积同构，推广了经典群不变性。
• 从群胚到向量空间范畴的函子的极限捕捉了不变子空间，且该极限通过锥和终对象实现普遍表征。
• 该框架可仅基于图结构和标签，识别子系统及动力系统之间的交织映射（例如投影）。
• 该方法将群胚形式化推广至流形，并为未来工作扩展至离散时间、数值和随机系统提供了基础。