[论文解读] Values of coefficients of cyclotomic polynomials II

Chun-Gang Ji, Wei-Ping Li+1 more|arXiv (Cornell University)|Nov 30, 2007

Analytic Number Theory Research参考文献 1被引用 4

一句话总结

本文证明了对于任意正整数 $ m $，当 $ n $ 取遍所有正整数时，分 cyclotomic 多项式 $ \Phi_{mn}(x) $ 的系数及其倒数 $ 1/\Phi_{mn}(x) $ 的系数会取遍所有整数值。证明利用了 Möbius 反演的性质、Dirichlet 定理在等差数列中素数分布的结果，以及生成函数的模展开方法，表明系数集合 $ S(m) $ 和 $ R(m) $ 等于 $ \mathbb{Z} $，将此前针对素数幂的结果推广至所有正整数 $ m $。

ABSTRACT

Let a(n,k) be the kth coefficient of the nth cyclotomic polynomial. The first two authors showed in part I that if m is a prime power and n and k range over the non-negative integers, then a(mn,k) assumes every integer value. Here this result is extended to the case where m is arbitrary. The proof use some properties of reciprocal cyclotomic polynomials (see arXiv:0709.1570).

研究动机与目标

• 将此前仅针对素数幂的情形扩展至任意正整数，证明 cyclotomic 多项式系数集合覆盖所有整数。
• 建立 $ \Phi_{mn}(x) $ 的系数 $ a(mn,k) $ 和 $ 1/\Phi_{mn}(x) $ 的系数 $ c(mn,k) $ 的集合恒等于 $ \mathbb{Z} $，对任意固定的 $ m $。
• 统一并推广先前研究结果：Suzuki（$ m=1 $ 时）、前两位作者（$ m = p^e $ 时）以及 Moree（关于倒数系数）的研究成果。
• 提出一种统一的证明策略，利用模展开与等差数列中素数分布的性质，避免了早期工作中因 $ m $ 的奇偶性或素因子个数不同而产生的分类讨论。

提出的方法

• 使用 Möbius 反演将 $ \Phi_n(x) $ 表示为 $ \prod_{d \mid n} (1 - x^d)^{\mu(n/d)} $ 的形式，从而便于进行模分析。
• 应用引理 1 表明 $ c(n,k) $ 仅依赖于 $ k \mod n $，从而保证倒数系数的周期性。
• 利用引理 2 和推论 1 将问题约化至 $ m $ 为无平方因子的情形，因为 $ S(m) = S(\kappa(m)) $ 且 $ R(m) = R(\kappa(m)) $。
• 利用定量 Dirichlet 定理（引理 3）在区间 $ (n, 15n/8) $ 内找到 $ t $ 个满足 $ p_j \equiv 1 \mod m $ 的素数，确保足够高的密度。
• 构造 $ m_1 $ 为这些素数的乘积（可能额外乘以一个大于 $ 2p_1 $ 的素数 $ q $），使得 $ \mu(m_1) = -1 $，从而实现对 $ \Phi_{m_1 m}(x) \mod x^{2p_1} $ 的可控展开。
• 通过恒等式 $ a(m_1 m, k) = c(m,k) - \mu(m)t c(m,k-1) $ 推导出 $ a(m_1 m, k) $ 关于 $ c(m,k) $ 和 $ c(m,k-p_j) $ 的递推关系，并根据 $ \mu(m) = \pm 1 $ 的情况分别分析。

实验结果

研究问题

• RQ1 对于任意固定的正整数 $ m $，系数集合 $ S(m) = \{ a(mn,k) \mid n \geq 1, k \geq 0 \} $ 是否能覆盖所有整数 $ \mathbb{Z} $，而不仅限于素数幂的情形？
• RQ2 倒数系数集合 $ R(m) = \{ c(mn,k) \mid n \geq 1, k \geq 0 \} $ 是否也对任意 $ m $ 满足 $ R(m) = \mathbb{Z} $，从而推广已知的 $ m=1 $ 和 $ m=p^e $ 的结果？
• RQ3 是否可以统一证明策略，避免早期研究中因 $ m $ 的奇偶性或素因子个数不同而产生的分类讨论？
• RQ4 在多大程度上可以利用等差数列中素数的密度来控制系数的增长，并确保所有整数都能被取到？

主要发现

• 对于任意固定的 $ m \geq 1 $，$ \Phi_{mn}(x) $ 的系数集合 $ a(mn,k) $ 覆盖所有整数：$ S(m) = \mathbb{Z} $，推广了此前对 $ m = p^e $ 的结果。
• 类似地，$ 1/\Phi_{mn}(x) $ 的系数集合 $ c(mn,k) $ 同样覆盖所有整数：$ R(m) = \mathbb{Z} $。
• 证明表明，当 $ \mu(m) = 1 $ 时，系数 $ a(m_1 m, p_t + 1) = 1 - t $ 且 $ a(m_1 m, p_t + q_2) = t - 1 $，随着 $ t $ 变化可取遍所有整数。
• 当 $ \mu(m) = -1 $ 时，系数 $ a(m_1 m, p_t) = -1 + t $ 且 $ a(m_1 m, p_t + 1) = -t $ 或 $ 1 - t $，同样随着 $ t \to \infty $ 覆盖 $ \mathbb{Z} $。
• 使用 $ x^{2p_1} $-模展开简化了证明，避免了早期工作中因 $ m $ 的奇偶性而产生的分类讨论。
• 区间长度中的常数 $ 15/8 $ 可替换为任意 $ 2 - \epsilon $（$ \epsilon > 0 $），同时对 $ n $ 的下界作相应调整。