[論文レビュー] Addition Theorems in Fp via the Polynomial Method

Éric Balandraud|arXiv (Cornell University)|Feb 21, 2017

Mathematics and Applications被引用数 3

ひとこと要約

本稿では、有限体 𝔽_p における一般化された加法定理を証明するために、Combinatorial Nullstellensatz 及びその係数公式を新規な逆応用手法として用いる。部分集合 A ⊂ 𝔽_p に対して A ∩ (−A) = ∅ を満たすとき、少なくとも α 個の異なる要素からなる部分和の集合のサイズに下界を与える。|Σ_α(A)| ≥ min{p, |A|(|A|+1)/2 − α(α+1)/2 + 1} が成り立ち、これは α = 0,1 の場合に既知の結果をすべての α ∈ [0, |A|] に拡張するものである。

ABSTRACT

In this article, we use the Combinatorial Nullstellensatz to give new proofs of the Cauchy-Davenport, the Dias da Silva-Hamidoune and to generalize a previous addition theorem of the author. Precisely, this last result proves that for a set A $\subset$ Fp such that A $\cap$ (--A) = $\emptyset$ the cardinality of the set of subsums of at least $α$ pairwise distinct elements of A is: |$Σ$$α$(A)| $\ge$ min (p, |A|(|A| + 1)/2 -- $α$($α$ + 1)/2 + 1) , the only cases previously known were $α$ $\in$ {0, 1}. The Combinatorial Nullstellensatz is used, for the first time, in a direct and in a reverse way. The direct (and usual) way states that if some coefficient of a polynomial is non zero then there is a solution or a contradiction. The reverse way relies on the coefficient formula (equivalent to the Combinatorial Nullstellensatz). This formula gives an expression for the coefficient as a sum over any cartesian product. For these three addition theorems, some arithmetical progressions (that reach the bounds) will allow to consider cartesian products such that the coefficient formula is a sum all of whose terms are zero but exactly one. Thus we can conclude the proofs without computing the appropriate coefficients.

研究の動機と目的

• 𝔽_p における既知の加法定理を、α ∈ {0,1} に限らない「少なくとも α 個の異なる要素からなる部分和」にまで拡張すること。
• 係数の明示的計算を避けるために、係数公式を用いて Combinatorial Nullstellensatz を逆方向に応用する手法を適用し、直接的証明を可能にすること。
• A ∩ (−A) = ∅ を満たす条件下で、A の互いに異なる要素からなる少なくとも α 個の部分和の集合 Σ_α(A) のサイズに対する鋭い下界を確立すること。
• 対称的および等差数列の構成を用いて、境界に達する構成を統一的かつ一般化すること。

提案手法

• 係数が非ゼロであることを示すのではなく、係数公式を用いて係数を直積集合上の和として表現する逆方向の Combinatorial Nullstellensatz の応用。
• 異なる要素からなる部分和問題の解の個数を符号化する多変数多項式の係数を構成する。
• 係数公式を用いて、A が等差数列であるとき、和のうちちょうど1つの項が非ゼロであることを示し、これにより係数が非ゼロであることを導く。
• 部分和集合の対称性を活用する：Σ_α(A) = (ΣA) − Σ^α(A) であり、これは |Σ_α(A)| = |Σ^α(A)| を意味する。
• 二項係数および二重階乗の式を解析し、特に A = [1,d] のような極値ケースにおける係数の評価を行う。
• 係数が消えないことを検証するため、二項行列式およびボールト数に関する組合せ的恒等式に依存する。

実験結果

リサーチクエスチョン

• RQ1 A ⊂ 𝔽_p で A ∩ (−A) = ∅ を満たす部分集合 A に対して、少なくとも α 個の異なる要素からなる部分和の集合の最小サイズは何か？
• RQ2 係数の明示的計算なしに、Combinatorial Nullstellensatz を逆方向に応用することで、部分和集合のサイズに下界を証明できるか？
• RQ3 Σ_α(A) のサイズは α と |A| にどのように依存するか？ また、どの構成が最小サイズを達成するか？
• RQ4 すべての α ∈ [0, |A|] に対して、|Σ_α(A)| ≥ min{p, |A|(|A|+1)/2 − α(α+1)/2 + 1} という境界は鋭いか？
• RQ5 α = 0,1 の場合に用いられた手法を、対称的および極値的構成を用いて任意の α に一般化できるか？

主な発見

• 本稿では、A ⊂ 𝔽_p で A ∩ (−A) = ∅ を満たす任意の A および任意の α ∈ [0, |A|] に対して、少なくとも α 個の異なる要素からなる部分和の集合のサイズが |Σ_α(A)| ≥ min{p, |A|(|A|+1)/2 − α(α+1)/2 + 1} を満たすことを証明している。
• 境界は鋭く、A が等差数列 [1, |A|] である場合に等号が成立する。このとき Σ^α(A) = [0, |A|(|A|+1)/2 − α(α+1)/2] となり、正確に min{p, |A|(|A|+1)/2 − α(α+1)/2 + 1} 個の要素を持つ。
• 係数公式を逆方向に用いるという本稿の証明技法は、新規性を有する：すべての項が消えるが1つを除き、非ゼロとなる項が存在することから、係数が非ゼロであることが示される。
• α = 0 および α = 1 の場合、この結果は以前に知られていた定理3に帰着するため、すべての α ∈ [0, |A|] に一般化されている。
• 対称的性質および極値的構成（例えば等差数列）を活用することで、明示的な係数計算を避け、係数和における唯一の非ゼロ項を特定している。
• 多項式法と係数公式を組み合わせることで、複雑な部分和問題に対しても鋭い境界を導くことが示された。