[논문 리뷰] A two-parameter finite field Erdős-Falconer distance problem

Philipp Birklbauer, Alex Iosevich|arXiv (Cornell University)|2017. 02. 07.

Coding theory and cryptography참고 문헌 1인용 수 6

한 줄 요약

이 논문은 유한체에서의 두 파라미터 유한체 에르되시-팔코너 거리 문제를 제안하며, 부분집합 $E, F \subset \mathbb{F}_q^{k+l}$에 대해 제곱 거리 쌍 $(\|x' - y'\|, \|x'' - y''\|)$ 의 집합을 연구한다. 만약 $|E||F| > Cq^{k+2l+1}$ 이면 모든 거리 쌍이 실현됨을 증명하며, 이 값은 $k$ 가 홀수일 때 최적이 됨을 보인다. $k=l=2$ 이고 $q \equiv 3 \pmod{4}$ 인 경우, $|E||F| > Cq^{6+2/3}$ 이면 $|B_{2,2}(E,F)| > cq^2$ 를 얻으며, 이 경우의 지수는 6 이하로 낮출 수 없다.

ABSTRACT

We study the following two-parameter variant of the Erd\H os-Falconer distance problem. Given $E,F \subset {\Bbb F}_q^{k+l}$, $l \geq k \ge 2$, the $k+l$-dimensional vector space over the finite field with $q$ elements, let $B_{k,l}(E,F)$ be given by $$\{(\Vert x'-y'\Vert, \Vert x"-y" \Vert): x=(x',x") \in E, y=(y',y") \in F; x',y' \in {\Bbb F}_q^k, x",y" \in {\Bbb F}_q^l \}.$$ We prove that if $|E||F| \geq C q^{k+2l+1}$, then $B_{k,l}(E,F)={\Bbb F}_q imes {\Bbb F}_q$. Furthermore this result is sharp if $k$ is odd. For the case of $l=k=2$ and $q$ a prime with $q \equiv 3 \mod 4$ we get that for every positive $C$ there is $c$ such that $$ ext{if } |E||F|>C q^{6+\frac{2}{3}} ext{, then } |B_{2,2}(E,F)|> c q^{2}.$$

연구 동기 및 목표

• 유한체에서의 고전적 에르되시-팔코너 거리 문제를 두 파라미터 설정으로 확장한다.
• 모든 가능한 거리 쌍 $(\|x'-y'\|, \|x''-y''\|)$ 이 실현되도록 하는 집합 $E, F \subset \mathbb{F}_q^{k+l}$ 의 최소 크기를 결정한다.
• 전체 거리 집합 $B_{k,l}(E,F) = \mathbb{F}_q \times \mathbb{F}_q$ 가 되기 위해 필요한 $E$ 와 $F$ 의 크기에 대해 날카운 또는 거의 날카운 경계를 설정한다.
• $k=l=2$ 인 경우 $q \equiv 3 \pmod{4}$ 조건 하에서, 거리 쌍의 양적 비율을 실현하기 위한 크기 조건의 지수를 향상시킨다.

제안 방법

• 특히 $\mathbb{F}_q^d$ 에서의 구의 특성 함수의 푸리에 변환을 사용한, 유한체 위의 푸리에 해석 방법.
• 거리 방정식의 해의 수를 추정하기 위해 플랑커렐 항등식과 코시-슈바르츠 부등식을 적용한다.
• 푸리에 합을 세 부분으로 분해한다: 영 주파수 항, 양쪽 모두 비영 주파수 항, 그리고 한 쪽은 영, 다른 한 쪽은 비영 주파수인 혼합 항.
• 원의 교차를 이용하여 $\mathbb{F}_q^2$ 에서의 구에 제한된 푸리에 변환의 $L^4$-노름을 유 bounds하기 위해 페퍼만 유형 기법을 사용한다.
• 지수 합의 상쇄를 제어하기 위해 $SO_2(\mathbb{F}_q)$ 의 작용을 이용해 회전에 대해 평균을 내는 방법.
• $\ell^p$-제한 추정과 구의 크기 추정을 적용하여 거리 집합 크기의 정량적 추정을 유도한다.

실험 결과

연구 질문

• RQ1 $|E||F| > Cq^{k+2l+1}$ 인 경우, $k$ 가 홀수일 때 이 경계는 최적이며, $B_{k,l}(E,F)$ 가 전체 $\mathbb{F}_q \times \mathbb{F}_q$ 를 커버하는 데 필요한 집합 $E, F \subset \mathbb{F}_q^{k+l}$ 의 최소 크기는 무엇인가?
• RQ2 유한체 $\mathbb{F}_q^2$ 에서의 구 교차의 기하학은 두 파라미터 설정에서 거리 집합 크기에 어떻게 영향을 미치는가?
• RQ3 $k$ 가 짝수일 때, 특히 $k=l=2$ 인 경우, $|E||F| > Cq^{k+2l+1}$ 에서의 지수를 향상시킬 수 있는가?
• RQ4 $|B_{2,2}(E,F)|$ 가 큰 것으로 보장되지 않는, 즉 $|E||F|$ 가 크더라도 여전히 큰 거리 집합 크기를 확보할 수 없는 최소 지수는 무엇인가?
• RQ5 $|E||F| > Cq^{6+2/3} \Rightarrow |B_{2,2}(E,F)| > cq^2$ 에서의 지수 $6 + \frac{2}{3}$ 은 최적이거나 향상시킬 수 있는가?

주요 결과

• $|E||F| > Cq^{k+2l+1}$ 이면 $l \geq k \geq 2$ 인 경우 $B_{k,l}(E,F) = \mathbb{F}_q \times \mathbb{F}_q$ 가 되며, 이 경계는 $k$ 가 홀수일 때 최적이다.
• $k=l=2$ 이고 $q$ 가 소수이며 $q \equiv 3 \pmod{4}$ 이면, $|E||F| > Cq^{6+2/3}$ 이면 $|B_{2,2}(E,F)| > cq^2$ 를 얻으며, 이는 모든 거리 쌍의 양적 비율이 실현됨을 보여준다.
• $k=l=2$ 인 경우 지수 $6 + \frac{2}{3}$ 은 6 이하로 낮출 수 없으며, $|E| = q^{3-\varepsilon}$ 이면 $|B(E,E)| = o(q^2)$ 가 되는 구성으로 이를 입증한다.
• $k$ 가 홀수일 때, 상수 $C$ 를 제외한 경계 $|E||F| > Cq^{k+2l+1}$ 는 최적이며, 이는 일치하는 하한 구성을 통해 입증된다.
• 증명은 특히 두 개의 서로 다른 원이 $\mathbb{F}_q^2$ 에서 최대 두 점에서만 만난다는 사실을 활용한 푸리에 제한 추정과 구의 교차 기하학에 기반한다.
• 이 방법은 전체 집합 $\mathbb{F}_q \times \mathbb{F}_q$ 가 달성되지 않더라도, $\ell^p$-제한과 회전에 대한 평균을 취함으로써 거리 집합 크기의 비자명한 하한을 제공한다.