[论文解读] Conditions for Solvability in Chemical Reaction Networks at Quasi-Steady-State

Mark A. Sweeney|arXiv (Cornell University)|Dec 15, 2017

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

一句话总结

本文通過證明在廣泛存在的常見機制中，根式求解的可解性是保證的，確立了化學反應網絡中準穩態近似（QSSA）數學可解的條件。它通過識別確保有限且可解的穩態之結構條件，解決了這樣一個悖論：儘管某些系統被證明無法通過根式求解，但QSSA在實際中仍能奏效。

ABSTRACT

The quasi-steady-state assumption (QSSA) is an approximation that is widely used in chemistry and chemical engineering to simplify reaction mechanisms. The key step in the method requires a solution by radicals of a system of multivariate polynomials. However, Pantea, Gupta, Rawlings, and Craciun showed that there exist mechanisms for which the associated polynomials are not solvable by radicals, and hence reduction by QSSA is not possible. In practice, however, reduction by QSSA always succeeds. To provide some explanation for this phenomenon, we prove that solvability is guaranteed for a class of common chemical reaction networks. In the course of establishing this result, we examine the question of when it is possible to ensure that there are finitely many (quasi) steady states. We also apply our results to several examples, in particular demonstrating the minimality of the nonsolvable example presented by Pantea, Gupta, Rawlings, and Craciun.

研究动机与目标

• 解釋為何準穩態近似（QSSA）在實際中成功，即使已知存在數學上無法通過根式求解的情況。
• 識別化學反應網絡中確保相關多項式系統可通過根式求解的結構條件。
• 確定此類網絡中存在有限多個（準）穩態的條件。
• 展示Pantea等人先前識別的非可解範例在最小性上的證實。

提出的方法

• 應用代數幾何分析由反應網絡導出的多變數多項式系統的可解性。
• 識別網絡結構——特別是具有中間物種和特定複合物分解方式的結構——以確保根式求解。
• 使用格羅布納基（Gröbner basis）技術與根式可解性準則，檢驗多項式系統的結構。
• 對反應網絡進行拓撲與組合分析，以確定有限穩態的條件。
• 構造最小反例，以說明可解與不可解情況之間的邊界。
• 將結果應用於典型範例，包括酶動力學，以驗證理論發現。

实验结果

研究问题

• RQ1 在化學反應網絡的何種結構條件下，準穩態近似可通過根式求解？
• RQ2 為何QSSA即使在理論可解性未被保證的情況下，仍能在實際中成功？
• RQ3 什麼決定了反應網絡具有有限多個（準）穩態？
• RQ4 Pantea等人提出的非可解範例在網路複雜度上是否是最小的？
• RQ5 代數幾何能否系統性地識別QSSA可約機制的可解子類？

主要发现

• 對於廣泛存在的常見化學反應網絡，特別是具有特定中間物種與反應結構的網絡，根式求解的可解性是保證的。
• 在輕微的結構假設下，（準）穩態的數量是有限的，這支持了QSSA的適用性。
• Pantea等人提出的最小非可解範例被確認為在所需物種與反應數量上是最小的。
• 代數技術如格羅布納基與根式可解性準則可用於判斷給定網絡是否允許QSSA約化。
• 研究結果通過識別一個廣泛存在的、可解性得到保證的網絡類別，解釋了QSSA在經驗上的成功，即使存在理論限制。