[论文解读] Local and global robustness in systems of polynomial equations

Beatriz Pascual‐Escudero, Elisenda Feliu|arXiv (Cornell University)|May 18, 2020

Computational Drug Discovery Methods参考文献 17被引用 5

一句话总结

本文在多项式方程组中建立了局部零敏感性与全局绝对浓度鲁棒性（ACR）之间的正式联系，表明在温和条件下，零敏感性蕴含ACR。本文引入了局部ACR作为中间性质，并利用切空间与代数簇结构的代数与几何工具，提供了一种实用的ACR判定准则。

ABSTRACT

In this work we consider systems of polynomial equations and study under what conditions the semi-algebraic set of positive real solutions is contained in a parallel translate of a coordinate hyperplane. To this end we make use of algebraic and geometric tools to relate the local and global structure of the set of positive points. Specifically, we consider the local property termed zero sensitivity at a coordinate $x_i$, which means that the tangent space is contained in a hyperplane of the form $x_i=c$, and provide a criterion to identify it. We consider the global property, namely that the whole positive part of the variety is contained in a hyperplane of the form $x_i=c$, termed absolute concentration robustness (ACR). We show that zero sensitivity implies ACR, and identify when the two properties do not agree, via an intermediate property we term local ACR. The motivation of this work stems from the study of robustness in biochemical systems modelling the concentration of species in a reaction network, where the terms ACR and zero sensitivity are both used to this end. Here we clarify and formalise the relation between the two approaches, and, as a consequence, we obtain a practical criterion to decide upon (local) ACR under some mild assumptions.

研究动机与目标

• 阐明多项式系统中零敏感性与绝对浓度鲁棒性（ACR）之间的关系。
• 形式化局部零敏感性蕴含全局ACR的条件。
• 引入并分析一种中间性质——局部ACR，以解释局部与全局鲁棒性之间的差异。
• 基于代数与几何分析，为ACR提供一种实用的判定准则。
• 将这些结果应用于生物化学反应网络，其中ACR与零敏感性被用作鲁棒性概念。

提出的方法

• 本文将坐标 $x_i$ 处的零敏感性定义为切空间位于超平面 $x_i = c$ 内的条件。
• 引入局部ACR作为介于零敏感性与全局ACR之间的性质，以捕捉局部层次上的部分鲁棒性。
• 作者利用代数几何分析正实解的代数簇结构及其切空间。
• 他们运用半代数集理论，将局部几何性质与在超平面中的全局包含关系联系起来。
• 该方法依赖于分析切空间相对于坐标超平面的维数与包含关系。
• 推导出一个准则，用以判断整个正部分代数簇是否位于超平面 $x_i = c$ 内，从而确立ACR。

实验结果

研究问题

• RQ1 在何种条件下，多项式系统在正实解中坐标 $x_i$ 处的零敏感性蕴含全局绝对浓度鲁棒性（ACR）？
• RQ2 何种中间性质可解释零敏感性与ACR不一致的情况？
• RQ3 如何算法化地判断一个代数簇的正部分是否包含于超平面 $x_i = c$ 中？
• RQ4 何种几何与代数不变量刻画了多项式系统中的局部ACR？
• RQ5 在生物化学反应网络的背景下，局部与全局鲁棒性特性之间有何关系？

主要发现

• 在温和假设下，坐标 $x_i$ 处的零敏感性蕴含绝对浓度鲁棒性（ACR）。
• 零敏感性与ACR之间差异的存在，可通过中间性质——局部ACR来解释。
• 已建立一种实用准则，通过分析某一点处的切空间结构来判定ACR。
• 当且仅当代数簇在切空间上满足特定几何条件时，系统的正实解位于超平面 $x_i = c$ 内。
• 该框架为系统生物学中使用的局部与全局鲁棒性概念之间建立了正式桥梁。
• 这些结果适用于生物化学反应网络中出现的多项式系统，澄清了ACR与零敏感性在建模中的应用。