2025-11-24T21:55:17.095288

The number of primes in short intervals and numerical calculations for Harman's sieve

The author gives nontrivial upper and lower bounds for the number of primes in the interval $[x - x^Î¸, x]$ for some $0.52 \leqslant Î¸\leqslant 0.525$, showing that the interval $[x - x^{0.52}, x]$ contains prime numbers for all sufficiently large $x$. This refines a result of Baker, Harman and Pintz (2001) and gives an affirmative answer to Harman and Pintz's argument. New arithmetic information, a delicate sieve decomposition, various techniques in Harman's sieve and accurate estimates for integrals are used to good effect.

academic

短区間における素数の個数とHarman篩法の数値計算

基本情報

論文ID: 2308.04458
タイトル: The number of primes in short intervals and numerical calculations for Harman's sieve
著者: Runbo Li
分類: math.NT (数論)
発表時期: 2023年8月 (最新版2025年10月)
論文リンク: https://arxiv.org/abs/2308.04458

摘要

著者は区間 $[x - x^θ, x]$ における素数の個数に対して非自明な上界と下界を与えた。ここで $0.52 \leqslant θ \leqslant 0.525$ である。すべての十分大きい $x$ に対して、区間 $[x - x^{0.52}, x]$ が素数を含むことを証明した。これはBaker、Harman、Pintz (2001) の結果を改善し、HarmanとPintzの議論に対する肯定的な答えを与えている。論文では新しい算術情報、精密な篩法分解、Harman篩法における各種技術、および積分の精密な推定が効果的に活用されている。

研究背景と動機

核心問題

本研究が解決しようとしている問題は、古典的な短区間における素数分布問題である。すなわち、 $[x - x^θ, x]$ の形をした短区間における素数の個数の漸近的振る舞いを決定すること、特にこのような区間が必ず素数を含むような最小指数 $θ$ を見つけることである。

問題の重要性

理論的意義：短区間における素数分布は解析的数論の中心的問題の一つであり、素数定理の精密化と直結している
歴史的地位：Cramér の1937年の予想以来、この問題は多くの数学者の注目を集めてきた
技術的課題：篩法、指数和の推定、L関数の零点分布など深い理論の結合が必要である

歴史的発展

1930年 Hoheisel： $θ < 1$ となるような漸近公式の存在を初めて証明 ( $θ ≥ 1 - 1/33000$ )
1972年 Huxley：零点密度推定を通じて $θ$ を $7/12$ まで低下させた
2024年 Guth-Maynard：最新の零点密度結果により $θ$ を $17/30$ まで低下させた
篩法の発展：1979年 Iwaniec-Jutila が篩法を導入、その後 BHP (2001) が $θ = 0.525$ に到達

既存の限界

Baker-Harman-Pintz (BHP) の先駆的研究は $θ = 0.525$ に到達したが、以下の問題が存在した：

計算の詳細がほぼ完全に省略されており、検証と改善が困難である
Kumchev は $θ = 0.52$ が当時の技術範囲を超えていることを指摘した
体系的な数値計算フレームワークが欠けていた

核心的貢献

0.52の壁を突破： $θ = 0.52$ の可行性を初めて厳密に証明し、Kumchev が提起した技術的課題を解決した
完全な計算詳細の提供：BHP の研究で省略された大量の計算を補完し、結果を検証可能で再現可能にした
新しい算術情報の開発：補題4.4-4.5などの新しい算術補題を証明し、篩法の適用範囲を拡張した
篩法分解の最適化：役割反転、逆Buchstab恒等式などの技術を通じて損失推定を大幅に改善した
数値計算フレームワークの確立：C++とMathematicaを用いた相互検証により計算の正確性を保証した

方法の詳細説明

タスク定義

入力：正整数 $x$ とパラメータ $θ \in [0.52, 0.525]$ 出力：区間 $[x - x^θ, x]$ における素数の個数 $π(x) - π(x - x^θ)$ の上界と下界目標：定数 $LB(θ), UB(θ)$ が存在して以下が成り立つことを証明する $LB(θ) \frac{x^θ}{\log x} ≤ π(x) - π(x - x^θ) ≤ UB(θ) \frac{x^θ}{\log x}$

核心構造：Harman篩法

1. 基本設定

重要なパラメータを定義する：

$A = \{a : a ∈ Z, x - y ≤ a < x\}$ 、ここで $y = x^{θ+ε}$
$B = \{b : b ∈ Z, x - y_1 ≤ b < x\}$ 、ここで $y_1 = x \exp(-3(\log x)^{1/3})$
$S(C, z) = \sum_{a∈C, (a,P(z))=1} 1$

目標は $S(A, x^{1/2})$ の推定に変換される。

2. 篩法分解戦略

Buchstab恒等式による再帰的分解： $S(C, z) = S(C, w) - \sum_{w≤p<z} S(C_p, p)$

重要な考え方：疎な集合 $A$ と密な集合 $B$ の漸近関係を証明する： $S(A, z) = \frac{y}{y_1}(1 + o(1))S(B, z)$

3. 領域分割

積分領域を3つの部分領域に分割する：

領域A： $\{α_2 : 1/4 ≤ α_1 ≤ 2/5, 1/3(1-α_1) ≤ α_2 ≤ \min(α_1, 1/2(1-α_1))\}$
領域B： $\{α_2 : 1/3 ≤ α_1 ≤ 1/2, \max(1/2 α_1, 1-2α_1) ≤ α_2 ≤ 1/2(1-α_1)\}$
領域C：その他の領域

技術的革新点

1. 新しい算術情報 (補題4.4-4.5)

従来のType-II情報をType-II5およびType-II6に拡張し、より精密なHölder不等式と平均値定理を通じて：

補題4.4：5次元の場合、特定の条件下で漸近公式が得られる： $\sum_{l_1l_2l_3l_4l_5∈A} a_{l_1}b_{l_2}c_{l_3}d_{l_4}e_{l_5}$

2. 役割反転技術

4次元および6次元の和において、変数の役割を交換することにより、より大きな4D損失をより小さな6D損失に置き換える。

3. 逆Buchstab恒等式

$\sum_{α_4} S(Ap_1p_2p_3p_4, (x/(p_1p_2p_3p_4))^{1/2}) = \sum_{α_4} S(Ap_1p_2p_3p_4, p_4) - \sum_{α_4} \sum_{α_4<α_5<1/2(1-α_1-α_2-α_3-α_4)} S(Ap_1p_2p_3p_4p_5, p_5)$