[논문 리뷰] Pinned distance sets, k-simplices, Wolff's exponent in finite fields and sum-product estimates

Jeremy R. Chapman, M. Burak Erdoğan외 3명|ArXiv.org|2009. 03. 25.

Limits and Structures in Graph Theory참고 문헌 6인용 수 5

한 줄 요약

이 논문은 유한체에서 고정된 거리 및 내적 집합의 개선된 지수를 Fourier 해석 기법과 합-곱 추정치를 사용하여 도출한다. $|E| \gtrsim q^{\frac{d+1}{2}}$ 인 경우, 고정된 거리 집합 $\Delta_y(E)$ 는 거의 모든 핀 $y \in E$ 에 대해 양의 밀도를 가짐을 증명한다. 카르테시안 곱 집합의 경우 이 임계값은 $q^{\frac{d^2}{2d-1}}$ 으로 향상되며, 이는 $\mathbb{F}_q$ 에서 새로운 합-곱 추정치를 유도한다. 결과는 $k$-단체 및 $k$-스타 구성으로 확장되며, 기존의 알려진 경계와 동일하거나 이를 초월한다.

ABSTRACT

An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold $α>0$ such that $|Δ(E)| \gtrsim q$ whenever $|E| \gtrsim q^α$, where $E \subset {\Bbb F}_q^d$, the $d$-dimensional vector space over a finite field with $q$ elements (not necessarily prime). Here $Δ(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x,y \in E\}$. In two dimensions we improve the known exponent to $ frac{4}{3}$, consistent with the corresponding exponent in Euclidean space obtained by Wolff. The pinned distance set $Δ_y(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x\in E\}$ for a pin $y\in E$ has been studied in the Euclidean setting. Peres and Schlag showed that if the Hausdorff dimension of a set $E$ is greater than $ frac{d+1}{2}$ then the Lebesgue measure of $Δ_y(E)$ is positive for almost every pin $y$. In this paper we obtain the analogous result in the finite field setting. In addition, the same result is shown to be true for the pinned dot product set $Π_y(E)=\{x\cdot y: x\in E\}$. Under the additional assumption that the set $E$ has cartesian product structure we improve the pinned threshold for both distances and dot products to $\frac{d^2}{2d-1}$. A generalization of the Falconer distance problem is determine the minimal $α>0$ such that $E$ contains a congruent copy of every $k$ dimensional simplex whenever $|E| \gtrsim q^α$. Here the authors improve on known results (for $k>3$) using Fourier analytic methods, showing that $α$ may be taken to be $\frac{d+k}{2}$.

연구 동기 및 목표

• 집합 $E \subset \mathbb{F}_q^d$ 의 크기가 $|E| \gtrsim q^\alpha$ 라면, 거의 모든 핀 $y \in E$ 에 대해 고정된 거리 집합 $\Delta_y(E)$ 가 양의 밀도를 가지는 데 필요한 최소 크기 임계값 $\alpha$ 를 결정하는 것.
• 이러한 결과를 카르테시안 곱의 구조를 가진 고정된 내적 집합 $\Pi_y(E)$ 로 확장하는 것.
• 피닉스 거리 문제를 유한체에서 $k$-단체로 일반화하여, $|E| \gtrsim q^\alpha$ 이면 모든 $k$-단체의 동형 사본을 포함함을 보장하는 최소 $\alpha$ 를 결정하는 것.
• 특히 구조화된 집합에서 고정된 내적 결과로부터 $\mathbb{F}_q$ 에서 새로운 합-곱 추정치를 도출하는 것.

제안 방법

• 거리 및 내적 집합에 대한 지수합을 추정하기 위해 $\mathbb{F}_q^d$ 에서 Fourier 해석 기법을 사용하며, 가우스 합 추정치와 직교성을 활용한다.
• 고정된 거리 및 내적 집합의 크기를 유계화하기 위해 $k$-겹 컨볼루션과 $L^2$-제약 추정치의 방법을 적용한다.
• 거리 및 내적 집합의 특성 함수의 Fourier 변환의 $L^2$-노름을 제어하기 위해 $\ell^2$-분할 원리와 제약 이론을 활용한다.
• 특히 홀수 및 짝수 차원에서 구의 크기와 등고선 집합의 크기를 분석하기 위해 가우스 합 항등식과 캐릭터 합 추정치를 사용한다.
• Cauchy-Schwarz 부등식과 핀 $y$ 에 대한 평균화 추론을 통해 $\Delta_y(E)$ 와 $\Pi_y(E)$ 의 평균 크기에 대한 하한을 유도한다.
• 고정된 $k$-단체 문제를 $k$-겹 컨볼루션의 체계로 환원하고, 동일한 Fourier 해석 기반 기법을 사용하여 거리 및 내적 구성의 해의 수를 유계화한다.

실험 결과

연구 질문

• RQ1 유한체 $\mathbb{F}_q^d$ 에서 $|E| \gtrsim q^\alpha$ 이면 거의 모든 $y \in E$ 에 대해 $|\Delta_y(E)| \gtrsim q$ 가 성립하는 최적의 임계값 $\alpha$ 는 무엇인가?
• RQ2 집합 $E$ 가 카르테시안 곱의 구조를 가질 경우 고정된 거리 집합의 임계값을 어떻게 향상시킬 수 있으며, 이로부터 유도되는 합-곱 추정치는 무엇인가?
• RQ3 모든 $k$-차원 단체의 동형 사본을 포함함을 보장하기 위해 $|E| \gtrsim q^\alpha$ 가 되는 최소 $\alpha$ 는 무엇인가?
• RQ4 고정된 거리 및 내적 결과의 결과들이 $k$-스타 구성과 구에 어떻게 일반화되는가?

주요 결과

• 차원 $d=2$ 에서 논문은 고정된 거리 집합의 임계값을 이전의 $\frac{d+1}{2} = 1.5$ 에서 $\frac{4}{3}$ 으로 향상시켜, 유클리드 설정에서 Wolff 가 도출한 지수와 일치시킨다.
• 일반적인 $d$ 에 대해 논문은 $|E| \gtrsim q^{\frac{d+1}{2}}$ 이면 거의 모든 $y \in E$ 에 대해 $|\Delta_y(E)| \gtrsim q$ 임을 증명하며, 이는 Peres와 Schlag 의 고정된 거리 결과의 유한체 버전을 증명한다.
• 집합 $E$ 가 카르테시안 곱의 구조 $A^{d-1}$ 인 경우, 임계값은 $|E| \gtrsim q^{\frac{d^2}{2d-1}}$ 으로 향상되며, 이는 새로운 합-곱 추정치를 도출한다: $|A| \gtrsim q^{\frac{d}{2d-1}}$ 이면 $|E'| \gtrsim |A|^{d-1}$ 인 $E' \subset A^{d-1}$ 가 존재하여 모든 $(a_1,\dots,a_{d-1}) \in E'$ 에 대해 $|a_1A + \cdots + a_{d-1}A + zA| > q/2$ 가 성립한다.
• $k$-단체에 대해 논문은 $|E| \gtrsim q^{\frac{d+k}{2}}$ 이면 $E$ 가 모든 $k$-단체의 동형 사본을 포함함을 보여주며, $k > 3$ 인 경우 이전의 경계를 향상시킨다.
• 동일한 방법은 $k$-스타 거리 및 내적 집합, 특히 구 위에서 적용 가능하며, 동일한 임계값 $q^{\frac{d+k}{2}}$ 를 유지하여 Fourier 해석 기반 접근의 강력함을 확인한다.
• 논문은 홀수 차원에서 지수 $\frac{d+1}{2}$ 가 최적임을 증명하여, Rudnev 등이 이전에 도출한 결과의 최적성에 대한 확인을 한다.