[논문 리뷰] Energies and structure of additive sets

Ilya D. Shkredov|arXiv (Cornell University)|2014. 05. 13.

Limits and Structures in Graph Theory참고 문헌 29인용 수 24

한 줄 요약

이 논문은 아벨 군 내의 합집합과 차집합이 큰 $\varepsilon_3$ 에너지를 가지며, 덧셈 에너지 $\varepsilon_k$, $\mathsf{T}_k$, 및 가우어스 노름 사이의 임계 관계를 보이는 집합의 구조적 특성에 대해 완전한 기술을 제공한다. 주요 기여는 $H \dotplus \Lambda$ (구조적 요소와 무작위 요소의 합), 작은 두배율 집합들의 서로소 합집합, 그리고 통제 가능한 두배율과 에너지를 갖는 큰 부분집합을 가진 집합을 포함한, 극값 에너지 비율을 갖는 집합의 분류이다.

ABSTRACT

In the paper we prove that any sumset or difference set has large E_3 energy. Also, we give a full description of families of sets having critical relations between some kind of energies such as E_k, T_k and Gowers norms. In particular, we give criteria for a set to be a 1) set of the form H+L, where H+H is small and L has "random structure", 2) set equals a disjoint union of sets H_j, each H_j has small doubling, 3) set having large subset A' with 2A' is equal to a set with small doubling and |A'+A'| \approx |A|^4 / \E(A).

연구 동기 및 목표

• 다양한 종류의 덧셈 에너지, 예를 들어 $\mathsf{E}_k$, $\mathsf{T}_k$, 및 가우어스 노름 사이의 임계 관계를 보이는 덧셈 집합을 특성화하는 것.
• 특히 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$일 때, 극값 에너지 비율을 갖는 집합의 구조적 성질을 규명하는 것.
• 구조적 요소와 무작위 요소가 혼합된 집합을 포함한, 에너지 행동이 임계인 집합의 완전한 분류를 제공하는 것.
• 발로그–수메레디–가우어스 및 바테만–카츠의 결과를 고차원 에너지 및 균일성 노름으로 일반화하는 것.
• 임의의 집합으로부터 에너지와 두배율 성질이 통제된 큰 부분집합을 추출하는 방법을 확립하는 것.

제안 방법

• 주어진 집합 $A$ 로부터 모든 중간 크기의 부분집합 $\tilde{A} \subseteq A'$ 가 $\mathsf{E}_q(\tilde{A})$ 에 대해 $\mathsf{E}_q(A')$ 대비 하한을 만족하도록 하기 위해 반복 알고리즘을 사용한다.
• 에너지 $\mathsf{E}_k(A)$ 를 덧셈 방정식의 해의 수와 연결하기 위해 허더의 부등식과 코시-슈바르츠 부등식을 적용한다.
• 이중 분해와 반복적 정리법을 사용하여 최종 부분집합 $A'$ 가 하위기구들 전반에 걸쳐 높은 에너지와 균일성을 유지하도록 보장한다.
• $\beta$-연결성과 $\gamma$-연결성을 활용하여 부분집합들 사이의 에너지 분포에서의 구조적 균일성을 정량화한다.
• $\mathsf{T}_4$-에너지와 가우어스 균일성 노름을 사용하여 구조적 요소와 가짜 무작위 행동을 혼합한 집합을 특성화한다.
• 레마 54와 보조정리 55를 적용하여 추출된 부분집합 $A'$ 의 크기와 에너지에 대한 상한을 유도하며, 초기 에너지 밀도 $c = \mathsf{E}_k(A)|A|^{-(k+1)}$ 에 대한 명시적 의존성을 포함한다.

실험 결과

연구 질문

• RQ1 어떤 구조적 성질이 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ 를 만족함으로써 $\mathsf{E}_3$ 와 $\mathsf{E}_2$ 에너지 사이의 임계 관계를 나타내는가?
• RQ2 $\mathsf{E}_k$, $\mathsf{T}_k$, 및 가우어스 노름 사이의 임계 관계를 갖는 집합을 완전히 분류할 수 있는가?
• RQ3 집합이 $H \dotplus \Lambda$ 로 분해되거나, $H$ 가 구조적이고 $\Lambda$ 가 무작위일 때, 또는 서로소인 작은 두배율 집합들의 합집합으로 분해될 수 있는 조건은 무엇인가?
• RQ4 $|A'+A'| \approx |A|^4 / \mathsf{E}(A)$ 이고 $A'$ 가 작은 두배율을 갖는 부분집합 $A' \subseteq A$ 의 최대 크기는 얼마인가?
• RQ5 모든 중간 크기의 하위기구들 전반에 걸쳐 균일하게 높은 에너지를 갖는 부분집합 $A'$ 를 반복적으로 추출할 수 있는가?

주요 결과

• 아벨 군 내의 임의의 합집합 또는 차집합은 큰 $\mathsf{E}_3$ 에너지를 가지며, $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ 를 만족한다.
• 집합 $A$ 는 $H \dotplus \Lambda$ (여기서 $H+H$ 가 작고 $\Lambda$ 는 분리된 집합) 와 구조적으로 가까운데, 이는 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ 이다와 동치이다.
• 집합 $A$ 는 각각 작은 두배율을 갖는 집합 $H_j$ 들의 서로소 합집합으로 분해될 수 있는데, 이는 $\mathsf{E}_3(A) \gg |A| \cdot \mathsf{E}(A)$ 와 동치이다.
• 크기가 $|A'| \geq (1 - 2^{-1}\beta)^s c^{1/2} |A|$ 인 부분집합 $A' \subseteq A$ 가 존재하며, 여기서 $c = \mathsf{E}_k(A)|A|^{-(k+1)}$ 이고, $\mathsf{E}_k(A') > (1 - 2^{-1}\beta)^{2s} \mathsf{E}_k(A)$ 이다.
• 부분집합 $A'$ 는 $(k, \beta, \gamma)$-연결성을 가지며, $\gamma \geq 2^{-(2sk + 2k - 2s)} \beta^{2k} (2 - \beta)^{2s(k-1)}$ 이다. 이는 균일한 에너지 분포를 보장한다.
• 반복 정리 과정은 최대 $s \leq \log(1/c) \left(2 \log\left(\frac{2 - \beta}{2 - 2\beta}\right)\right)^{-1}$ 단계 내에 종료되며, 이러한 부분집합 $A'$ 가 존재함을 보장한다.