[论文解读] Niho Bent Functions and Subiaco/Adelaide Hyperovals

Tor Helleseth, Alexander Kholosha+1 more|arXiv (Cornell University)|Oct 17, 2012

Advanced Topics in Algebra参考文献 3被引用 3

一句话总结

本文建立了 Dobbertin 等人构造的二项式 Niho 弯曲函数与有限几何中 Subiaco 和 Adelaide 双曲面所生成的 o-多项式之间的直接对应关系。通过将这两个数学结构联系起来，作者在 $ m \equiv 2 \pmod{4} $ 时扩展了与 Subiaco 双曲面相关的已知弯曲函数类，提供了一个统一框架，将有限域理论、弯曲函数与射影平面上的双曲面分类联系起来。

ABSTRACT

In this paper, the relation between binomial Niho bent functions discovered by Dobbertin et al. and o-polynomials that give rise to the Subiaco and Adelaide classes of hyperovals is found. This allows to expand the class of bent functions that corresponds to Subiaco hyperovals, in the case when $m\equiv 2 (\bmod 4)$.

研究动机与目标

• 建立二项式 Niho 弯曲函数与生成 Subiaco 和 Adelaide 双曲面的 o-多项式之间的结构联系。
• 在 $ m \equiv 2 \pmod{4} $ 时，扩展已知与 Subiaco 双曲面相关的弯曲函数类。
• 证明特定 Niho 弯曲函数的存在性等价于特定 $ q $-族和 o-多项式的存在性。
• 通过 $ \mathbb{F}_{2^m} $ 上的迹函数和双变量形式，统一表示弯曲函数与双曲面构造。

提出的方法

• 作者使用 $ \mathbb{F}_{2^m} \times \mathbb{F}_{2^m} $ 上弯曲函数的双变量表示，将其表达为双变量多项式迹函数。
• 他们分析 Niho 弯曲函数的单变量和双变量形式，特别关注 $ f(t) = \mathrm{Tr}_1^m(a t^{2^m+1}) + \mathrm{Tr}_1^n(b t^{(2^m-1)/6 + 1}) $ 的情形，其中 $ b^{2^m+1} = a $。
• 论文从弯曲函数的结构推导出对应的 o-多项式 $ G(z) $，并证明其与 Subiaco 和 Adelaide 双曲面的 o-多项式形式一致。
• 通过在 $ \mathbb{F}_{2^n} $ 上使用迹恒等式和代数恒等变形，特别是 $ \mathrm{Tr}_m^n $ 和 $ \mathrm{Tr}_1^n $，将函数的指数与几何不变量关联起来。
• 作者验证了所推导的 $ G(z) $ 满足 o-多项式条件：$ G(0) = 0 $，$ G(1) = 1 $，且对所有 $ x \neq y $，$ x,y \in \mathbb{F}_{2^m}^* $，有 $ G(x) + G(y) + G(x+y) $ 为平方。
• 对于 $ m \equiv 0 \pmod{4} $，他们证明 o-多项式形式与已知的 $ q $-族构造一致，从而确认其与 Adelaide 家族的等价性。

实验结果

研究问题

• RQ1 二项式 Niho 弯曲函数与 Subiaco 和 Adelaide 双曲面的 o-多项式之间有何关系？
• RQ2 与 Subiaco 双曲面相关的弯曲函数类是否可以超越已知情形进行扩展？
• RQ3 何种精确代数条件可使 Niho 弯曲函数对应于双曲面的 o-多项式？
• RQ4 特定 Niho 弯曲函数的存在是否意味着相应 $ q $-族或 o-多项式的存在？
• RQ5 迹函数在将这些弯曲函数的单变量与双变量表示与几何对象联系起来的过程中起什么作用？

主要发现

• 本文证明了满足 $ b \in \mathbb{F}_{2^n}^* $ 的 Niho 弯曲函数集合，恰好对应于 Subiaco 和 Adelaide 双曲面家族的 o-多项式。
• 当 $ m \equiv 2 \pmod{4} $ 时，与 Subiaco 双曲面关联的弯曲函数类被扩展至超越先前已知构造的范围。
• 作者推导出 o-多项式 $ G(z) $ 的显式表达式，其以迹函数和涉及 $ w $、$ u $ 与 $ z $ 的有理函数形式表示，证明其与已知形式等价。
• 当 $ m \equiv 0 \pmod{4} $ 时，o-多项式 $ G(z) $ 被证明与 Adelaide 家族相关 $ q $-族所导出的形式一致。
• 本文确认弯曲函数 $ f(t) = \mathrm{Tr}_1^m(t^{2^m+1}) + \mathrm{Tr}_1^n(t^{(2^m-1)/6 + 1}) $（其中 $ a = b = 1 $）生成的 o-多项式与 Adelaide 双曲面结构一致。
• 通过将单变量弯曲函数基于 $ \mathbb{F}_{2^n} $ 在 $ \mathbb{F}_{2^m} $ 上的基 $ (u,1) $ 转换为双变量形式，得到一致且可验证的 o-多项式表达式。