arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2407.04570math.CO
收藏

平面函数的一个次数界

A degree bound for planar functions

Christof Beierle, Tim Beyne

AI总结:

该研究利用Stickelberger定理证明了有限域上平面函数的代数次数界,既涵盖已知分类结果,又完成了特定参数下平面单项式的分类,并提出相关猜想。

摘要:

利用关于高斯和的Stickelberger定理,我们证明:若$F$是有限域$\n\mathbb{F}_q$上的平面函数,则对所有非零函数$G:\mathbb{F}_q\to\mathbb{F}_q$,有\n\begin{equation*}\nd_{\mathsf{alg}}(G \circ F) - d_{\mathsf{alg}}(G) \le \frac{n(p-1)}{2},\n\end{equation*}\n其中$q=p^n$,$p$为素数,$n$为正整数,$d_{\mathsf{alg}}(F)$是$F$的代数次数,即把$F$视为$\mathbb{F}_p^n$上的函数时,其对应的$n$个最低次插值多项式构成的方程组的最高次数。该界蕴含了$\mathbb{F}_p$上平面多项式与$\mathbb{F}_{p^2}$上平面单项式的(已知)分类结果。作为新结论,利用同一个次数界,我们完成了对所有满足$p>5$、$n=2^k$($k$为非负整数)的平面单项式的分类。最后,我们提出了一个关于模$q-1$整数的$p$进制数字和的猜想,该猜想蕴含特征$p>5$的有限域上平面单项式的完整分类。

英文摘要:

Using Stickelberger's theorem on Gauss sums, we show that if $F$ is a planar function on a finite field $\mathbb{F}_q$, then for all non-zero functions $G : \mathbb{F}_q \to \mathbb{F}_q$, we have \begin{equation*} d_{\mathsf{alg}}(G \circ F) - d_{\mathsf{alg}}(G) \le \frac{n(p-1)}{2}, \end{equation*} where $q = p^n$ with $p$ a prime and $n$ a positive integer, and $d_{\mathsf{alg}}(F)$ is the algebraic degree of $F$, i.e., the maximum degree of the corresponding system of $n$ lowest-degree interpolating polynomials for $F$ considered as a function on $\mathbb{F}_p^n$. This bound implies the (known) classification of planar polynomials over $\mathbb{F}_p$ and planar monomials over $\mathbb{F}_{p^2}$. As a new result, using the same degree bound, we complete the classification of planar monomials for all $n = \smash{2^k}$ with $p>5$ and $k$ a non-negative integer. Finally, we state a conjecture on the sum of the base-$p$ digits of integers modulo $q-1$ that implies the complete classification of planar monomials over finite fields of characteristic $p>5$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑