[論文レビュー] Disguised toric dynamical systems

Laura Brustenga i Moncusí, Gheorghe Crăciun+1 more|arXiv (Cornell University)|Jun 1, 2020

Protein Structure and Dynamics参考文献 23被引用数 9

ひとこと要約

本稿では、局所安定性や持続性といった主要な動的性質をより広いパラメータ集合へと拡張する、トーリック（複素バランス）系の一般化である『かばいトーリック動的系』を導入する。実代数幾何学を用いて、トーリック部分集合（複素バランスをもたらすパラメータ）は一般にLebesgue測度がゼロである一方で、かばいトーリック部分集合は正の測度をもつことがあることが示され、強力な安定性結果の適用範囲が広がることが明らかになった。また、この部分集合を体系的に計算するためのアルゴリズムが提示されている。

ABSTRACT

We study families of polynomial dynamical systems inspired by biochemical reaction networks. We focus on complex balanced mass-action systems, which have also been called toric. They are known or conjectured to enjoy very strong dynamical properties, such as existence and uniqueness of positive steady states, local and global stability, persistence, and permanence. We consider the class of disguised toric dynamical systems, which contains toric dynamical systems, and to which all dynamical properties mentioned above extend naturally. By means of (real) algebraic geometry we show that some reaction networks have an empty toric locus or a toric locus of Lebesgue measure zero in parameter space, while their disguised toric locus is of positive measure. We also propose some algorithms one can use to detect the disguised toric locus.

研究の動機と目的

• 従来のトーリック系を超えて、強い安定性および持続性の性質を有する動的系のクラスを拡張すること。
• トーリック部分集合（複素バランス系をもたらすパラメータ）が一般にLebesgue測度がゼロであるという制限を克服すること。
• トーリック系の動的性質を継承する、より広いクラスの系、すなわち『かばいトーリック動的系』を定義し、その特徴を明らかにすること。
• 反応ネットワークにおけるかばいトーリック部分集合を検出するためのアルゴリズム的フレームワークを構築すること。
• 具体例を通じて、トーリック部分集合が空集合または測度ゼロであっても、かばいトーリック部分集合が正の測度をもつことがあることを示すこと。

提案手法

• 変数変換の下で複素バランス系と動的に同値である系として、かばいトーリック動的系を定義し、主要な安定性性質を保存すること。
• 特にトーリック部分集合およびその拡張であるかばいトーリック部分集合の代数的構造に注目して、パラメータ空間を実代数幾何学的に分析すること。
• 定量的除去と実根理想のツールを用いて、系がかばいトーリックであるパラメータ集合を特徴付ける。
• 反応ネットワークの構造から導かれる多項式不等式系を解くことで、かばいトーリック部分集合を体系的に計算するためのアルゴリズム8.2を提案すること。
• 例えば直線上のN角形ネットワークなどの特定のネットワーク族を分析し、標準的トーリック部分集合が空または測度ゼロであっても、かばいトーリック部分集合が正の測度をもつ例を示すこと。
• トーリック幾何学および微分包含の結果を活用し、グローバルアトラクターおよび持続性といった動的性質が、かばいトーリッククラスへと拡張されることを確立すること。

実験結果

リサーチクエスチョン

• RQ1 グローバル安定性や持続性といった動的性質は、一般に測度ゼロである標準的トーリック部分集合を越えて拡張可能か？
• RQ2 反応ネットワークがかばいトーリックであるパラメータ集合の代数的・幾何的構造は何か？
• RQ3 トーリック部分集合が空または測度ゼロであっても、反応ネットワークが非空のかばいトーリック部分集合をもつ条件は何か？
• RQ4 与えられた反応ネットワークについて、かばいトーリック部分集合をどのようにアルゴリズム的に特定できるか？
• RQ5 トーリック系の動的性質が、より広いクラスのかばいトーリック系へとどの程度保存されるか？

主な発見

• かばいトーリック部分集合は、パラメータ空間において正のLebesgue測度をもつことがある。これは、標準的トーリック部分集合が空または測度ゼロであっても同様である。
• 直線上のN角形ネットワークでは、N ≥ 4のとき、かばいトーリック部分集合が正の測度をもつことが示された。これは、N = 4のとき標準的トーリック部分集合が空であるのと対照的である。
• 四角形が直線上に配置された具体例（例：四辺形）を構築し、トーリック部分集合が空である一方で、かばいトーリック部分集合が正の測度をもつことを示した。
• 定量的除去や実根の計算を用いる実代数幾何学的手法を活用した、かばいトーリック部分集合を計算するためのアルゴリズム（アルゴリズム8.2）が提供された。
• トーリック系に特徴づけられる動的性質—正の定常状態の存在と一意性、局所的およびグローバル安定性、持続性、永続性—は、かばいトーリック系のクラスにおいても保存される。
• 本研究の結果は、強い動的挙動を示す系のクラスが、従来の予想をはるかに超えて広がっていることを示しており、グローバルアトラクター予想の含意範囲が著しく拡張されることを示している。