[论文解读] On the singular series in the prime k-tuple conjecture

J. Pintz|arXiv (Cornell University)|Apr 7, 2010

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

一句话总结

该论文建立了素数k元组猜想中奇异级数平均行为的精确定量界，表明对于任意允许的k元组H ⊂ [1, H]，奇异级数在平移h ∈ [1, H]上的平均比值Sₕ(H)在H → ∞时收敛于1，且收敛速率明确依赖于k和ε。关键结果为：当H ≥ exp(k¹ᐟᵝ)时，Sₕ(H) = 1 + O(ε)，显著强化了以往的均值估计，并为小素数间隔与几乎素数问题的应用提供了更简洁、更有效的工具。

ABSTRACT

In the present work a new simple proof of the theorem of Gallagher about the average of the singular series in the Hardy-Littlewood prime k-tuple conjecture is proved (in an even stronger form) which is uniform with respect to k (if the length of the interval $H$ is sufficiently large as a function of $k$). This result of Gallagher played a key role in our original joint work with D. A. Goldston and C. Y. Yildirim, where we showed the existence of infinitely many small gaps between consecutive primes. In the present work some weaker variants of Gallagher`s result are also proved (in an even easier way) which are still sufficient for the above mentioned applications.

研究动机与目标

• 细化并加强证明有界素数间隔时所用奇异级数的均值估计。
• 为奇异级数比值提供一个更简洁、更有效的下界，足以满足小素数间隔与几乎素数问题的应用需求。
• 分析固定k下，平均奇异级数比值Sₕ(H) = (1/H)∑ₕ₌₁ᴴ ℱ(ℋ∪{h})/ℱ(ℋ)在H → ∞时的收敛速率。
• 基于对素数乘积的初等估计，建立Sₕ(H)收敛于1的显式定量界，其依赖于k和ε。

提出的方法

• 定义奇异级数ℱ(ℋ) = ∏ₚ (1 − νₚ/p) / (1 − 1/p)^k，其中νₚ为ℋ模p的不同剩余类数。
• 通过将素数乘积划分为三部分来分析比值ℱ(ℋ ∪ {h}) / ℱ(ℋ)：p ≤ y，p > y且p | Δ，以及p > y且p ∤ Δ，其中y = (5/6) log H，Δ = ∏(h − hᵢ)。
• 利用素数定理及∑_{p|Δ} 1/p的界，证明当∑_{p|Δ} log p ≤ 2ky时，∏₂（对应p > y且整除Δ的素数）有界于exp(O(ε))。
• 证明∏₃（对应p > y且不整除Δ的素数）为1 + O(k/(y log y)) = 1 + O(ε)，其中y = (5/6) log H。
• 利用模P = ∏_{p≤y} p的周期性，对h ∈ [1, P]平均∏₁(h)，通过剩余类的组合计数证明其平均值恰好为1。
• 结合∏₁、∏₂和∏₃的估计，在H ≥ exp(k¹ᐟᵝ)条件下证明Sₕ(H) = 1 + O(ε)，并通过∏₂的平凡估计导出更弱但绝对的界。

实验结果

研究问题

• RQ1 对于固定的k元组ℋ，平均奇异级数比值Sₕ(H)在H → ∞时收敛于1的速度如何？
• RQ2 能否推导出一个更简洁、更有效的奇异级数比值下界，足以满足有界素数间隔的应用？
• RQ3 收敛速率对k和H的最优依赖关系是什么，特别是关于指数阈值？
• RQ4 奇异级数乘积中，小素数与大素数的贡献在平均中如何相互作用？
• RQ5 能否通过单个平移的点态估计，恢复并强化Gallagher的全局均值结果？

主要发现

• 对于任意允许的k元组ℋ ⊂ [1, H]，平均奇异级数比值Sₕ(H) = (1/H)∑ₕ₌₁ᴴ ℱ(ℋ ∪ {h}) / ℱ(ℋ)满足：当H ≥ exp(k¹ᐟᵝ)时，Sₕ(H) = 1 + O(ε)，其中ε > 0为任意正数。
• 收敛速率被明确量化：若H ≥ exp(k¹ᐟᵝ)，则Sₕ(H) = 1 + O(ε)，表明平均比值在H充分大时一致趋近于1。
• 建立了更弱但绝对的下界：当H ≥ exp(c₂ k / log k)时，Sₕ(H) ≥ c₁，其中c₁, c₂ > 0为绝对常数。
• 在h ∈ [1, P]（P = ∏_{p≤y} p）上，比值ℱ(ℋ ∪ {h}) / ℱ(ℋ)的平均值恰好为1，这是由于剩余类分布的对称性，从而证明了证明中的核心恒等式。
• 通过∑_{p|Δ} 1/p的界与素数定理控制乘积分解中的误差项，得出在给定H阈值下误差为O(ε)。
• 该结果通过提供平均比值的逐点控制，强化了Gallagher的均值估计，而这种控制已足够用于有界素数间隔与几乎素数问题的应用。