[論文レビュー] 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 $ に対して、$ \Phi_{mn}(x) $ の係数およびその逆数 $ 1/\Phi_{mn}(x) $ の係数が、$ n $ が正の整数を走る際に、すべての整数値をとることを証明する。証明は、ムビウスの反転公式、算術級数内の素数に関するディリクレの定理、および生成関数のモジュラー展開の性質を用い、係数集合 $ 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).

研究の動機と目的

• 巡回多項式の係数集合が、素数のべきの場合に限らず、任意の正の整数へ一般化され、すべての整数をカバーすることを拡張する。
• 固定された $ m $ に対して、$ \Phi_{mn}(x) $ と $ 1/\Phi_{mn}(x) $ の係数 $ a(mn,k) $ および $ c(mn,k) $ の集合が $ \mathbb{Z} $ に等しいことを確立する。
• 鈴木（$ m=1 $ の場合）、著者ら（$ m = p^e $ の場合）、モレー（逆数係数の場合）の先行研究を統合・一般化する。
• 偶奇や $ m $ の素因数の個数による場合分けを避ける統一的な証明戦略を提供する。モジュラー展開と算術級数内の素数分布を用いる。

提案手法

• ムビウスの反転公式を用いて、$ \Phi_n(x) $ を $ (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)) $ であるため。
• 定量的ディリクレの定理（補題3）を活用し、区間 $ (n, 15n/8) $ 内に $ t $ 個の素数 $ p_j \equiv 1 \mod m $ を見つける。これにより、十分な密度が保証される。
• このような素数の積として $ m_1 $ を構成する（必要に応じて $ q > 2p_1 $ の追加素数を含む）ことにより、$ \mu(m_1) = -1 $ となるようにし、$ \Phi_{m_1 m}(x) \mod x^{2p_1} $ の展開を制御可能にする。
• 係数 $ a(m_1 m, k) $ について、$ c(m,k) $ および $ c(m,k-p_j) $ を用いた再帰的関係を導出する。$ p_t \leq k < 2p_1 $ の範囲で、恒等式 $ a(m_1 m, k) = c(m,k) - \mu(m)t c(m,k-1) $ を用い、$ \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=1 $ や $ m=p^e $ の既知の結果を拡張して、任意の $ m $ に対して $ \mathbb{Z} $ に等しいか？
• 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 $ は、任意の $ \epsilon > 0 $ に対して $ 2 - \epsilon $ に置き換え可能であり、それに応じて $ n $ の下限を調整すればよい。