[논문 리뷰] On a theorem of Schoen and Shkredov on sumsets of convex sets

Liangpan Li|arXiv (Cornell University)|2011. 08. 22.

Limits and Structures in Graph Theory참고 문헌 17인용 수 20

한 줄 요약

이 논문은 실수에서의 볼록 집합의 합집합 크기의 하한을 향상시켜 $|A+A| \gg \frac{|A|^{14/9}}{\left(\log|A|\right)^{2/9}}$를 증명하며, Schoen과 Shkredov의 결과를 개선한다. 이 하한은 합-곱 유형 문제에 응용되어, 곱셈 이중화가 작은 집합은 큰 합집합을 가져야 하며, 다소의 조건 하에 강력한 정량적 추정치를 도출한다.

ABSTRACT

A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove \[|A+A|\gg\frac{|A|^{14/9}}{(\log|A|)^{2/9}}.\] Sumsets of different summands and an application to a sum-product-type problem are also studied either as remarks or as theorems.

연구 동기 및 목표

• 실수에서의 볼록 집합에 대한 합집합 $|A+A|$의 최고의 하한을 개선하는 것.
• Schoen-Shkredov 추정을 곱셈 이중화가 작은 집합, 즉 $|AA| \leq M|A|$에 확장하는 것.
• 볼록성과 곱셈 에너지, 합집합 성장 간의 연결을 통해 정량적 합-곱 유형 추정치를 수립하는 것.
• 특히 Szemerédi-Trotter 정리를 활용한 인시던스 기하학을 적용하여 볼록 집합의 합집합 및 에너지 양상에 대한 새로운 하한을 도출하는 것.

제안 방법

• 볼록성과 인시던스 한계에서 유도된 정밀한 에너지 추정 $E_3(A) \ll |A|^3 \log|A|$를 사용한다.
• 이중 분해와 인기도 기반 추론을 적용하여 합집합 내 표현 수를 제어하며, 고다중도 표현에 관한 보조정리 2.1을 활용한다.
• 코시-슈와르츠 부등식과 헬더 유형 추정을 사용하여 $E_{1.5}(A)$, $E_3(A)$, $E(A, A+B)$ 간의 관계를 설정한다.
• 볼록 함수 $f$의 그래프를 통해 기하학적 인시던스 모델을 도입하여 $Z \times B$에서 평면 상의 인시던스 점으로 매핑함으로써 고다중도 차이를 제한한다.
• Szemerédi-Trotter 인시던스 정리를 사용하여 $f$에서 유도된 의사선 시스템에서 최소 $\tau$개의 곡선 위에 있는 점의 수를 제한한다.
• $|AA| \leq M|A|$ 조건을 $|Z+Z| \leq M|Z|$를 만족하는 집합 $Z = \ln A$로 변환하여, 볼록성 기반 하한을 곱셈 이중화 집합에 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 볼록 집합에 대해 $|A+A| \gg \frac{|A|^{14/9}}{(\log|A|)^{2/3}}$인 합집합 하한을 더 향상시킬 수 있는가?
• RQ2 어떤 집합이 곱셈 이중화가 작을 경우, 즉 $|AA| \leq M|A|$일 때 합집합 크기는 어떻게 되는가?
• RQ3 작은 곱셈 이중화로부터 볼록성과 유사한 성질을 유추할 수 있으며, 이는 합집합 성장에 어떤 영향을 미치는가?
• RQ4 인시던스 기하학과 에너지 추정을 어떻게 조합하여 볼록 집합의 합집합에 대해 더 강력한 정량적 하한을 도출할 수 있는가?

주요 결과

• 논문은 합집합 하한을 날카롭게 향상시키며, $|A+A| \gg \frac{|A|^{14/9}}{(\log|A|)^{2/9}}$를 확립한다. 이는 Schoen과 Shkredov의 $\gg \frac{|A|^{14/9}}{(\log|A|)^{2/3}}$보다 향상된 결과이다.
• 모든 집합 $A$에 대해 $|AA| \leq M|A|$이면, 합집합은 $|A+A| \gg_M \frac{|A|^{14/9}}{(\log|A|)^{2/9}}$를 만족함을 보이며, 곱셈 이중화가 작다는 것은 큰 합집합 성장을 암시한다.
• 동일한 곱셈 이중화 조건 하에서 차집합은 $|A-A| \gg_M \frac{|A|^{8/5}}{(\log|A|)^{2/5}}$를 만족함을 보이며, 결과를 차집합으로까지 확장한다.
• 이 방법은 $f$가 엄격히 볼록이고 $|Z+Z| \leq M|Z|$를 만족하는 $f(Z)$ 형태의 집합에 적용 가능하여, 표준 볼록 집합을 초월한 더 넓은 집합 클래스로 일반화된다.
• 논문은 에너지와 인시던스 기법을 사용하여 새로운 부등식을 도출한다: $|A\pm B|^9 \gg \frac{|A|^6 |B|^8}{(\log|A|)^{4/3} (\log|B|)^{8/3}}$ (여기서 $A,B$는 볼록 집합이다).
• 또한 볼록 집합에 대해 $|A-A|^2 |A\pm B|^3 \gg \frac{|A|^6 |B|^2}{(\log|A|)^{4/3} (\log|B|)^{2/3}}$를 증명하며, 에너지와 포함 기반 추정의 강력함을 더욱 입증한다.