[論文レビュー] Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry

Stefan C. Müller, Elisenda Feliu+4 more|arXiv (Cornell University)|Nov 21, 2013

Advanced Differential Equations and Dynamical Systems参考文献 55被引用数 7

ひとこと要約

本稿は、実数の指数をもつ一般化された多項式写像の単射性に関する必要十分な符号ベクトル条件を確立し、化学反応ネットワークにおける複数の正の定常状態の排除または保証を可能にするとともに、デカルトの符号の法則を多変数系へと拡張する。主な貢献は、古典的な単射性条件を一般化し、向き付けられたマトロイド理論と実代数幾何学とを結びつける符号に基づく基準である。

ABSTRACT

We give necessary and sufficient conditions in terms of sign vectors for the injectivity of families of polynomial maps with arbitrary real exponents defined on the positive orthant. Our work relates and extends existing injectivity conditions expressed in terms of Jacobian matrices and determinants. In the context of chemical reaction networks with power-law kinetics, our results can be used to preclude as well as to guarantee multiple positive steady states. In the context of real algebraic geometry,our work recognizes a prior result of Craciun, Garcia-Puente, and Sottile, together with work of two of the authors, as the first partial multivariate generalization of the classical Descartes' rule, which bounds the number of positive real roots of a univariate real polynomial in terms of the number of sign variations of its coefficients.

研究の動機と目的

• 正のオルソントに任意の実数の指数をもつ一般化された多項式写像の単射性に関する符号ベクトル基準の開発。
• これらの基準を用いて、べき関数速度則をもつ化学反応ネットワークにおける複数の正の定常状態の排除または保証。
• 符号ベクトルおよび向き付けられたマトロイドを用いて、古典的なデカルトの符号の法則を多変数設定に拡張すること。
• 符号ベクトル、チロトープ、および線形計画法技術を用いた単射性をチェックするためのアルゴリズム的ツールの提供。
• パrametrized多項式写像の文脈において、ヤコビ行列および行列式に基づく既存の単射性条件を統一的かつ一般化すること。

提案手法

• 一般化された多項式写像 $ f_{\rho}(x) = A_{\rho} x^B $ を定義し、ここで $ A \in \mathbb{R}^{m \times r} $, $ B \in \mathbb{R}^{r \times n} $, および $ \rho \in \mathbb{R}_+^r $ であり、指数は実数である。
• 部分空間 $ S \subseteq \mathbb{R}^n $ に関する単射性を定義し、同じ値に写像される2つの異なる点が同一のコセット $ x' + S $ に属しないことを保証する。
• 部分空間の符号ベクトル $ \sigma(S) $ を用いて単射性を特徴づけ、特に、制限のない単射性に対して $ \sigma(\ker A) \cap \sigma(\operatorname{im} B) = \{0\} $ が成立することを用いる。
• 向き付けられたマトロイド理論を用いて符号ベクトルを計算・分析し、特にコベクトルおよびコサイクルを扱う。チロトープおよび Topcom などのソフトウェアを用いる。
• 単射性のテストを、厳密な線形不等式系の可解性への還元する。有理数の証明を提供するため、正確な線形計画法およびファルカスの補題を用いる。
• QSopt_ex, RAGLib, および混合整数計画法などの既存の計算ツールを活用し、符号ベクトルの列挙および共通の非自明な符号ベクトルの有無のテストを実施する。

実験結果

リサーチクエスチョン

• RQ1 正のオルソント上での実数の指数をもつ一般化された多項式写像の単射性を保証する符号ベクトル条件は何か？
• RQ2 符号ベクトル条件を用いて、べき関数速度則をもつ化学反応ネットワークにおける複数の正の定常状態を排除または保証できるか？
• RQ3 本研究は、どのようにしてデカルトの符号の法則を多変数の場合に一般化するか？
• RQ4 $ \ker A $ と $ \operatorname{im} B $ の符号ベクトルの関係は、写像 $ f_{\rho} $ の単射性を決定づけるか？
• RQ5 符号ベクトルおよび向き付けられたマトロイド理論を用いて、一般化された多項式写像の単射性をアルゴリズム的に決定できるか？

主な発見

• 本稿は、部分空間 $ S $ に関する $ f_{\rho} $ の単射性が、$ \sigma(\ker A) \cap \sigma(\operatorname{im} B) $ に共通の非自明な符号ベクトルが存在しないことと同値であることを確立した。
• 制限のない単射性に関しては、$ A $ と $ B $ がそれぞれフル・ロー・ランクおよびフル・カラム・ランクをもつ場合、条件 $ \sigma(\ker A) \cap \sigma(\operatorname{im} B) = \{0\} $ が必要かつ十分である。
• 符号ベクトル条件を用いることで、古典的な単変数のデカルトの符号の法則の部分的な多変数への拡張として、本研究はその一般化を達成した。
• 単射性問題は、厳密な線形不等式系の不可解性のチェックに還元され、正確な線形計画法および「代替の定理」を用いて取り扱える。
• 符号ベクトルの数は次元に従って指数関数的に増加するが、コサイクルの計算およびそれらからすべてのコベクトルを生成するための効率的アルゴリズムが存在する。
• Topcom, RAGLib, QSopt_ex などのソフトウェアツールにより、符号ベクトルアプローチの実用的実装が可能となり、特に反応ネットワークにおける正の解の存在および一意性のテストに有効である。