[论文解读] A Note on Stable Quadratic Polynomials over Fields of Characteristic Two

Omran Ahmadi|ArXiv.org|Oct 23, 2009

Coding theory and cryptography参考文献 5被引用 4

一句话总结

本文利用迹映射性质与Capelli引理，证明在特征为二的有限域上不存在稳定的二次多项式，表明任一此类多项式的三次迭代均不可能是不可约的。相反，本文在特征为二的函数域上构造了显式例子，例如 $ f(x) = x^2 + t $ 在 $ \mathbb{F}_2(t)[x] $ 中，通过Eisenstein准则证明其所有迭代均保持不可约。

ABSTRACT

In this note, first we show that there is no stable quadratic polynomial over finite fields of characteristic two and then show that there exist stable quadratic polynomials over function fields of characteristic two.

研究动机与目标

• 确定在特征为二的有限域上是否存在稳定的二次多项式。
• 研究在特征为二的函数域上是否存在稳定的二次多项式。
• 建立多项式迭代在正特征下保持不可约性的结构与代数条件。
• 通过分析特征为二的情形，解决关于奇特征有限域上稳定二次多项式的数量与结构的开放问题。

提出的方法

• 利用迹映射 $ \mathrm{Tr}_{q|2} $ 刻画 $ \mathbb{F}_q $ 上二次多项式的不可约性，其中 $ q = 2^m $。
• 应用Capelli引理，将迭代多项式的不可约性问题约化为扩张域上复合多项式的不可约性。
• 分析 $ \mathbb{F}_{q^4} $ 中 $ \alpha / a^2 $ 的迹，其中 $ \alpha $ 是 $ f(f(x)) $ 的根，当假设 $ f^{(3)}(x) $ 不可约时导出矛盾。
• 利用 $ \mathrm{Tr}_{q^4|q}(\alpha) = 0 $ 对于 $ f(f(x)) $ 的根 $ \alpha $ 成立，从而与不可约性所需的迹条件产生矛盾。
• 构造显式例子 $ f(x) = x^2 + t $ 在 $ \mathbb{F}_2(t)[x] $ 中，通过函数域上的Eisenstein准则证明所有迭代 $ f^{(n)}(x) $ 均不可约。
• 利用恒等式 $ f^{(n)}(x) = x^{2^n} + t^{2^{n-1}} + \cdots + t $ 展示迭代形式及其不可约性。

实验结果

研究问题

• RQ1 在特征为二的有限域上是否存在稳定的二次多项式？
• RQ2 系数需满足何种条件，才能保证在特征为二时迭代二次多项式的不可约性？
• RQ3 尽管在有限域上不存在，但在特征为二的函数域上，稳定的二次多项式是否可能存在？
• RQ4 迹映射与域扩张如何约束正特征下稳定多项式的存在性？

主要发现

• 在任意特征为二的有限域上均不存在稳定的二次多项式，因为 $ f^{(3)}(x) $ 不可能是不可约的。
• 要求 $ f^{(3)}(x) $ 不可约的迹条件为 $ \mathrm{Tr}_{q^4|2}(\alpha / a^2) = 1 $，但此与 $ \mathrm{Tr}_{q^4|q}(\alpha) = 0 $ 矛盾，而后者由 $ f(f(x)) $ 中 $ x^3 $ 项系数为零所保证。
• 在特征为二的函数域中，如 $ \mathbb{F}_2(t)[x] $，稳定的二次多项式确实存在，例如 $ f(x) = x^2 + t $。
• 多项式 $ f(x) = x^2 + t $ 的所有迭代 $ f^{(n)}(x) $ 在 $ \mathbb{F}_2(t) $ 上均不可约，此由Eisenstein准则（关于素元 $ t $）可得。
• 迭代的表达形式为 $ f^{(n)}(x) = x^{2^n} + t^{2^{n-1}} + t^{2^{n-2}} + \cdots + t $，其为首一且可分多项式，常数项之和在 $ \mathbb{F}_2(t) $ 中非平方。
• 迹计算中的矛盾源于 $ \mathrm{Tr}_{q^4|2}(b/a^2) = 0 $，导致 $ \mathrm{Tr}_{q^4|2}(\alpha / a^2) = 1 $，但此不可能成立，因为 $ \mathrm{Tr}_{q^4|2}(\alpha / a^2) = 0 $，这是由于 $ \alpha $ 在 $ \mathbb{F}_q $ 上的迹为零。