[论文解读] Prime pairs and Zeta's zeros

Jacob Korevaar|ArXiv.org|Jun 5, 2008

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

一句话总结

本文建立了 Hardy-Littlewood 素数对猜想（PPC）与黎曼 zeta 函数非平凡零点相关 Dirichlet 级数边界行为之间的深度等价关系。通过 Tauberian 方法并假设黎曼猜想，证明了 PPC 成立当且仅当与 zeta 零点相关的某些函数在 Re(s) = 1 处表现出伪函数边界行为，从而将素数对分布与 zeta 零点的精细统计特性联系起来。

ABSTRACT

There is extensive numerical support for the prime-pair conjecture (PPC) of Hardy and Littlewood (1923) on the asymptotic behavior of pi_{2r}(x), the number of prime pairs (p,p+2r) with p not exceeding x. However, it is still not known whether there are infinitely many prime pairs with given even difference! Using a strong hypothesis on (weighted) equidistribution of primes in arithmetic progressions, Goldston, Pintz and Yildirim have shown (2007) that there are infinitely many pairs of primes differing by at most sixteen. The present author uses a Tauberian approach to derive that the PPC is equivalent to specific boundary behavior of certain functions involving zeta's complex zeros. Under Riemann's Hypothesis and on the real axis, these functions resemble pair-correlation expressions. A speculative extension of Montgomery's classical work (1973) would imply that there must be an abundance of prime pairs.

研究动机与目标

• 建立素数对猜想（PPC）与由 zeta 函数非平凡零点关联的 Dirichlet 级数边界行为之间的精确等价关系。
• 研究是否可通过算术级数中素数的强等分布假设，利用 Tauberian 理论推导出 PPC。
• 探讨黎曼猜想与 Montgomery 的成对相关性猜想对素数对丰度的影响。
• 证明在黎曼猜想下，由 zeta 零点导出的函数在临界线 Re(s) = 1/2 上类似于成对相关性表达式。
• 基于 zeta 零点相关双和的非负性及筛函数，提供素数对丰度的条件性证明。

提出的方法

• 应用双向 Wiener–Ikehara Tauberian 定理，将素数对计数函数 π₂ᵣ(x) 的渐近行为与关联 zeta 零点的 Dirichlet 级数 D₂ᵣ(s) 的边界行为联系起来。
• 使用条件：当 u ↘ 1 时，差值 f(u+iv) − A/(u+iv) 在分布意义下具有极限，且该极限在有限区间上必须为伪函数。
• 引入筛函数 E^λ(ν) 以分析 ∑π₂ᵣ(x) 在偶数差 2r ≤ λ 上的和，利用其非光滑性但有效行为。
• 分析双和 Σ²_λ(s) = ∑_{ρ,ρ'} Γ(ρ−s)Γ(ρ′−s) t^{2s−ρ−ρ′} cos(πρ/2)cos(πρ′/2)，证明当 E^λ(t) ≥ 0 时其非负性。
• 利用恒等式：(s−1/2)D₂ᵣ(s) → 0 当 s ↘ 1/2（沿角方向），这是伪函数条件所必需的。
• 结合 D₂ᵣ(s) 的估计与假设：在一组 mⱼ 上，π₂ₘⱼ(x) 的平均值下界为所有 2r ≤ λ 的平均值的 c 倍，推导出 π₂ₘ(x)/(x/log²x) 的 limsup 下界。

实验结果

研究问题

• RQ1 素数对猜想（PPC）是否等价于由 zeta 函数非平凡零点构建的 Dirichlet 级数的特定边界行为？
• RQ2 黎曼猜想与伪函数边界条件是否联合蕴含存在无穷多对具有给定偶数差的素数对？
• RQ3 在 E^λ(t) ≥ 0 条件下，若双和 Σ²_λ(s) 在 1/2 < s < 1 时为正，是否可推出素数对的条件性丰度？
• RQ4 Montgomery 的成对相关性猜想在多大程度上可蕴含在 PPC 下的素数对丰度？
• RQ5 使用非光滑筛函数 E^λ(ν) 的 Tauberian 方法是否仍能对 π₂ᵣ(x) 获得有意义的渐近估计？

主要发现

• 素数对猜想（PPC）等价于函数 g(w) = f(w) − A/w 在 Re(w) = 1 处具有伪函数边界极限的条件。
• 在黎曼猜想下，由 zeta 零点导出的函数在临界线 Re(s) = 1/2 上类似于 Montgomery 的成对相关性表达式。
• ∑_{r≤m} ψ₂ᵣ(x) 的 (1/x) 平均值的 limsup 超过 (2−ε)m，意味着在 x 以内具有差 2r 的素数对的平均数量被下界控制为 m 的常数倍。
• 若在一组 mⱼ 上，π₂ₘⱼ(x) 的平均值满足下界条件，则 π₂ₘ(x)/(x/log²x) 的 limsup 被正的常数 c 下界控制。
• 当 E^λ(t) ≥ 0 时，双和 Σ²_λ(s) 在 1/2 < s < 3/4 范围内非负，这是由于 zeta 零点和中模平方结构所致。
• 当 δ↘0 且 λ→∞ 沿适当序列 S 时，δD₂ₘ((1/2)+δ) ≥ c(1/2 − 1/(4λδ)) − o(1) 的结果表明，s=1/2 处的留数有下界，支持素数对的丰度。