[論文レビュー] A proof of the Corrected Beiter conjecture

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

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

ひとこと要約

この論文は、3次のサイクロトニック多項式（つまり、$p<q<r$ である相異なる奇素数 $p,q,r$ に対して $Φ_{pqr}(x)$）の最大絶対係数 $A(pqr)$ が $\frac{2}{3}p$ 未満であるという、修正された Beiter の予想を証明している。証明は、整数合同式と符号関数 $\chi_n(i)$ を用いた係数構造の組合せ的解析に基づく。$\Phi_{pq}(x)$ の既知の係数公式を活用し、境界を超過する仮定に基づく矛盾を導出し、すべての素数 $p$ に対して予想を確認した。この結果、3次サイクロトニック多項式における係数成長の最良既知の上界が厳しく tightened された。

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.

研究の動機と目的

• 3次サイクロトニック多項式の最大係数サイズに関する Beiter の元の予想を精緻化した、修正された Beiter 予想を解決すること。
• $p<q<r$ が相異なる奇素数であるとき、$\Phi_{pqr}(x)$ の最大絶対係数 $A(pqr)$ のタイトな上界を確立すること。
• すべての素数 $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)$ を用い、$c_i$ を $\Phi_{pq}(x)$ の係数 $d_m$ からの符号付き寄与の形で表現する。
• 整数 $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$ をおき、その場合に生じる係数クラスにわたる不一致な合同式と符号割り当てを導出し、矛盾を示す。
• 特に $\overline{q_p} = 1$ の場合に、$p = 3r_p^* + 1$ の恒等式を用いて矛盾を導出し、このような構成が仮定された係数境界を満たせないことを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての素数 $p$ および $p<q<r$ を満たす $q<r$ に対して、修正された Beiter 予想 $A(pqr) \leq \frac{2}{3}p$ は成り立つか？
• RQ2 3次サイクロトニック多項式の最大係数サイズ $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$ が成り立つ。
• 境界 $\frac{2}{3}p$ は、任意の $\varepsilon > 0$ と十分大きな $p$ に対して $M(p) \geq \frac{2}{3}p(1-\varepsilon)$ が成り立つという意味でタイトである。これは、$\frac{2}{3}p$ が普遍的な最良の上界であることを確認する。
• 等号に近づく場合に $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}$ のときにのみ成立する。
• この結果により、サイクロトニック多項式係数理論における長年の空白が埋められ、$A(pqr)$ のための鋭い上界が $\frac{2}{3}p$ であると確認された。