[论文解读] Divisibility of Trinomials by Irreducible Polynomials over F2

Ryul Kim, Wolfram Koepf|arXiv (Cornell University)|Nov 6, 2013

Cryptography and Residue Arithmetic参考文献 8被引用 3

一句话总结

本文研究了在何种条件下，F2 上的不可约多项式能整除三项式，特别关注自对偶三项式以及 Welch 准则的推广。本文建立了自对偶三项式的一个可除性条件，并将 Welch 方法扩展至形如 $x^{am} + x^{bs} + 1$ 的三项式，为在不存在次数为 $n$ 的不可约三项式时识别三项式中的不可约因子提供了理论框架。

ABSTRACT

Irreducible trinomials of given degree n over $F_2$ do not always exist and in the cases that there is no irreducible trinomial of degree n it may be effective to use trinomials with an irreducible factor of degree n. In this paper we consider some conditions under which irreducible polynomials divide trinomials over $F_2$. A condition for divisibility of self-reciprocal trinomials by irreducible polynomials over $F_2$ is established. And we extend Welch's criterion for testing if an irreducible polynomial divides trinomials $x^m+x^s+1$ to the trinomials $x^{am}+x^{bs}+1$.

研究动机与目标

• 为解决 $\mathbb{F}_2$ 上不存在次数为 $n$ 的不可约三项式的问题，该问题限制了其在伪随机数生成和纠错码等应用中的使用。
• 确定 F2 上不可约多项式整除三项式的充分条件，特别是在所需次数的不可约三项式不存在时的情形。
• 将 Welch 准则——最初用于三项式 $x^m + x^s + 1$——推广至更广泛的形如 $x^{am} + x^{bs} + 1$ 的三项式类。
• 为识别三项式中的不可约因子提供理论基础，从而在密码学和编码应用中实现对本原或不可约多项式的高效构造。

提出的方法

• 作者利用有限域的代数性质和多项式因式分解，分析了 F2 上不可约多项式对自对偶三项式 $x^n + x^s + 1$ 的可除性。
• 通过扩展底层指数结构，将 Welch 准则（用于检验不可约多项式是否整除 $x^m + x^s + 1$）推广至形如 $x^{am} + x^{bs} + 1$ 的三项式。
• 该方法依赖于 $\mathbb{F}_{2^n}$ 中根的阶的性质，以及分圆多项式的使用，以刻画可除性条件。
• 关键步骤是利用迹函数和根的最小多项式，推导出可除性的必要且充分条件。
• 分析基于有限域理论，特别是乘法子群结构以及指数模根阶的运算行为。
• 理论推导通过指数 $am$、$bs$ 和次数 $n$ 的代数运算与同余条件得到支持。

实验结果

研究问题

• RQ1 在何种条件下，F2 上的不可约多项式能整除自对偶三项式 $x^n + x^s + 1$？
• RQ2 能否将 Welch 准则（用于检验不可约多项式是否整除 $x^m + x^s + 1$）推广至形如 $x^{am} + x^{bs} + 1$ 的三项式？
• RQ3 何种代数或数论条件可确保一个次数为 $n$ 的不可约多项式整除一个三项式，即使不存在次数为 $n$ 的不可约三项式？
• RQ4 如何利用指数 $am$ 和 $bs$ 的结构来判断其是否被 F2 上的不可约多项式整除？

主要发现

• 基于根的阶和指数同余关系，为 F2 上不可约多项式整除自对偶三项式 $x^n + x^s + 1$ 建立了必要且充分条件。
• 本文成功将 Welch 准则推广至形如 $x^{am} + x^{bs} + 1$ 的三项式，提供了一种适用于更广泛三项式类的广义可除性测试。
• 该方法可在不存在所需次数 $n$ 的不可约三项式时，仍能识别三项式中的不可约因子，这对需要本原或不可约多项式的应用至关重要。
• 所推导的条件以 $\mathbb{F}_{2^n}^\times$ 中根的阶为模的同余形式表达，将可除性与乘法阶的性质联系起来。
• 结果可用于通过约化三项式的因式分解构造不可约多项式，为不可约三项式缺失时提供实用替代方案。
• 理论框架支持无需完整因式分解的高效可除性测试算法，降低了有限域构造中的计算复杂度。