[论文解读] Positivity Conditions for Cubic, Quartic and Quintic Polynomials

Liqun Qi, Yisheng Song+1 more|arXiv (Cornell University)|Aug 25, 2020

Matrix Theory and Algorithms参考文献 20被引用 10

一句话总结

本文利用Sturm序列和判别式分析，为三次、四次和五次多项式在实数域及所有正实数上为正或非负提供了必要且充分的条件。文中引入了非负区域的几何意义明确的表征，并识别出一个维度更低的‘附录’集合——在该集合上判别式为零，这一特征在次数≥4的偶次多项式中普遍存在。

ABSTRACT

We present a necessary and sufficient condition for a cubic polynomial to be positive for all positive reals. We identify the set where the cubic polynomial is nonnegative but not all positive for all positive reals, and explicitly give the points where the cubic polynomial attains zero. We then reformulate a necessary and sufficient condition for a quartic polynomial to be nonnegative for all positive reals. From this, we derive a necessary and sufficient condition for a quartic polynomial to be nonnegative and positive for all reals. Our condition explicitly exhibits the scope and role of some coefficients, and has strong geometrical meaning. In the interior of the nonnegativity region for all reals, there is an appendix curve. The discriminant is zero at the appendix, and positive in the other part of the interior of the nonnegativity region. By using the Sturm sequences, we present a necessary and sufficient condition for a quintic polynomial to be positive and nonnegative for all positive reals. We show that for polynomials of a fixed even degree higher than or equal to four, if they have no real roots, then their discriminants take the same sign, which depends upon that degree only, except on an appendix set of dimension lower by two, where the discriminants attain zero.

研究动机与目标

• 建立三次多项式对所有正实数为正的必要且充分条件，明确其取零的位置。
• 重新表述并增强现有四次多项式在全体实数上非负与正性的条件，强调几何清晰性与对称系数关系。
• 利用Sturm序列将分析扩展至五次多项式，首次为该次数提供完整的表征。
• 将成果推广至次数≥4的偶次多项式，证明其判别式在非负区域内部保持统一符号（仅依赖于次数），除一个维度更低的附录集合外，该集合上判别式为零。

提出的方法

• 应用Sturm序列定理计算正实根数量，以确定多项式在t ≥ 0上的正性。
• 利用判别式分析识别非负与正性区域，特别区分判别式为零（附录集合）的情形。
• 基于系数符号与多项式因式分解的案例分析，对三次与四次多项式的性质进行分类。
• 为偶次多项式的非负区域引入几何表征，识别出判别式为零的‘附录’曲线。
• 推导出四次多项式在全体实数上非负与正性的对称系数条件，提升其可解释性。
• 应用多项式与其导数的GCD检测重根，这些重根对应判别式为零的点。

实验结果

研究问题

• RQ1 三次多项式对所有正实数为正的必要且充分条件是什么？
• RQ2 如何通过清晰的几何与对称解释表征四次多项式在全体实数上的非负性与正性？
• RQ3 五次多项式在所有正实数上非负与正性的集合结构如何？其可计算判定方法为何？
• RQ4 对于次数≥4的偶次多项式，若其无实根，其判别式是否保持统一符号？在此背景下，附录集合起何作用？

主要发现

• 对于三次多项式，本文完整表征了其在所有t > 0时为正的条件，并明确指出了其取零的位置。
• 对于四次多项式，所导出的条件明确体现了两个系数之间的对称关系，具有清晰的几何意义，区别于以往工作。
• 四次多项式的非负区域包含一条‘附录’曲线，其上判别式为零，其余区域内部判别式为正。
• 对于五次多项式，本文首次利用Sturm序列提出了其在所有正实数上非负与正性的必要且充分条件。
• 对于次数m ≥ 4的偶次多项式，其判别式在非负区域内部保持统一符号（仅依赖于m），除一个维度为m−3的附录集合外，该集合上判别式为零。
• 附录集合被证明是多项式具有重根的低维子集，且在非负区域内部，判别式仅在此处为零。