[論文レビュー] Block Structure of Cyclotomic Polynomials

Ala’a Al-Kateeb, Hoon Hong+1 more|arXiv (Cornell University)|Apr 13, 2017

Polynomial and algebraic computation参考文献 6被引用数 3

ひとこと要約

本稿では、奇数の平方因子なし整数 m と m と互いに素な素数 p に対して、cyclotomic 多項式 Φₘₚ のブロック構造について包括的な分析を提示する。基数に基づく分割によるブロック fm,p,i,j を用い、明示的公式、内部構造的関係（繰り返し、切り詰め、対称性）、および素数シフトにおける構造的性質（不変性および準不変性）を導出する。主たる貢献は、すべての構造的パターンについて明示的公式と証明を統合的かつ自己完結的に提示するフレームワークを提供することであり、cyclotomic 多項式の計算におけるアルゴリズム的効率を向上させる。

ABSTRACT

In this paper, we list several interesting structures of cyclotomic polynomials: specifically relations among blocks obtained by suitable partition of cyclotomic polynomials. We present explicit and self-contained proof for all of them, using a uniform terminology and technique.

研究の動機と目的

• 奇数の平方因子なし整数 m と m と互いに素な素数 p に対して、cyclotomic 多項式 Φₘₚ のブロック構造を体系的かつ形式的に分析すること。
• 既知および新規の Φₘₚ のブロックにおける構造的パターンを統合し、自己完結的な証明を提供すること。
• cyclotomic 多項式の計算におけるアルゴリズム的効率を向上させるために、明示的公式および関係（内部および外部構造）を確立すること。
• 先行研究で観察された対称性および不変性の性質を一般化・形式化し、特にフラットな cyclotomic 多項式および計算最適化の文脈において検証すること。

提案手法

• 基数 xp および xm を用いて Φₘₚ をブロック fm,p,i,j に分割し、deg(fm,p,i,j) < m を満たす。
• 多項式の次数が m より小さいものに対して、切り詰め（Ts）、反転（F）、回転（Rs）、拡張（Es）を定義する。
• 逆 cyclotomic 多項式 Ψₘ(x) = (xᵐ−1)/Φₘ(x) をブロック公式の中心的要素として用いる。
• Φₘ の係数および Ψₘ の回転像を含む畳み込みに類似した和を用いて、fm,p,i,j の明示的公式を導出する。
• 多項式環におけるモジュラリティの性質を用いた代数的変形により、内部構造的関係を証明する。
• 素数シフト p → ˜p における挙動を分析することにより、外部構造的関係を確立する。ここで ˜p ≡ p (mod m) または ˜p ≡ −p (mod m) である。

実験結果

リサーチクエスチョン

• RQ1 基数 xp および xm における cyclotomic 多項式 Φₘₚ の j 番目のブロック fm,p,i,j を規定する明示的公式は何か？
• RQ2 固定された p に対して、変化する i および j におけるブロック fm,p,i,j の関係（内部構造）は何か？
• RQ3 素数シフト ˜p に対して、ブロック fm,p,i,0 はどのように振る舞うか？ここで ˜p ≡ p (mod m) または ˜p ≡ −p (mod m) である。
• RQ4 ブロックの繰り返し、切り詰め、対称性の性質を、単一のフレームワークにおいて形式的に導出し、統合することは可能か？
• RQ5 不変性および準不変性の性質は、異なる素数 p および ˜p の間でどの程度拡張可能か？また、それらは Φₘ の構造とどのように関係するか？

主な発見

• fm,p,i,j の明示的公式は、j < q の場合 fm,p,i,j = −Rᵢʳ(Ψₘ · EᵣTᵢ₊₁Φₘ) であり、j = q の場合 fm,p,i,q = Tr(fm,p,i,0) である。
• ブロックは繰り返しを示す：すべての i に対して fm,p,i,0 = fm,p,i,1 = ⋯ = fm,p,i,q−1 が成り立つ。
• 切り詰めの性質が成り立つ：fm,p,i,q = Tr(fm,p,i,0) である。つまり、最後のブロックは最初のブロックの切り詰めである。
• 対称性関係が存在する：i′ + i = ϕ(m) − 1 のとき、fm,p,i′,0 = Rᵠ⁽ᵐ⁾⁻¹⁻ʳF(fm,p,i,0) である。
• 不変性の性質が成り立つ：˜p ≡ p (mod m) ならば、fm,˜p,i,0 = fm,p,i,0 である。
• 準不変性の性質が成り立つ：˜p + p ≡ 0 (mod m) ならば、fm,˜p,i,0 = −Rᵠ⁽ᵐ⁾⁻¹F(fm,p,i,0) である。