[论文解读] Smooth numbers in short intervals

K. Soundararajan|arXiv (Cornell University)|Sep 8, 2010

Analytic Number Theory Research参考文献 13被引用 6

一句话总结

假设黎曼猜想成立，本文证明了对于任意 ε > 0，每个足够大的 x 都在短区间 [x, x + C(ε)√x] 中包含一个 x^ε-光滑数，其中 C(ε) 是依赖于 ε 的常数。该结果通过狄利克雷级数和ζ函数零点的复分析方法建立，利用了除数和的界以及光滑数在短区间中的分布。

ABSTRACT

Assuming the Riemann hypothesis we demonstrate the existence of smooth numbers in certain short intervals.

研究动机与目标

• 在黎曼猜想的假设下，证明短区间长度为 √x 时存在 y-光滑数。
• 改进哈曼与马托迈基等人关于短区间中光滑数结果的先前工作。
• 研究长度为 O(√x) 的区间是否对任意 ε > 0 都包含 x^ε-光滑整数。
• 利用解析数论技术，为这类区间中光滑数的数量提供一个条件下的下界。

提出的方法

• 证明使用了涉及黎曼ζ函数对数导数和一个计数 dyadic 范围内光滑数的狄利克雷多项式 M(s) 的复积分表示。
• 通过将围道积分移动到临界线，并利用函数方程和斯特林公式分析 ζ(s) 的非平凡零点的贡献。
• 主项来自 s = 1 处的极点，而误差项通过 |ζ′/ζ(s)| 的估计以及核函数 (e^{δs}−1)^2/s^2 的衰减性进行有界控制。
• 关键步骤包括利用函数方程和狄利克雷多项式的均值估计，对 Re(s) = −1/2 上的积分进行有界控制。
• 该方法依赖于黎曼猜想来控制非平凡零点的位置，并在临界带中导出ζ函数的有效界。
• 最终界限通过将主项与误差项比较得出，表明区间中光滑数的数量至少为 x^{-ε} 倍于预期密度。

实验结果

研究问题

• RQ1 在假设黎曼猜想成立的前提下，是否每个区间 [x, x + C(ε)√x] 都包含一个 x^ε-光滑数，对任意 ε > 0？
• RQ2 在黎曼猜想成立的前提下，是否可以将区间长度减少到 O(√x)，同时仍能保证光滑数的存在，超越此前已知的结果？
• RQ3 在黎曼猜想下，对于 y = x^{1/u}，保证存在 y-光滑数的最短区间长度是多少？
• RQ4 短区间中光滑数的分布与素数的分布相比如何？能否将类似 Cramér 型的猜想推广到光滑数？
• RQ5 除了ζ函数方法外，是否存在其他方法可对极短区间中的光滑数产生更强的结果？

主要发现

• 对于任意 ε > 0，存在常数 C(ε)，使得在假设黎曼猜想成立的前提下，区间 [x, x + C(ε)√x] 中至少包含一个 x^ε-光滑数。
• 在 [x, x + z] 中，x^ε-光滑数的数量下界为 z x^{-ε}，其中 z = B u √x / ρ(u/2)，u = log x / log y，ρ 为狄克曼函数。
• 该方法为短区间中光滑数的数量建立了非平凡下界，但未得出正比例结果。
• 当 y < exp(√(log x log log x)) 时，该界限为无效，表明当前方法在处理极光滑数时存在局限性。
• 该结果依赖于黎曼猜想，尚未解决如下猜想：每个长度为 O(log x) 的区间都包含一个 x^ε-光滑数。
• 证明技术依赖于围道积分和短区间中除数和的估计，主要贡献来自 s = 1 处的极点以及 ζ(s) 的零点。