[论文解读] Planar functions over fields of characteristic two

Kai‐Uwe Schmidt, Yue Zhou|arXiv (Cornell University)|Jan 29, 2013

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

一句话总结

本文引入并表征了特征为二的有限域上的平面函数——将奇特征下的经典平面函数推广至偶特征。通过代数几何与Z4码理论，作者证明：唯一满足 $ f(x) = cx^t $ 在无穷多个 $ n $ 上于 $ \text{GF}(2^n) $ 上为平面函数的奇指数 $ t $ 仅为 $ t = 1 $，从而解决了该领域中的一个关键分类问题。

ABSTRACT

Classical planar functions are functions from a finite field to itself and give rise to finite projective planes. They exist however only for fields of odd characteristic. We study their natural counterparts in characteristic two, which we also call planar functions. They again give rise to finite projective planes, as recently shown by the second author. We give a characterisation of planar functions in characteristic two in terms of codes over $\mathbb{Z}_4$. We then specialise to planar monomial functions $f(x)=cx^t$ and present constructions and partial results towards their classification. In particular, we show that $t=1$ is the only odd exponent for which $f(x)=cx^t$ is planar (for some nonzero $c$) over infinitely many fields. The proof techniques involve methods from algebraic geometry.

研究动机与目标

• 在特征为二的域中定义并研究平面函数，因为对称性问题导致经典平面函数在该情形下不存在。
• 建立特征为二的平面函数与 $ \mathbb{Z}_4 $ 上码之间的联系，从而启用代数-几何工具。
• 对在无穷多个 $ n $ 上于 $ \text{GF}(2^n) $ 上为平面函数的单项式函数 $ f(x) = cx^t $ 进行分类，重点关注奇指数。
• 证明 $ t = 1 $ 是唯一满足在无穷多个特征为二的域上为平面函数的奇指数。
• 在代数几何与有限几何先前工作的基础上，扩展对偶特征下平面单项式的分类。

提出的方法

• 通过条件定义特征为二的平面函数：对所有非零 $ \theta $，映射 $ x \to f(x+\theta) + f(x) + \theta x $ 为置换，从而推广奇特征下的定义。
• 使用 $ \text{GF}(2^n) $ 上函数的多项式表示，聚焦于单项式 $ f(x) = cx^t $，并分析编码平面性条件的关联多项式 $ H_{t,a}(x,y) $。
• 应用代数几何时技术：研究由 $ H_{t,a} $ 定义的曲线的奇点与交点数，利用贝祖定理及绝对不可约因子的性质。
• 运用有限域上的因式分解理论：将 $ H_{t,a} $ 分解为不可约分量，并利用伽罗瓦理论分析其在扩张域上的分裂行为。
• 通过交点数与奇点数的界导出矛盾，当假设存在非平凡的奇平面指数 $ t > 1 $ 时，尤其在 $ n $ 较大时成立。
• 结合代数几何结果与次数及因式分解的数论约束，证明仅当 $ t=1 $ 时满足平面性条件无穷多次。

实验结果

研究问题

• RQ1 哪些单项式函数 $ f(x) = cx^t $ 在 $ \text{GF}(2^n) $ 上对无穷多个 $ n $ 为平面函数，特别是对奇指数 $ t $ ？
• RQ2 能否将特征为二的平面单项式分类扩展至已知例子（如 $ t = 2^k $，$ t = 2^k + 1 $，$ t = 4^k(4^k + 1) $）之外？
• RQ3 代数几何在分析偶特征下单项式平面性时起到什么作用，特别是如何排除无穷多个奇指数族？
• RQ4 是否存在结构性原因使得 $ t = 1 $ 是唯一在无穷多个 $ \text{GF}(2^n) $ 上产生平面单项式的奇指数？
• RQ5 曲线 $ H_{t,a}(x,y) = 0 $ 的几何性质（如奇点与因式分解）如何限制平面单项式的存在性？

主要发现

• 唯一满足 $ f(x) = cx^t $ 在无穷多个 $ n $ 上于 $ \text{GF}(2^n) $ 上为平面函数的奇指数 $ t $ 为 $ t = 1 $，从而证明了定理1.3。
• 对于 $ t = 2^k + 1 $，函数 $ f(x) = cx^t $ 在 $ \text{GF}(4^k) $ 上为平面函数，确认了特征为二下平面单项式的一个非平凡例子。
• 函数 $ f(x) = cx^t $ 在 $ t = 4^k(4^k + 1) $ 时于 $ \text{GF}(64^k) $ 上为平面函数，后由Scherr与Zieve证实，支持了平面指数的猜想列表。
• 作者建立了特征为二的平面函数与 $ \text{Z}_4 $ 上码之间的联系，为研究提供了新的代数-几何框架。
• 利用代数几何，他们证明：若 $ H_{t,a} $ 无绝对不可约因子，则在交点数界与奇点数估计下会产生矛盾，尤其在 $ k \to \text{large} $ 时。
• 所采用的证明技术（将 $ H_{t,a} $ 分解为因子 $ C, D, R $，并利用贝祖定理与奇点重数界交点数）成功排除了所有奇 $ t > 1 $ 的可能性，除 $ t = 5 $ 外，而 $ t = 5 $ 也因次数约束被排除。