[논문 리뷰] Growth Estimates in Positive Characteristic via Collisions

Esen Aksoy Yazici, Thomas Brendan Murphy외 2명|arXiv (Cornell University)|2015. 12. 21.

Limits and Structures in Graph Theory참고 문헌 25인용 수 10

한 줄 요약

이 논문은 '이미지의 충돌'—세 차원의 점-평면 인cidencce 해석을 기반으로 한 새로운 기하적 방법을 도입하여, 양의 특성을 가진 체에서 새로운 합-곱 추정치를 수립한다. 이는 곱집합, 합집합, 다항식 이미지에 대한 기존의 추정치를 향상시키며, |A(A+A)| ≫ |A|^{3/2} 및 |A+1/A| ≫ |A|^{31/30}와 같은 거의 최적의 지수를 달성한다. 이는 유한 평면에서의 인cidencce 기하학 및 거리 집합에 응용된다.

ABSTRACT

Let $F$ be a field of characteristic $p>2$ and $A\subset F$ have sufficiently small cardinality in terms of $p$. We improve the state of the art of a variety of sum-product type inequalities. In particular, we prove that $$ |AA|^2|A+A|^3 \gg |A|^6,\qquad |A(A+A)|\gg |A|^{3/2}. $$ We also prove several two-variable extractor estimates: ${\displaystyle |A(A+1)| \gg|A|^{9/8},}$ $$ |A+A^2|\gg |A|^{11/10},\; |A+A^3|\gg |A|^{29/28}, \; |A+1/A|\gg |A|^{31/30}.$$ Besides, we address questions of cardinalities $|A+A|$ vs $|f(A)+f(A)|$, for a polynomial $f$, where we establish the inequalities $$ \max(|A+A|,\, |A^2+A^2|)\gg |A|^{8/7}, \;\; \max(|A-A|,\, |A^3+A^3|)\gg |A|^{17/16}. $$ Szemerédi-Trotter type implications of the arithmetic estimates in question are that a Cartesian product point set $P=A imes B$ in $F^2$, of $n$ elements, with $|B|\leq |A|< p^{2/3}$ makes $O(n^{3/4}m^{2/3} + m + n)$ incidences with any set of $m$ lines. In particular, when $|A|=|B|$, there are $\ll n^{9/4}$ collinear triples of points in $P$, $\gg n^{3/2}$ distinct lines between pairs of its points, in $\gg n^{3/4}$ distinct directions. Besides, $P=A imes A$ determines $\gg n^{9/16}$ distinct pair-wise distances. These estimates are obtained on the basis of a new plane geometry interpretation of the incidence theorem between points and planes in three dimensions, which we call collisions of images.

연구 동기 및 목표

• 유한 체에서의 기존 합-곱 추정치를 개선함으로써, 체의 크기 대비 작을 경우의 특성에 특화된 결과를 도출한다.
• 세 차원의 점-평면 인cidencce를 기반으로 한 기하적 프레임워크를 개발하여 더 강력한 산술 추정치를 도출한다.
• 실수체 결과에 가까운 거의 최적의 지수를 갖는 다항식 이미지, 예를 들어 |A(A+A)|, |A+1/A|, |A+A^k|에 대해 근사 최적의 추정치를 확립한다.
• 카르테시안 곱집합에 대해 F²에서 강력한 숙제르에디-트로터 유형의 인cidencce 정리를 유도한다. 이는 공선점, 서로 다른 방향, 거리에 대한 추정치 포함.
• 새로운 '충돌' 해석을 통해 선-이미지 등식을 기반으로 하여 점-평면 인cidencce 정리의 적용 범위를 산술 문제에까지 확장한다.

제안 방법

• 평면 상의 선의 이미지 간의 '충돌'으로 산술 문제를 기하학적으로 해석함. 이를 R³에서 점과 평면 간의 인cidencce로 모델링한다.
• 세 차원 점-평면 인cidencce 정리(정리 17)를 적용하여 ℓ(x) = ℓ′(x′) 형태의 방정식의 해 수를 세며, 여기서 ℓ, ℓ′는 선이며 x, x′ ∈ A이다.
• 카우치-슈바르츠 및 플룬네크-르즈라 부등식을 사용하여 해의 수를 합집합과 곱집합의 크기와 연결한다.
• 적절한 c에 대해 |A| < p^{c} 조건을 만족시키며, 정리 17의 인cidencce 추정치가 유효하도록 보장한다.
• 역수 및 다항식 이미지 문제를 X = (A⁻¹ + A⁻¹)⁻¹ 등의 치환을 통해 인cidencce 문제로 변환한다.
• 비어 있는 추정치와 인cidencce로부터 유도된 추정치를 균형 잡아 최종 추정치의 지수를 향상시킨다.

실험 결과

연구 질문

• RQ1 기하학적 인cidencce 방법을 통해 양의 특성에서의 합-곱 추정치를 현재의 최고 수준을 초월해 향상시킬 수 있는가?
• RQ2 실수체에서의 숙제르에디-트로터 정리가 세 차원 점-평면 인cidencce 정리에 의해 양의 특성에서 얼마나 잘 모방될 수 있는가?
• RQ3 유한 체에서 양의 특성에서 |A(A+A)|, |A+1/A|, |A+A^k|의 최적 지수는 무엇인가?
• RQ4 다항식 f에 대해 유한체에서 |A+A|와 |f(A)+f(A)|의 기수는 어떻게 비교되는가?
• RQ5 주어진 조건 하에서 F²에서 카르테시안 곱집합 P = A×A에 대한 인cidencce 및 거리 추정치는 무엇인가?

주요 결과

• 논문은 |A| < p^{2/3} 조건 하에서 |A(A+A)| ≫ |A|^{3/2}를 증명하며, 실수체에서의 최고 수준 지수와 일치함을 보였다.
• |A+1/A| ≫ |A|^{31/30}를 확립하여 이전의 추정치를 향상시키며 실수체의 임계 수준에 가까워졌다.
• 고차 다항식의 경우, k=2,3에 대해 |A+A^k| ≫ |A|^{(2k+1)/(2k)}를 보였으며, |A+A^3| ≫ |A|^{29/28} 및 |A+A^2| ≫ |A|^{11/10}를 포함한다.
• max(|A+A|, |A²+A²|) ≫ |A|^{8/7} 및 max(|A−A|, |A³+A³|) ≫ |A|^{17/16}를 증명하여 이전 결과를 향상시켰다.
• |B| ≤ |A| < p^{2/3} 조건 하에서 P = A×B에 대해 m개의 직선과의 인cidencce 수는 O(n^{3/4}m^{2/3} + m + n)이며, 여기서 n = |P|이다.
• P = A×A는 ≫ n^{9/16}개의 서로 다른 거리와 ≫ n^{3/4}개의 서로 다른 방향을 결정하며, ≪ n^{9/4}개의 공선점이 존재한다.