[论文解读] Explicit averages of square-free supported functions: to the edge of the convolution method

Sebastian Zuniga Alterman|arXiv (Cornell University)|Mar 12, 2020

Analytic Number Theory Research参考文献 12被引用 3

一句话总结

本论文提出了一种改进的卷积方法，用于显式渐近估计具有无平方因子支撑的算术函数的平均值，在临界指数 δ₀ 处实现最优误差项。通过引入基于无穷乘积收敛性和区间算术的新误差控制技术，该方法改进了经典卷积方法，为具有规则素数行为的乘性函数（尤其在互素条件下）的和提供了显式、精确的误差常数。

ABSTRACT

We give a general statement of the convolution method so that one can provide explicit asymptotic estimations for all averages of square-free supported arithmetic functions that have a sufficiently regular order on the prime numbers and observe how the nature of this method gives error term estimations of order $X^{-\delta}$, where $\delta$ belongs to an open real positive set $I$. In order to have a better error estimation, a natural question is whether or not we can achieve an error term of critical order $X^{-\delta_0}$, where $\delta_0$, the critical exponent, is the right hand endpoint of $I$. We reply positively to that question by presenting a new method that improves qualitatively almost all instances of the convolution method under some regularity conditions; now, the asymptotic estimation of averages of well-behaved square-free supported arithmetic functions can be given with its critical exponent and a reasonable explicit error constant. We illustrate this new method by analyzing a particular average related to the work of Ramar\'e--Akhilesh (2017), which leads to notable improvements when imposing non-trivial coprimality conditions.

研究动机与目标

• 为解决经典卷积方法在临界指数 δ₀ 处无法获得误差项的问题，即 X⁻ᵟ 误差界有效的区间 I 的右端点。
• 开发一种新方法，系统性地实现 O(X⁻ᵟ₀) 量级的误差项，并给出显式、合理的常数，优于标准卷积方法的定性界。
• 为具有良好行为、无平方因子支撑且具有规则素数行为的乘性函数（尤其在互素条件下）提供一个通用框架。
• 通过在已知误差常数上的显式改进，特别是针对欧拉函数 ϕ(ℓ) 的和，展示该方法的优越性。

提出的方法

• 引入一种改进的卷积方法，利用复分析技术和留数理论，专为显式误差估计而设计。
• 采用区间算术（通过 C++ 实现）高精度计算显式误差界，替代精度较低的任意精度工具。
• 利用莫比乌斯函数与乘性结构的关键分解，将无平方整数上的和分离为主项与误差项。
• 对卷积中内层求和（关于 e）应用新估计，即使求和为空也有效，确保外层求和余项的收敛性。
• 通过分析涉及 f(p) 的无穷乘积的收敛性，推导显式误差界，特别当 β − α > 1/2 时，确保误差常数有限。
• 根据 q 的奇偶性（奇或偶）区分情况，以细化误差常数，尤其针对主导乘积的 p=2 和 p=3。

实验结果

研究问题

• RQ1 卷积方法能否改进至实现临界阶 X⁻ᵟ₀ 的误差项，其中 δ₀ 是使得 X⁻ᵟ 误差界有效的区间 I 的上确界？
• RQ2 算术函数 f（尤其是其在素数上的行为）需满足何种条件，才能在临界指数处实现显式、精确的误差常数？
• RQ3 互素条件（如 (ℓ, q) = 1）如何影响误差项？该方法能否被调整以获得优于现有结果的更优常数？
• RQ4 该新方法在多大程度上可推广至 Ramaré–Akhilesh（2017）等先前研究中未涵盖的其他乘性函数？

主要发现

• 本文建立了一种新方法，实现 O(X⁻ᵟ₀) 量级的误差项，并给出显式、合理的误差常数 Wqᵅ，优于经典卷积方法（后者无法达到此临界指数）。
• 对于和 ∑_{ℓ≤X, (ℓ,q)=1} µ²(ℓ)f(ℓ)，主项为 Fqᵅ(X)，误差项为 O∗(Wqᵅ X¹/²⁻ᵅ)（当 α ≠ 1/2 时）和 O∗(Wqᵅ log X)（当 α = 1/2 时），其中 Wqᵅ 通过无穷乘积显式有界。
• 该方法将 ∑_{ℓ≤X, (ℓ,2)=1} µ²(ℓ)/ϕ(ℓ) 的误差常数从 [19, 定理 1.1] 中的 4.956 显著降低至 2.169，显著减少了显式误差界。
• 误差常数 Wqᵅ 表示为不整除 q 的素数上的乘积，当 β − α > 1/2 时收敛，该方法适用于除 |β − α| ≤ 1/2 的一小类函数外的所有函数。
• 误差常数的主要贡献来自 p=2，该方法通过区分奇偶 q 来细化边界，尤其针对小素数。
• 该方法优于先前结果如 [19, 定理 1.2] 和 [20]，并为辅助引理（如 [19, 引理 7.1–7.9]）提供了更强的界，表明其在显式数论中具有更广泛的应用潜力。