[論文レビュー] Something You Always Wanted to Know About Real Polynomials (But Were Afraid to Ask)

Vladimir Petrov Kostov, Boris Shapiro|arXiv (Cornell University)|Mar 13, 2017

Mathematics and Applications参考文献 8被引用数 3

ひとこと要約

本稿は、実一変数多項式における符号パターンと根の配置の実現可能性を調査し、Descartesの符号定理を拡張して、新たな非実現可能な組み合わせを同定する。判別式の包絡線と根の配置に関する幾何学的・代数的技法を用いて、無限個の非実現可能な符号パターン–根数ペアの族を発見し、低次の範囲を超えたDescartesの定理の限界に関する長年の未解決問題を解決する。

ABSTRACT

The famous Descartes' rule of signs from 1637 giving an upper bound on the number of positive roots of a real univariate polynomials in terms of the number of sign changes of its coefficients, has been an indispensable source of inspiration for generations of mathematicians. Trying to extend and sharpen this rule, we consider below the set of all real univariate polynomials of a given degree, a given collection of signs of their coefficients, and a given number of positive and negative roots. In spite of the elementary definition of the main object of our study, it is a non-trivial question for which sign patterns and numbers of positive and negative roots the corresponding set is non-empty. The main result of the present paper is a discovery of a new infinite family of non-realizable combinations of sign patterns and the numbers of positive and negative roots.

研究の動機と目的

• 実一変数多項式によって実現可能な符号パターンと正・負の根の数の組み合わせを特定すること。
• 可能な根数が幾何学的に実現不可能である場合を同定することで、Descartesの符号定理を拡張すること。
• 特に4次以上において、符号パターンの制約下での根配置の実現可能性に関する未解決問題を解消すること。
• 判別式の包絡線と根配置領域を用いて、多項式空間の位相的構造を調査すること。
• 与えられた符号パターンと根数に対して、解集合の路連結性を調査し、実代数幾何におけるより深い構造的問題に取り組むこと。

提案手法

• 非零係数を有する次数dのモニック実多項式の空間を分析し、符号パターンとそれに対応するDescartesのペアに注目する。
• 標準的なZ2×Z2作用（反転と逆数変換）を用いて、対称性の下での異なるケースの数を削減する。
• 係数空間における判別式の包絡線Φの幾何的解析を用いて、根の重複度と配置の遷移を研究する。
• 判別式の包絡線と(b,c)-平面に平行な平面の交点を分析し、4個、2個、0個の実数根を有する領域を分類する。
• 根配置領域の位相的構造が変化する臨界値（例：a = 3/8）を同定し、実数根と複素共役根の間の遷移を示す。
• 代数的制約（例：b < s, bt < cs, b² ≥ 4c, s² < 4t）を用いて、特定の符号パターン下での特定の根数ペアの非実現性を証明する。

実験結果

リサーチクエスチョン

• RQ1 実一変数多項式によって実現可能な符号パターンと指定された正・負の根数の組み合わせはどれか？
• RQ2 Descartesの符号定理を満たすが、与えられた符号パターンを持ついかなる多項式に対しても実現不可能な非実現可能な根配置は存在するか？
• RQ3 係数空間における根配置領域（H4, H2, H0）の位相的構造は、符号パターンや判別式の包絡線とどのように関係するか？
• RQ4 与えられた符号パターンと根数ペアを実現する多項式の集合は、路連結か？
• RQ5 多項式の導関数の各次数における正・負の根数の列挙は、どのようなものとして実現可能か？

主な発見

• これまでに知られていた例外を越えて、無限個の非実現可能な符号パターン–根数の組み合わせの族が発見された。
• 4次において、符号パターン(+,−,−,−,+)はペア(0,2)を実現せず、(+,+,−,+,+)はペア(2,0)を実現しない。両者ともDescartesのペア(2,2)を持つ。
• 5次において、符号パターン(1,−,−,−,−,+)は、標準的なZ2×Z2作用の下で(0,3)を実現しない。
• 6次において、非実現可能な組み合わせには(1,−,−,−,−,−,+)と(0,2)、(0,4)、および(1,+,+,+,-,+,+)と(2,0)が含まれる。
• 7次において、Z2×Z2作用の下で正確に6つの非実現可能な組み合わせが存在し、(1,+,−,−,−,−,−,+)と(0,5)、(1,+,−,+,−,−,−,−)と(3,0)が含まれる。
• 8次において、非実現可能な組み合わせの数は顕著に増加し、合計3648組の組み合わせが検討されたが、提供された本文では特定の非実現可能なケースは完全に列挙されていない。