[论文解读] Higher correlations of divisor sums related to primes III: k-correlations

D. A. Goldston, C. Y. Yıldırım|arXiv (Cornell University)|Sep 10, 2002

Analytic Number Theory Research参考文献 23被引用 51

一句话总结

本文通过多重复积分与留数计算，建立了用于逼近 von Mangoldt 函数的短除数和的 k-相关性的渐近公式。关键结果是一个精确的主项，包含可计算的有理常数 𝒞ₖ(𝐚) 与一个奇异级数 𝔖(𝐣)，使该结果在素数定理研究中具有最优截断水平 R 的应用价值。

ABSTRACT

We obtain the general k-correlations for a short divisor sum related to primes.

研究动机与目标

• 推导用于逼近 von Mangoldt 函数 Λ(n) 的短除数和的 k-相关性的渐近公式。
• 将此前关于 1-、2- 和 3-相关的成果推广至任意 k ≥ 1 的情形。
• 在除数和逼近中优化截断水平 R，以提升其在素数定理研究中的应用效果。
• 通过多变量留数计算显式计算有理常数 𝒞ₖ(𝐚)，并建立其乘法结构。
• 将结果扩展至同时包含逼近函数 Λ_R 与真实 von Mangoldt 函数 Λ(n) 的混合相关性。

提出的方法

• 使用短除数和逼近 Λ_R(n) = ∑_{d|n, d≤R} μ(d) log(R/d) 来建模 von Mangoldt 函数。
• 通过 Perron 公式与狄利克雷级数，将 k-相关性 𝒮ₖ(N,𝐣,𝐚) 表示为多重复积分。
• 应用多变量留数计算以评估主项，识别复平面上极点的贡献。
• 推导奇异级数 𝔖(𝐣) = ∏_p (1−1/p)^{−r}(1−ν_p(𝐣)/p)，以捕捉位移 j_i 的算术结构。
• 引入可变的截断水平 R_i = N^{θ_i}，以优化主项并推导广义常数 𝒞ₖ(𝐚,θ)。
• 利用广义公式 𝒞ₖ(𝐚,θ) = ∏_{i=1}^r 𝒞_{a_i}(θ_i) 计算依赖于相对 θ_i 值的常数。

实验结果

研究问题

• RQ1 当 N → ∞ 时，k-相关性 ∑_n Λ_R(n+j₁)^{a₁}⋯Λ_R(n+j_r)^{a_r} 的渐近行为是什么？
• RQ2 主项中的有理常数 𝒞ₖ(𝐚) 如何依赖于位移的重数模式 𝐚 = (a₁,…,a_r)？
• RQ3 是否可通过为每个位移 j_i 分配不同的 R_i 来优化截断水平 R？这将如何影响相关常数？
• RQ4 相关常数对相对大小 θ_i = log R_i / log N 的精确依赖关系是什么？
• RQ5 结果如何推广至同时包含 Λ_R 与 Λ(n) 的混合相关性？在 Bombieri–Vinogradov 猜想下，其有效范围是什么？

主要发现

• k-相关性 𝒮ₖ(N,𝐣,𝐚) 的主项渐近形式为 (𝒞ₖ(𝐚)𝔖(𝐣) + o_k(1))N(log R)^{k−r} + O(R^k)，其中 𝒞ₖ(𝐚) 为可计算的有理常数。
• 当 k ≤ 4 时，常数可显式计算：𝒞₁(1)=1，𝒞₂(2)=1，𝒞₂(1,1)=1，𝒞₃(3)=3/4，𝒞₄(4)=3/4，其余为有理数值。
• 常数满足乘法公式 𝒞ₖ(𝐚) = ∏_{i=1}^r 𝒞_{a_i}，其中 𝒞_k = 𝒞_k(1,…,1) 为基本常数。
• 引入可变截断 R_i = N^{θ_i} 的广义相关性，得到 𝒞ₖ(𝐚,θ) = ∏_{i=1}^r 𝒞_{a_i}(θ_i)，并给出了 𝒞₃(θ) 与 𝒞₄(θ) 关于 θ_i 的显式公式。
• 对于 𝒞₄(θ)，公式为 𝒞₄(θ) = θ₂θ₃θ₄ − ½θ₄(θ₂+θ₃−θ₁)²[θ₂+θ₃≥θ₁] − 1/32 A₄(A₄² + 6A₃A₄ + 4A₃²)[A₄≥0]，其中 A₃=θ₂+θ₃−θ₁，A₄=θ₁−θ₂−θ₃+θ₄。
• 混合相关性 𝔗ₖ(N,𝐣,𝐚) 满足 𝔗ₖ(N,𝐣,𝐚) = (𝒞ₖ(𝐚)𝔖(𝐣) + o_k(1))N(log R)^{k−r}，在 Bombieri–Vinogradov 条件下，分布水平为 ϑ。