We investigate explicit extreme values of the argument of the Riemann zeta-function in short intervals. As an application, we improve the result of Conrey and Turnage-Butterbaugh concerning $r$-gaps between zeros of the Riemann zeta-function.
论文ID : 2510.14309标题 : Explicit extreme values of the argument of the Riemann zeta-function作者 : Shōta Inoue, Hirotaka Kobayashi, Yuichiro Toma分类 : math.NT (Number Theory)发表时间 : 2025年10月16日论文链接 : https://arxiv.org/abs/2510.14309 本文研究了Riemann ζ函数幅角在短区间内的显式极值。作为应用,改进了Conrey和Turnage-Butterbaugh关于Riemann ζ函数零点间r-gaps的结果。
Riemann ζ函数幅角函数S(t)定义为 S ( t ) : = 1 π arg ζ ( 1 2 + i t ) S(t) := \frac{1}{\pi} \arg \zeta(\frac{1}{2} + it) S ( t ) := π 1 arg ζ ( 2 1 + i t ) ,是数论中最重要的函数之一。该函数通过Riemann-von Mangoldt公式与零点分布密切相关:
N ( T ) = T 2 π log ( T 2 π e ) + 7 8 + S ( T ) + O ( 1 T ) N(T) = \frac{T}{2\pi} \log \left(\frac{T}{2\pi e}\right) + \frac{7}{8} + S(T) + O\left(\frac{1}{T}\right) N ( T ) = 2 π T log ( 2 π e T ) + 8 7 + S ( T ) + O ( T 1 )
零点分布的重要性 : ζ函数零点的详细信息对素数分布有重要应用,因此研究S(t+h)-S(t)的极值具有重要意义现有结果的局限性 : Selberg和Tsang的经典结果在显式常数方面存在改进空间方法论改进 : 使用Montgomery-Odlyzko的共振方法来改进Selberg/Tsang方法的显式界Selberg-Tsang方法得到的显式常数c < 1/√(2eπ) 缺乏sharp的显式界 对于r-gaps问题,现有的显式常数仍有改进空间 改进了S(t+h)-S(t)的显式极值界 : 使用共振方法得到更sharp的界,主项系数达到√(h/π)log T提升了r-gaps的显式常数 : 将Conrey-Turnage-Butterbaugh结果中的常数从A₀ ≈ 0.906改进到√2 ≈ 1.414建立了Montgomery-Odlyzko方法的局限性 : 证明了该方法在零点gaps问题上的理论界限提供了完整的共振方法分析 : 给出了S(t)短区间极值的系统性研究定理1 (S(t)的极值): 在RH假设下,对于充分大的T和h ∈ C/log T, c/log log T ,有
sup T ≤ t ≤ 2 T { ± ( S ( t + h ) − S ( t ) ) } ≥ ( 1 − E ) h π log T \sup_{T≤t≤2T} \{±(S(t+h) - S(t))\} ≥ (1-E)\sqrt{\frac{h}{\pi}} \log T sup T ≤ t ≤ 2 T { ± ( S ( t + h ) − S ( t ))} ≥ ( 1 − E ) π h log T
其中误差项E满足特定的界。
定理2 (r-gaps的改进): 在RH假设下,对于充分大的r,有
λ r ≥ 1 + 2 r − C 1 ( log r ) 3 / 2 r \lambda_r ≥ 1 + \frac{\sqrt{2}}{\sqrt{r}} - C_1 \frac{(\log r)^{3/2}}{r} λ r ≥ 1 + r 2 − C 1 r ( l o g r ) 3/2 μ r ≤ 1 − 2 r + C 2 ( log r ) 3 / 2 r \mu_r ≤ 1 - \frac{\sqrt{2}}{\sqrt{r}} + C_2 \frac{(\log r)^{3/2}}{r} μ r ≤ 1 − r 2 + C 2 r ( l o g r ) 3/2
使用Dirichlet多项式作为共振器:
R ( t ) = ∑ n ≤ L f ( n ) n − i t R(t) = \sum_{n≤L} f(n)n^{-it} R ( t ) = ∑ n ≤ L f ( n ) n − i t
其中算术函数f根据目标函数特别选择。
命题2 : 对于任意不恒为零的算术函数f,有
sup T ≤ t ≤ 2 T { ± ( S ( t + h ) − S ( t ) ) } ≥ ∓ ( 1 + O ( 1 T ) ) 2 π Re ∑ k m ≤ L \Λ ( k ) k log k sin ( h 2 log k ) f ( m ) f ( k m ) ∑ n ≤ L ∣ f ( n ) ∣ 2 \sup_{T≤t≤2T} \{±(S(t+h) - S(t))\} ≥ ∓\left(1 + O\left(\frac{1}{T}\right)\right) \frac{2}{\pi} \text{Re} \frac{\sum_{km≤L} \frac{\Λ(k)}{\sqrt{k \log k}} \sin\left(\frac{h}{2} \log k\right) f(m)f(km)}{\sum_{n≤L} |f(n)|^2} sup T ≤ t ≤ 2 T { ± ( S ( t + h ) − S ( t ))} ≥ ∓ ( 1 + O ( T 1 ) ) π 2 Re ∑ n ≤ L ∣ f ( n ) ∣ 2 ∑ km ≤ L k l o g k \Λ ( k ) s i n ( 2 h l o g k ) f ( m ) f ( km )
选择乘性函数f±,对素数p定义:
f ± ( p ) : = ± Q ⋅ sin ( h 2 log p ) p 1 / 2 + κ h h log p f_±(p) := ±\sqrt{Q} \cdot \frac{\sin(\frac{h}{2} \log p)}{p^{1/2+κh} h \log p} f ± ( p ) := ± Q ⋅ p 1/2 + κh h l o g p s i n ( 2 h l o g p )
当M < p ≤ L M < p ≤ L M < p ≤ L 时,其中M = exp ( log log L / h ) M = \exp(\sqrt{\log \log L}/\sqrt{h}) M = exp ( log log L / h ) 。
参数选择:
κ = log ( h log L ) y h log L κ = \frac{\log(h \log L)}{yh \log L} κ = y h l o g L l o g ( h l o g L ) y = log ( h log L ) / ( h log L ) y = \sqrt{\log(h \log L)}/(h \log L) y = log ( h log L ) / ( h log L ) Q通过积分公式确定 精确的共振器设计 : 通过仔细选择参数κ和Q,使得主项达到最优误差项的精确控制 : 使用Rankin技巧和部分求和公式得到sharp的误差估计方法局限性的理论分析 : 证明了Montgomery-Odlyzko方法的理论上界本文主要是理论工作,通过严格的数学证明验证结果。
使用数值计算验证Montgomery-Odlyzko方法的局限性 计算得出λ₁ ≥ 3.022, μ₁ ≤ 0.508是该方法的理论界限 L ≤ T/(log T)² h ∈ C/log T, c/log log T ,其中C大,c小 W = 22.6 (用于λ₁的计算),W = 4.9 (用于μ₁的计算) 相比于Selberg-Tsang方法的常数c < 1/√(2eπ) ≈ 0.225,本文达到了主项系数√(1/π) ≈ 0.564,提升显著。
之前结果 : Conrey-Turnage-Butterbaugh得到Θ = A₀ ≈ 0.906本文结果 : 改进到Θ = √2 ≈ 1.414提升幅度 : 约56%的改进证明了Montgomery-Odlyzko方法的理论界限:
λ₁ ≥ 3.022 (相比之前的3.74有所改进) μ₁ ≤ 0.508 一般情况:λᵣ ≥ 1 + √2/√r - O(1/r) 定理1中的误差项E具有以下界:
E ≪ h log log T + min { log 3 ( h log T ) h log T , ( log log T ) 3 / 2 h 3 / 2 log T } E \ll \sqrt{h \log \log T} + \min\left\{\sqrt{\frac{\log^3(h \log T)}{h \log T}}, \frac{(\log \log T)^{3/2}}{h^{3/2} \log T}\right\} E ≪ h log log T + min { h l o g T l o g 3 ( h l o g T ) , h 3/2 l o g T ( l o g l o g T ) 3/2 }
定理3证明了√2常数的最优性,表明本文结果在Montgomery-Odlyzko框架内是最优的。
Selberg (未发表) : 首次证明了S(t+h)-S(t)的下界结果Tsang (1986) : 给出了Selberg结果的完整证明Montgomery-Odlyzko (1984) : 发展了共振方法研究零点gapsConrey-Turnage-Butterbaugh (2018) : 给出了r-gaps的显式界Selberg-Tsang方法 : 直接但常数不够sharpMontgomery-Odlyzko共振方法 : 更精细但技术要求高Hall方法 : 在某些情况下能突破共振方法的局限本文巧妙地将共振方法应用于S(t)的研究,建立了与零点gaps的联系,实现了显式常数的显著改进。
在RH假设下,S(t+h)-S(t)的极值达到了(1-E)√(h/π)log T的sharp界 r-gaps的归一化界改进到1 ± √2/√r的主项 证明了这些结果在Montgomery-Odlyzko框架内的最优性 依赖RH假设 : 主要结果需要Riemann假设参数范围限制 : h需要在特定范围内方法局限性 : 证明了共振方法存在理论上界寻找突破Montgomery-Odlyzko方法局限的新技术 研究更一般区间上的极值问题 探索无条件结果的可能性 技术创新 : 将共振方法精细应用于S(t)研究,技术处理sophisticated结果显著 : 常数改进幅度大,从0.906提升到1.414理论完整 : 不仅给出改进结果,还证明了方法的局限性证明严谨 : 数学推理严密,技术细节处理得当依赖性强 : 主要结果依赖RH假设应用范围 : 参数h的范围有一定限制计算复杂 : 共振器的构造和分析较为复杂理论贡献 : 在解析数论中的零点分布理论方面有重要贡献方法论价值 : 展示了共振方法在新问题中的威力后续研究 : 为进一步改进提供了理论基础和技术框架解析数论中的极值问题研究 L函数零点分布的相关问题 共振方法的进一步应用和发展 本文引用了该领域的重要文献,包括:
Selberg的开创性工作 Montgomery-Odlyzko的共振方法 Conrey-Turnage-Butterbaugh的r-gaps研究 Soundararajan和Bondarenko-Seip的共振方法发展 总体评价 : 这是一篇高质量的解析数论论文,在技术上有显著创新,结果上有重要改进,对零点分布理论的发展具有重要价值。论文结合了深刻的理论洞察和精细的技术处理,是该领域的重要贡献。