[论文解读] Hyperbolic polynomials and rigid moduli orders

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

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

一句话总结

本文通过确定根模的相对排序（正负）何时唯一决定系数的符号模式，对双曲多项式（实系数一元多项式，所有根均为实数）的刚性模序进行了表征。研究证明，仅有四种特定的交错模序（r_{PN}, r_{NP}, r_{PP}, r_{NN}）构成刚性模序，每种对应于两种通用符号模式之一：(+,+,-,-,+,+,...) 或 (+,-,-,+,+,-,...)，具体取决于次数模 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}）是刚性的，其余均非刚性。

提出的方法

• 将模序（MO）定义为按正实轴上模长递增顺序排列的 P（正根）和 N（负根）符号序列。
• 将符号模式（SP）定义为多项式系数符号的序列，以首项系数的 +1 为起点。
• 利用笛卡尔符号法则，将 SP 中的符号变化数（c）和符号保持数（p）与正根和负根的数量关联起来。
• 对次数 d 使用归纳法，结合扰动技术：通过形变根构造单参数多项式族（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}——是刚性的，即它们唯一确定系数的符号模式。
• 对于这四种刚性模序，符号模式始终为以下两种通用模式之一：Σ₊ = (+,+,-,-,+,+,-,-,...) 或 Σ₋ = (+,-,-,+,+,-,-,+,...)，具体取决于次数 d 模 4 的结果。
• 模序与符号模式之间的对应关系完全由次数 d 模 4 决定，如附表所示。
• 对于非刚性模序（即不属于 {r_{PN}, r_{NP}, r_{PP}, r_{NN}} 的模序），可实现多种符号模式，因此符号模式不唯一。
• 当双曲多项式具有根对 ±a（即对称根）时，系数符号取决于剩余多项式 Q 是否有零系数；若 d 为奇数，则无系数为零；若 d 为偶数，则仅当 Q 为二次因式乘积时系数才可能为零。
• 在所有含对称根的情况下，所得符号模式要么为通用模式 Σ₊ 或 Σ₋，要么为交替模式 (+,0,-,0,+,0,...)，当 d 为偶数且 Q 为 (x²−a_j²) 因式乘积时出现。