[论文解读] A new proof of the Hansen-Mullen irreducibility conjecture

Aleksandr Tuxanidy, Qiang Wang|arXiv (Cornell University)|Apr 14, 2016

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

一句话总结

本文通过分析有限域上初等对称函数离散傅里叶变换（DFT）的最小周期，提出了一种证明Hansen-Mullen不可约性猜想的新方法。通过证明与系数生成相关的关键函数的最小周期在已知例外情况外均为最大值，作者以一种初等且统一的方式，证明了在 $ \mathbb{F}_q $ 上存在任意指定系数（除小范围例外情况外）的首一不可约多项式，其次数为 $ n $，从而以一种新颖的分析-结构方法解决了长期悬而未决的猜想。

ABSTRACT

We give a new proof of the Hansen-Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree $n$ in the support of functions on finite fields. This connection to irreducible polynomials is made via the least period of the discrete Fourier transform (DFT) of functions with values in finite fields. We exploit this relation and prove, in an elementary fashion, that a relevant function related to the DFT of characteristic elementary symmetric functions (which produce the coefficients of characteristic polynomials) has a sufficiently large least period (except for some genuine exceptions). This bears a sharp contrast to previous techniques in literature employed to tackle existence of irreducible polynomials with prescribed coefficients.

研究动机与目标

• 提供Hansen-Mullen不可约性猜想的新初等证明，该猜想断言在 $ \mathbb{F}_q $ 上存在任意一个系数被指定为任意值的不可约多项式。
• 通过函数周期的结构分析，统一处理此前需通过计算处理的小 $ q $ 和 $ n $ 的情况。
• 建立有限域上与DFT相关的函数最小周期与具有指定系数的不可约多项式存在性之间的联系。
• 提供一种概念性替代方法，以替代依赖特征和与Weil估计的传统分析方法，后者在处理超过 $ n/2 $ 个指定系数时存在局限性。

提出的方法

• 作者分析了从生成多项式系数的特征初等对称函数的DFT导出的函数 $ \Delta_{w,c} $ 的最小周期。
• 他们利用 $ q $-进制数字表示和置换论证，证明若 $ \Delta_{w,c} $ 的周期 $ r $ 不是最大值，则除非 $ r $ 的所有数字相等或 $ r = (q^n - 1)/2 $，否则将导致矛盾。
• 证明利用了 $ q $-对称性以及函数 $ \delta_{n/2} $ 的张量幂的性质，表明 $ \delta_{n/2}^{\otimes(q-1)} $ 是 $ q $-对称的，因此在数字置换下保持不变。
• 通过反证法，他们证明非最大周期将导致不一致的数字和条件，从而迫使最小周期为 $ q^n - 1 $，即最大可能值。
• 该方法依赖于 $ q $-进制展开的数论结构性质和置换不变性，避免了先前工作中常见的特征和估计。
• 关键洞见在于，$ \Delta_{w,c} $ 的最小周期达到最大值，意味着其支撑集中存在次数为 $ n $ 的元素，这对应于具有指定系数的不可约多项式。

实验结果

研究问题

• RQ1 是否可以使用避免特征和估计与Weil估计的方法来证明Hansen-Mullen不可约性猜想？
• RQ2 有限域上对称函数DFT的哪些结构性质决定了具有指定系数的不可约多项式的存在性？
• RQ3 是否存在一个统一的初等解释，涵盖Hansen-Mullen猜想中的所有例外情况，包括小的 $ q $ 和 $ n $？
• RQ4 与多项式系数相关的函数的最小周期是否可作为存在次数为 $ n $ 的不可约多项式的充分条件？

主要发现

• 证明了从初等对称函数的DFT导出的函数 $ \Delta_{w,c} $ 的最小周期在 $ n > 2 $ 时为 $ q^n - 1 $，但当 $ q $ 为奇数且 $ w = n/2 $ 时，$ r = (q^n - 1)/2 $ 是可能的。
• 当 $ n = 2 $ 且 $ q $ 为奇数时，最小周期 $ r $ 必须满足 $ r > q - 1 $，这排除了所有更小的周期，从而强制其达到最大值。
• 该证明确立了 $ \Delta_{w,c} $ 具有最大最小周期 $ q^n - 1 $，这意味着其支撑集中存在次数为 $ n $ 的元素，对应于具有指定系数的不可约多项式。
• 该方法为Hansen-Mullen猜想的所有情况提供了统一解释，包括此前通过计算验证的小规模情形，且无需依赖渐近估计或特征和界。
• 结果确认了在 $ \mathbb{F}_q $ 上存在首一不可约多项式，其次数为 $ n $，且满足 $ [x^{n-w}]P(x) = c $，除已知例外情况外：当 $ q $ 为奇数时 $ (n,w,c) = (2,1,0) $，以及 $ w = n $ 且 $ c = 0 $ 的情况。
• 该证明是初等且结构化的，与以往的分析方法形成对比，为通过函数周期和 $ q $-进制数字对称性研究具有指定系数的不可约性提供了新框架。