arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2301.01445q-bio.MNmath.CT
收藏

生化调控网络中模体、机制与动力学的组合性描述

A compositional account of motifs, mechanisms, and dynamics in biochemical regulatory networks

Rebekah Aduddell, James Fairbanks, Amit Kumar, Pablo S. Ocal, Evan Patterson, Brandon T. Shapiro

AI总结:

本文用范畴论形式化生化调控网络,通过带符号图和函子建立反应网络与 Lotka-Volterra 动力系统之间的函子映射,并扩展到开放系统以支持复杂网络的组合构建。

摘要:

调控网络描述生化系统中分子之间的促进或抑制相互作用。我们引入一种用于调控网络的范畴论形式化方法,使用带符号图来建模网络,并使用带符号函子来描述一个网络在另一个网络中的出现,尤其是网络模体的出现。在此基础上,我们建立了调控网络与生物化学中其他数学模型之间的函子映射。我们从反应网络(建模为带符号链接的 Petri 网)构造一个到调控网络的函子,使我们能够精确定义一个反应网络何时可能成为某个调控网络背后的物理机制。转向定量模型,我们将调控网络与 Lotka-Volterra 微分方程系统相关联,定义了一个从带符号图范畴到参数化动力系统范畴的函子。我们将这一结果从封闭系统扩展到开放系统,证明 Lotka-Volterra 动力学不仅尊重调控网络的包含与坍缩,还尊重通过将较简单部件粘合在一起来构建复杂调控网络的过程。形式上,我们使用结构化 cospan 理论产生一个从开放带符号图双重范畴到开放参数化动力系统双重范畴的松弛双重函子。在整篇论文中,我们以系统生物学启发的实例来落实这一范畴形式化方法。

英文摘要:

Regulatory networks depict promoting or inhibiting interactions between molecules in a biochemical system. We introduce a category-theoretic formalism for regulatory networks, using signed graphs to model the networks and signed functors to describe occurrences of one network in another, especially occurrences of network motifs. With this foundation, we establish functorial mappings between regulatory networks and other mathematical models in biochemistry. We construct a functor from reaction networks, modeled as Petri nets with signed links, to regulatory networks, enabling us to precisely define when a reaction network could be a physical mechanism underlying a regulatory network. Turning to quantitative models, we associate a regulatory network with a Lotka-Volterra system of differential equations, defining a functor from the category of signed graphs to a category of parameterized dynamical systems. We extend this result from closed to open systems, demonstrating that Lotka-Volterra dynamics respects not only inclusions and collapsings of regulatory networks, but also the process of building up complex regulatory networks by gluing together simpler pieces. Formally, we use the theory of structured cospans to produce a lax double functor from the double category of open signed graphs to that of open parameterized dynamical systems. Throughout the paper, we ground the categorical formalism in examples inspired by systems biology.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑