[논문 리뷰] Equidistribution of polynomial sequences in function fields, with applications

Thái Hoàng Lê, Yu-Ru Liu외 1명|arXiv (Cornell University)|2013. 11. 04.

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

한 줄 요약

이 논문은 다항수열에 대한 Weyl의 등분포 정리의 함수체 버전을 수립하며, Weyl 차분에서 특성 장벽을 극복하기 위해 새로운 지수합 분석을 도입한다. 주요 결과는 다항식 차수가 체의 특성보다 크거나 같을 경우에도 함수체에서 다항수열의 등분포를 증명하며, 이는 van der Corput, 상호작용 및 Glasner 집합에 응용된다.

ABSTRACT

We prove a function field analog of Weyl's classical theorem on equidistribution of polynomial sequences. Our result covers the case in which the degree of the polynomial is greater than or equal to the characteristic of the field, which is a natural barrier when applying the Weyl differencing process to function fields. We also discuss applications to van der Corput, intersective and Glasner sets in function fields.

연구 동기 및 목표

• 다항수열에 대한 Weyl의 고전적 등분포 정리의 함수체 버전을 수립하기 위해.
• 함수체의 다항식 차수가 체의 특성보다 크거나 같을 경우 Weyl 차분의 한계를 해결하기 위해.
• 전통적인 차분 기법이 체의 양의 특성으로 인해 실패하는 경우에도 등분포 결과를 확장하기 위해.
• 등분포 결과를 함수체에서 van der Corput, 상호작용 및 Glasner 집합을 특성화하는 데 응용하기 위해.
• 트레이스 문자와 цили더 집합을 사용한 함수체에서 지수합을 분석하기 위한 새로운 방법을 개발하기 위해.

제안 방법

• 덧셈 문자 $ e(\text{res}\beta) = e_q(\text{tr}(\text{res}\beta)/p) $ 를 사용하여 Weyl의 기준을 함수체에 적응시키며, 여기서 $ e_q(a) = e(\text{tr}(a)/p) $ 이다.
• 함수체에서 $[0,1)$의 유사체인 $ \tau = \bigoplus_{i \to -\frac{1}{t^i}} \tau_i $ 에서 $ \theta \to \theta \bmod t^{-M} $ 의 실린더 집합을 통해 등분포를 정의한다.
• 등분포 분석을 위해 $ \theta(z;u) = \text{Limsup}_{N \to \infty} \frac{1}{q^N} \big| \textstyle\bigsum_{x \to \text{deg} < N} e(z\theta(x)u) \big| $ 의 극한을 사용한다.
• van der Corput의 차분 정리를 함수체 설정에 적용하여 $ \theta(x) $ 의 등분포를 $ \theta(x+h) - \theta(x) $ 의 차분의 등분포로 감소시킨다.
• 지수합을 $ y_i - y_j $ 의 유리수 및 무리수 부분으로 분해하여, 트레이스와 노름 성질을 사용한다.
• 부분 합과 Lemma 7.5 및 $ g' = g / \text{gcd}(z,g) $ 의 구조를 통해 $ \theta(z;u) $ 의 경계를 설정하여 오차 항을 제어한다.

실험 결과

연구 질문

• RQ1 다항식 차수가 체의 특성보다 크거나 같을 경우, Weyl의 다항식에 대한 등분포 정리를 함수체로 확장할 수 있는가?
• RQ2 함수체에서 표준 차분 기법이 $ \text{deg}(f) \to \text{char}(\field{F}_q) $ 일 때 실패할 경우, Weyl 차분을 어떻게 적응시킬 수 있는가?
• RQ3 특히 고차항을 가진 $ f $ 에 대해 $ \field{F}_q((1/t)) $ 에서 $ f(x) \bmod t^{-M} $ 의 다항수열의 등분포 행동은 어떠한가?
• RQ4 함수체에서 van der Corput, 상호작용 또는 Glasner 집합 중 어떤 것이 다항수열의 등분포를 통해 특성화될 수 있는가?
• RQ5 등분포가 성립하는 집합 $ Y $ 의 크기에 대해 $ q $, $ M $, $ k $ 를 기반으로 어떤 경계를 설정할 수 있는가?

주요 결과

• 논문은 $ \text{deg}(f) \to \text{char}(\field{F}_q) $ 일지라도 $ \field{F}_q((1/t)) $ 에서 다항수열 $ f(x) $ 의 등분포를 증명하며, 고전적 차분 기법의 핵심 장벽을 극복한다.
• 함수체에서 $ \theta(x) = \theta(x) $ 가 $ t^{-M} $ 모듈로 등분포할 조건은 $ f $ 의 최고차항 계수가 $ \field{F}_q $ 에 속하지 않을 때이며, 이는 Weyl의 기준을 함수체로 일반화한다.
• 모든 $ k $ 에 대해, $ \theta(x) $ 가 등분포하는 $ k $ 개의 점으로 이루어진 집합 $ Y $ 는 $ |Y| = k \to \text{O}_{\theta}(q^{4C_k(3M+1)}) $ 를 만족하며, 여기서 $ C_k > 1 $ 은 오직 $ k $, $ \theta $, $ q $ 에만 의존한다.
• 이 방법은 $ u $ 가 0이 아닌 유리수이면서 분모가 $ g $ 라면 $ \theta(z;u) \to \text{O}_{\theta}(|g|^{-1/(2C_k)} q^M) $ 라는 경계를 도출하며, 이는 지수합 추정의 오차를 제어한다.
• 분석 결과, $ u $ 가 무리수이면 $ \theta(z;u) = 0 $ 이며, $ u = 0 $ 이면 $ \theta(z;u) = 1 $ 이며, 0이 아닌 유리수 $ u $ 는 중간 정도의 감쇠를 보이며 정밀한 제어가 가능하다.
• 결과적으로, 함수체에서 상호작용 및 van der Corput 집합은 다항수열의 등분포를 통해 특성화될 수 있으며, 이는 고전적 수론 개념을 함수체로 확장한다.