[论文解读] 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

一句话总结

本文研究了在给定系数符号模式下，实系数一元多项式可实现的正根与负根组合，超越笛卡尔符号法则。通过拓扑与代数方法，识别出次数不超过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) 可由多项式实现。
• 识别并分类次数不超过8的符号模式与根数组合的不可实现情形。
• 针对任意次数的多项式，提出关于不可实现符号模式-根对结构的普遍猜想。
• 研究具有给定符号模式与根数的多项式空间的拓扑性质，特别是实现集的路径连通性。

提出的方法

• 将符号模式 σ̄ 定义为首一多项式系数的 ± 符号序列，不包括首项系数。
• 利用笛卡尔符号法则计算笛卡尔对 (pσ̄, nσ̄)，该对界定了正根与负根的个数。
• 引入可允许对 (pos, neg) 的概念，其满足笛卡尔法则所给出的奇偶性与上界约束。
• 研究次数为 d、具有 k 个实单根且符号模式为 σ̄ 的首一多项式空间 Pold,kσ̄，分析其拓扑结构。
• 通过奇次项系数符号反转与系数顺序反转的 Z2×Z2 作用，关联不同符号模式。
• 基于极导数与具有不对称诱导零点的多项式集合的对数凸性，运用路径连通性论证，分析实现集的连通性。

实验结果

研究问题

• RQ1 对于给定符号模式 σ̄，哪些可允许对 (pos, neg) 的正负根数组合无法由任何多项式实现？
• RQ2 当非空时，实现给定 (pos, neg) 对与符号模式 σ̄ 的多项式集合是否路径连通？
• RQ3 一个多项式的 j 阶导数的根数序列 (posj, negj) 中，哪些是可实现的？
• RQ4 实现给定导数根数序列的多项式集合是否路径连通？

主要发现

• 即使在满足笛卡尔符号法则的可允许对下，仍存在不可实现的符号模式-根数对，尤其在次数不超过8时。
• 本文明确识别出多个不可实现的符号与根数组合的系列，表明笛卡尔法则的上界在可实现性上并不总是紧致的。
• 对于次数为 d 的多项式，当满足特定条件时，具有 k 个实单根且符号模式为 σ̄ 的集合 Pold,kσ̄ 被证明是路径连通的。
• 具有至少 m 个实根的多项式集合是路径连通的，该结论通过归纳法与极导数的应用实现环路收缩而得证。
• 当底层导数结构允许连续形变时，实现给定符号模式与根数对的多项式集合被证明是路径连通的。
• 提出一个普遍猜想，基于对次数不超过10的此类情形的广泛分类，以刻画所有不可实现的符号模式-根数对。