[논문 리뷰] The Erdős-Szemerédi problem on sum set and product set

Mei-Chu Chang|arXiv (Cornell University)|2004. 02. 17.

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

한 줄 요약

이 논문은 덧셈 수학에서 핵심 추측을 해결하며, 정수의 $k$-원소 부분집합 전역에서 합집합과 곱집합 크기의 합의 점점 커지는 비율을 규명한다. 프라이먼의 정리, 삼각 다항식 추정, 루즈라의 플룬네케 유형 부등식을 조합한 새로운 접근법을 사용하여 저자들은 $\ln g(k) \sim \frac{(\ln k)^2}{\ln \ln k}$를 증명하며, 에르되시-슈메레디 추측이 $g(k)$의 초다항적 성장에 대해 참임을 확인한다.

ABSTRACT

The basic theme of this paper is the fact that if $A$ is a finite set of integers, then the sum and product sets cannot both be small. A precise formulation of this fact is Conjecture 1 below due to Erd\H os-Szemerédi [E-S]. (see also [El], [T], and [K-T] for related aspects.) Only much weaker results or very special cases of this conjecture are presently known. One approach consists of assuming the sum set $A + A$ small and then deriving that the product set $AA$ is large (using Freiman's structure theorem). (cf [N-T], [Na3].) We follow the reverse route and prove that if $|AA| < c|A|$, then $|A+A| > c^\prime |A|^2$ (see Theorem 1). A quantitative version of this phenomenon combined with Plünnecke type of inequality (due to Ruzsa) permit us to settle completely a related conjecture in [E-S] on the growth in $k$. If $$ g(k) \equiv ext{min}\{|A[1]| + |A\{1\}|\} $$ over all sets $A\subset \Bbb Z$ of cardinality $|A| = k$ and where $A[1]$ (respectively, $A\{1\}$) refers to the simple sum (resp., product) of elements of $A$. (See (0.6), (0.7).) It was conjectured in [E-S] that $g(k)$ grows faster than any power of $k$ for $k o\infty$. We will prove here that $\ell n g(k)\sim\frac{(\ell n k)^2}{\ell n \ell n k}$ (see Theorem 2) which is the main result of this paper.

연구 동기 및 목표

• 모든 $k$-원소 집합 $A \subset \mathbb{N}$ 에 대해 $g(k) = \min \{ |A[1]| + |A\{1\}| \}$ 의 초다항적 성장에 관한 에르되시-슈메레디의 추측 2를 해결하는 것.
• 삼각 다항식 추정을 포함하는 새로운 방법을 통해, 곱집합 $A^2$ 가 작을 경우 합집합 $2A$ 의 크기에 대한 정량적 하한을 도출하는 것.
• 플룬네케 유형 부등식을 적용하여, 합집합의 크기와 곱집합의 크기 간의 관계를 분석하는 것.
• $\ln g(k)$ 에 대한 정확한 점점 커지는 공식을 유도하여, $k \to \infty$ 일 때 $g(k)$ 의 추측된 성장률을 확인하는 것.
• 곱집합의 구조를 제어하고 주요 추정을 뒷받침하기 위해 유한 집합의 곱셈 차원 개념을 도입하고 분석하는 것.

제안 방법

• 만일 $|A^2| < \alpha |A|$ 이면, $A$ 가 제어 가능한 크기와 곱셈 차원을 갖는 일반화된 기하급수적 진행에 포함됨을 보여주는 프라이먼의 정리의 개선된 형태를 적용하는 것.
• 루딘의 정신에 따라 삼각 다항식 추정을 사용하여 지수합 $\left| \sum_{a \in A} e^{2\pi i a x} \right|^{2h}$ 의 $L^{2h}$-노름을 제한함으로써 $hA$ 의 크기를 제어하는 것.
• 유한 집합의 곱셈 차원 개념을 도입하여 곱집합의 구조적 복잡도를 정량화하고 삼각합에 대한 균일한 하한을 도출하는 것.
• 정리 1의 합집합 하한과 루즈라의 플룬네케 유형 부등식을 결합하는 것.
• 라츠코비치와 루즈라의 동형 부분집합 수에 관한 결과를 활용하여 $A[1]$ 과 $A\{1\}$ 의 크기를 곱셈 차원과 로그 인자로 제한하는 것.
• 이중 세는 방법과 로그 추정을 적용하여 $g(k)$ 의 최종 점점 커지는 형태를 도출하며, 합집합과 곱집합 크기의 성장 간 균형을 맞추는 것.

실험 결과

연구 질문

• RQ1 모든 $k$-원소 부분집합 $A \subset \mathbb{N}$ 에 대해 $g(k) = \min \{ |A[1]| + |A\{1\}| \}$ 의 정확한 점점 커지는 성장률은 무엇인가요?
• RQ2 에르되시-슈메레디 추측에 따르면 $g(k)$ 가 $k$ 의 어떤 다항식보다도 더 빠르게 증가한다고 보고되었는데, 이것이 확인될 수 있으며, 만약 그렇다면 정확한 비율은 무엇인가요?
• RQ3 곱집합 $A^2$ 가 작을 경우 합집합 $2A$ 의 크기는 어떻게 행동하며, 이를 정량화할 수 있을까요?
• RQ4 정수의 유한 집합의 어떤 구조적 성질이 합집합과 곱집합 성장 간의 상호작용을 규정합니까?
• RQ5 집합의 곱셈 차원이 삼각합에 대한 균일한 하한과 따라서 합집합 크기에 대한 균일한 하한을 도출하는 데 도구로 사용될 수 있을까요?

주요 결과

• 논문은 $\ln g(k) \sim \frac{(\ln k)^2}{\ln \ln k}$ 를 증명하며, 이것이 주요 결과이자 에르되시-슈메레디 추측이 $g(k)$ 의 초다항적 성장에 대해 참임을 확인함을 보여준다.
• 정량적 하한이 확립된다: $|A^2| < \alpha |A|$ 이면 $|2A| > 36^{-\alpha} |A|^2$ 를 만족하며, 이는 작은 곱집합이 큰 합집합을 강제함을 보여준다.
• 일반적인 하한 $|hA| > c_h(\alpha) |A|^h$ 를 도출하며, 여기서 $c_h(\alpha) = (2h^2 - h)^{-h\alpha}$ 이고, $|A^2| < \alpha |A|$ 일 때 성립한다.
• 상한은 $g(k) < k^{(1+\varepsilon) \frac{\ln k}{\ln \ln k}}$ 로 보여지며, 임의의 $\varepsilon > 0$ 과 충분히 큰 $k$ 에 대해 성립하며, 지수 상수의 차이를 제외하고 하한과 일치한다.
• 루즈라의 개선을 가정할 경우 하한이 $g(k) > k^{(\frac{1}{2} - \varepsilon) \frac{\ln k}{\ln \ln k}}$ 로 향상되며, 초기의 $\frac{1}{8}$-하한보다 더 강력하다.
• 논문은 곱셈 차원의 개념을 도입하고 이를 발전시켜 곱집합의 구조를 제어하고 삼각합에 대한 균일한 추정을 도출하는 데 사용한다.