[论文解读] Flat Cyclotomic Polynomials: A New Approach

Sam Elder|arXiv (Cornell University)|Jul 24, 2012

Meromorphic and Entire Functions参考文献 5被引用 10

一句话总结

本文提出了一种基于最大公因数（gcd）的新框架，用于分析分圆多项式系数，证明了两类新的平坦分圆多项式家族：一类为3阶（证实了Broadhurst的猜想），另一类为新的4阶家族。研究建立了系数高度的周期性，并表明更高阶扩展（如5阶）永远不平坦，从而推进了平坦分圆多项式的分类研究。

ABSTRACT

We build a new theory for analyzing the coefficients of any cyclotomic polynomial by considering it as a gcd of simpler polynomials. Using this theory, we generalize a result known as periodicity and provide two new families of flat cyclotomic polynomials. One, of order 3, was conjectured by Broadhurst: $Φ_{pqr}(x)$ is flat where $p

研究动机与目标

• 开发一种利用最大公因数分解分析分圆多项式系数的新理论框架。
• 证明3阶与4阶平坦分圆多项式的新无限家族的存在性。
• 在特定模条件之下，建立分圆多项式高度的周期性。
• 解决Broadhurst关于三元平坦分圆多项式的猜想。
• 证明自然扩展至5阶的情形永远不平坦，从而限制平坦性的适用范围。

提出的方法

• 本文将分圆多项式建模为较简单多项式的最大公因数，通过代数约化实现系数分析。
• 利用恒等式 $\Phi_{np}(x) = \frac{\Phi_n(x^p)}{\Phi_n(x)}$ 对高阶多项式进行递归分解。
• 理论依赖于模同余关系：若 $s \equiv \pm t \pmod{n}$ 且 $n - \varphi(n) < s < t$，则 $\Phi_{ns}(x)$ 与 $\Phi_{nt}(x)$ 具有相同高度。
• 通过 $\frac{1}{\Phi_n(x)} = -\Psi_n(x)(1 + x^n + x^{2n} + \cdots)$ 应用逆分圆多项式 $\Psi_n(x)$ 的性质，推导出系数约束。
• 定义辅助多项式 $F_j(x)$ 与 $F_j'(x)$，以在模 $\Phi_{pq}(x)$ 下追踪系数行为，尤其在 $r \equiv \pm 1 \pmod{pq}$ 条件下。
• 通过在商环中仔细分析次数与系数，证明系数绝对值始终有界于1，从而证明平坦性。

实验结果

研究问题

• RQ1 当 $s \equiv \pm t \pmod{n}$ 且 $n - \varphi(n) < s < t$ 时，$\Phi_{ns}(x)$ 与 $\Phi_{nt}(x)$ 在何种条件下具有相同高度？
• RQ2 在 $r \equiv \pm w \pmod{pq}$，$p \equiv 1 \pmod{w}$，且 $q \equiv 1 \pmod{wp}$ 的条件下，Broadhurst关于平坦三元分圆多项式 $\Phi_{pqr}(x)$ 的猜想是否成立？
• RQ3 在 $q \equiv -1 \pmod{p}$，$r \equiv \pm 1 \pmod{pq}$，且 $s \equiv \pm 1 \pmod{pqr}$ 的条件下，能否构造出平坦四元分圆多项式 $\Phi_{pqrs}(x)$ 的一般家族？
• RQ4 自然扩展至5阶的情形（$t \equiv \pm 1 \pmod{pqrs}$）是否可能平坦？
• RQ5 当 $\Phi_n(x)$ 乘以一个素数时，其高度是否总是增加？还是可能减少？

主要发现

• 本文证明：若 $n$ 为正整数，且 $s, t$ 为素数，满足 $n - \varphi(n) < s < t$ 且 $s \equiv \pm t \pmod{n}$，则 $\Phi_{ns}(x)$ 与 $\Phi_{nt}(x)$ 具有相同高度，推广了周期性结论。
• 证实了Broadhurst的猜想：对素数 $p < q < r$ 及 $w > 0$，若 $r \equiv \pm w \pmod{pq}$，$p \equiv 1 \pmod{w}$，且 $q \equiv 1 \pmod{wp}$，则 $\Phi_{pqr}(x)$ 是平坦的。
• 构造了首个已知的平坦四元分圆多项式无限家族：当 $q \equiv -1 \pmod{p}$，$r \equiv \pm 1 \pmod{pq}$，且 $s \equiv \pm 1 \pmod{pqr}$ 时，$\Phi_{pqrs}(x)$ 是平坦的。
• 证明了对5阶的自然扩展（$r \equiv \pm 1 \pmod{pq}$，$s \equiv \pm 1 \pmod{pqr}$，$t \equiv \pm 1 \pmod{pqrs}$）永远不平坦。
• 本文提供了11个反例，其中 $A(3n) < A(n)$ 对 $n < 20000$ 成立，表明乘以素数后高度可能下降，从而否定了更强的猜想。
• 证明了对所有不同的奇素数 $p$ 与 $q$，$\Phi_{pq}(x)$ 是平坦的，且对所有素数 $p$，$\Phi_p(x)$ 均为平坦，包括 $\Phi_1(x) = x - 1$。