[論文レビュー] Could René Descartes have known this?

Jens Forsgård, Vladimir Petrov Kostov+1 more|arXiv (Cornell University)|Jan 5, 2015

Mathematics and Applications参考文献 5被引用数 4

ひとこと要約

本稿は、Descartesの符号の定理を越えて、与えられた係数の符号パターンを持つ実1変数多項式が実現可能な正負の根の組み合わせを調査する。位相的・代数的技法を用いて、次数8までで実現不可能な符号パターン–根数の組を同定し、一般の予想を提示する。実現可能性は多項式空間のより深い構造的性質およびその判別式によって制約されることを示している。

ABSTRACT

Below we discuss the partition of the space of real univariate polynomials according to the number of positive and negative roots and signs of the coefficients. We present several series of non-realizable combinations of signs together with the numbers of positive and negative roots. We provide a detailed information about possible non-realizable combinations as above up to degree 8 as well as a general conjecture about such combinations.

研究の動機と目的

• 固定された係数の符号パターンを持つ多項式が実現可能な正根数(pos)と負根数(neg)の組み合わせ (pos, neg) を特定すること。
• 次数8までで、非実現可能な符号パターンと根数の組み合わせを同定・分類すること。
• 任意の次数の多項式について、非実現可能な符号パターン–根数の組の構造に関する一般の予想を提示すること。
• 与えられた符号パターンと根数を持つ多項式の空間の位相的性質を調査し、特に実現集合の路連結性を検討すること。

提案手法

• 単monic多項式の係数の符号列として符号パターンσ̄を定義する（先行係数を除く）。
• Descartesの符号の定理を用いて、正根数と負根数の上限を定めるDescartesの組(pσ̄, nσ̄)を計算する。
• Descartesの定理による偶奇制約および上限を満たす「許容可能なペア」(pos, neg) の概念を導入する。
• 次数dの単monic多項式で、k個の単純な実根をもち符号パターンσ̄をもつ多項式の空間Pold,kσ̄を定義し、その位相的構造を分析する。
• 奇数次項の符号反転および係数順序の反転によるZ2×Z2作用を導入し、異なる符号パターンを関連付ける。
• 極微分と「ねじれ型の零点を誘導する集合」の対数凸性に基づく経路連結性の議論を用い、実現集合の連結性を分析する。

実験結果

リサーチクエスチョン

• RQ1 与えられた符号パターンσ̄に対して、許容可能なペア (pos, neg) であって、いかなる多項式でも実現不可能なものは存在するか？
• RQ2 非空である場合、与えられた (pos, neg) ペアと符号パターンσ̄を実現する多項式の集合は、路連結か？
• RQ3 多項式のj番目の導関数についての根数の列 (posj, negj) は、どのような列が実現可能か？
• RQ4 与えられた導関数の根数列を実現する多項式の集合は、路連結か？

主な発見

• Descartesの符号の定理の下で許容可能なペアであっても、特に次数8までで非実現可能な符号パターン–根数のペアが存在する。
• 本稿では、符号と根数の非実現可能な組み合わせを明示的に示す多数の系列を同定し、実現可能性においてDescartesの上限が常にタイトではないことを示している。
• 次数dの多項式について、k個の単純な実根と符号パターンσ̄をもつ単monic多項式の集合Pold,kσ̄は、特定の条件下で路連結であることが示された。
• 少なくともm個の実根をもつ多項式の集合は路連結であることが示され、帰納法と極微分を用いたループの収縮により証明された。
• 導関数構造が連続変形を可能にする場合、与えられた符号パターンと根数ペアを実現する多項式の集合は路連結であることが示された。
• 次数10までで、非実現可能な符号パターン–根数ペアをすべて特徴付ける一般の予想が提示された。これは、こうしたケースの広範な分類に基づく。