[論文レビュー] Descartes' Rule of Signs for Polynomial Systems supported on Circuits

Frédéric Bihan, Alicia Dickenstein|arXiv (Cornell University)|Jan 21, 2016

Polynomial and algebraic computation参考文献 9被引用数 3

ひとこと要約

本稿は、$ n+2 $ 個の単項式を含む $ n $ 変数の多項式系—特に、回路に支持される系—に対して、デカルトの符号の法則の多変数一般化を確立する。この一般化では、系の指数構成と係数から導かれる係数列の符号変化に基づいて、正の実数解の数に対する鋭い上界が得られ、ゲール双対性およびオrientedマトロイド理論を用いて古典的な単変数の法則を一般化する。

ABSTRACT

We give a multivariate version of Descartes' rule of signs to bound the number of positive real roots of a system of polynomial equations in n variables with n+2 monomials, in terms of the sign variation of a sequence associated both to the exponent vectors and the given coefficients. We show that our bound is sharp and is related to the signature of the circuit.

研究の動機と目的

• 回路と呼ばれる設定、すなわち $ n $ 変数に $ n+2 $ 個の単項式を持つ多変数多項式系に対して、デカルトの符号の法則を拡張すること。
• 系の指数ベクトルと係数から導かれる係数列の符号変化に基づいて、正の実数解の数に対する鋭い上界を確立すること。
• ゲール双対性およびオrientedマトロイド理論を統合することで、スパarsな多項式系の構造を分析し、古典的な単変数デカルトの法則を一般化すること。
• この上界が鋭く、かつ古典的な法則の偶奇条件と同様に2を法として合同であることを証明すること。
• 正の解の数が有限である条件を特定し、その有限性の必要十分条件を提供すること。

提案手法

• 係数行列 $ C \times (n \times (n+2)) $ と指数行列 $ A \times ((n+1) \times (n+2)) $ を用いて系を定義し、$ A $ が単項式の指数を符号化する。
• ゲール双対性を用いて多変数問題を、系から導かれる有理関数の実数解の数を分析する一次元問題に還元する。
• 係数行列 $ C $ の最大小行列式の符号に基づく係数ベクトルの順序付けを導入し、これにより正の解の数を上界づける符号変化を持つ係数列が得られる。
• 解析関数の空間に対する一般化されたデカルトの法則を適用し、一次元有理関数の実数解の数を上界づける。
• 指数ベクトルのアフィン従属性を特徴づける回路の概念を用い、標準的なアフィン関係 $ \boldsymbol{\nu} $ を定義し、関連する係数列 $ s_\alpha $ の符号変化 $ \mathrm{sgnvar}(s_\alpha) $ を計算する。
• 正の実数解の数 $ n_{\mathcal{A}}(C) $ が $ \mathrm{sgnvar}(s_\alpha) $ によって上から抑えられ、かつ $ \mathbf{0} \in \mathcal{C}^\circ $ の条件下でこの上界が鋭いことを証明する。

実験結果

リサーチクエスチョン

• RQ1 回路に支持される、$ n $ 変数に $ n+2 $ 個の単項式を持つ多変数多項式系に対して、デカルトの符号の法則を一般化できるか？
• RQ2 このような系の正の実数解の数に対する鋭い上界は、係数と指数ベクトルを用いてどのように表されるか？
• RQ3 系の構造から導かれる係数列の符号変化は、正の実数解の数とどのように関係するか？
• RQ4 上記の上界は、単変数の場合と同様に、実際の正の解の数と2を法として合同か？
• RQ5 正の実数解の数が有限である条件は何か？また、上界が達成可能となる条件は何か？

主な発見

• 回路に支持される系の正の実数解の数 $ n_{\mathcal{A}}(C) $ は、系の指数構成と係数から導かれる係数列の符号変化 $ \mathrm{sgnvar}(s_\alpha) $ によって上から抑えられる。
• 上界 $ \mathrm{sgnvar}(s_\alpha) $ は鋭い：$ n_{\mathcal{A}}(C) = \mathrm{sgnvar}(s_\alpha) $ を満たす系が存在し、特定の回路では最大値 $ n+1 $ を達成することすら可能である。
• 正の実数解の数は符号変化と2を法として合同であり、古典的な単変数法則を一般化する。
• 上界は係数行列 $ C $ の線形同値類内の代表元の選び方に依存せず、最大小行列式の符号パターンと回路構造にのみ依存する。
• 正の解が少なくとも1つ存在するための必要十分条件は、$ \mathbf{0} \in \mathcal{C}^\circ $ である。ここで $ \mathcal{C}^\circ $ は係数の列が生成する正の錐である。
• 上界は常に正規化された体積 $ \mathrm{vol}_{\mathbb{Z}}(\mathcal{A}) $ に等しいわけではない。たとえば $ n=4 $、$ \boldsymbol{\nu} = (1,-1,3,-3,1,-1) $ の場合、最大上界 $ n+1 $ が達成できないことがあるため、体積の観点からは上界が常に鋭くないことが示される。