[论文解读] Graph-theoretic approaches to injectivity and multiple equilibria in systems of interacting elements

Murad Banaji, Gheorghe Crăciun|ArXiv.org|Mar 6, 2009

Gene Regulatory Network Analysis参考文献 25被引用 5

一句话总结

本文提出了有向符号反应（DSR）图这一新型图论框架，用于分析一般相互作用网络中的单射性与多重平衡态。通过在DSR图上应用一个简单条件——条件(*)—，作者建立了一个充分准则，可排除一大类动力系统中的多重平衡态，将先前针对化学反应网络的研究成果扩展至任意具有最小动力学或结构假设的相互作用系统。

ABSTRACT

We extend previous work on injectivity in chemical reaction networks to general interaction networks. Matrix- and graph-theoretic conditions for injectivity of these systems are presented. A particular signed, directed, labelled, bipartite multigraph, termed the ``DSR graph'', is shown to be a useful representation of an interaction network when discussing questions of injectivity. A graph-theoretic condition, developed previously in the context of chemical reaction networks, is shown to be sufficient to guarantee injectivity for a large class of systems. The graph-theoretic condition is simple to state and often easy to check. Examples are presented to illustrate the wide applicability of the theory developed.

研究动机与目标

• 将单射性分析从化学反应网络扩展至涉及物种与相互作用的一般相互作用网络。
• 开发一种统一的图论框架，能够处理包括非质量作用动力学在内的多种动力系统。
• 识别一种在有符号、有向、带标签的二分多图（即DSR图）上简单且可检验的条件，该条件可保证单射性，从而排除多重平衡态。
• 通过提供具有说明性的例子，展示该框架在系统生物学、化学和工程学中的广泛应用性。
• 通过证明条件(*)普遍适用于相互作用网络（而不仅限于CRNs），统一并推广先前关于SR图与相互作用图的研究工作。

提出的方法

• 构建一个有向、有符号、带标签的二分多图（即DSR图），其中一组顶点代表物种，另一组代表相互作用。
• 通过定义边的方向与符号，编码物种对相互作用速率的影响（S→R）以及相互作用速率对物种动态的影响（R→S），并包括无向边以表示相互影响。
• 在DSR图中引入o-环（奇环）、e-环（偶环）和es-环（边符号环）的概念，以分析行列式中符号子项的结构特性。
• 应用一种图论条件——条件(*)—，其内容为：若两个有符号子项子图的并集中所有环均为o-环，则其有符号子项的乘积非负。
• 通过DSR图中环结构对与网络相关的雅可比矩阵的行列式展开进行符号条件推导。
• 利用如下事实：若两个有符号子项在行列式展开中仅在它们的并集中包含o-环，则它们无法相互抵消，从而保证向量场的单射性。

实验结果

研究问题

• RQ1 能否将化学反应网络中保证单射性的图论条件推广至超越质量作用动力学的任意相互作用网络？
• RQ2 网络相互作用图的何种结构特性可保证其关联向量场为单射，从而排除多重平衡态？
• RQ3 如何构建与解释DSR图，使其在保持直观生物学与化学意义的同时，支持严格的数学分析？
• RQ4 在雅可比矩阵行列式展开中，有符号子项在何种条件下不会发生抵消，从而确保单射性？
• RQ5 该框架能否处理具有不可逆相互作用、调节物或非均匀动力学形式的系统，同时仍能保证排除多重平衡态？

主要发现

• 条件(*)—即两个有符号子项子图的并集中所有环均为o-环—足以保证其有符号子项乘积非负，从而确保单射性。
• DSR图为相互作用网络提供了统一的表示形式，通过带标签的有向边与无向边，编码物种、相互作用及方向性影响（S→R、R→S或两者兼有）。
• 该框架适用于R^n中矩形区域上的任意动力系统，包括非质量作用动力学系统，因此其适用范围远超化学反应网络。
• 当两个有符号子图的并集中存在es-环（边符号环）时，对应的行列式项可能发生抵消，但仅在特定环结构条件下才会发生。
• 当两个有符号子图的并集中所有环均为o-环时，其子项无法抵消，乘积保持非负，这是证明单射性的关键步骤。
• 该理论通过确保在DSR图条件下雅可比行列式不会为零，成功排除了广泛类系统中的多重平衡态，即使在不了解确切动力学形式的情况下亦成立。