[论文解读] Existence of primitive polynomials with three coefficients prescribed

Donald Mills|ArXiv.org|May 27, 2003

Coding theory and cryptography参考文献 6被引用 7

一句话总结

本文通过不可约多项式系数的递归公式，证明了在特征至少为五的有限域上，存在具有三个指定系数的本原多项式。关键结果为：对所有 n ≥ 9 及任意三元组 (f₁, f₂, f₃) ∈ F_q³，此类本原多项式均存在；对 n = 7 和 n = 8 的情况，通过筛法和计算验证得出了部分结果。

ABSTRACT

We demonstrate, using character sum arguments, the existence of primitive polynomials of degree n over a finite field GF(q) with the coefficients for x^(n-1), x^(n-2), and x^(n-3) prescribed, so long as char(GF(q)) is at least 5 and n is at least 9. The cases n=7, 8 are also considered.

研究动机与目标

• 确定在 F_q 上是否存在次数为 n 的本原多项式，其三个指定系数 f₁, f₂, f₃ 已知。
• 将先前关于具有一个或两个指定系数的本原多项式的研究结果，推广至三个系数被指定的情形。
• 为有限域上不可约多项式的第 k 个系数建立通用的递归公式。
• 解决 n ≥ 9 时的存在性问题，并通过筛法与计算方法推进对 n = 7 和 n = 8 的研究。
• 通过筛法与计算机检查识别并排除小 q 和 n 值下的潜在反例。

提出的方法

• 利用有限域上的迹函数与幂和，推导出 F_q 上不可约多项式第 k 个系数 f_k 的递归公式。
• 引入多项式 W_{k,n}(x)，以表达 αW_{k,n}(α) 的迹，当 p ∤ k 时，该迹等于 k·f_k。
• 基于 q^n - 1 的素因子个数应用筛法，估算具有指定系数的本原多项式数量。
• 采用互补除数方法，并对迹和的大小施加界限，以证明此类多项式数量的正性。
• 对小的 q 和 n 值进行计算验证，以排除筛法未能覆盖的潜在反例。
• 利用该公式适用于一般不可约多项式（而不仅限于本原多项式）的特性，增强了其广泛适用性。

实验结果

研究问题

• RQ1 对于特征至少为五的有限域 F_q 及所有 n ≥ 9，哪些情况下存在具有三个指定系数 f₁, f₂, f₃ ∈ F_q 的本原多项式？
• RQ2 是否可以保证在 n = 7 和 n = 8 时存在具有三个指定系数的本原多项式？若可以，其条件是什么？
• RQ3 为使筛法能确保此类多项式存在的最小 q^n - 1 的素因子个数是多少？
• RQ4 如何利用第 k 个系数的递归公式分析涉及不可约多项式根的乘积的迹？
• RQ5 哪些小的 q 和 n 值可能构成此类多项式不存在的反例？能否通过计算或筛法予以排除？

主要发现

• 对所有特征至少为五的有限域及所有 n ≥ 9，以及每个三元组 (f₁, f₂, f₃) ∈ F_q³，均存在一个次数为 n 的本原多项式，其系数即为此三元组。
• 当 n = 7 且 (a,b,c) ≠ (0,0,0) 时，若 ω(q⁷ - 1) ≥ 21，则此类本原多项式的数量为正，筛法与计算后剩余 15 个可能反例。
• 当 n = 7 且 (a,b,c) = (0,0,0) 时，若 ω(q⁷ - 1) ≥ 100，则此类本原多项式的数量为正，筛法后剩余 9 个可能反例。
• 使用互补除数与 d = 1 或 d = 30 的筛法可改进解的数量界限，减少潜在反例数量。
• 在 n = 7 且 (a,b,c) ≠ (0,0,0) 的情况下，原本 95 个可能反例经计算机检查排除 38 个 q ≤ 179 的素数，以及筛法（d = 2）排除 42 个后，减少至 15 个。
• 作者推测剩余非素数 q 值（如 25, 49, 121, 169, 191, 197, 199, 239, 269）并非真实反例，但完整解决需未来更高计算能力的支持。