[논문 리뷰] Addition Theorems in Fp via the Polynomial Method

Éric Balandraud|arXiv (Cornell University)|2017. 02. 21.

Mathematics and Applications인용 수 3

한 줄 요약

이 논문은 유한체 𝔽_p에서 일반화된 덧셈 정리 증명을 위해 조합적 닐스텐젠젠(Combinatorial Nullstellensatz)과 그 계수 공식을 새로운 방식으로 뒤집어쓰는 응용을 사용한다. A ⊂ 𝔽_p 이며 A ∩ (−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}의 경우를 넘어서 최소 α개의 서로 다른 원소를 가진 부분합으로 확장하는 것.
• 계수 공식을 통해 조합적 닐스텐젠젠을 뒤집어쓰는 방식으로 적용하여, 계수를 직접 계산하지 않고도 직접적인 증명을 가능하게 하는 것.
• 조건 A ∩ (−A) = ∅ 하에, A의 서로 다른 원소 최소 α개의 부분합 집합 Σ_α(A)의 크기에 대한 날카운 하한을 설정하는 것.
• 대칭 및 등차수열 구성 방식을 통해 최적의 결과를 달성하는 하한을 통합하고 일반화하는 것.

제안 방법

• 조합적 닐스텐젠젠을 뒤집어쓰는 방식으로 적용: 계수가 비영이 되어 해가 존재함을 보이는 대신, 계수 공식을 사용하여 계수를 카티esian 곱 위의 합으로 표현한다.
• 다항식을 구성하여, 이 계수에 서로 다른 원소를 가진 부분합 문제의 해의 수가 암묵적으로 포함되도록 한다.
• 계수 공식을 사용하여 A가 등차수열일 경우 합에 정확히 하나의 항만 비영이 되므로 계수가 비영임을 보인다.
• 부분합 집합의 대칭 성질을 활용: Σ_α(A) = (ΣA) − Σ^α(A), 이는 |Σ_α(A)| = |Σ^α(A)| 를 의미한다.
• 이계수 및 이중 계승 표현을 분석하여 다항식의 계수를 평가하며, 특히 A = [1,d]와 같은 극한 경우를 중심으로 분석한다.
• 특수한 구성에서 계수가 0이 되지 않음을 확인하기 위해 이항계수 행렬식과 보틀렛 수(Ballot numbers)를 포함한 조합 항등식에 의존한다.

실험 결과

연구 질문

• RQ1 A ⊂ 𝔽_p 이며 A ∩ (−A) = ∅ 를 만족할 때, 최소 α개의 서로 다른 원소를 가진 부분합 집합의 크기의 최소 가능한 크기는 얼마인가?
• RQ2 조합적 닐스텐젠젠을 계수를 직접 계산하지 않고도 계수 공식을 통해 뒤집어쓰는 방식으로 적용하여 부분합 집합의 크기에 하한을 증명할 수 있는가?
• RQ3 Σ_α(A)의 크기는 α와 |A|에 따라 어떻게 달라지며, 어떤 구성이 최소 크기를 달성하는가?
• RQ4 모든 α ∈ [0, |A|]에 대해 |Σ_α(A)| ≥ min{p, |A|(|A|+1)/2 − α(α+1)/2 + 1} 이라는 하한이 날카로운가?
• RQ5 α = 0,1에 대해 사용된 방법을 대칭적이고 극한 구성 방식을 통해 임의의 α로 일반화할 수 있는가?

주요 결과

• 논문은 임의의 A ⊂ 𝔽_p 이며 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} 개의 원소를 가진다.
• 계수 공식을 뒤집어쓰는 방식으로 계수를 비영으로 이끌어내는 증명 기법은 새로운 것으로, 모든 항이 0이 되고 오직 하나의 항만 비영이 되는 카티esian 곱을 선택함으로써 계수가 비영임을 유도한다.
• α = 0 및 α = 1일 경우, 결과는 이전에 알려진 정리 3로 축소되므로, 모든 α ∈ [0, |A|]로 일반화된 것이다.
• 계수를 직접 계산하지 않고 대칭 성질과 극한 구성(예: 등차수열)을 활용하여 계수 합에서 오직 하나의 비영항만 분리함으로써 계수 계산을 피한다.
• 이 방법은 다항식 방법과 계수 공식이 결합될 경우 복잡한 부분합 문제에서도 날카로운 하한을 도출할 수 있음을 보여준다.