[논문 리뷰] Extension theorems and a connection to the Erd\H{o}s-Falconer distance problem over finite fields

Doowon Koh, Thang Pham외 1명|arXiv (Cornell University)|2018. 09. 23.

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

한 줄 요약

이 논문은 유한체 위에서 포물면과 구에 대한 새로운 L² → Lʳ 확장 추정을 수립하며, 특히 q ≡ 3 mod 4 인 d = 4k+3 차원에서, 제로 구 위의 새로운 푸리에 분석을 사용한다. 이는 놀라운 차이를 드러내는데, 기하학적 반경이 원시적인 구의 경우 Lᵖ → L⁴ 추정이 기하학적 반경이 원시적인 포물면의 경우보다 훨씬 강력하다. 또한, 이는 기하학적 반경이 원시적인 구 또는 포물면 위에 있는 집합과 임의의 집합이 결합된 경우, 기하학적 반경이 원시적인 유한체 위에서의 오스터-팔콘어 거리 추측이 성립함을 증명한다.

ABSTRACT

The first purpose of this paper is to provide new finite field extension theorems for paraboloids and spheres. By using the unusual good Fourier transform of the zero sphere in some specific dimensions, which has been discovered recently in the work of Iosevich, Lee, Shen, and the first and second listed authors (2018), we provide a new $L^2 o L^r$ extension estimate for paraboloids in dimensions $d=4k+3$ and $q\equiv 3\mod 4$, which improves significantly the recent exponent obtained by the first listed author. In the case of spheres, we introduce a way of using extit{the first association scheme graph} to analyze energy sets, and as a consequence, we obtain new $L^p o L^4$ extension theorems for spheres of primitive radii in odd dimensions, which break the Stein-Tomas result toward $L^p o L^4$ which has stood for more than ten years. Most significantly, it follows from the results for spheres that there exists a different extension phenomenon between spheres and paraboloids in odd dimensions, namely, the $L^p o L^4$ estimates for spheres with primitive radii are much stronger than those for paraboloids. Based on new estimates, we will also clarify conjectures on finite field extension problem for spheres. This results in a reasonably complete description of finite field extension theorems for spheres. The second purpose is to show that there is a connection between the restriction conjecture associated to paraboloids and the Erd\H{o}s-Falconer distance conjecture over finite fields. The last is to prove that the Erd\H{o}s-Falconer distance conjecture holds in odd-dimensional spaces when we study distances between two sets: one set lies on a variety (paraboloids or spheres), and the other set is arbitrary in $\mathbb{F}_q^d$.

연구 동기 및 목표

• d = 4k+3 차원 및 q ≡ 3 mod 4 인 경우, 제로 구의 푸리에 변환을 사용하여 포물면에 대한 개선된 L² → Lʳ 확장 추정을 수립한다.
• 에너지 집합을 분석하기 위해 첫 번째 연관 체계 그래프를 도입함으로써, 기하학적 반경이 원시적인 구에 대한 더 강력한 Lᵖ → L⁴ 확장 정리를 도출한다.
• 구에 대한 유한체 확장 정리에 오랫동안 남아 있던 추측을 명확히 하여, 그 행동에 거의 완전한 묘사를 달성한다.
• 포물면에 대한 제한 추측과 유한체 위에서의 오스터-팔콘어 거리 문제 사이의 연결 고리를 수립한다.
• 기하학적 반경이 원시적인 구 또는 포물면 위에 있고 다른 집합이 임의인 경우, 기하학적 반경이 원시적인 기하학적 반경을 가진 유한체 위에서의 오스터-팔콘어 거리 추측이 성립함을 증명한다.

제안 방법

• 특정 차원에서 제로 구의 흥미로운 양호한 푸리에 변환 특성을 최근에 발견한 바를 활용하여, 포물면에 대한 L² → Lʳ 확장 추정을 향상시킨다.
• 에너지 집합을 분석하기 위해 첫 번째 연관 체계 그래프를 도입하여, 기하학적 반경이 원시적인 구에 대한 새로운 Lᵖ → L⁴ 추정을 유도한다.
• 제한 문제와 확장 문제 사이의 이중성 원리를 적용하여, Lᵖ → L⁴ 추정을 푸리에 변환의 L² 노름에 대한 경계로 변환한다.
• 加성 특성의 수직성과 플랑카렐 정리를 사용하여 푸리에 계수를 분석하고 L² 추정을 도출한다.
• |A||B|와 |∆(A,B)|를 제어하는 집합 A ⊂ V 및 B ⊂ Fₚ^d의 구성 방법을 통해 추정의 날카로움을 입증한다.
• 확장 문제와 제한 문제 사이의 이중성 원리를 적용하여 오스터-팔콘어 거리 문제와 제한 추측을 연결한다.

실험 결과

연구 질문

• RQ1 d = 4k+3 차원에서 제로 구의 푸리에 변환을 사용하여 포물면에 대한 L² → Lʳ 확장 추정을 향상시킬 수 있는가?
• RQ2 기하학적 반경이 원시적인 구에 대한 Lᵖ → L⁴ 추정이 기하학적 반경이 원시적인 포물면에 비해 왜 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경에서 훨씬 우수한가?
• RQ3 포물면에 대한 제한 추측과 유한체 위에서의 오스터-팔콘어 거리 문제 사이의 정확한 연결 고리는 무엇인가?
• RQ4 새로운 푸리에 분석 기법을 사용하여 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경에 대한 확장 문제를 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경에서 완전히 기술할 수 있는 정도는 어느 정도인가?
• RQ5 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경 위에 있고 다른 집합이 임의인 경우, 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경 위에서 오스터-팔콘어 거리 추측이 성립하는가?

주요 결과

• d = 4k+3 및 q ≡ 3 mod 4 인 포물면에 대해, 이 논문은 이전 저자에 의해 얻어진 지수보다 크게 향상된 새로운 L² → Lʳ 확장 추정을 달성한다.
• 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경에 대해, 이 논문은 스텐-톰스 임계값을 뛰어넘는 새로운 Lᵖ → L⁴ 확장 정리를 도출한다. 이는 10년 이상 개선되지 않았던 상태였다.
• 핵심 발견은 별개의 확장 현상 존재 여부이다: 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경에 대한 Lᵖ → L⁴ 추정은 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경에 비해 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경에서 훨씬 강력하다.
• 이 논문은 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경 위에 있고 다른 집합이 임의인 경우, 기하학적 반경이 원시적인 기하학적 반경을 가진 기하학적 반경 위에서 오스터-팔콘어 거리 추측이 성립함을 증명한다. 조건은 |A||B| ≥ q^d 이다.
• 이 논문은 |A||B| ≥ q^d 조건이 최적임을 보여주는 예를 제시한다. |A||B| ∼ q^{d−ε} 일 때 |∆(A,B)|는 q^{1−ε} 까지 작아질 수 있다.