[論文レビュー] 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

ひとこと要約

本稿では、代数的および位相的手法を用いて、奇数の特徴を持つ有限体の非ゼロ元が、所定の差をもつペアに分割可能であることを証明する。有限体および無限体における翻訳のパッケージングへの一般化を確立し、組合せ的ゼロ定理と単位根の性質を用いて、エリャウ–ケルヴァール–プランジュの定理の特殊ケースの短い証明を提示する。

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.

研究の動機と目的

• 奇数の特徴を持つ有限体の非ゼロ元が、所定の差をもつペアに分割可能である条件を確立すること。
• 有限体組合せ論における既存の定理について、新しい代数的および位相的証明を提供すること。
• 要素のペアリングに関する結果を、有限および無限体における集合の翻訳のパッケージングへの一般化すること。
• 組合せ的ゼロ定理および円分多項式の性質を用いて、和集合に関するエリャウ–ケルヴァール–プランジュの定理の特殊ケースを簡潔に証明すること。
• 環や巡回群における類似の分割問題に対する障害および予想を検討すること。

提案手法

• 有限体上の多項式係数の分析に、組合せ的ゼロ定理を適用する。
• 判別式に類似した多項式を研究するための代数的技法を適用し、ダイソン予想の証明を含む。
• 特にボルスウプ・アーラムの定理を用いた、ペアリングの存在結果を確立するための位相的手法を用いる。
• ペアリングの制約を符号化する多変数バテルマン型多項式を導入し、解に関連する係数を抽出する。
• 単位根とモジュラー算術を用いて、素数を法とする多項式評価を評価し、可除性の性質を活用する。
• 互いに素な翻訳の問題を、有限体上の対称多項式における係数の非消滅に還元する。

実験結果

リサーチクエスチョン

• RQ1 奇数の特徴を持つ有限体の非ゼロ元が、所定の差をもつペアに分割可能となる条件は何か？
• RQ2 代数的および位相的手法をどのように組み合わせて、有限体における組合せ的結果を証明できるか？
• RQ3 差集合が制御された有限体または無限体における集合の翻訳のパッケージングに関する一般化は何か？
• RQ4 組合せ的ゼロ定理を用いた代数的技法により、和集合に関するエリャウ–ケルヴァール–プランジュの定理を再証明できるか？
• RQ5 Z/(n) などの環（n が奇数の合成数）や有限体上のベクトル空間へのこのようなペアリング結果を拡張する際の障害は何か？

主な発見

• 定理1が証明された：任意の奇素数 p に対して、F_p の非ゼロ元は、m = (p-1)/2 個のペアに、所定の差 d_1, ..., d_m に対して分割可能である。
• 対称多項式と単位根を含む、ダイソン予想に関連する補題について、新しい代数的証明が与えられた。
• 定理2は、サイズと差の制約に基づき、体における m 個の集合の翻訳が互いに素であるようにパッケージング可能な一般条件を確立した。
• 組合せ的ゼロ定理および円分多項式の性質を用いて、Z/(p^α) におけるコーシー–ダベンポート型定理の特殊ケースについて短い証明が提示された。
• F_p 上のベクトル空間において、各ペアの差が所定の基底ベクトルから選ばれる場合、インデックス上の選択関数を用いてペアに分割可能である。
• 線形構造と偶奇制約のため、F_{p^k} および奇数の合成数 n に対する Z/(n) において、厳密な差の指定に対する障害が特定された。