[論文レビュー] Flat Cyclotomic Polynomials: A New Approach

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

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

ひとこと要約

本稿は、巡回多項式の係数を分析するための新しいGCDに基づく枠組みを導入し、2つの新しいフラットな巡回多項式の族を証明する。1つは3次（Broadhurstの予想を確認）で、もう1つは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

研究の動機と目的

• 巡回多項式の係数を分析するための新しい理論的枠組みを、GCD分解を用いて開発すること。
• 3次および4次における新しい無限族のフラットな巡回多項式の存在を証明すること。
• 特定のモジュラー条件下で、巡回多項式の高さにおける周期性を確立すること。
• 3項フラットな巡回多項式に関するBroadhurstの予想を解決すること。
• 自然な5次拡張が常にフラットでないことを示し、フラット性の範囲を制限すること。

提案手法

• 本稿は、巡回多項式をより単純な多項式のGCDとしてモデル化し、代数的還元を用いて係数解析を可能にする。
• 恒等式 $\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)$ は同じ高さを持つ。
• 逆巡回多項式 $\Psi_n(x)$ の性質を適用し、$\frac{1}{\Phi_n(x)} = -\Psi_n(x)(1 + x^n + x^{2n} + \cdots)$ を通じて係数制約を導出する。
• 特に $r \equiv \pm 1 \pmod{pq}$ の下で、$\Phi_{pq}(x)$ を法とする係数挙動を追跡するための補助多項式 $F_j(x)$ と $F_j'(x)$ を定義する。
• 商環における次数および係数解析を細かく行い、係数の絶対値が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}$ の条件下で、3項フラットな巡回多項式 $\Phi_{pqr}(x)$ に関するBroadhurstの予想は正しいか？
• RQ3 $q \equiv -1 \pmod{p}$, $r \equiv \pm 1 \pmod{pq}$, および $s \equiv \pm 1 \pmod{pqr}$ の下で、フラットな4項巡回多項式 $\Phi_{pqrs}(x)$ の一般族を構成できるか？
• RQ4 $t \equiv \pm 1 \pmod{pqrs}$ のとき、5次への自然な拡張はいつでもフラットか？
• 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)$ はフラットである。
• 本稿は、初めて知られる無限族のフラットな4項巡回多項式を構成する：$\Phi_{pqrs}(x)$ は、$q \equiv -1 \pmod{p}$, $r \equiv \pm 1 \pmod{pq}$, および $s \equiv \pm 1 \pmod{pqr}$ のときフラットである。
• 自然な5次拡張、すなわち $r \equiv \pm 1 \pmod{pq}$, $s \equiv \pm 1 \pmod{pqr}$, および $t \equiv \pm 1 \pmod{pqrs}$ のとき、常にフラットでないことを証明する。
• 本稿は、$n < 20000$ に対して $A(3n) < A(n)$ を満たす11個の反例を提供し、素数を乗じた際に高さが減少する可能性があることを示し、より強い予想を反証する。
• すべての異なる奇素数 $p$ と $q$ に対して $\Phi_{pq}(x)$ がフラットであり、すべての素数 $p$ に対して $\Phi_p(x)$ がフラットであることを確立する。$\Phi_1(x) = x - 1$ も含む。