[논문 리뷰] A Szemeredi-type regularity lemma in abelian groups, with applications

Ben Green|ArXiv.org|2003. 10. 30.

Limits and Structures in Graph Theory참고 문헌 8인용 수 111

한 줄 요약

이 논문은 아벨 군에 대해 슈메레디 유형의 정규성 레마를 수립하여 고전적 그래프 정규성 레마를 가군 수학으로 확장한다. 이는 선형 방정식(예: $x+y=z$)의 해가 적은 집합이 구조적 부분(합-free 또는 삼각형-free)과 소규모 오차 집합으로 분해될 수 있음을 보여주며, 거의 합-free 집합과 밀도가 높은 집합 내 등차수열에 대한 정량적 구조 정리들을 이끌어낸다.

ABSTRACT

Szemeredi's regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemeredi's regularity lemma in the context of abelian groups and use it to derive some results in additive number theory. One is a structure theorm for sets which are almost sum-free. If A is a subset of [N] which contains just o(N^2) triples (x,y,z) such that x + y = z then A may be written as the union of B and C, where B is sum-free and |C| = o(N). Another answers a question of Bergelson, Host and Kra. If alpha, epsilon > 0, if N > N_0(alpha,epsilon) and if A is a subset of {1,...,N} of size alpha N, then there is some non-zero d such that A contains at least (alpha^3 - epsilon)N three-term arithmetic progressions with common difference d.

연구 동기 및 목표

• 그래프에서의 슈메레디 정규성 레마를 아벨 군으로 확장하여 가군수학 이론의 구조적 도구를 제공한다.
• 선형 방정식의 해가 거의 없는 집합, 즉 '거의' 합-free이거나 선형 방정식의 해가 적은 집합을 특성화하는 문제를 다룬다.
• 이러한 집합이 합-free 또는 삼각형-free인 구조적 부분과 무시할 수 있는 오차 집합으로 분해될 수 있음을 증명한다.
• 베르게르송, 호스트, 크라가의 질문에 답한다: 많은 3항 등차수열을 포함하는 밀도가 높은 집합에서 공통 차수 $d \neq 0$가 존재하는가?
• 그래프의 수세기 레마에 해당하는 아벨 군용 수세기 레마를 수립하여 정량적 응용이 가능하게 한다.

제안 방법

• 아벨 군 위의 함수에 대해 정규성 레마를 도입하며, 함수 $f: G \to [0,1]$에 대해 $\varepsilon$-정규성을 부분군에 대해 정의한다.
• $G = (\mathbb{Z}/2\mathbb{Z})^n$ 위에서 확률적 구성법을 사용해, 임의의 $\varepsilon$-정규 부분군이 매우 큰 지수를 가져야 하는 함수 $f$를 구성한다.
• 가군 설정에서의 축소 그래프와 정규성 조건을 정의하며, 그래프 이론적 프레임워크를 일반화한다.
• 직교 벡터 $\xi_v$를 사용해 부분군의 잔여류의 합집합으로서 집합 $B_i$를 구성한다.
• 푸리에 분석 기법을 적용해 함수의 제한에 대한 푸리에 계수를 유계화하여, 부분군이 작지 않으면 정규성이 성립하지 않음을 보장한다.
• 아벨 군에 대해 수세기 레마의 유사체를 증명하여, 정규 쌍이 선형 방정식의 해의 수를 제어함을 보여준다.

실험 결과

연구 질문

• RQ1 그래프의 슈메레디 정규성 레마와 유사한 아벨 군의 맥락에서 정규성 레마를 구성할 수 있는가?
• RQ2 선형 방정식 $x+y=z$에 대해 $o(N^2)$개의 해를 가진 집합은 어떤 구조를 가지며, 이를 합-free 집합과 소규모 오차 집합으로 분해할 수 있는가?
• RQ3 충분히 큰 $N$에 대해, $\{1,\dots,N\}$의 밀도가 높은 부분집합은 항상 $d \neq 0$인 공통 차수를 가진 3항 등차수열을 포함하는가?
• RQ4 아벨 군의 정규성 레마는 $a_1 + \cdots + a_k = 0$와 같은 선형 방정식의 해의 수를 어떻게 제어하는가?
• RQ5 함수 $f$가 주어진 $G = (\mathbb{Z}/2\mathbb{Z})^n$에서 $\varepsilon$-정규가 되는 부분군의 최소 크기는 얼마이며, 이는 함수의 구조와 어떻게 관련되는가?

주요 결과

• 아벨 군에 대해 정규성 레마가 수립되었으며, 임의의 함수 $f: G \to [0,1]$는 푸리에 계수를 제어할 수 있는 부분군의 분할을 가진다.
• 집합 $A \subseteq \{1,\dots,N\}$가 $\delta N^2$개의 해를 가진다면, $A = B \cup C$로 분해되며, $B$는 합-free이고 $|C| = \delta' N$이며, $\delta' \to 0$일 때 $\delta \to 0$이다.
• 모든 $\alpha, \epsilon > 0$에 대해, $N > N_0(\alpha, \epsilon)$ 이고 $A \subseteq \{1,\dots,N\}$의 크기가 $\alpha N$이라면, $d \neq 0$가 존재하여 $A$는 차수 $d$를 가진 $(\alpha^3 - \epsilon)N$개 이상의 3항 등차수열을 포함한다.
• $k$개의 아벨 군 $G$의 부분집합에서 $a_1 + \cdots + a_k = 0$의 해의 수는 정규성에 의해 제어된다: 만약 해의 수가 $o(N^{k-1})$이라면, 각 집합에서 $o(N)$개의 원소를 제거하면 모든 해가 제거된다.
• $G = (\mathbb{Z}/2\mathbb{Z})^n$에서 함수 $f: G \to [0,1]$가 존재하여, 임의의 $\varepsilon$-정규 부분군 $H$에 대해 $|G/H| \geq W(\frac{1}{2}\log_2(1/\varepsilon) - 5)$를 만족함을 보여, 정규 부분군이 매우 작을 수 있음을 보여준다.
• 정규성 레마와 수세기 레마가 함께 적용되면, 아벨 군의 부분집합에서 $o(N^2)$개의 삼각형은 $o(N)$개의 원소를 제거함으로써 제거 가능하며, 이는 삼각형이 없는 집합을 얻는다.