[논문 리뷰] On large subsets of $F_q^n$ with no three-term arithmetic progression

Jordan S. Ellenberg, Dion Gijswijt|arXiv (Cornell University)|2016. 05. 30.

Limits and Structures in Graph Theory참고 문헌 5인용 수 18

한 줄 요약

이 논문은 Croot, Lev, Pach가 개발한 다항식 방법을 적용하여, $ℝ_q^n$ 내에서 세 항 등차수열을 가지지 않는 부분집합의 크기가 어떤 $c < q$에 대해 $c^n$ 이하로 유계임을 증명한다. 이는 덧셈수학에서 오랫동안 미해결이었던 문제를 해결한다. $q=3$인 경우, $o(2.756^n)$의 지수적 상界를 확립하여 이전 결과를 크게 향상시키며, $2.756^n$을 초과하는 지수적 성장에 대해 캡 문제를 부정적으로 해결한다.

ABSTRACT

In this note, we show that the method of Croot, Lev, and Pach can be used to bound the size of a subset of $F_q^n$ with no three terms in arithmetic progression by $c^n$ with $c &lt; q$. For $q=3$, the problem of finding the largest subset with no three terms in arithmetic progression is called the `cap problem'. Previously the best known upper bound for the cap problem, due to Bateman and Katz, was $O(3^n / n^{1+ε})$.

연구 동기 및 목표

• 세 항 등차수열을 가지지 않는 부분집합의 크기에 대한 상계를 도출하여 $ℝ_3^n$ 내의 캡 문제를 해결하는 것.
• Croot-Lev-Pach 다항식 방법을 $q$가 홀수인 일반적인 유한체 $ℝ_q^n$으로 확장하는 것.
• $r_3((\mathbb{Z}/p\mathbb{Z})^n)^{1/n}$ 이 $n \to \infty$일 때 $p$에서 멀리 떨어져 있음을 증명하여, $p^n$ 근처에서의 지수적 성장이 불가능함을 보이는 것.
• $ℝ_3^n$ 내의 캡 세트에 대한 최良 상계와 최선 하한 사이의 격차를 좁히며, 특히 Bateman과 Katz의 $O(3^n/n^{1+\epsilon})$ 결과를 향상시키는 것.

제안 방법

• 각 변수의 차수 $\leq q-1$인 다항식의 공간 $S_n^d$를 정의하여 Croot-Lev-Pach 다항식 방법을 $ℝ_q^n$에 적응시킴.
• Croot, Lev, Pach의 핵심 보조정리의 일반화된 형태를 사용하여, 서로 다른 $a,b \in A$에 대해 $P(\alpha a + \beta b) = 0$임을 조건으로, 차수 $\leq d$인 다항식 $P$가 영이 아닌 점의 수를 유계로 제한함.
• 행렬 $B_{ab} = P(\alpha a + \beta b)$의 랭크를 분석하여, 그 랭크가 $2m_{d/2}$ 이하임을 보임. 여기서 $m_{d/2}$는 차수 $d/2$의 단항식 공간의 차원임.
• 다항식 $P$가 $-\gamma A$의 여집합에서 0이 되도록 구성하고, 보조정리 2의 지지집합 유계를 적용하여 $|A| \leq 2m_{d/2} + (q^n - m_d)$라는 부등식을 도출함.
• 최적화를 위해 $d = 2(q-1)n/3$로 설정하여 $|A| \leq 3m_{(q-1)n/3}$를 얻고, 대칭 이탈 이론을 적용하여 $m_{(q-1)n/3}/q^n$ 이 지수적으로 감소함을 보임.
• Cramér의 정리를 적용하여 속도 함수 $I((q-1)/3)$를 계산하고, $m_{(q-1)n/3} = O(c^n)$ for $c < q$임을 증명함으로써 최종적인 지수적 상계를 도출함.

실험 결과

연구 질문

• RQ1 Croot-Lev-Pach 다항식 방법을 $ℝ_4^n$에서 홀수 $q$에 대해 일반적인 $ℝ_q^n$으로 확장할 수 있는가?
• RQ2 $ℝ_3^n$ 내의 최대 캡 세트의 크기는 어떤 $c < 3$에 대해 $c^n$ 이하로 유계가 되는가?
• RQ3 $n$이 증가함에 따라 $r_3((\mathbb{Z}/p\mathbb{Z})^n)^{1/n}$ 이 $p$에서 멀리 떨어져 있음을 보장할 수 있는가? 이는 $p^n$ 근처에서의 지수적 성장이 불가능함을 의미한다.
• RQ4 Bateman과 Katz의 결과인 $O(3^n/n^{1+\epsilon})$을 초월하여 캡 세트에 대한 상계를 향상시킬 수 있는가?
• RQ5 $ℝ_3^n$ 내에서 세 항 등차수열을 가지지 않는 부분집합 $A$에 대해 $|A| = O(c^n)$을 만족하는 최적의 지수적 기저 $c$는 무엇인가?

주요 결과

• 이 논문은 임의의 홀수 소수 거듭제곱 $q$에 대해, $ℝ_q^n$ 내에서 세 항 등차수열을 가지지 않는 부분집합의 크기가 어떤 $c < q$에 대해 $O(c^n)$임을 증명하여, $q^n$ 근처에서의 지수적 성장 문제에 대해 부정적인 답변을 제시한다.
• $q = 3$인 경우, 상계는 $|A| = o(2.756^n)$로 정량화되며, 이는 이전까지의 최선 상계인 $O(3^n/n^{1+\epsilon})$보다 크게 향상된다.
• 이 방법은 $m_{(q-1)n/3}/q^n$ 이 지수적으로 감소함을 증명하며, 감소율은 대칭 이탈 이론에서의 속도 함수 $I((q-1)/3)$에 의해 결정된다.
• 핵심 부등식 $|A| \leq 3m_{(q-1)n/3}$ 는 다항식 랭크 분석과 지지집합 수세기 방법을 통해 유도되며, 지수적 상계의 핵심이 된다.
• $r_3((\mathbb{Z}/p\mathbb{Z})^n)^{1/n}$ 이 $n \to \infty$일 때 $p$에서 멀리 떨어져 있음을 보여, 크기가 $\sim p^n$인 캡 세트는 존재하지 않음을 의미한다.
• $q=3$에 대해 $c < 2.756$인 상계는 Cramér의 정리에서의 최적화 문제의 해를 사용하여 명시적으로 계산되었다. 여기서 $e^\theta = (\sqrt{33} - 1)/8$이다.