[论文解读] Polynomials whose roots and critical points are integers

Jean-Claude Evard|ArXiv.org|Jul 14, 2004

Polynomial and algebraic computation参考文献 8被引用 4

一句话总结

本文提出了一种系统方法，用于研究根、临界点和系数均为整数的多项式——称为“优美多项式”。通过利用代数数论和对称函数理论，作者推导出根与临界点之间的关键方程，证明了素数幂次多项式的结构性结果，并利用该方法生成了新实例，包括358个此前未知的非对称四次多项式，其具有四个不同的实根。

ABSTRACT

Polynomials whose coefficients, roots, and critical points lie in the ring of rational integers are called nice polynomials. In this paper, we present a general method for investigating such polynomials. We extend our results from the ring of rational integers to rings of algebraic integers that are unique factorization domains, with special interest in the ring of Gaussian integers. We apply our method to establish strong properties of nice polynomials whose degree is a prime power. We present a considerable reduction of the system of equations for nice polynomials of arbitrary degree with three roots. We establish properties of nice antisymmetric polynomials, and properties of the averages of the roots of the derivatives of nice polynomials. Finally, we present new examples of nice polynomials obtained with the help of a computer, after a considerable simplification of the computation by our method.

研究动机与目标

• 研究根、系数和临界点均为整数的多项式（称为“优美多项式”）的结构与分类。
• 解决数论与代数中的一个开放问题，该问题最初由理查德·诺瓦科夫斯基提出，涉及对这类多项式的表征。
• 将结果从整数环推广到代数整数，特别是高斯整数，以及唯一分解域。
• 开发一种计算框架，以高效生成优美多项式的新的实例。
• 提供结构性约束与对称性（例如对称、反对称），以限制此类多项式可能的形式。

提出的方法

• 引入优美多项式上的等价关系，将搜索空间缩减为每类仅一个代表。
• 推导出核心方程组（3.2），该方程组关联根与临界点，是后续所有结果的基础。
• 利用对称与反对称多项式理论分析优美多项式的特殊类别。
• 应用导数根平均值结果，推导低次情形（尤其是三次多项式）的约束条件。
• 对恰好具有三个根（允许重根）的多项式，简化方程组，从而简化搜索空间。
• 借助计算代数与数论简化方法，发现358个具有四个不同实根的非对称四次多项式新实例。

实验结果

研究问题

• RQ1 对于度数为素数幂的优美多项式，其结构性约束是什么？
• RQ2 对于恰好具有三个根的多项式，关联根与临界点的方程组能否简化？
• RQ3 能否基于推导出的方程，给出具有三个根的优美多项式的通解公式？
• RQ4 非对称优美四次多项式可能的形式有哪些？能否系统地生成它们？
• RQ5 是否存在具有超过三个根的优美反对称多项式？若存在，其性质如何？

主要发现

• 本文完全简化了具有三个根的优美多项式的方程组，显著简化了搜索过程。
• 证明了定理6.3，该定理对度数为素数幂的优美多项式施加了强结构性约束，其关键应用在于四次多项式。
• 利用该方法，作者发现了358个具有四个不同实根的非对称优美四次多项式新实例，其中包括最小的一个：$ p(x) = x(x-50)(x-176)(x-330) $，其导数为 $ p'(x) = 4(x-22)(x-120)(x-275) $。
• 目前已知最小的具有重根的优美对称六次多项式为 $ p(x) = [x^2 - (m^2 + 4mn - 2n^2)^2]^2 [x^2 - (m^2 - 2mn - 2n^2)^2] $，其对应的导数也已给出。
• 仅找到两个具有五个不同复根的优美五次多项式，其中一个具有二重临界点，另一个具有相异临界点。
• 目前已知具有超过一个根的优美反对称多项式中最小的是 $ p(x) = x(x^2 - 9)^4 $，其导数为 $ p'(x) = 9(x^2 - 1)(x^2 - 9)^3 $。