[논문 리뷰] Powerfree Values of Polynomials

D. R. Heath‐Brown|arXiv (Cornell University)|2011. 03. 10.

Analytic Number Theory Research참고 문헌 9인용 수 5

한 줄 요약

이 논문은 다항식 $f(X) = X^d + c$ 형태의 다항식이 취하는 $k$-자유 값의 수에 대한 渐近 공식을 수립하며, $k \geq (5d + 3)/9$ 일 때 $N_{f,k}(x) = C(f,k)x + O(x^{1 - \delta(d)})$ 가 성립함을 증명한다. 이는 이전의 경계보다 크게 향상된 결과이다. 방법론은 Möbius 역전개 공식, 지수 합 추정, 그리고 행렬식 방법을 조합하여, 소수 입력에 대한 결과로 확장하고, 동일한 조건 하에서 $f(p)$ 가 $k$-자유임을 위한 渐近 밀도를 확인한다.

ABSTRACT

For irreducible integer polynomials $f(n)=n^d+c$ we prove an asymptotic formula for the number of $k$-th power free values taken by $f(n)$, for $n$ running up to $x$, subject to the condition $k\ge (5d+3)/9$. This improves earlier results in which the condition was $k\ge (3d+1)/4$. We also show that one can handle $f(p)$ for prime arguments $p$, for the same range of $k$.

연구 동기 및 목표

• 정수 위에서 기약 다항식 $f(X) = X^d + c$ 의 $k$-자유 값의 수에 대한 渐近 공식을 수립하는 것.
• 이전의 경계인 $k \geq (3d+2)/4$ 에서부터 $k \geq (5d+3)/9$ 로 개선하여, $d \geq 6$ 일 때 $k = d-2$ 를 허용하는 것.
• 동일한 $k$-임계값 하에서 소수 입력에 대한 $k$-자유 값으로의 확장을 이루는 것, 즉 $f(p)$ 에 대해.
• 고정된 $A > 0$ 에 대해 정수 입력에 대해 $O(x^{1 - \delta(d)})$, 소수 입력에 대해 $O_A(x (\log x)^{-A})$ 의 강력한 오차 항을 제공하는 것.

제안 방법

• Möbius 역전개 공식을 사용: $N_{f,k}(x) = \sum_b \mu(b) N(b,x)$, 여기서 $N(b,x)$ 는 $b^k \mid f(n)$ 인 $n \leq x$ 의 개수를 세는 것.
• Siegel-Walfisz 정리를 적용하여, 서로소 조건 하에서 $b^k \mid f(p)$ 인 소수 $p \leq x$ 의 수인 $N'(b,x)$ 를 추정한다.
• 행렬식 방법을 사용하여 $f(n) \equiv 0 \pmod{b^k}$ 의 해에 대한 지수 합을 다루며, 특히 이중 범위 내의 $b$ 에 대해 적용한다.
• 이중 분할과 약수 함수 추정을 구현하여 관련 해의 수를 근사하고, $O_{\varepsilon}(N^{\varepsilon})$ 형식의 오차 항을 도출한다.
• $\rho(t) = \frac{j}{4d}(1 + \frac{d - kt}{j} + t)^2$ 와 그 도함수를 분석하여 오차 항의 수렴 조건을 확인한다.
• 특히 $k \geq (5d + 3)/9$ 일 때 오차 항이 $O(N^{1 - \eta})$ 형식이 되며, $\eta > 0$ 이 충분히 작을 경우, $Q(t)$ 와 $\rho(t)$ 의 추정을 통해 이를 증명한다.

실험 결과

연구 질문

• RQ1 지역 조건이 충족될 때, 다항식 $f(X) = X^d + c$ 가 무한히 많은 $k$-자유 값을 취하는 조건은 무엇인가? (필요한 국소 조건 하에서)
• RQ2 다항식 $f(X) = X^d + c$ 에 대해 $N_{f,k}(x) = C(f,k)x + O(x^{1 - \delta(d)})$ 의 渐近 공식이 성립하기 위한 임계값 $k \geq (5d + 3)/9$ 는 어떻게 확립할 수 있는가?
• RQ3 동일한 $k$-임계값 하에서 소수 입력에 대해 $f(p)$ 가 $k$-자유임을 위한 동일한 渐近 밀도 결과가 성립하는가?
• RQ4 다항식 $f(n)$ 과 $f(p)$ 의 $k$-자유 값의 수에 대한 최고의 오차 항은 무엇이며, 이는 로그 척도에서 임의로 작게 만들 수 있는가?
• RQ5 행렬식 방법은 $X^d + c$ 에 대해 $k$-자유성의 渐近 보장 범위를 향상시키는 데 효과적으로 적용될 수 있는가?

주요 결과

• 다항식 $f(X) = X^d + c$ 에 대해 $k \geq (5d + 3)/9$ 일 때, $N_{f,k}(x) = C(f,k)x + O(x^{1 - \delta(d)})$ 의 渐近 공식이 성립하며, $\delta(d) > 0$ 은 $d$ 에 따라 달라진다.
• 이 결과는 $d \geq 6$ 일 때 $k = d - 2$ 를 허용하며, 이는 이전 결과에서 요구하던 $d \geq 10$ 또는 $d \geq 24$ 보다 훨씬 우수한 결과이다.
• 소수 입력에 대해서는 $k \geq (5d + 3)/9$ 조건 하에서 $N'_{f,k}(x) = C'(f,k)\pi(x) + O_A(x (\log x)^{-A})$ 가 임의의 $A > 0$ 에 대해 성립한다.
• 이 결과는 $d \geq 3$ 일 때 $k = d - 1$ 으로까지 확장되며, Erdős 와 Hooley 가 $k = d - 1$ 경우를 열어두었던 사례를 해결한다.
• 소수 입력의 오차 항은 $O_A(x (\log x)^{-A})$ 의 순서를 가지며, 이는 어떤 거듭제곱 향상보다도 강력하며, 고정된 $A > 0$ 에 대해 효과적이다.
• 증명은 $k \geq (5d + 3)/9$ 가 행렬식 방법과 약수 함수 추정을 통한 오차 항 분석의 수렴 조건을 위해 필수적이고 충분함을 입증한다.