[논문 리뷰] A probabilistic technique for finding almost-periods of convolutions

Ernie Croot, Olof Sisask|arXiv (Cornell University)|2010. 03. 15.

Limits and Structures in Graph Theory참고 문헌 29인용 수 4

한 줄 요약

이 논문은 임의의 군 내 부분집합의 콘볼루션에서 거의 주기성을 찾는 새로운 확률적 방법을 제안하며, 푸리에 분석을 필요로 하지 않는다. 국소 조건 하에서 $L^2$-거의 주기성 결과를 확립함으로써, 아벨 및 비아벨 환경 모두에서 로스 정리와 구조적 곱집합 정리의 새로운 증명을 가능하게 하며, 특히 소수성 조건을 만족하고 이중화 또는 높은 곱셈 에너지를 가진 집합에 대해 유용하다.

ABSTRACT

We introduce a new probabilistic technique for finding 'almost-periods' of convolutions of subsets of groups. This gives results similar to the Bogolyubov-type estimates established by Fourier analysis on abelian groups but without the need for a nice Fourier transform to exist. We also present applications, some of which are new even in the abelian setting. These include a probabilistic proof of Roth's theorem on three-term arithmetic progressions and a proof of a variant of the Bourgain-Green theorem on the existence of long arithmetic progressions in sumsets A+B that works with sparser subsets of {1, ..., N} than previously possible. In the non-abelian setting we exhibit analogues of the Bogolyubov-Freiman-Halberstam-Ruzsa-type results of additive combinatorics, showing that product sets A B C and A^2 A^{-2} are rather structured, in the sense that they contain very large iterated product sets. This is particularly so when the sets in question satisfy small-doubling conditions or high multiplicative energy conditions. We also present results on structures in product sets A B. Our results are 'local' in nature, meaning that it is not necessary for the sets under consideration to be dense in the ambient group. In particular, our results apply to finite subsets of infinite groups provided they 'interact nicely' with some other set.

연구 동기 및 목표

• 임의의 군 내 부분집합의 콘볼루션에서 거의 주기성을 특정하는 새로운 확률적 방법을 개발함으로써, 푸리에 분석에 의존하지 않도록 하는 것.
• 기존의 푸리에 분석 도구가 실패하는 비아벨 및 희박한 설정으로 보고된 보고리유크-타입 및 프라이먼-타입 결과를 확장하는 것.
• 집합이 그 환경 군 내에서 밀도가 높지 않더라도 적용 가능한 국소적 거의 주기성 정리의 버전을 제공하는 것.
• 로스 정리와 같은 고전적 결과들, 특히 정수에서의 세 항 등차수열에 대한 로스 정리의 새로운 확률적 증명을 제공하는 것.
• 작은 이중화 또는 높은 에너지 조건 하에서 곱집합 $A_1 \cdot A_2 \cdot A_3$ 및 $A^2 \cdot A^{-2}$의 구조적 성질을 규명하는 것.

제안 방법

• 콘볼루션 $1_A * 1_B$ 가 $TT^{-1}$ 내 원소에 의한 왼쪽 이동에서 거의 주기적이게 되는 큰 부분집합 $T \subseteq S$ 를 식별하기 위한 확률적 선택 과정을 도입한다.
• 히퍼기하분포와 이항분포의 모멘트 한계를 사용하여 콘볼루션 값의 편차를 제어하며, 후프딩의 부등식과 모멘트 생성 함수 추정치를 활용한다.
• 독립적인 베르누이 변수의 합에 대한 尾추정치를 도출하기 위해 농도 불등식(예: 체르노프 유형의 경계)을 적용함으로써 $L^2$-노름 편차를 제어한다.
• 차이 $\|1_A*1_B(xt) - 1_A*1_B(x)\|_2^2$ 의 $L^2$-노름을 尾적분으로 분해하고, 지수 모멘트 한계를 사용하여 이를 유계화한다.
• 이항분포 변수에 대한 $\mathbb{E}|X - np|^{2m}$ 의 bound 문제를 감마함수와 지수적 적분 추정치로 환원하여 $n, p, m$ 에 대해 다항식 한계를 도출한다.
• 볼록 확률적 순서를 통해 히퍼기하분포와 이항분포의 모멘트를 비교함으로써, 알려진 이항분포 모멘트 한계를 히퍼기하분포 설정으로 이전할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 푸리에 분석에 의존하지 않고도 임의의 군 내에서 콘볼루션의 거의 주기성을 확립할 수 있는가?
• RQ2 전체 밀도 가정 대신 국소 조건(예: $|B \cdot S| \leq K|B|$)이 콘볼루션 구조 정리에서 얼마나 널리 적용될 수 있는가?
• RQ3 이 확률적 방법이 정수에서의 세 항 등차수열에 대한 로스 정리의 새로운 증명을 도출할 수 있는가?
• RQ4 집합 $A$ 가 작은 이중화 또는 높은 곱셈 에너지를 가질 경우, 곱집합 $A_1 \cdot A_2 \cdot A_3$ 와 $A^2 \cdot A^{-2}$ 에서 어떤 구조적 성질이 나타나는가?
• RQ5 이러한 결과들이 비아벨 군으로 어떻게 일반화되며, 특히 강한 근사군과 합집합 구조의 맥락에서 어떻게 적용되는가?

주요 결과

• 임의의 유한 부분집합 $A, B \subseteq G$ 와 $\epsilon \in (0,1)$ 에 대해, 조건 $|B \cdot S| \leq K|B|$ 하에서 $|T| \geq |S| / (2K)^{9/\epsilon^2}$ 를 만족하는 집합 $T \subseteq S$ 가 존재하며, 모든 $t \in TT^{-1}$ 에 대해 $\|1_A*1_B(xt) - 1_A*1_B(x)\|_2^2 \leq \epsilon^2 |A||B|^2$ 이다.
• 이 방법은 $\{1, \ldots, N\}$ 내에서 세 항 등차수열에 대한 로스 정리의 확률적 증명을 제공하며, 밀도 $\beta > 0$ 인 집합에 대해 유효하다.
• 보운-그린 정리의 변종으로, 이전까지 알려진 것보다 더 희박한 집합에 대해서도 합집합 $A + B$ 내에서 긴 등차수열이 존재함을 증명할 수 있으며, 동일한 확률적 프레임워크 내에서 성립한다.
• 비아벨 설정에서는, 집합 $A$ 가 작은 이중화 또는 높은 곱셈 에너지 조건을 만족할 경우 곱집합 $A_1 \cdot A_2 \cdot A_3$ 와 $A^2 \cdot A^{-2}$ 가 매우 큰 반복 곱집합을 포함한다.
• 결과는 국소적이다: $A$ 와 $B$ 가 희박하더라도, 어떤 큰 집합 $S$ 와 잘 상호작용한다면, 조건 $|B \cdot S| \leq K|B|$ 에 의해 형식화된 바와 같이 적용 가능하다.
• 이 방법은 이항분포 및 히퍼기하분포의 모멘트 한계를 통해 일반 함수로 확장 가능하며, 이항변수에 대해 $\mathbb{E}|X - np|^{2m} \leq 2(3mnp + m^2)^m$ 이 성립함을 보여, 콘볼루션 편차를 정밀하게 제어할 수 있다.