[논문 리뷰] Progression-free sets in Z_4^n are exponentially small

Ernie Croot, Vsevolod F. Lev외 1명|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2016. 05. 05.

Limits and Structures in Graph Theory참고 문헌 9인용 수 98

한 줄 요약

저자들은 Z_4^n의 진행 불가능 부분집합의 크기가 최대 4^{γ n}으로, γ ≈ 0.926인 경우 이전 경계를 개선하는 다항식 방법을 사용해 증명한다.

ABSTRACT

We show that for integer $n>0$, any subset $A \subset Z_4^n$ free of three-term arithmetic progressions has size $|A| < 4^{c n}$, with an absolute constant $c \approx 0.926$.

연구 동기 및 목표

• 유한 아벨 군에서 진행 불가능한 집합의 연구를 동기 부여하고, Roth 유형 문제를 Z_4^n 및 관련 그룹으로 확장한다.
• Z_4^n에서 진행 불가능한 부분집합의 최대 크기에 대한 정량적 경계를 이전 결과를 넘어서 개선한다.
• 푸리에 해석적 밀도 증가 전략을 회피하는 새로운 방법(다항식 접근법)을 보여준다.
• rk_4(G)를 기반으로 일반적인 유한 아벨 군에 대한 은 유도 코업을 제공한다.

제안 방법

• 다항식 보조정리 도입: A의 서로 다른 원소 a,b에 대해 P(a−b)=0이고 deg P ≤ d일 때, 크기 제약 아래 P(0)=0가 되도록 하여 A가 작지 않으면 모순에 이르는 결과를 얻는다.
• 큰 F_n-동치류를 포함하는 A 원소의 수를 제어하기 위해 |A| > 2 sum_{i≤d/2} binom(n,i)로 부호화/엔트로피 한계를 사용한다.
• Z_4^n으로의 환원과 F_n(자발성으로 생성된 부분군)을 고려하여 A를 분할하고 동치류 개수를 한정한다.
• 고정된 n에 대한 경계에서 모든 n에 대한 경계로 넘어가기 위해 텐서-파워 기법을 적용하여 명시된 지수적 경계 4^{γ n}을 달성한다.
• 유한 아벨 군에 대한 corollary로 rk_4(G)와 r_3(G) 사이의 관계를 제시한다.

실험 결과

연구 질문

• RQ1 진행 불가능한 부분집합의 최대 크기 r_3(Z_4^n)은 얼마인가?
• RQ2 다항식 방법이 짝수 차수 그룹에서 푸리에 기반 밀도 증가 접근법에 비해 지수적 향상을 낼 수 있는가?
• RQ3 일반 유한 아벨 군에서 rk_4(G) 매개변수가 r_3(G)에 어떤 영향을 미치는가?
• RQ4 진행 불가능한 A ⊆ Z_4^n에 대해 |A| ≤ 4^{γ n}에서 달성될 수 있는 명시적 γ는 무엇인가?

주요 결과

• 그들은 모든 진행 불가능한 A ⊆ Z_4^n에 대해 |A| ≤ 4^{γ n}를 증명하며 γ ≈ 0.926이다.
• 다항식 기반 보조정리를 확립하여 서로 다른 a,b에 대해 P(a−b)=0가 성립하면 크기 제약 아래 P(0)=0이 되도록 강제한다.
• A의 많은 원소를 포함하는 F_n-동치류의 수가 촘촘하게 한정되어 주된 지수적 경계로 이어진다.
• 고유 아벨 군 G에 대해 corollary가 r_3(G) ≤ 4^{-(1−γ)n}|G|를 주며 여기서 n = rk_4(G)이다.
• 결과는 고전적 푸리에/밀도 증가 전략 대신 다항식 방법을 사용하며 이 맥락에서 새로운 기법으로 간주된다.