[논문 리뷰] Uniform estimates for smooth polynomials over finite fields

Ofir Gorodetsky|arXiv (Cornell University)|2022. 03. 09.

Analytic Number Theory Research인용 수 4

한 줄 요약

이 논문은 유한체 $\mathbb{F}_q$ 위에서 차수 $n$인 $m$-스무스 모닉 다항식의 수에 대한 균일한 점점 수렴 추정을 수립하며, $m \geq (2+\varepsilon)\log_q n$일 때 그 스무스성 확률이 $n$ 원소에 대한 랜덤 순열의 스무스성 확률과 점점 수렴함을 보여주며, $q^n \to \infty$일 때 균일하게 성립한다. 핵심 결과는 힐데브라인의 추측에 대한 다항식 버전을 해결하며, 스무스성 확률에 대한 임계값 $m \geq (2+\varepsilon)\log_q n$의 범위가 정확히 맞는다는 것을 입증하고, 사다리점 분석과 딕만 함수와의 비교를 통해 정밀한 오차 항을 제공한다.

ABSTRACT

We establish new estimates for the number of $m$-smooth polynomials of degree $n$ over a finite field $\mathbb{F}_q$, where the main term involves the number of $m$-smooth permutations on $n$ elements. Our estimates imply that the probability that a random polynomial of degree $n$ is $m$-smooth is asymptotic to the probability that a random permutation on $n$ elements is $m$-smooth, uniformly for $m\ge (2+\varepsilon)\log_q n$ as $q^n o \infty$. This should be viewed as an unconditional analogue of works of Hildebrand and of Saias in the integer setting, which assume the Riemann Hypothesis. Moreover, we show that the range $m \ge (2+\varepsilon)\log_q n$ is sharp; this should be viewed as a resolution of a (polynomial analogue of a) conjecture of Hildebrand. As an application of our estimates, we determine the rate of decay in the asymptotic formula for the expected degree of the largest prime factor of a random polynomial.

연구 동기 및 목표

• 유한체 $\mathbb{F}_q$ 위에서 차수 $n$인 $m$-스무스 모닉 다항식의 수에 대한 균일한 점점 수렴 추정을 수립하기.
• 랜덤 다항식 $\mathbb{F}_q[T]$의 스무스성 확률과 $S_n$에서의 랜덤 순열의 스무스성 확률을 비교하여, 특정 조건 하에서 점점 수렴 동치성을 보여주기.
• 힐데브라인의 추측에 대한 다항식 버전을 해결하여, 스무스성 확률에 대한 임계값 $m \geq (2+\varepsilon)\log_q n$의 날카로움을 입증하기.
• 유도된 추정을 사용하여 랜덤 다항식의 가장 큰 소인수의 기대 차수의 감쇠 속도를 규명하기.

제안 방법

• 논문은 $\mathbb{F}_q$ 위에서 $m$-스무스 다항식의 생성함수를 사다리점 분석을 통해 추정하며, 이를 $m$-스무스 순열의 생성함수와 비교한다.
• 스무스성 확률의 점점 수렴 행동을 제어하는 매개변수 $x = x_{n,m} > 0$를 도입하며, 이는 $\sum_{j=1}^m x^j = n$를 만족한다.
• 점점 수렴 추정의 주요 항은 $u = n/m$을 변수로 쓰는 딕만 함수 $\rho(u)$를 포함하며, 이산 평균과 연속 평균의 차이에 대한 적분 추정과 경계를 통한 오차 항 제어가 이루어진다.
• 핵심 요소로는 $\leq m$ 차수의 기약 다항식에 대한 곱으로 정의된 함수 $G_q(x)$가 있으며, 이는 순열 모델에서의 편차를 기록한다.
• 증명은 순열에서의 스무스성 확률에 대한 재귀 관계를 $\Delta(n,m)$을 통해 표현하며, 적분 표현과 $\rho(u)$의 점점 수렴 전개를 이용해 $\Delta(n,m)$의 양성과 하한을 확립한다.
• 분석에는 비율 $\mathbb{P}(f_n \text{ is } m\text{-smooth}) / \mathbb{P}(\pi_n \text{ is } m\text{-smooth})$의 오차 항을 철저히 추정하여, $q^n \to \infty$일 때 균일하게 1로 수렴함을 보여준다.

실험 결과

연구 질문

• RQ1 유한체 $\mathbb{F}_q$ 위에서 차수 $n$인 랜덤 모닉 다항식이 $m$-스무스일 확률이, $m \geq (2+\varepsilon)\log_q n$일 때, $n$과 $q$에 대해 균일하게 $n$ 원소에 대한 랜덤 순열이 $m$-스무스일 확률과 점점 수렴하는가?
• RQ2 스무스성 확률에 대한 다항식과 순열의 점점 수렴 동치성에 대해, 임계값 $m \geq (2+\varepsilon)\log_q n$이 날카로운가?
• RQ3 랜덤 다항식의 가장 큰 기약 인수의 기대 차수의 감쇠 속도는 무엇인가?
• RQ4 다항식의 스무스성 확률에 대한 점점 수렴 추정의 오차 항은 순열 모델의 오차 항과 어떻게 비교되며, 이를 균일하게 개선할 수 있는가?
• RQ5 다항식과 순열 스무스성 간의 비교를 $m \sim (1+\varepsilon)\log_q n$ 영역으로 확장할 수 있으며, 이 경우 주요 항에 어떤 수정이 필요한가?

주요 결과

• 모든 $m \geq (2+\varepsilon)\log_q n$에 대해, $\mathbb{F}_q$ 위에서 차수 $n$인 랜덤 다항식이 $m$-스무스일 확률은 $n$ 원소에 대한 랜덤 순열이 $m$-스무스일 확률과 점점 수렴하며, $q^n \to \infty$일 때 균일하게 성립하며, 상대 오차는 $\ll_{\varepsilon} 1/(nq)^{c_\varepsilon}$이다.
• 범위 $m \geq (2+\varepsilon)\log_q n$는 날카로운 것으로 판명된다: $m < (2+\varepsilon)\log_q n$일 경우 점점 수렴 동치성은 성립하지 않으며, 이는 힐데브라인의 추측이 함수 분야 설정에서 확인된 것이다.
• 비율 $\mathbb{P}(f_n \text{ is } m\text{-smooth}) / \mathbb{P}(\pi_n \text{ is } m\text{-smooth})$의 오차 항은 $O_{\varepsilon}\left(\frac{un^{(1+a)/m}}{q^{\lceil (m+1)/2 \rceil}}\right)$로 경계되며, 이는 이전의 오차 경계보다 개선된 것이다. 여기서 $a = \mathbf{1}_{2\mid m}$이다.
• $m \geq 6\log n$일 경우 오차 항은 $O\left(\frac{u\log(u+1)}{mq^{\lceil (m+1)/2 \rceil}}\right)$이며, 이는 이전의 $u\log(u+1)/m$ 또는 $1/u$ 정도의 오차 경계보다 훨씬 작다.
• $m \sim (1+\varepsilon)\log_q n$일 경우, 점점 수렴 비율의 주요 항은 다항식과 순열 모델 간의 격차를 반영하는 인자 $G_q(x)$에 의해 수정된다.
• 논문은 $m \leq n/2$에 대해 $\Delta(n,m) \gg u\log u / m$이라는 하한을 확립하며, 이는 순열과 다항식의 스무스성 확률 간 상대적 차이가 해당 영역에서 양성임과 동시에 증가함을 확인한다.