[论文解读] Pairs of k-free Numbers, consecutive square-full Numbers

Thomas Reuss|arXiv (Cornell University)|Dec 13, 2012

Analytic Number Theory Research参考文献 6被引用 24

一句话总结

本文通过改进的近似行列式法，提升了关于 $k$-自由整数对与 $k$-自由整数 $r$-元组的渐近公式中的误差项。相较于 Heath-Brown、Brandes、Dietmann–Marmon 与 Tsang 的先前工作，该方法实现了更紧致的误差指数。此外，该方法被应用于 Pell 方程的基本单位，证明了对几乎所有 $D$，有 $\epsilon_D > D^\theta$，其中 $\theta < 3$。关键进展在于通过最优参数选择，对行列式方法进行了更精细的估计。

ABSTRACT

We consider the error term of the asymptotic formula for the number of pairs of $k$-free integers up to $x$. Our error term improves results by Heath-Brown, Brandes and Dietmann/Marmon. We then extend our results to $r$-tuples of $k$-free numbers and improve previous results by Tsang. Furthermore, we establish an error term for consecutive square-full integers. Finally, we will show that for all $θ&lt;3$ and for almost all $D$, the fundamental solution $ε_D$ associated to the Pell equation $x^2-Dy^2=1$ satisfies $ε_D&gt; D^θ$. This improves/recovers previous results by Fouvry and Jouve. The main tool of our work is the approximate determinant method.

研究动机与目标

• 改进关于不超过 $x$ 的 $k$-自由整数对的渐近公式中的误差项，超越 Heath-Brown、Brandes 与 Dietmann–Marmon 的结果。
• 将误差项分析扩展至 $k$-自由整数的 $r$-元组，改进 Tsang 的先前界限。
• 为一类相关但不同的算术计数问题——连续平方因子数——建立新的误差项。
• 证明：对所有 $\theta < 3$，Pell 方程 $x^2 - Dy^2 = 1$ 的基本单位 $\epsilon_D$ 满足 $\epsilon_D > D^\theta$，对几乎所有 $D$ 成立，从而恢复并改进了 Fouvry 与 Jouve 的结果。

提出的方法

• 主要工具是近似行列式法的推广版本，适用于在 $d,e,u,v$ 的大小约束下，计数代数簇 $e^k v^l - d^k u^l = h$ 上的整数点。
• 该方法将问题转化为在曲线 $t = s^{k/l}$ 附近计数有理点，其中 $t = v/u$，$s = d/e$，并利用数的几何方法。
• 关键创新在于引入参数 $M$，其定义为 $\log M = \frac{9}{8} \frac{\log(DE)\log(UV)}{\log x}$，用于控制计数界限中的误差。
• 证明中应用定理 1 来界定解的数量 $\mathcal{N}(x;D,E)$，得到估计式 $\mathcal{N}(x;D,E) \ll_{\epsilon,k,l,h} x^\epsilon \min\{(DEM)^{1/2} + D + E, (UVM)^{1/2} + U + V\}$。
• 在 $k$-自由整数对的应用中，方法取 $l=1$，并通过在界限中对参数 $\psi$ 进行优化，推导出误差指数 $\omega(k)$。
• 该方法被扩展至 Pell 方程单位问题，通过将 $\epsilon_D$ 的大小与相关丢番图方程的解数关联，使用相同的行列式框架。

实验结果

研究问题

• RQ1 能否在当前最佳已知界限之上，进一步改进关于 $k$-自由整数对的渐近公式中的误差项？
• RQ2 对于 $k$-自由整数的 $r$-元组，最优误差指数 $\omega(k)$ 是什么？能否利用现代解析方法进一步改进？
• RQ3 近似行列式法能否被进一步优化，以对连续平方因子数问题提供更强的界限？
• RQ4 在 Pell 方程 $x^2 - Dy^2 = 1$ 中，使得 $\epsilon_D > D^\theta$ 对几乎所有 $D$ 成立的最优指数 $\theta$ 是多少？

主要发现

• 对于 $k$-自由整数对，误差项被改进为 $O_{\epsilon,k,h}(x^{\omega(k)+\epsilon})$，其中 $\omega(k) = \frac{26 + \sqrt{433}}{81} \approx 0.578$（当 $k=2$ 时），且 $\omega(k) = \frac{169}{144k}$（当 $k \geq 3$ 时），该结果小于 Brandes 与 Dietmann–Marmon 的先前界限。
• 对于 $k$-自由整数的 $r$-元组，该方法给出了渐近公式，其误差项优于 Tsang 的结果，尽管摘要中未明确给出具体指数。
• 为连续平方因子数建立了误差项，拓展了该方法在 $k$-自由整数之外的应用范围。
• 本文证明：对所有 $\theta < 3$，Pell 方程 $x^2 - Dy^2 = 1$ 的基本单位 $\epsilon_D$ 满足 $\epsilon_D > D^\theta$，对几乎所有 $D$ 成立，优于 Fouvry 与 Jouve 的结果。
• 在 $D,E,U,V,x$ 满足特定条件时，推导出界限 $\mathcal{N}(x;D,E) \ll_{\epsilon} x^\epsilon \min\{(DEM)^{1/2} + D + E, (UVM)^{1/2} + U + V\}$，其中 $M$ 通过涉及 $\log(DE)$ 与 $\log(UV)$ 的对数表达式定义。
• 通过在界限中对参数 $\psi$ 进行优化，实现了最优误差指数 $\omega(k)$，其中函数 $f(\psi)$ 的最大值出现在 $\psi = 2/5$，此时 $f(2/5) = 29/100$。