[论文解读] A unified view on bipartite species-reaction and interaction graphs for chemical reaction networks

Hans‐Michael Kaltenbach|arXiv (Cornell University)|Oct 1, 2012

Gene Regulatory Network Analysis参考文献 18被引用 3

一句话总结

本文提出了一种新颖的有向物种-反应图（DSR图），统一并改进了现有化学反应网络的双分图物种-反应图与相互作用图。通过在图结构中直接编码化学计量关系与动力学关系，DSR图使得雅可比行列式展开式及主子式具有直接的组合解释，从而简化了证明，并解决了先前工作中关于临界片段与主子式非零条件之间等价性的一个开放问题。

ABSTRACT

The Jacobian matrix of a dynamic system and its principal minors play a prominent role in the study of qualitative dynamics and bifurcation analysis. When interpreting the Jacobian as an adjacency matrix of an interaction graph, its principal minors correspond to sets of disjoint cycles in this graph and conditions for various dynamic behaviors can be inferred from its cycle structure. For chemical reaction systems, more fine-grained analyses are possible by studying a bipartite species-reaction graph. Several results on injectivity, multistationarity, and bifurcations of a chemical reaction system have been derived by using various definitions of such bipartite graph. Here, we present a new definition of the species-reaction graph that more directly connects the cycle structure with determinant expansion terms, principal minors, and the coefficients of the characteristic polynomial and encompasses previous graph constructions as special cases. This graph has a direct relation to the interaction graph, and properties of cycles and sub-graphs can be translated in both directions. A simple equivalence relation enables to decompose determinant expansions more directly and allows simpler and more direct proofs of previous results.

研究动机与目标

• 统一化学反应网络分析中使用的不同图论方法——双分图物种-反应图与相互作用图。
• 通过引入一种新形式的、形式化基础坚实的有向物种-反应图（DSR图），解决先前物种-反应图定义中的模糊性与不一致性。
• 在DSR图中的环路与雅可比矩阵行列式展开式中的各项之间建立直接的双射对应关系。
• 通过物种线图上的新等价关系，简化并统一反应网络中关于单射性、多稳态性与分岔的关键结果的证明。
• 回答[17]中关于质量作用动力学中临界片段与主子式非零条件之间等价性的开放问题。

提出的方法

• 提出一种新的有向物种-反应图（DSR图），其中从物种到反应的边表示底物消耗，从反应到物种的边表示产物生成，直接在边的方向中编码化学计量符号。
• 将DSR图中的环定义为在物种与反应之间交替的闭合路径，边的方向反映化学计量变化。
• 在物种线图（对应于行列式项的子图）上引入一种等价关系，将具有相同反应顶点集与相同化学计量系数的项归为一类。
• 利用等价类将雅可比行列式的展开式分解，实现对各项的独立分析，且不依赖于浓度值。
• 通过速率常数导数与化学计量系数的带符号乘积，建立DSR图中环路与雅可比矩阵特征多项式各项之间的一一对应关系。
• 应用已知的矩阵理论恒等式（如莱布尼茨公式），将DSR图结构与特征多项式系数及主子式联系起来。

实验结果

研究问题

• RQ1 如何将现有的双分图物种-反应图与相互作用图框架统一为化学反应网络的单一、连贯的形式化体系？
• RQ2 DSR图中的环路与雅可比矩阵行列式展开式中的各项之间存在何种精确的结构关系？
• RQ3 能否通过物种线图上的新等价关系简化行列式展开式与主子式的分析？
• RQ4 在[17]中推导出的主子式非零条件是否与[5]中关于质量作用网络临界片段的条件等价？
• RQ5 DSR图如何用于推导出关于单射性与多稳态性条件的更直接、更清晰的证明？

主要发现

• 所提出的DSR图统一了先前的物种-反应图定义，并在边的方向中直接编码了化学计量符号与反应方向性。
• DSR图在环路与雅可比行列式展开式各项之间建立了唯一对应关系，每个环路贡献一个速率常数导数与化学计量系数的带符号乘积。
• 引入的物种线图等价关系使得具有相同反应顶点集的行列式项得以归类，从而可将行列式分解为独立的相容性类。
• 在质量作用动力学下，来自等价类的项之比仅取决于化学计量系数，而与浓度无关，从而实现贡献的浓度无关比较。
• 该方法通过证明[17]中推导出的主子式非零的充分条件（推论6.14）与[5]中临界片段的缺失等价，解决了[17]中的一个开放问题。
• DSR图通过将复杂的代数运算简化为组合图分析，使得单射性、多稳态性与分岔的关键结果的证明更加简洁直接。