[論文レビュー] Hyperbolic polynomials and rigid moduli orders

Vladimir Petrov Kostov|arXiv (Cornell University)|Aug 26, 2020

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

ひとこと要約

この論文は、すべての実根を持つ実一変数多項式（双曲的多項式）について、根の絶対値の相対的順序（正および負の根）が係数の符号パターンを一意に決定する条件を同定することで、剛体なモジュライ順序を特徴づけている。4つの特定の入れ違い順序（r_{PN}, r_{NP}, r_{PP}, r_{NN}）のみが剛体なモジュライ順序をもたらすことが証明されており、それぞれが2つの普遍的な符号パターンのいずれかに対応する：度数を4で割った余りに応じて (+,+,-,-,+,+,...) または (+,-,-,+,+,-,...)。

ABSTRACT

A hyperbolic polynomial (HP) is a real univariate polynomial with all roots real. By Descartes' rule of signs a HP with all coefficients nonvanishing has exactly $c$ positive and exactly $p$ negative roots counted with multiplicity, where $c$ and $p$ are the numbers of sign changes and sign preservations in the sequence of its coefficients. We consider HPs with distinct moduli of the roots. We ask the question when the order of the moduli of the negative roots w.r.t. the positive roots on the real positive half-line completely determines the signs of the coefficients of the polynomial. When there is at least one positive and at least one negative root this is possible exactly when the moduli of the negative roots interlace with the positive roots (hence half or about half of the roots are positive). In this case the signs of the coefficients of the HP are either $(+,+,-,-,+,+,-,-,\ldots )$ or $(+,-,-,+,+,-,-,+,\ldots )$.

研究の動機と目的

• 双曲的多項式のモジュライ順序のうち、係数の符号パターンを一意に決定するものを探す。
• すべての係数が非ゼロであるという条件下で、剛体なモジュライ順序（唯一の符号パターンを実現するもの）を特徴づける。
• 異なる根絶対値を持つ双曲的多項式について、そのような剛体順序とそれに対応する符号パターンの完全な分類を確立する。
• 特に、根が対称ペア ±a を形成する場合を含め、いくつかの根絶対値が等しい場合の分析を拡張する。
• r_{PN}, r_{NP}, r_{PP}, r_{NN} の4つの特定の入れ違いパターンのみが剛体であり、それ以外はすべて非剛体であることを証明する。

提案手法

• モジュライ順序（MO）を、正の実数直線上で絶対値の増加順に並べたP（正の根）およびN（負の根）の記号列として定義する。
• 符号パターン（SP）を、先頭係数が+1であることを前提に、多項式の係数の符号の列として定義する。
• デカルトの符号法則を用いて、SPにおける符号変化数（c）および符号維持数（p）を正の根および負の根の数に関連付ける。
• 次数dに関する帰納的推論を用い、摂動技術を応用：根を変形することで1パラメータ族の多項式（Z_t）を構成し、係数符号の連続性を分析する。
• 係数の符号が変化しないように、(x±ε) または (1±εx) を乗じることで、新しい根の絶対値を既存のものより小さくまたは大きくすることができ、MO構造を保存する。
• 根が対称な場合、(x²−a²)Q(x) の係数符号を分析し、Qが二次因子の積である場合にのみ、係数がゼロになることを示す。

実験結果

リサーチクエスチョン

• RQ1 異なる根絶対値を持つ双曲的多項式のモジュライ順序のうち、係数の符号パターンを一意に決定するものはどれか？
• RQ2 与えられたモジュライ順序が剛体でない（複数の符号パターンを実現する）のはどのような条件下か？
• RQ3 モジュライ順序が剛体であるための必要十分条件は何か、特に正の根と負の根の数がバランスしている場合に注目する。
• RQ4 対称根ペア（±a）が導入された場合、特に偶数次多項式において、係数符号パターンはどのように振る舞うか？
• RQ5 双曲的多項式の符号パターンは、正の根と負の根の絶対値の入れ違い構造によって完全に決定可能か？

主な発見

• r_{PN}, r_{NP}, r_{PP}, r_{NN} の4つの特定のモジュライ順序のみが剛体であり、これは係数の符号パターンを一意に決定する。
• これらの4つの剛体順序に対しては、符号パターンは常に2つの普遍的パターンのいずれかに限定される：度数dを4で割った余りに応じて Σ₊ = (+,+,-,-,+,+,-,-,...) または Σ₋ = (+,-,-,+,+,-,-,+,...)。
• モジュライ順序と符号パターンの対応関係は、度数dを4で割った余りによって完全に決定され、提示された表に示されている。
• 剛体でないモジュライ順序（{r_{PN}, r_{NP}, r_{PP}, r_{NN}} に含まれないもの）では、複数の符号パターンが実現可能であるため、符号パターンは一意に決定されない。
• 双曲的多項式が根のペア ±a（対称根）を持つ場合、係数符号は残りの多項式Qが係数ゼロを持つかどうかに依存する；dが奇数の場合は係数がゼロにならない。dが偶数の場合は、Qが二次因子の積である場合にのみ係数がゼロになる。
• すべての対称根を含む場合、得られる符号パターンは、普遍的パターン Σ₊ または Σ₋、またはdが偶数でQが (x²−a_j²) 因子の積である場合の交互パターン (+,0,-,0,+,0,...) のいずれかである。