[论文解读] Powerfree Values of Polynomials

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

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$-自由性阈值从 $k \geq (3d+2)/4$ 改进至 $k \geq (5d+3)/9$，从而使得当 $d \geq 6$ 时 $k = d-2$ 成立。
• 在相同的 $k$-阈值下，将渐近结果扩展至素数输入情形，即 $f(p)$ 为 $k$-自由值的情形。
• 提供强误差项，具体而言，对整数输入为 $O(x^{1 - \delta(d)})$，对素数输入为 $O_A(x (\log x)^{-A})$，其中 $A > 0$ 为任意固定常数。

提出的方法

• 使用 Möbius 反演：$N_{f,k}(x) = \sum_b \mu(b) N(b,x)$，其中 $N(b,x)$ 计数满足 $b^k \mid f(n)$ 且 $n \leq x$ 的整数 $n$。
• 在互素条件下，应用 Siegel-Walfisz 定理估计 $N'(b,x)$，即满足 $b^k \mid f(p)$ 且 $p \leq x$ 的素数 $p$ 的数量。
• 利用行列式法处理同余方程 $f(n) \equiv 0 \pmod{b^k}$ 的解的指数和，特别关注 $b$ 属于 dyadic 区间的情形。
• 通过 dyadic 划分和除数函数估计，控制相关解的数量，从而得到 $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 在满足必要的局部条件前提下，对于哪些 $k$，多项式 $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$-自由性渐近保证的 $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$ 成立。
• 该结果可进一步推广至 $k = d - 1$ 的情形，对所有 $d \geq 3$ 成立，从而解决了 Erdős 和 Hooley 对 $k = d - 1$ 情形留下的未决问题。
• 素数情形下的误差项为 $O_A(x (\log x)^{-A})$ 量级，强于任何幂次节省，且对任意固定 $A > 0$ 均有效。
• 证明表明，$k \geq (5d + 3)/9$ 是通过行列式法与除数函数估计分析误差项收敛性的必要且充分条件。