[논문 리뷰] Asymptotic upper bounds on progression-free sets in $\mathbb{Z}_p^n$

Dion Gijswijt|arXiv (Cornell University)|2016. 05. 18.

Limits and Structures in Graph Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 $ O(p^{cn}) $의 渐近적 상한을 $ \bbZ_p^n $에서의 등차수열-free 부분집합의 크기로 확립한다. 여기서 $ c = 1 - \frac{1}{18/\log p} < 1 $이며, 이는 최적화된 다항식 방법을 사용하여 유도된다. $ p=3 $인 경우, 이는 $ \bbF_3^n $에서의 애핀 캡에 대해 $ O(2.84^n) $의 상한을 제공하며, 이는 이전의 상한을 향상시키고 지수 범위에서 가장 잘 알려진 하한과 일치한다.

ABSTRACT

We show that any subset of $\mathbb{Z}_p^n$ ($p$ an odd prime) without $3$-term arithmetic progression has size $O(p^{cn})$, where $c:=1-\frac{1}{18\log p}&lt;1$. In particular, we find an upper bound of $O(2.84^n)$ on the maximum size of an affine cap in $GF(3)^n$.

연구 동기 및 목표

• 홀수 소수 $ p $에 대해 $ \bbZ_p^n $에서의 등차수열-free 부분집합의 크기에 대한 더 낫게 조여진 渐近적 상한을 확립함으로써 이전 결과를 향상시키는 것.
• Croot, Lev, Pach의 다항식 방법을 $ \bbZ_4^n $의 경우를 초월하여 홀수 소수에 대해 $ \bbZ_p^n $로 확장하는 것.
• 특히 $ p=3 $인 경우 Meshulam의 $ O(p^n / n) $ 상한과 Bateman-Katz의 $ O(3^n / n^{1+\epsilon}) $ 상한에 비해 정량적 개선을 제공하는 것.
• 일반적인 상한 $ O(p^{cn}) $ 형태를 유도하며, 이때 $ c < 1 $임을 보여주어 자명한 $ p^n $ 상한 대비 지수적 감소를 보이는 것.

제안 방법

• 다변수 다항식을 $ \bbF_p $에서 사용하며, 각 변수의 차수를 $ p-1 $ 이하로 제한함.
• 저차수 다항식 공간 $ L_{n,d} $의 차원을 추정하기 위해 Hoeffding의 부등식을 적용함. 특히 $ d = \frac{1}{3}(p-1)n $인 경우에 초점.
• 다항식 $ f(x+y) $의 평가를 통해 대칭 이차형식을 도입하고, $ A \times A $ 행렬의 구조를 활용하여 등차수열-free 집합을 상한함.
• $ C = \{a+a \mid a \in A\} $의 합집합에 대해 0이 되는 부분공간 $ K $와 차수 $ \frac{2}{3}(p-1)n $ 이하의 다항식 공간 $ L $의 교차인 부분공간 $ V = K \cap L $을 구성함으로써 $ A $의 크기를 통제함.
• 행렬 $ M_{a,b} = f(a+b) $의 질량을 이용한 차수 제약을 통해, Proposition 2를 통해 $ A $의 크기와 저차수 다항식 공간의 차원을 연결함.
• 쌍대성과 차원 수세기: $ \dim V \geq |C| - p^{cn} $이며, $ C' \subseteq C $에서의 0이 아닌 다항식을 구성함으로써 $ |A| \leq 3p^{cn} $임을 증명함.

실험 결과

연구 질문

• RQ1 홀수 소수 $ p $에 대해 $ \bbZ_p^n $에서의 등차수열-free 부분집합의 크기에 대한 최선의 가능한 渐近적 상한은 무엇인가?
• RQ2 다음의 다항식 방법이 $ \bbZ_4^n $의 경우에만 적용된 바가 있는데, 이를 홀수 소수에 대해 $ \bbZ_p^n $로 확장할 수 있으며, 어떤 개선을 가져오는가?
• RQ3 $ p=3 $인 경우, 새로운 상한이 Meshulam과 Bateman-Katz의 이전 최고 상한과 어떻게 비교되는가?
• RQ4 상한의 지수를 $ p^n $ 이하로 개선할 수 있는가? 그리고 $ |A| = O(p^{cn}) $를 만족하는 최적의 $ c $ 값은 무엇인가?
• RQ5 $ \bbF_3^n $에서의 애핀 캡 크기에 대한 가장 날카운 상한은 무엇인가?

주요 결과

• 모든 홀수 소수 $ p $에 대해, $ \bbZ_p^n $에서의 등차수열-free 부분집합의 크기는 $ O(p^{cn}) $로 상한이 주어지며, 여기서 $ c = 1 - \frac{1}{18\log p} < 1 $이다. 이는 자명한 $ p^n $ 상한 대비 지수적 감소를 보여준다.
• $ p=3 $인 경우, 상한은 $ O(2.84^n) $로 개선되며, 이는 Bateman와 Katz의 이전 최고 상한 $ O(3^n / n^{1+\epsilon}) $보다 더 낫다.
• $ \bbF_3^n $에서의 애핀 캡에 대해 $ O(2.84^n) $ 상한은 가장 잘 알려진 하한 $ \Omega(2.2174^n) $와 상수 인자 범위 내에 있어, 강력한 渐近적 날카로움을 보여준다.
• 낮은 차수 다항식 공간의 차원을 추정하기 위해 Hoeffding의 부등식을 정교하게 적용함으로써 지수 $ c $를 도출함.
• 증명은 등차수열-free 집합 $ A $의 크기가 $ |A| \leq 3p^{cn} $임을 보이며, 이는 다항식 공간의 차원 수세기와 행렬 $ f(a+b) $의 질량 분석을 통한 등호 조건에서 유도된다.
• 결과는 Jordan S. Ellenberg에 의해 별도로 확보되었으며, 이후 두 논문이 통합되어 공동 출판되었으며, 이는 상한의 강건성과 중요성을 확인한다.