[论文解读] Comparative prime number theory: A survey

Greg Martin, Justin Scarfy|arXiv (Cornell University)|Feb 15, 2012

Analytic Number Theory Research参考文献 42被引用 7

一句话总结

本综述论文综合了比较素数定理，聚焦于模k下素数在剩余类中的分布，特别是某些类在计数上占主导的“偏差”现象。在广义黎曼假设（GRH）和线性独立性（LI）假设下，论文提出了关键的猜想与定理，包括符号变化的渐近分布以及素数计数函数中领先变化频率和幅度的尾部界限，给出了关于领先变化频率与幅度的精确条件结果。

ABSTRACT

Comparative prime number theory is the study of the {\em{discrepancies}} of distributions when we compare the number of primes in different residue classes. This work presents a list of the problems being investigated in comparative prime number theory, their generalizations, and an extensive list of references on both historical and current progresses.

研究动机与目标

• 系统化并综述比较素数定理中的开放问题与最新进展，特别是模k下素数在剩余类中的分布。
• 研究切比雪夫偏差现象，即某些剩余类（如3 mod 4）中的素数比其他类（如1 mod 4）更频繁地占据多数。
• 分析差值函数 δπ(x;k,l₁,l₂) = π(x;k,l₁) − π(x;k,l₂) 的符号变化渐近行为，尤其在广义黎曼假设（GRH）和线性独立性（LI）猜想下。
• 将素数竞赛的概念推广至多个剩余类，并推导某一类相对于其他类领先的可能性的概率度量。
• 建立关于描述素数计数竞赛中领先变化分布的测度 μq;a₁,…,ar 的精确条件尾部界限。

提出的方法

• 使用算术级数中的素数定理和对数积分 Li(x) 作为 π(x;k,l) 的渐近近似。
• 在广义黎曼假设（GRH）和线性独立性（LI）猜想下，推导 π(x;k,l) 差值的概率模型。
• 采用测度 μq;a₁,…,ar 来建模 r 个模 q 剩余类之间的竞赛中出现特定领先配置的概率。
• 利用多变量正态近似和贝塞尔函数恒等式，推导测度 μq;a₁,…,ar 尾部概率的渐近展开。
• 应用鞍点法与拉普拉斯型方法，估计 μq;a₁,…,ar 在大 V 和 q 下的尾部行为。
• 通过使用修正贝塞尔函数和对数积分，将蒙哥马利关于单类竞赛（μ₁;₁）的工作推广至多类情况。

实验结果

研究问题

• RQ1 对于模k下的哪些对 (l₁,l₂)，差值 δπ(x;k,l₁,l₂) 会无限次改变符号？
• RQ2 当 T → ∞ 时，δπ(x;k,l₁,l₂) 在 [1,T] 区间内符号变化次数的渐近增长速率为何？
• RQ3 我们能否在 x^{1/2−ε} 范围内，对 δπ(x;k,l₁,l₂) 偏离零的最大偏差建立精确界限？
• RQ4 当 r ≥ 3 个模k的剩余类之间进行竞赛时，是否会出现某些类更频繁领先的偏差？在何种条件下会出现？
• RQ5 对于大偏离量 V，测度 μq;a₁,…,ar 的精确尾部行为如何？其依赖于 r 和 q 的关系如何？

主要发现

• 在 GRH 和 LI 下，尾部概率 μq;a₁,…,ar(‖x‖ > V) 被双指数表达式所界定，形式为 exp(−exp(c·V²/(φ(q)log q)))，其中常数 c 依赖于 r 和 A。
• 当 V 满足 (φ(q)log q)^{1/2} ≤ V ≤ Aφ(q)log q 时，尾部概率以 exp(−c·V²/(φ(q)log q)) 的形式衰减，其中 c₆₀ 和 c₆₁ 为显式正数常数。
• 当 V/(φ(q)log q) → ∞ 且 V/(φ(q)log² q) → 0 时，尾部概率衰减为 exp(−c₆₃(r)·V²/(φ(q)log q)·exp(c₆₅(r)·V/(φ(q)log q)))，表现出超指数衰减。
• 当 V/(φ(q)log² q) → ∞ 时，尾部 μq;a₁,…,ar(|x|∞ > V) 的渐近行为为 exp(−e^{L(q)}·√(2(φ(q)−1)V/π)·exp(√(L(q)² + 2πV/(φ(q)−1))))，其中 L(q) 涉及对 q 的素因子的对数求和。
• 测度 μq;a₁,…,ar(‖x‖ > λ√Var(q)) 收敛于多变量正态尾部概率，误差为 O_r(1/log² q)，当 λ ≤ √log₂ q 时成立。
• 存在 r 元组 (a₁,…,ar)，使得正态近似中的误差为 Ω_r(1/log² q)，表明该界在对数因子意义下是紧的。