[论文解读] On the arity gap of polynomial functions

Miguel Couceiro, Erkko Lehtonen+1 more|arXiv (Cornell University)|Apr 4, 2011

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

一句话总结

该论文通过提供显式分解方案，刻画了任意域上多项式函数的arity gap：arity gap至少为3的多项式函数，正是那些可分解为较少变量函数与非零倍数的Vandermonde多项式Δₙ之和的函数。在特征为0或2的域中，arity gap恰好为2的函数也以类似方式刻画。然而，这些结果无法推广至奇特征的无限域，在此类域中，由于对称多项式恒等式中的结构性障碍，分解失败。

ABSTRACT

The authors' previous results on the arity gap of functions of several variables are refined by considering polynomial functions over arbitrary fields. We explicitly describe the polynomial functions with arity gap at least 3, as well as the polynomial functions with arity gap equal to 2 for fields of characteristic 0 or 2. These descriptions are given in the form of decomposition schemes of polynomial functions. Similar descriptions are given for arbitrary finite fields. However, we show that these descriptions do not extend to infinite fields of odd characteristic.

研究动机与目标

• 通过代数分解对任意域上的多项式函数按其arity gap进行分类。
• 根据域的特征，确定arity gap恰好为2或至少为3的条件。
• 识别奇特征无限域中阻碍分解成立的结构性障碍。
• 将先前在布尔域和有限域上关于arity gap的研究结果，推广至任意域上的通用多项式函数。

提出的方法

• 将Vandermonde多项式Δₙ作为分解中的关键组成部分，以捕捉对称性与变量依赖性。
• 应用基于导数的准本质arity（qa）刻画方法，将其与arity gap相联系。
• 利用无限域上多项式表示的唯一性，确保P = Q + R的分解唯一。
• 运用对称多项式恒等式及系数系统条件（例如在特征3中系数和为零）来分析对角元组上的行为。
• 使用奇支撑（oddsupp）的概念，对在对角元组上为零的函数进行分类。
• 通过分析多项式函数及其子式的结构，将有限域和布尔域上的结果扩展至任意域。

实验结果

研究问题

• RQ1 什么特征刻画了任意域上arity gap至少为3的多项式函数？
• RQ2 在特征为0或2的域中，如何对arity gap恰好为2的多项式函数进行分解？
• RQ3 为何在奇特征的无限域中，arity gap为2的分解方案会失效？
• RQ4 能否仅从多项式函数的代数分解为对称与交错分量的角度，确定其arity gap？
• RQ5 Vandermonde多项式Δₙ在确定多项式函数arity gap中起什么作用？

主要发现

• 任意域上arity gap至少为3的多项式函数，恰好是那些可分解为P = Q + R的函数，其中Q仅依赖于n−p个变量，而R是非零倍数的Vandermonde多项式Δₙ。
• 在特征为0或2的域中，arity gap恰好为2的多项式函数，正是那些可分解为P = Q + R的函数，其中Q依赖于n−2个变量，而R是非零倍数的Δₙ。
• 在无限域上，分解P = Q + R是唯一的，这是由于多项式与多项式函数之间存在一一对应关系。
• 在奇特征的无限域（如特征3）中，该分解不成立：存在arity gap为3的函数，不满足此类分解所需的系数条件。
• 奇特征中分解失败的原因在于对称多项式系数系统存在非平凡解，如反例所示：f|_{Fⁿ_=}由oddsupp决定但非常数。
• 这些结果不能以相同方式推广至可微实函数，但对ℝⁿ上的可微函数，存在类似分解且具有相同的gap刻画。