[论文解读] 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

一句话总结

本文对 cyclotomic 多项式 Φₘₚ 中的块结构进行了全面分析，其中 m 为奇平方自由整数，p 为与 m 互素的素数。通过基于基数的分块方法，将 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。
• 定义关键运算：截断（Ts）、翻转（F）、旋转（Rs）与扩展（Es），作用于次数小于 m 的多项式。
• 将反 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 满足 ˜p ≡ p (mod m) 或 ˜p ≡ −p (mod m) 时，块 fm,p,i,0 在素数平移下的行为如何（块间结构）？
• 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)。