[논문 리뷰] On growth rate in $SL_2(\mathbf{F}_p)$, the affine group and sum-product type implications

Misha Rudnev, Ilya D. Shkredov|arXiv (Cornell University)|2018. 12. 04.

Limits and Structures in Graph Theory참고 문헌 30인용 수 18

한 줄 요약

이 논문은 합-곱 추정치에 의존하지 않고 $\mathrm{SL}_2(\mathbb{F}_p)$와 아핀군 $\mathrm{Aff}(\mathbb{F})$에서 헬프고트의 성장 정리에 대한 단순화된 증명을 제공한다. $\mathbb{F}^2$에서 선 집합의 복합에 대한 에너지에 따라 의존하는 새로운 인cidencce 추정치를 수립하여, $A$의 곱셈 이중화가 작을 경우 $A(A+A)$, $A+AA$, $A+B$와 같은 합-곱 유형의 표현식에 대해 향상된 하향 에너지 추정치를 도출한다.

ABSTRACT

This paper aims to study in more depth the relation between growth in matrix groups ${ m SL_2}(\mathbf{F})$ and ${ m Aff}(\mathbf{F})$ over a field $\mathbf{F}$ by multiplication and geometric incidence estimates, associated with the sum-product phenomenon over $\mathbf{F}$. It presents streamlined proofs of Helfgott's theorems on growth in the $\mathbf{F}_p$-case, which avoid sum-product estimates. For ${ m SL_2}(\mathbf{F}_p)$, for sets exceeding in size some absolute constant, we improve the lower bound $\frac{1}{1512}$ for the growth exponent, due to Kowalski, to $\frac{1}{21}.$ For the affine group we fetch a sharp theorem of Szőnyi on the number of directions, determined by a point set in $\mathbf{F}_p^2$. We then focus on ${ m Aff}(\mathbf{F})$ and present a new incidence bound between a set of points and a set of lines in $\mathbf{F}^2$, which explicitly depends on the energy of the set of lines as affine transformations under composition. This bound, strong when the number of lines is considerably smaller than the number of points, yields generalizations of structural theorems of Elekes and Murphy on rich lines in grids. In the special case when the set of lines is also a grid -- relating back to sum-products -- we use growth in ${ m Aff}(\mathbf{R})$ to obtain a subthreshold estimate on the energy of the set of lines. This yields a unified way to break the ice in various threshold sum-product type energy inequalities. We show this in applications to energy estimates, corresponding to sets $A(A+ A)$, $A+AA$ (also embracing asymmetric versions) as well as $A+B$ when $A$ has small multiplicative doubling and $\sqrt{|A|} \le |B|\le|A|^{1+o(1)}$.

연구 동기 및 목표

• 합-곱 추정치에 의존하지 않고 $\mathrm{SL}_2(\mathbb{F}_p)$에서 헬프고트의 성장 정리를 기하학적 인cidencce 도구를 사용하여 재증명하는 것.
• $\mathrm{SL}_2(\mathbb{F}_p)$에서 성장 지수의 하한을 절대 상수 크기 이상의 집합에 대해 $1/1512$에서 $1/20$으로 향상시키는 것.
• $\mathbb{F}^2$에서 점과 선 사이의 강한 인cidencce 추정치를 선 집합의 복합에 대한 에너지에 명시적으로 의존하도록 수립하는 것.
• 새로운 인cidencce 추정치를 활용하여 엘레크스와 머피의 빈도 높은 선에 대한 구조 정리들을 격자 구조에 대해 일반화하는 것.
• $\mathrm{Aff}(\mathbb{R})$에서의 성장과 하향 에너지 추정치를 활용하여 합-곱 유형의 에너지 부등식을 통합적으로 다루는 것.

제안 방법

• $\mathbb{F}^2$에서 점 집합 $P$와 선 집합 $L$ 사이의 새로운 인cidencce 추정치를 유도하며, 이 추정치는 선 집합의 복합에 대한 에너지 $\mathsf{E}(L)$에 의존한다.
• 비가환 Balog–Szemerédi–Gowers 정리를 적용하여 삼중화가 제어되고 최대 아벨 부분군과의 교차가 얻어지는 큰 부분집합 $P_*$를 추출한다.
• 점-평면 정리와 스텐스 및 데 쿠이의 결과를 포함한 기하학적 인cidencce 추정치를 적용하여 인cidencce 수를 에너지 및 크기 매개변수에 따라 유계로 제한한다.
• 재귀적 에너지 분해와 이진 피그홀딩을 활용하여 집합의 크기와 $\mathrm{Aff}(\mathbb{F})$에서의 곱셈 에너지 및 성장 간의 관계를 규명한다.
• 아핀군의 구조를 활용하여 덧셈 및 곱셈 작용을 변환으로 모델링함으로써 합-곱 표현식을 통합적으로 다룰 수 있도록 한다.
• $\mathrm{Aff}(\mathbb{R})$에서의 에너지의 하향 행동을 활용하여 임계값 이하의 에너지 부등식을 깨뜨림으로써 $A(A+A)$, $A+AA$, $A+B$에 대해 더 강력한 추정치를 도출한다.

실험 결과

연구 질문

• RQ1 합-곱 추정치에 의존하지 않고 $\mathrm{SL}_2(\mathbb{F}_p)$에서 헬프고트의 성장 결과를 재증명할 수 있는가?
• RQ2 절대 상수 크기 이상의 집합에 대해 $\mathrm{SL}_2(\mathbb{F}_p)$에서 성장 지수 $\delta$의 최적 하한은 무엇인가?
• RQ3 기하학적 인cidencce 이론을 어떻게 활용하여 $\mathbb{F}_p$와 $\mathbb{R}$에서 합-곱 유형 표현식의 에너지 추정치를 도출할 수 있는가?
• RQ4 선 집합의 복합에 대한 에너지가 $\mathbb{F}^2$에서의 인cidencce 추정치에 어떤 역할을 하는가?
• RQ5 아핀군의 구조를 활용하여 $A(A+A)$, $A+AA$, $A+B$에 대한 에너지 추정치를 통합하고 강화할 수 있는가?

주요 결과

• 논문은 $\mathrm{SL}_2(\mathbb{F}_p)$에서 성장 지수의 하한을 절대 상수 크기 이상의 집합에 대해 $1/1512$에서 $1/20$으로 향상시켰다.
• 선 집합의 복합에 대한 에너지에 명시적으로 의존하는 $\mathbb{F}^2$에서 점과 선 사이의 새로운 인cidencce 추정치를 수립하였으며, 선의 수가 점의 수보다 훨씬 적을 경우에 특히 강력하다.
• 이 인cidencce 추정치는 선 집합과 점 집합의 크기가 서로 다를 수 있는 설정으로 엘레크스와 머피의 격자에서의 빈도 높은 선에 대한 구조 정리를 일반화한다.
• 특수한 경우로 선 집합이 격자이면, $\mathrm{Aff}(\mathbb{R})$에서의 성장을 이용하여 선 집합의 에너지에 대한 하향 추정치를 유도함으로써 더 강력한 에너지 추정치를 얻을 수 있다.
• 이 방법은 $A$의 곱셈 이중화가 작고 $\sqrt{|A|} \leq |B| \leq |A|^{1+o(1)}$일 때 $A(A+A)$, $A+AA$, $A+B$에 대한 통합된 하향 에너지 추정치를 도출하며, 기존의 임계값 장벽을 돌파한다.