[論文レビュー] Hyperbolic polynomials and canonical sign patterns

Vladimir Petrov Kostov|arXiv (Cornell University)|Jun 25, 2020

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

ひとこと要約

本稿は、異なる正の根の絶対値を持つ双曲多項式（HPs）における根の絶対値の標準的順序について、係数の符号パターンが根の絶対値の順序を一意に決定する条件を調査する。符号パターンを保存しつつ根の絶対値の順序を制御する再帰的連結法を用いて、HPによって唯一標準的根の絶対値順序に実現可能な「標準的符号パターン」を同定する。主な結果は、符号パターンの構造的制約と、符号変化の保存パターンとの対応関係を通じて、このようなパターンを同定することである。

ABSTRACT

A real univariate polynomial is hyperbolic if all its roots are real. By Descartes' rule of signs a hyperbolic polynomial (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 discuss the question: If the moduli of all $c+p$ roots are distinct and ordered on the positive half-axis, then at which positions can the $p$ moduli of negative roots be depending on the positions of the positive and negative signs of the coefficients of the polynomial? We are especially interested in the choices of these signs for which exactly one order of the moduli of the roots is possible.

研究の動機と目的

• 双曲多項式の係数の符号パターンが、正の実軸上における根の絶対値の順序を一意に決定する条件を同定すること。
• 「標準的符号パターン」とは、双曲多項式によって唯一標準的根の絶対値順序に実現可能な符号パターンであると定義し、その特徴を同定すること。
• 所望の符号パターンと標準的根の絶対値順序を持つ双曲多項式を構成的に生成する手法を確立すること。
• 係数の符号列、デカルトの符号法則、および特定の根の順序の実現可能性との関係を明確にすること。

提案手法

• 根の絶対値が既存のものより著しく小さいか、著しく大きなものを再帰的に連結することで、双曲多項式を構成する。この際、係数の符号を保存する。
• 符号パターン（SP）と符号変化保存パターン（CPP）との間の全単射対応を用いる。ここで「c」は符号の変化、「p」は符号の保存を表す。
• 根の絶対値の標準的順序は、CPPを逆順にし、「c」を「P」（正の根）に、「p」を「N」（負の根）に置換することで定義する。
• 摂動法を用いて、根の絶対値がすべて異なるようにしつつ、係数の符号を維持し、制約内での任意の根の順序を達成する。
• 既知の多項式（例：係数が消える $P_{\ell}$）の変形を応用し、特定の符号パターンを実現する例を構成する。
• 小さな $\varepsilon$ を用いた $x + \varepsilon$ による連結で小絶対値の負の根を追加し、$1 + \varepsilon x$ で大絶対値の負の根を追加することで、符号パターンを保存する。

実験結果

リサーチクエスチョン

• RQ1 双曲多項式の係数の符号パターンの中で、正の実軸上における根の絶対値の順序を正確に一つに決定するものは何か？
• RQ2 符号パターンのどの構造的性質が、唯一標準的根の絶対値順序が実現可能であることを保証するか？
• RQ3 与えられた符号パターンと標準的根の絶対値順序を持つ双曲多項式を体系的に構成する方法は何か？
• RQ4 デカルトの符号法則と符号変化保存パターンは、特定の根の順序の実現可能性をどの程度決定づけるか？

主な発見

• 長さ $d+1$ の符号パターンで最初が '+' であるものは、すべて、根の絶対値が標準的順序に並ぶ $d$ 次の双曲多項式によって実現可能である。
• 標準的符号パターンとは、唯一標準的根の絶対値順序が実現可能な符号パターンであり、符号の変化と保存の系列に関する特定の構造的制約によって特徴づけられる。
• $m_1, m_3 \geq 1$ である $\Sigma_{m_1,1,m_3}$ 形式の符号パターンについては、標準的順序が一意に実現可能である。
• $\ell = r^2 - 3$ のとき、多項式 $P_{\ell}$ は位置 $r(r-1)/2$ および $r(r+1)/2$ で係数が消えるため、標準的順序で隣接する正と負の根の絶対値を有する符号パターンの構成が可能になる。
• 符号パターン $\sigma(P_+) = (r(r-1)/2 + 1, r, r(r-1)/2)$ および $\sigma(P_-) = (r(r-1)/2, r, r(r-1)/2 + 1)$ は、標準的順序で実現可能であり、標準的パターンの構成における柔軟性を示している。
• 小さな $\varepsilon_j$ を用いた $x + \varepsilon_j$ および $1 + \varepsilon_j x$ による連結により、任意の標準的符号パターンに、任意に小さいまたは大きな絶対値の追加の負の根を追加でき、標準的順序を維持することができる。