[논문 리뷰] Some new inequalities in additive combinatorics

Ilya D. Shkredov|arXiv (Cornell University)|2012. 08. 11.

Limits and Structures in Graph Theory참고 문헌 26인용 수 58

한 줄 요약

이 논문은 아벨 군 내의 교차 $ A \cap (A - x) $ 를 포함하는 새로운 부등식을 제안하며, 고유값 방법을 사용하여 덧셈 에너지와 고차 모멘트의 상한을 도출한다. 다항식 부분군과 볼록 집합의 덧셈 에너지에 대해 향상된 상한을 확립하여 절대적인 $ \varepsilon_0 > 0 $ 에 대해 $ \mathsf{E}(A) = O(|A|^{5/2 - \varepsilon_0}) $ 를 얻으며, 이는 이중화 상수와 합집합 성장에 대해 더 강력한 하한을 이끌어낸다.

ABSTRACT

In the paper we find new inequalities involving the intersections $A\cap (A-x)$ of shifts of some subset $A$ from an abelian group. We apply the inequalities to obtain new upper bounds for the additive energy of multiplicative subgroups and convex sets and also a series another results on the connection of the additive energy and so--called higher moments of convolutions. Besides we prove new theorems on multiplicative subgroups concerning lower bounds for its doubling constants, sharp lower bound for the cardinality of sumset of a multiplicative subgroup and its subprogression and another results.

연구 동기 및 목표

• 아벨 군 내의 부분집합 $ A $ 에 대해 교차 $ A \cap (A - x) $ 를 포함하는 새로운 부등식을 개발하는 것.
• 이러한 부등식을 활용하여 다항식 부분군과 볼록 집합의 덧셈 에너지 $ \mathsf{E}(A) $ 에 대한 상한을 개선하는 것.
• 이러한 집합의 이중화 상수와 합집합 크기의 향상된 하한을 확립하는 것.
• 기존 결과를 일반화하여 지수 $ 5/2 $ 를 절대적인 $ \varepsilon_0 > 0 $ 에 대해 $ 5/2 - \varepsilon_0 $ 로 대체하는 것.

제안 방법

• 덧셈 에너지를 $ \mathsf{E}(A) = \langle \mathsf{T} \chi_A, \chi_A \rangle $ 를 통해 연결하는 연산자 $ \mathsf{T} $ 를 정의하는 고유값 방법을 활용하며, $ \mathsf{T}_{x,y} = (\chi_A \circ \chi_A)(x - y) $ 로 정의된다.
• 합집합 교차와 국소 덧셈 구조 간의 관계를 연결하기 위해 Katz–Koester 기법의 가중치 버전을 적용한다: $ |(A+A) \cap (A+A - x)| \geq |A + (A \cap (A - x))| $.
• 가중치 최적화와 쌍대성의 특성을 활용하는 새로운 국소 분석 기법을 도입한다: $ x \in A - A_x $ 이면 $ s \in A - A_x $ 를 만족하며, 이는 $ A_x = A \cap (A - x) $ 의 제어를 가능하게 한다.
• Balog–Szemerédi–Gowers 정리와 Plünnecke–Ruzsa 부등식을 활용하여 에너지 상한을 합집합 성장 추정치로 전환한다.
• Hölder형 및 코시–슈바르츠 부등식을 적용하여 고유값과 고유함수를 상한으로 제어하며, 특히 스펙트럼 분해에서 $ \mu_0 $ 와 $ \omega_0 $ 에 중점을 둔다.
• 정리 57 을 통해 $ \mathsf{E}_3(A) $, 합집합 $ D $, 그리고 이중화가 통제된 큰 부분집합 $ A' $ 의 존재성을 연결하는 일반적 프레임워크를 제안한다.

실험 결과

연구 질문

• RQ1 기존 다항식 부분군과 볼록 집합에 대한 덧셈 에너지 상한에서 지수 $ 5/2 $ 가 절대적인 $ \varepsilon_0 > 0 $ 에 대해 $ 5/2 - \varepsilon_0 $ 로 향상될 수 있는가?
• RQ2 덧셈 에너지를 제어하기 위해 $ A \cap (A - x) $ 와 그 고차 모멘트를 포함하는 새로운 부등식은 무엇인가?
• RQ3 $ \mathsf{E}_3(A) $ 가 작을 때 고유값 방법이 이중화 상수에 대해 더 강력한 상한을 도출하도록 어떻게 적응시킬 수 있는가?
• RQ4 국소 스펙트럼 분석을 활용하여 Katz–Koester 부등식을 정교화하여 더 나은 합집합 추정치를 도출할 수 있는가?

주요 결과

• 다항식 부분군 $ \Gamma \subseteq \mathbb{Z}/p\mathbb{Z} \setminus \{0\} $ 의 덧셈 에너지는 절대적인 $ \varepsilon_0 > 0 $ 에 대해 $ \mathsf{E}(\Gamma) = O(|\Gamma|^{5/2 - \varepsilon_0}) $ 를 만족한다.
• 실수선상의 볼록 집합 $ A \subseteq \mathbb{R} $ 에 대해서도 덧셈 에너지는 $ \mathsf{E}(A) = O(|A|^{5/2 - \varepsilon_0}) $ 를 만족하며, 이는 이전 상한을 향상시킨다.
• 모든 다항식 부분군 $ \Gamma $ 의 이중화 상수는 $ |\Gamma \pm \Gamma| \geq |\Gamma|^{3/2 + \varepsilon_0} $ 를 만족하며, $ \varepsilon_0 > 0 $ 는 절대적이다.
• 볼록 집합 $ A $ 에 대해서는 합집합이 $ |A \pm A| \geq |A|^{3/2 + \varepsilon_0} $ 를 만족하며, 역시 $ \varepsilon_0 > 0 $ 는 절대적이다.
• 새로운 일반 부등식이 확립된다: $ \sum_x \frac{|A_x|^2}{|A \pm A_x|} \leq |A|^{-2} \sum_x |A_x|^3 $, 여기서 $ A_x = A \cap (A - x) $ 이다.
• 새로운 삼중선형 부등식이 유도된다: $ \sum_{x,y,z \in A} |A_{x-y}| |A_{x-z}| |A_{y-z}| \geq |A|^{-3} \left( \sum_x |A_x|^2 \right)^3 $.