[论文解读] Hyperbolic polynomials and canonical sign patterns

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

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

一句话总结

本文研究具有不同正根模的双曲多项式（HPs）中根模的规范顺序，聚焦于哪些系数符号模式能强制实现唯一的此类顺序。通过一种递归连接方法，该方法在保持系数符号的同时控制根模顺序，作者刻画了规范符号模式——即仅能以规范根模顺序实现的实多项式。关键结果通过系数符号序列的结构约束及其与变化保持模式的对应关系，识别出所有此类模式。

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.

研究动机与目标

• 确定双曲多项式系数符号模式中，哪些能强制实现其根模在正实轴上的唯一排序。
• 定义并刻画“规范符号模式”——即仅能以规范根模顺序实现的双曲多项式。
• 建立一种构造性方法，用于生成具有指定符号模式和规范根模顺序的双曲多项式。
• 阐明系数符号序列、笛卡尔符号法则与特定根排序可实现性之间的关系。

提出的方法

• 通过递归连接构造双曲多项式：将模远小于或远大于现有根的根依次连接，以保持系数符号。
• 使用符号模式（SPs）与变化保持模式（CPPs）之间的双射对应关系，其中“c”表示符号变化，“p”表示符号保持。
• 通过将CPP反转并用“P”（正根）替换“c”，用“N”（负根）替换“p”，定义根模的规范顺序。
• 采用微扰技术，确保根模互异，同时保持系数符号，并在约束条件下实现任意根排序。
• 通过对已知多项式（如系数为零的$P_{\ell}$）进行变形，构造出实现特定符号模式的实例。
• 使用递归连接方法，通过添加$x + \varepsilon$（小$\varepsilon$）引入小模负根，通过添加$1 + \varepsilon x$（小$\varepsilon$）引入大模负根，以保持符号模式不变。

实验结果

研究问题

• RQ1 双曲多项式中，哪些系数符号模式能强制实现其根模在正实轴上的唯一排序？
• RQ2 符号模式的哪些结构性质可确保仅能实现规范根模顺序？
• RQ3 如何系统性地构造一个具有给定符号模式和规范根模顺序的双曲多项式？
• RQ4 笛卡尔符号法则与变化保持模式在多大程度上决定了特定根排序的可实现性？

主要发现

• 每个以“+”开头的长度为$d+1$的符号模式，均可由一个$d$次双曲多项式实现，且其根模处于规范顺序。
• 规范符号模式是指仅能以规范根模顺序实现的符号模式，其特征由符号变化与保持序列的特定结构约束所决定。
• 对于形式为$\Sigma_{m_1,1,m_3}$且满足$m_1, m_3 \geq 1$的符号模式，规范顺序是唯一可实现的。
• 当$\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)$可实现规范排序，表明规范模式构造具有灵活性。
• 通过连接$x + \varepsilon_j$（小$\varepsilon_j$）和$1 + \varepsilon_j x$（小$\varepsilon_j$），可将任意规范符号模式扩展，以包含任意小或大模的额外负根，同时保持规范顺序不变。