[논문 리뷰] An example related to the Erdos-Falconer question over arbitrary finite fields

Thomas Brendan Murphy, Giorgis Petridis|arXiv (Cornell University)|2019. 05. 13.

Limits and Structures in Graph Theory참고 문헌 7인용 수 9

한 줄 요약

이 논문은 $ \mathbb{F}_q^2 $의 무한한 부분집합의 가족을 구성하며, $ |E| = q^{4/3} $ 이고 거리 집합 $ \Delta(E) $ 가 전체 체 $ \mathbb{F}_q $ 라고 하지 않는 것을 보여, 유한체 위에서의 에르되시–팔콘어 거리 집합 추측에서 $ d=2 $ 일 때 지수 $ 4/3 $ 가 날카로운지 입증한다. 이 구성은 $ \mathbb{F}_p $ 의 이차 및 삼차 확장 위의 벡터 부분공간을 사용하며, $ q \to \infty $ 일 때 $ | olimits\Delta(E)|/q \to 1/2 $ 임을 보여, [6]의 추측을 차원 2에서 반증한다.

ABSTRACT

There exists an infinite family of examples of subsets of $\mathbb{F}_q^2$ with $q^{4/3}$ elements whose distance sets are not the whole of $\mathbb{F}_q$.

연구 동기 및 목표

• 문헌 [6]의 추측 1.1 을 반증하기 위해, $ |E| > q^{4/3} $ 이면 반드시 $ \Delta(E) = \mathbb{F}_q $ 여야 한다는 가정을 뒤집는 것.
• 명시적인 반례를 구성하여, 유한체 위의 에르되시–팔콘어 거리 집합 문제에서 지수의 하한을 확립하기 위해.
• 중간 유한체 위의 벡터 부분공간이, 그 자체로 부분체가 아니더라도 거리 집합 성장에 장애를 줄 수 있음을 보여주는 것.
• 해당 집합에 대해 $ |\Delta(E)|/q \leq 1/2 $ 이며, $ q \to \infty $ 일 때, 거리 집합이 $ \mathbb{F}_q $ 의 일정한 양의 비율을 놓칠 수 있음을 보여주는 것.

제안 방법

• $ \mathbb{F}_q $ 를 $ F = \mathbb{F}_p[i] $ 의 삼차 확장으로 구성하여, 소수 $ p \equiv 3 \pmod{4} $ 이고 $ q = p^{6r} $ 라고 한다.
• 2차원 $ F $-부분공간 $ V \subset \mathbb{F}_q $ 를 고정하고, $ E = \{ (u, iv) : u,v \in V \} \subset \mathbb{F}_q^2 $ 를 정의하여, $ |E| = |V|^2 = |F|^4 = q^{4/3} $ 가 된다.
• 항등식 $ \Delta(E) = \{ (u_1 - u_2)^2 + (iv_1 - iv_2)^2 \} = \{ u^2 - v^2 : u,v \in V \} = \{ (u-v)(u+v) : u,v \in V \} \subseteq VV $ 를 사용한다.
• [7] 의 결과를 활용하여 $ VV \neq \mathbb{F}_q $ 이고 $ q \to \infty $ 일 때 $ |VV|/q \to 1/2 $ 임을 보여, 따라서 $ \Delta(E) \subset VV \subset \mathbb{F}_q $ 는 전체 체가 될 수 없다.
• $ V $ 가 덧셈과 뺄셈에 대해 닫혀 있음을 이용하여 $ \Delta(E) $ 가 $ VV $ 에 포함됨을 보장하고, $ VV $ 가 $ \mathbb{F}_q $ 의 진부분집합임을 이용한다.

실험 결과

연구 질문

• RQ1 크기가 $ q^{4/3} $ 인 집합 $ E \subset \mathbb{F}_q^2 $ 이 전체 체 $ \mathbb{F}_q $ 가 아닌 거리 집합 $ \Delta(E) $ 를 가질 수 있는가?
• RQ2 에르되시–팔콘어 거리 집합 문제에서 $ d=2 $ 일 때 지수 $ 4/3 $ 가 날카로운가, 아니면 향상시킬 수 있는가?
• RQ3 부분체가 아닌, 중간 유한체 위의 벡터 부분공간이 거리 집합 성장 제한에 구조적 역할을 하는가?
• RQ4 크기가 $ q^{4/3} $ 인 집합의 거리 집합이 $ \mathbb{F}_q $ 의 양의 조밀도를 놓칠 수 있는가, 예를 들어 50% 를 놓칠 수 있는가?
• RQ5 문헌 [6] 의 구성은 이러한 예가 존재함에 따라 $ d=2 $ 에서 실패하는가?

주요 결과

• $ \mathbb{F}_q^2 $ 에서 $ |E| = q^{4/3} $ 이고 $ \Delta(E) \neq \mathbb{F}_q $ 인 무한한 집합의 가족이 존재하며, 이는 $ d=2 $ 에서 [6] 의 추측 1.1 을 반증한다.
• 해당 집합에 대해 $ q \to \infty $ 일 때 $ |\Delta(E)|/q \to 1/2 $ 이며, 이는 거리 집합이 극한에서 $ \mathbb{F}_q $ 의 최소한 반을 놓친다는 것을 의미한다.
• 구성은 $ \mathbb{F}_q $ 가 $ F = \mathbb{F}_p[i] $ 의 삼차 확장임과, $ V \subset \mathbb{F}_q $ 가 2차원 $ F $-부분공간이며 $ VV \neq \mathbb{F}_q $ 임에 기반한다.
• 거리 집합 $ \Delta(E) $ 는 $ VV $ 에 포함되며, $ |VV|/q \to 1/2 $ 이므로 $ \Delta(E) $ 는 $ \mathbb{F}_q $ 를 덮을 수 없다.
• 결과적으로, $ d=2 $ 에서 에르되시–팔콘어 문제의 지수 $ 4/3 $ 는 최적임을 보이며, $ \Delta(E) = \mathbb{F}_q $ 를 보장할 수 있는 더 작은 지수는 존재하지 않는다.
• 장애 요소는 부분체가 아닌, 중간 체 위의 부분공간의 대수적 구조에서 기인하며, 더 넓은 기하학적 제약을 시사한다.