[论文解读] A proof of the Corrected Beiter conjecture

Jiahao Zhao, Xianke Zhang|ArXiv.org|Oct 15, 2009

Analytic Number Theory Research参考文献 9被引用 9

一句话总结

本文证明了修正的 Beiter 猜想，该猜想指出：对于三阶分圆多项式（即 $\Phi_{pqr}(x)$，其中 $p<q<r$ 为互异的奇素数），其最大绝对系数 $A(pqr)$ 的上界为 $\frac{2}{3}p$。证明通过模运算和符号函数 $\chi_n(i)$ 对系数结构进行组合分析，利用 $\Phi_{pq}(x)$ 的已知系数公式，并在假设违反该上界时导出矛盾，最终确认该猜想对所有素数 $p$ 成立。该结果收紧了三元分圆多项式系数增长的最佳已知上界。

ABSTRACT

We say that a cyclotomic polynomial Φ_{n}(x) has order three if n is the product of three distinct primes, p=11, and they proposed the Corrected Beiter conjecture: A(pqr)&lt;=2p/3. Here we will give a proof of this conjecture.

研究动机与目标

• 解决修正的 Beiter 猜想，该猜想对 Beiter 原始猜想中三元分圆多项式最大系数大小进行了改进。
• 为 $A(pqr)$（即 $\Phi_{pqr}(x)$ 的最大绝对系数）建立紧致的上界，其中 $p<q<r$ 为互异的奇素数。
• 证明对所有素数 $p$，有 $M(p) = \max\{A(pqr) \mid p<q<r\} \leq \frac{2}{3}p$，从而纠正了此前错误的猜想。

提出的方法

• 使用系数公式 $c_i = \sum_{m r + p + q \geq i+1 + pq} d_m \chi_{m r}(i)$，其中 $d_m$ 为 $\Phi_{pq}(x)$ 的系数，将 $c_i$ 表示为 $\Phi_{pq}$ 系数的带符号贡献之和。
• 基于模 $pq$ 的模运算定义符号函数 $\chi_n(i)$，该函数根据 $i$ 与 $n$ 在模 $pq$ 下的相对位置，确定对 $c_i$ 的贡献符号。
• 应用关于 $\Phi_{pq}(x)$ 系数的已知结果：$d_m = \pm 1$ 或 $0$，其精确位置由模 $p$ 和 $q$ 下的模逆 $p_q^*$ 和 $q_p^*$ 决定。
• 通过区间和模移位的组合论证，分析对应于 $+1$ 和 $-1$ 贡献的系数集合 $S$ 和 $N$ 的结构，以限制其大小。
• 通过反证法：假设 $A(pqr) > \frac{2}{3}p$，然后在系数类之间推导出不相容的模同余关系和符号分配，从而导出矛盾。
• 在关键情形中使用恒等式 $p = 3r_p^* + 1$，当 $\overline{q_p} = 1$ 时，证明此类配置违反了假设的系数上界。

实验结果

研究问题

• RQ1 修正的 Beiter 猜想 $A(pqr) \leq \frac{2}{3}p$ 是否对所有素数 $p$ 及所有满足 $p<q<r$ 的 $q<r$ 成立？
• RQ2 三元分圆多项式的最大系数大小 $M(p)$ 是否可被 $\frac{2}{3}p$ 上界控制？
• RQ3 对 $\Phi_{pq}(x)$ 系数集合及其通过 $\chi_n(i)$ 的相互作用，存在何种结构约束，从而强制实现 $\frac{2}{3}p$ 的上界？

主要发现

• 修正的 Beiter 猜想被证明为真：对所有互异的奇素数 $p<q<r$，有 $A(pqr) \leq \frac{2}{3}p$。
• 该上界是紧致的，即对任意 $\varepsilon > 0$ 且足够大的 $p$，有 $M(p) \geq \frac{2}{3}p(1-\varepsilon)$，确认其为最优的普遍上界。
• 证明表明，当等号趋近时，有 $r_p^* = \frac{p-1}{3}$ 且 $q_p^* = \frac{2p+1}{3}$，凸显了模逆在系数分布中的作用。
• 在假设 $A(pqr) > \frac{2}{3}p$ 时，通过涉及 $\overline{q_p}$ 和 $r_p^*$ 的不一致模同余关系导出矛盾，表明此类配置不可能存在。
• 分析确认了在关键情形下有 $|S| - |N| = p - q_p^* + 1$，且 $|S| = p - q_p^* + 1$，$|N| = 0$，这仅在 $q_p^* = \frac{2p+1}{3}$ 且 $r_p^* = \frac{p-1}{3}$ 时成立。
• 该结果填补了分圆多项式系数理论中长期存在的空白，确认 $\frac{2}{3}p$ 是 $A(pqr)$ 的精确上界。