[논문 리뷰] Extension theorems and Distance problems over finite fields

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

Advanced Mathematical Modeling in Engineering인용 수 5

한 줄 요약

이 논문은 차원 $d = 4k+3$ 이며 $q \equiv 3 \mod 4$ 인 경우 파라볼로이드에 대한 새로운 $L^2 \to L^r$ 확장 추정을 수립하고, 첫 번째 연관 체계 그래프의 혁신적 활용을 통해 기하학적 차원이 홀수인 원의 기본 반지름에 대한 더 강력한 $L^p \to L^4$ 확장 정리를 도출한다—이로써 스토인-톰슨 임계값을 뛰어넘고 원과 파라볼로이드 사이의 확장 현상에 있어 뚜렷한 차이를 드러낸다. 또한 파라볼로이드의 제약 추측을 에르되시-팔콘어의 거리 추측과 연결하여, 한 쪽 집합이 원 또는 파라볼로이드 위에 있고 다른 쪽이 임의일 경우, 홀수 차원에서 이 추측이 성립함을 증명한다.

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ős-Falconer distance conjecture over finite fields. The last is to prove that the Erdő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$.

연구 동기 및 목표

• 최근에 발견된 영원의 구의 푸리에 변환 성질을 활용하여 특정 차원에서 파라볼로이드에 대한 개선된 $L^2 \to L^r$ 확장 추정을 수립한다.
• 첫 번째 연관 체계 그래프를 도입하여 원과 관련된 에너지 집합을 분석하고, 홀수 차원에서 기본 반지름을 가진 원에 대한 더 강력한 $L^p \to L^4$ 확장 정리를 유도한다.
• 오랜 기간 동안 남아 있던 원에 대한 유한체 확장 정리에 대한 추측을 명확히 하고 그 행동을 종합적으로 묘사한다.
• 파라볼로이드에 대한 제약 추측과 에르되시-팔콘어의 거리 추측 간의 연결 고리를 설정한다.
• 한 집합이 다양체(원 또는 파라볼로이드) 위에 있고 다른 집합이 임의일 경우, 홀수 차원 공간에서 에르되시-팔콘어의 거리 추측이 성립함을 증명한다.

제안 방법

• 특정 차원에서 영원의 구의 흥미로운 양호한 푸리에 변환 성질을 활용하여 파라볼로이드에 대한 개선된 $L^2 \to L^r$ 확장 추정을 도출한다.
• 첫 번째 연관 체계 그래프를 도입하여 원과 관련된 에너지 집합을 분석하고, 더 강력한 $L^p \to L^4$ 확장 정리를 가능하게 한다.
• 조화 분석 및 지수 합 추정을 사용하여 제약 노름을 유계화하고, 기본 반지름을 가진 원에 대한 확장 추정을 도출한다.
• 공통된 해석적 구조를 통해 파라볼로이드에 대한 제약 추측과 에르되시-팔콘어의 거리 추측 간의 이론적 연결 고리를 설정한다.
• 조합론적 및 푸리에 분석 기법을 적용하여, 지정된 기하 조건 하에서 에르되시-팔콘어의 거리 추측이 홀수 차원에서 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 차원 $d = 4k+3$ 이며 $q \equiv 3 \mod 4$ 인 경우, 파라볼로이드에 대해 개선된 $L^2 \to L^r$ 확장 추정을 수립할 수 있는가?
• RQ2 첫 번째 연관 체계 그래프를 사용하여 홀수 차원에서 기본 반지름을 가진 원에 대해 더 강력한 $L^p \to L^4$ 확장 정리를 도출할 수 있는가?
• RQ3 특히 $L^p \to L^4$ 추정에서 볼 때, 홀수 차원에서 원과 파라볼로이드 사이의 확장 행동에 본질적인 차이가 존재하는가?
• RQ4 유한체에서 파라볼로이드에 대한 제약 추측과 에르되시-팔콘어의 거리 추측은 어떻게 연결되어 있는가?
• RQ5 한 집합이 원 또는 파라볼로이드 위에 있고 다른 집합이 임의일 경우, 홀수 차원 공간에서 에르되시-팔콘어의 거리 추측이 성립하는가?

주요 결과

• 차원 $d = 4k+3$ 이며 $q \equiv 3 \mod 4$ 인 경우, 파라볼로이드에 대한 새로운 $L^2 \to L^r$ 확장 추정은 최근에 제1저자에 의해 확보된 지수를 크게 향상시킨다.
• 첫 번째 연관 체계 그래프의 활용은 홀수 차원에서 기본 반지름을 가진 원에 대한 새로운 $L^p \to L^4$ 확장 정리를 도출할 수 있게 하여 오랫동안 유지된 스토인-톰슨 임계값을 돌파한다.
• 명백한 확장 현상이 드러났다: 기본 반지름을 가진 원에 대한 $L^p \to L^4$ 추정은 홀수 차원에서 파라볼로이드에 대한 추정보다 훨씬 강력하다.
• 결과는 원에 대한 유한체 확장 정리에 대해 상당히 완전한 묘사를 제공하며 오랫동안 남아 있던 추측을 명확히 한다.
• 파라볼로이드에 대한 제약 추측과 에르되시-팔콘어의 거리 추측 간의 연결 고리가 확립된다.
• 한 집합이 원 또는 파라볼로이드 위에 있고 다른 집합이 $\mathbb{F}_q^d$ 내에서 임의일 경우, 홀수 차원 공간에서 에르되시-팔콘어의 거리 추측이 성립함을 증명한다.