[论文解读] Towards the full classification of exceptional scattered polynomials

Daniele Bartoli, Maria Montanucci|arXiv (Cornell University)|May 27, 2019

Coding theory and cryptography参考文献 41被引用 9

一句话总结

本论文完成了对 $ q \leq 4 $ 时指数为 0 的例外散列首一多项式的分类，并利用代数曲线理论与 Hasse-Weil 估计界，完全分类了指数为 2 的情形，证明了某些族的非例外性。该研究扩展了此前关于散列多项式及其与 MRD 码和最大散列线性集之间联系的研究。

ABSTRACT

Let $f(X) \in \mathbb{F}_{q^r}[X]$ be a $q$-polynomial. If the $\mathbb{F}_q$-subspace $U=\{(x^{q^t},f(x)) \mid x \in \mathbb{F}_{q^n}\}$ defines a maximum scattered linear set, then we call $f(X)$ a scattered polynomial of index $t$. The asymptotic behaviour of scattered polynomials of index $t$ is an interesting open problem. In this sense, exceptional scattered polynomials of index $t$ are those for which $U$ is a maximum scattered linear set in ${ m PG}(1,q^{mr})$ for infinitely many $m$. The complete classifications of exceptional scattered monic polynomials of index $0$ (for $q>5$) and of index 1 were obtained by Bartoli and Zhou. In this paper we complete the classifications of exceptional scattered monic polynomials of index $0$ for $q \leq 4$. Also, some partial classifications are obtained for arbitrary $t$. As a consequence, the complete classification of exceptional scattered monic polynomials of index $2$ is given.

研究动机与目标

• 完成对 $ q \leq 4 $ 时指数为 0 的例外散列首一多项式的分类，解决先前工作中遗留的开放问题。
• 对指数为 2 的例外散列首一多项式提供完整的分类。
• 通过代数曲线方法分析二项式与三项式，扩展对例外散列多项式的理解。
• 通过证明关联曲线上有理点的存在性，确定散列多项式何时不为例外。
• 建立散列多项式、MRD 码与射影几何中最大散列线性集之间的联系。

提出的方法

• 通过分析由比值 $ f(x)/x = f(y)/y $ 定义的曲线 $ \mathcal{Y}_f $，判断 $ f $ 是否为例外散列。
• 利用 Hasse-Weil 估计界，估算关联代数曲线 $ G(Y,Z) = 0 $ 上的有理点数量。
• 应用 Kummer 扩张理论，分析由曲线导出的方程的有理解，尤其针对 $ n < m $ 的二项式。
• 通过变换 $ (X,Y) \mapsto (X,XY) $ 简化方程，并研究 $ \overline{\mathbb{F}_q}(Y) $ 中解的存在性。
• 在函数域的点上使用赋值理论，证明三项式在特征 2 时的不可约性与有理解的不存在性。
• 证明：若关联曲线为绝对不可约，且存在满足 $ y/x \notin \mathbb{F}_q $ 的有理点，则 $ f $ 不是例外散列。

实验结果

研究问题

• RQ1 对于 $ q \leq 4 $，是否存在例外散列首一多项式？若存在，其完整分类为何？
• RQ2 能否完全完成对指数为 2 的例外散列首一多项式的分类？
• RQ3 对于哪些二项式与三项式族，其关联曲线为绝对不可约？这对其例外散列性质有何含义？
• RQ4 在何种条件下，存在满足 $ x_0/y_0 \notin \mathbb{F}_q $ 的有理点 $ (x_0, y_0) $，可推出散列多项式非例外？
• RQ5 Kummer 扩张与赋值论证如何在特征 2 中帮助证明散列多项式的非例外性？

主要发现

• 现已完全确立所有 $ q \leq 4 $ 时指数为 0 的例外散列首一多项式的分类，解决了先前工作中遗留的开放问题。
• 本论文提供了指数为 2 的例外散列首一多项式完整分类，表明在给定约束下其形式受到严格限制。
• 对于形如 $ X^{q^n} + bX^{q^m} $ 且满足 $ n < m $ 的二项式，若 $ m-t \neq t-n $，则其关联曲线存在满足 $ y/x \notin \mathbb{F}_q $ 的有理点，表明在所有其他情况下均为非例外。
• 在特征 2 下，对三项式 $ f_k(X) = X^{2^{k-2}} + aX^{2^{k-1}} + bX^{2^k} $，其关联曲线被证明为绝对不可约，因此当 $ k > 2 $ 时 $ f_k $ 不是例外散列。
• 利用 Hasse-Weil 估计界与曲线不可约性分析的方法，成功排除了广大家族多项式的例外散列行为。
• 分析结果确认，目前已知的散列多项式家族（如 $ \delta x^{q^s} + x^{q^{n-s}} $）仍是例外散列行为的主要候选，研究中未发现新家族。