[論文レビュー] Positivity Conditions for Cubic, Quartic and Quintic Polynomials

Liqun Qi, Yisheng Song+1 more|arXiv (Cornell University)|Aug 25, 2020

Matrix Theory and Algorithms参考文献 20被引用数 10

ひとこと要約

本稿では、立方・四次・五次多項式が実数上およびすべての正の実数上で非負または正であるための必要十分条件を、Sturm列および判別式解析を用いて提示する。非負領域の幾何的に意味のある特徴付けを導入し、判別式が消える低次元の「付録集合」（appendix set）を同定する。これは4次以上の偶数次多項式に共通する特徴である。

ABSTRACT

We present a necessary and sufficient condition for a cubic polynomial to be positive for all positive reals. We identify the set where the cubic polynomial is nonnegative but not all positive for all positive reals, and explicitly give the points where the cubic polynomial attains zero. We then reformulate a necessary and sufficient condition for a quartic polynomial to be nonnegative for all positive reals. From this, we derive a necessary and sufficient condition for a quartic polynomial to be nonnegative and positive for all reals. Our condition explicitly exhibits the scope and role of some coefficients, and has strong geometrical meaning. In the interior of the nonnegativity region for all reals, there is an appendix curve. The discriminant is zero at the appendix, and positive in the other part of the interior of the nonnegativity region. By using the Sturm sequences, we present a necessary and sufficient condition for a quintic polynomial to be positive and nonnegative for all positive reals. We show that for polynomials of a fixed even degree higher than or equal to four, if they have no real roots, then their discriminants take the same sign, which depends upon that degree only, except on an appendix set of dimension lower by two, where the discriminants attain zero.

研究の動機と目的

• すべての正の実数に対して立方多項式が正であるための必要十分条件を確立し、それがゼロに達する場所を特定すること。
• すべての実数上で非負および正である四次多項式の既存の条件を再定式化・強化し、幾何的明確性と対称的係数関係を強調すること。
• Sturm列を用いて五次多項式への解析を拡張し、この次数に対して初めて完全な特徴付けを提供すること。
• 4次以上の偶数次多項式に一般化し、実数解がない場合に判別式が一様な符号を保つ（次数にのみ依存）ことを証明し、判別式がゼロとなる低次元の付録集合の役割を明らかにすること。

提案手法

• Sturm列定理を適用して、t ≥ 0 における正の実根の数を数え、多項式の正の性質を特定する。
• 判別式解析を用いて非負領域および正領域を同定し、特に判別式がゼロとなる（付録集合）場合を区別する。
• 係数の符号と多項式の因数分解に基づくケース解析を用いて、立方多項式および四次多項式の挙動を分類する。
• 偶数次多項式の非負領域に対して幾何的特徴付けを導入し、判別式がゼロとなる「付録」曲線を特定する。
• 四次多項式がすべての実数上で非負および正であるための対称的係数条件を導出し、解釈可能性を向上させる。
• 多項式とその導関数のGCDを用いて重解を検出する。重解は判別式がゼロとなる点に対応する。

実験結果

リサーチクエスチョン

• RQ1 立方多項式がすべての正の実数に対して正であるための必要十分条件は何か？
• RQ2 すべての実数上で四次多項式の非負性および正性を、明確な幾何的および対称的解釈を用いてどのように特徴付けられるか？
• RQ3 すべての正の実数上で非負および正である五次多項式の集合の構造は何か？ そして、これをアルゴリズム的に特定する方法は？
• RQ4 4次以上の偶数次多項式が実数解を持たない場合、判別式が一様な符号を保つ性質が成り立つか？ また、この文脈における付録集合の役割は何か？

主な発見

• 立方多項式に関しては、t > 0 に対して正である場合の完全な特徴付けが提供され、ゼロに達する点が明確に特定されている。
• 四次多項式に関しては、導出された条件が2つの係数の間の対称的関係を明示的に示しており、幾何的意味が明確で、先行研究とは異なる。
• 四次多項式の非負領域には、判別式がゼロとなる「付録」曲線が含まれ、内部では他はすべて正である。
• 五次多項式に関しては、Sturm列を用いてすべての正の実数上で非負および正であるための初めての必要十分条件が提示されている。
• 4次以上の偶数次多項式（次数m ≥ 4）に関しては、非負領域の内部では判別式が一様な符号（mにのみ依存）を保ち、次元m−3の付録集合ではゼロとなる。
• 付録集合は、多項式が重解を持つ低次元部分集合であることが示され、非負領域内では判別式がゼロとなる唯一の場所である。