[논문 리뷰] Arithmetic progressions in sumsets and L^p-almost-periodicity

Ernie Croot, Izabella Łaba외 1명|arXiv (Cornell University)|2011. 03. 30.

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

한 줄 요약

이 논문은 아벨 군에서의 컨볼루션에 대한 새로운 $L^p$-거의주기성 결과를 수립하며, 확률적 근사 보조정리를 사용하여 그린의 정리(합집합에서의 산술급수 존재성)에 대한 짧은 증명을 제시한다. 희박한 집합의 경우에도 기존 결과를 향상시키며, 밀도가 $N$에 따라 감소할 때조차도 $A+B$가 길이 $\exp\left(c\left(\frac{\alpha\log N}{(\log \beta^{-1})^3}\right)^{1/2} - \log(\beta^{-1}\log N)\right)$인 산술급수를 포함함을 보여준다.

ABSTRACT

We prove results about the L^p-almost-periodicity of convolutions. One of these follows from a simple but rather general lemma about approximating a sum of functions in L^p, and gives a very short proof of a theorem of Green that if A and B are subsets of {1,...,N} of sizes alpha N and beta N then A+B contains an arithmetic progression of length at least about exp(c (alpha beta log N)^{1/2}). Another almost-periodicity result improves this bound for densities decreasing with N: we show that under the above hypotheses the sumset A+B contains an arithmetic progression of length at least about exp(c (alpha log N/(log(beta^{-1}))^3)^{1/2}).

연구 동기 및 목표

• 유한 아벨 군에서의 컨볼루션에 대한 일반적인 $L^p$-거의주기성 결과를 수립하여, 덧셈조합론 문제에 적용 가능하도록 한다.
• 그린의 정리(합집합 $A+B$에서의 장기 산술급수 존재성)에 대한 짧고 확률적인 증명을 제공한다.
• 집합 $A$ 또는 $B$의 밀도가 $N$에 따라 감소할 경우 $A+B$ 내 산술급수의 길이에 대한 하한 경계를 향상시킨다.
• 유한체 환경으로 이러한 결과를 확장하여 $A+B$에 포함된 부분공간의 차원에 대한 경계를 도출한다.
• 작은 두배수 성질을 갖는 결과를 유도하며, $A+B$의 구조가 $K_A$, $K_B$ 등의 두배수 상수와 어떻게 연결되는지 밝힌다.

제안 방법

• 함수를 $L^p$-노름에서 근사화하는 일반 보조정리를 사용하여, 체계적인 푸리에 분석을 피하는 컨볼루션의 거의주기성 결과를 도출한다.
• 핵심 기법은 $L^p$-노름에서 차이 $f(x+t) - f(x)$의 크기가 작은, 제어 가능한 랭크와 반경을 갖는 보르 집합 $T$를 구성하는 확률적 추론이다.
• 향상된 경계를 얻기 위해, 산드르의 두배수 문제 연구 및 루즈라의 모델 보조정리의 통찰을 주요 보조정리와 조합하여 사용한다.
• 이 방법은 $f = 1_A * 1_B$에 적용되며, 코시-슈바르츠 부등식을 통해 $\|\hat{f}\|_{\ell^1}$을 제어함으로써 효과성을 확보한다.
• 결과는 보르 집합을 부분공간으로 대체함으로써 유한체 환경으로 확장되며, 동일한 추론을 통해 $A+B$에 포함된 부분공간의 차원에 대한 경계를 도출한다.
• 부트스트랩 절차를 사용하여 더 구조화된 거의주기 집합을 도출함으로써, $2A - 2A$ 내에 코셋 프로그레션의 포함성을 확보한다.

실험 결과

연구 질문

• RQ1 복잡한 푸리에 분석 기법을 대체할 수 있는 단순한 확률적 추론이 컨볼루션의 거의주기성 증명에 사용될 수 있는가?
• RQ2 집합 $A$와 $B$의 밀도가 작거나 $N$에 따라 감소할 경우 $A+B$ 내 산술급수의 최선의 가능한 하한 길이는 무엇인가?
• RQ3 $A$와 $B$의 두배수 상수 $K_A$와 $K_B$에 따라 $A+B$의 구조는 어떻게 달라지는가?
• RQ4 거의주기성 프레임워크를 유한체 환경에 적응시켜 $A+B$에 대한 더 강력한 구조적 결과를 도출할 수 있는가?
• RQ5 거의주기 집합을 보르 집합이 아닌 더 구조적인 형태(예: 코셋 프로그레션)로 만들 수 있는 정도는 어느 정도인가?

주요 결과

• 새로운 $L^p$-거의주기성 결과가 증명된다: 임의의 $f: G \to \mathbb{C}$에 대해, 랭크 $O(p/\epsilon^2)$와 반경 $\Omega(\epsilon)$를 갖는 보르 집합 $T$가 존재하여, 모든 $t \in T$에 대해 $\|f(x+t) - f(x)\|_{L^p} \leq \epsilon \|\hat{f}\|_{\ell^1}$이 성립한다.
• 이를 $f = 1_A * 1_B$에 적용하면 그린의 정리에 대한 짧은 증명이 도출되며, $A+B$가 최소한 $\exp\left(c(\alpha\beta\log N)^{1/2} - \log\log N\right)$ 길이의 산술급수를 포함함을 보여준다.
• 밀도가 감소할 경우 더 강력한 경계를 증명한다: $A+B$는 최소한 $\exp\left(c\left(\frac{\alpha\log N}{(\log \beta^{-1})^3}\right)^{1/2} - \log(\beta^{-1}\log N)\right)$ 길이의 산술급수를 포함한다.
• 작은 두배수 성질의 경우, $|A+B| \leq K_A|A|, K_B|B|$이면 $A+B$가 최소한 $\exp\left(c\left(\frac{\log|A+B|}{K_B(\log 2K_A)^3}\right)^{1/2} - \log(2K_A\log|2A|)\right)$ 길이의 산술급수를 포함함을 보여준다.
• 유한체 환경 $\mathbb{F}_q^n$에서는 결과로 $A+B$가 최소한 $c\alpha(\log \beta^{-1})^{-3}n / \log q$ 차원의 부분공간의 이동을 포함함을 도출한다.
• 정교화된 결과로, 임의의 $d$에 대해, $A+B$가 최대 $\exp\left(c\alpha(\log \beta^{-1})^{-3}d\right)$ 크기의 부분집합을 포함하는, codimension $d$인 부분공간 $V$의 이동을 포함함을 보여준다.