[論文レビュー] 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を中間的性質として導入し、接空間および多様体構造の代数的・幾何的道具を用いて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$ に含まれるかどうかを決定する基準が導出される。

実験結果

リサーチクエスチョン

• RQ1 多項方程式系の正の実数解において、座標 $x_i$ におけるゼロ感度が、グローバル絶対濃度安定性（ACR）を示すための条件は何か？
• RQ2 ゼロ感度とACRが一致しない場合に、その不一致を説明する中間的性質は何か？
• RQ3 正の多様体部分が超平面 $x_i = c$ に含まれるかどうかをアルゴリズム的に判定するにはどうすればよいか？
• RQ4 多項方程式系における局所的ACRを特徴付ける幾何学的・代数的不変量は何か？
• RQ5 生化学的反応ネットワークの文脈において、局所的およびグローバル安定性の性質はどのように関係しているか？

主な発見

• 弱い仮定の下で、座標 $x_i$ におけるゼロ感度は、絶対濃度安定性（ACR）を示す。
• ゼロ感度とACRの不一致は、中間的性質である局所的ACRによって説明できる。
• 接空間構造の分析に基づいて、ACRを判定する実用的基準が確立された。
• 多様体の正の実数解が超平面 $x_i = c$ に含まれるための必要十分条件は、接空間に関する特定の幾何的条件を満たすことである。
• この枠組みにより、システム生物学で用いられる局所的およびグローバル安定性概念の間の形式的橋渡しがなされた。
• これらの結果は、生化学的反応ネットワークに由来する多項方程式系に適用可能であり、ACRとゼロ感度のモデリングへの応用を明確にした。