[论文解读] Partitions of nonzero elements of a finite field into pairs

Роман Карасев, Fedor Petrov|arXiv (Cornell University)|May 7, 2010

Limits and Structures in Graph Theory参考文献 16被引用 6

一句话总结

本文利用代数与拓扑方法，证明了奇特征有限域中非零元素可被划分为具有指定差值的配对。研究将结果推广至有限与无限域中的平移集打包问题，并利用组合零点定理与单位根性质，给出了Eliahou–Kervaire–Plaigne和集定理一个特殊情况的简短证明。

ABSTRACT

In this paper we prove that the nonzero elements of a finite field with odd characteristic can be partitioned into pairs with prescribed difference (maybe, with some alternatives) in each pair. The algebraic and topological approaches to such problems are considered. We also give some generalizations of these results to packing translates in a finite or infinite field, and give a short proof of a particular case of the Eliahou--Kervaire--Plaigne theorem about sum-sets.

研究动机与目标

• 建立奇特征有限域中非零元素可被划分为具有指定差值的配对的条件。
• 为有限域组合数学中已有定理提供新的代数与拓扑证明。
• 将元素配对结果推广至有限与无限域中集合平移的打包问题。
• 利用代数技术，特别是组合零点定理，为Eliahou–Kervaire–Plaigne和集定理的一个特殊情况提供简洁证明。
• 探讨在环与循环群中类似配对问题的障碍与猜想。

提出的方法

• 利用组合零点定理分析有限域上多项式系数。
• 应用代数技术研究判别式类多项式，包括Dyson猜想的证明。
• 采用拓扑方法，特别是Borsuk–Ulam定理，建立配对存在性结果。
• 引入多变量范德蒙德型多项式以编码配对约束，并提取与解相关的系数。
• 利用单位根与模运算计算多项式在模素数下的取值，利用可除性性质。
• 将不相交平移集问题约化为有限域上对称多项式中系数非零的条件。

实验结果

研究问题

• RQ1 在何种条件下，奇特征有限域中的非零元素可被划分为具有指定差值的配对？
• RQ2 如何结合代数与拓扑方法，证明有限域中的组合结果？
• RQ3 在有限或无限域中，对具有受控差集的集合平移打包问题，存在哪些推广？
• RQ4 能否利用组合零点定理等代数技术，重新证明Eliahou–Kervaire–Plaigne和集定理？
• RQ5 在Z/(n)（n为奇合数）或有限域上的向量空间中，此类配对结果的推广存在哪些障碍？

主要发现

• 定理1得证：对任意奇素数p，F_p中的非零元素可被划分为m = (p-1)/2对，其差值为指定的d_1, ..., d_m。
• 为与Dyson猜想相关的引理提供了新的代数证明，涉及对称多项式与单位根。
• 定理2建立了在域中打包m个集合平移并保持两两不相交的一般条件，基于大小与差值约束。
• 利用组合零点定理与分圆多项式性质，为Z/(p^α)中Cauchy–Davenport型和集定理的一个特殊情况提供了简短证明。
• 在F_p上的向量空间中，若每对的差值从指定基向量中选取，则可实现配对，且存在索引上的选择函数。
• 在F_{p^k}与n为奇合数的Z/(n)中，由于线性结构与奇偶性约束，严格差值规定存在障碍。