[논문 리뷰] A short proof of a near-optimal cardinality estimate for the product of a sum set

Oliver Roche‐Newton|arXiv (Cornell University)|2015. 02. 19.

Limits and Structures in Graph Theory참고 문헌 9인용 수 11

한 줄 요약

이 논문은 유한 집합 $ A \subset \mathbb{R} $ 에 대해 $ a, a' \in A $ 가 존재하여 $ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ 임을 보이는 짧고 기본적인 증명을 제시한다. 이는 오직 Szemerédi-Trotter 정리만을 사용한다. 결과는 이전의 합-곱 추정을 강화하며, $ A \subset \mathbb{C} $ 로 자연스럽게 확장되며, Guth와 Katz의 깊은 교차 기하학을 사용하지 않고도 두 변수의 합집합의 곱에 대해 거의 최적의 경계를 제공한다.

ABSTRACT

In this note it is established that, for any finite set $A$ of real numbers, there exist two elements $a,b \in A$ such that $$|(a+A)(b+A)| \gg \frac{|A|^2}{\log |A|}.$$ In particular, it follows that $|(A+A)(A+A)| \gg \frac{|A|^2}{\log |A|}$. The latter inequality had in fact already been established in an earlier work of the author and Rudnev (arXiv:1203.6237), which built upon the recent developments of Guth and Katz (arXiv:1011.4105) in their work on the Erdős distinct distance problem. Here, we do not use those relatively deep methods, and instead we need just a single application of the Szemerédi-Trotter Theorem. The result is also qualitatively stronger than the corresponding sum-product estimate from (arXiv:1203.6237), since the set $(a+A)(b+A)$ is defined by only two variables, rather than four. One can view this as a solution for the pinned distance problem, under an alternative notion of distance, in the special case when the point set is a direct product $A imes A$. Another advantage of this more elementary approach is that these results can now be extended for the first time to the case when $A \subset \mathbb C$.

연구 동기 및 목표

• 합집합의 곱에 대한 거의 최적의 기수 추정치에 대해 더 간단하고 기본적인 증명을 제공하는 것.
• 모든 유한 집합 $ A \subset \mathbb{R} $ 에 대해 $ a, a' \in A $ 가 존재하여 $ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ 임을 확립하는 것.
• 이 결과를 복소평면 $ \mathbb{C} $ 로 확장하여, 이전 방법으로는 알려지지 않았던 이러한 경계를 확보하는 것.
• 기존 작업에 비해 다루는 곱집합의 변수 수를 네 개에서 두 개로 줄임으로써 정성적 개선을 이끌어내는 것.

제안 방법

• $ A \times A $ 에서 유도된 점 집합에서 공선삼각형의 수를 제한하기 위해 Szemerédi-Trotter 정리를 적용하는 것.
• Szemerédi-Trotter 정리의推론을 사용하여 풍부한 직선의 수를 제한함으로써 이차형 방정식의 해의 수에 상한을 구하는 것.
• 코시-슈바르츠 부등식을 사용하여 곱집합의 원소 표현 수와 이동된 집합들의 곱셈 에너지 사이의 관계를 연결하는 것.
• 합집합의 곱셈 에너지의 합 $ \sum_{a,a' \in A} E^*(a - A, a' - A) \ll |A|^4 \log|A| $ 에 대한 경계를 유도하여, 큰 곱집합을 가진 쌍 $ (a, a') $ 가 존재함을 암시하는 것.
• 복소수에 대한 Szemerédi-Trotter 정리가 성립한다는 사실을 활용하여 결과를 $ A \subset \mathbb{C} $ 로 확장하며, 동일한 渐近 경계를 유지하는 것.

실험 결과

연구 질문

• RQ1 기하학적 교차의 깊은 도구 없이, 기하학적 기초 도구만을 사용하여 $ (A - a)(A - a') $ 의 거의 최적의 하한을 확립할 수 있는가?
• RQ2 $ A \subset \mathbb{C} $ 에서도 경계 $ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ 가 성립하며, Guth-Katz 기법 없이 증명될 수 있는가?
• RQ3 곱집합에서 변수의 수를 네 개에서 두 개로 줄일 수 있으며, 이로써 거의 2차 성장이 유지되는가?
• RQ4 대수기하학의 깊은 도구를 피하면서도 $ (A - A)(A - A) $ 의 합-곱 추정치에 대한 더 단순한 증명이 가능한가?

주요 결과

• 모든 유한 집합 $ A \subset \mathbb{R} $ 에 대해 $ a, a' \in A $ 가 존재하여 $ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ 임을 보였다.
• 이 결과는 $ |(A + A)(A + A)| \gg \frac{|A|^2}{\log|A|} $ 를 함의하며, 기존에 알려진 최고의 경계와 일치하지만 더 단순한 증명을 제공한다.
• 동일한 경계는 $ A \subset \mathbb{C} $ 에 대해서도 성립하여, 이전에는 실수 집합에 대해서만 알려져 있던 결과를 확장한다.
• 증명은 오직 Szemerédi-Trotter 정리와 코시-슈바르츠 부등식에 의존하며, 다항식 분할이나 3차원 교차 경계를 사용하지 않는다.
• 존슨 [3]의 원래 증명보다 더 단순한 증명을 제시하여, 세 변수의 확장자 경계 $ \left|\left\{ \frac{a-b}{a-c} : a,b,c \in A \right\} \right| \gg \frac{|A|^2}{\log|A|} $ 에 대해 새롭게 증명한다.
• 기존 작업보다 더 강력한 결과를 얻었으며, 곱집합에서 변수의 수를 네 개에서 두 개로 줄였다.