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

Die Anzahl der Primzahlen in kurzen Intervallen und numerische Berechnungen für Harmans Sieb

Grundinformationen

Papier-ID: 2308.04458
Titel: The number of primes in short intervals and numerical calculations for Harman's sieve
Autor: Runbo Li
Klassifizierung: math.NT (Zahlentheorie)
Veröffentlichungszeit: August 2023 (neueste Version Oktober 2025)
Papierlink: https://arxiv.org/abs/2308.04458

Zusammenfassung

Der Autor gibt nichttriviale obere und untere Schranken für die Anzahl der Primzahlen im Intervall $[x - x^θ, x]$ an, wobei $0.52 \leqslant θ \leqslant 0.525$ , und beweist, dass für alle hinreichend großen $x$ das Intervall $[x - x^{0.52}, x]$ eine Primzahl enthält. Dies verbessert das Ergebnis von Baker, Harman und Pintz (2001) und gibt eine positive Antwort auf die Argumentation von Harman und Pintz. Der Text nutzt effektiv neue arithmetische Informationen, feine Siebmethodenzerlegungen, verschiedene Techniken im Harman-Sieb sowie präzise Integralschätzungen.

Forschungshintergrund und Motivation

Kernproblem

Die Forschung befasst sich mit dem klassischen Problem der Primzahlverteilung in kurzen Intervallen: Bestimmung des asymptotischen Verhaltens der Anzahl der Primzahlen in Intervallen der Form $[x - x^θ, x]$ , insbesondere das Finden des minimalen Exponenten $θ$ , der garantiert, dass solche Intervalle eine Primzahl enthalten.

Bedeutung des Problems

Theoretische Bedeutung: Die Primzahlverteilung in kurzen Intervallen ist eines der Kernprobleme der analytischen Zahlentheorie und steht in direktem Zusammenhang mit der Verfeinerung des Primzahlsatzes
Historischer Status: Seit Cramér 1937 eine Vermutung aufstellte, hat dieses Problem die Aufmerksamkeit vieler Mathematiker auf sich gezogen
Technische Herausforderung: Erfordert die Kombination von Siebmethoden, Exponentialsummen-Schätzungen, Verteilung von L-Funktions-Nullstellen und anderen tiefgreifenden Theorien

Historische Entwicklung

1930 Hoheisel: Bewies erstmals die Existenz von $θ < 1$ für asymptotische Formeln ( $θ ≥ 1 - 1/33000$ )
1972 Huxley: Reduzierte $θ$ durch Nullstellendichte-Schätzungen auf $7/12$
2024 Guth-Maynard: Neueste Nullstellendichte-Ergebnisse reduzieren $θ$ auf $17/30$
Siebmethoden-Entwicklung: 1979 führten Iwaniec-Jutila Siebmethoden ein; später erreichte BHP (2001) $θ = 0.525$

Bestehende Einschränkungen

Obwohl die bahnbrechende Arbeit von Baker-Harman-Pintz (BHP) $θ = 0.525$ erreichte, bestehen folgende Probleme:

Berechnungsdetails sind fast vollständig weggelassen, was Verifikation und Verbesserung erschwert
Kumchev wies darauf hin, dass $θ = 0.52$ außerhalb des damaligen technischen Bereichs lag
Es fehlte ein systematisches Rahmenwerk für numerische Berechnungen

Kernbeiträge

Durchbruch der 0.52-Barriere: Erster strenger Beweis der Machbarkeit von $θ = 0.52$ , löst die von Kumchev aufgeworfene technische Herausforderung
Bereitstellung vollständiger Berechnungsdetails: Füllt die in der BHP-Arbeit weggelassenen umfangreichen Berechnungen auf, macht Ergebnisse verifizierbar und reproduzierbar
Entwicklung neuer arithmetischer Informationen: Beweist neue arithmetische Lemmata wie Lemmas 4.4-4.5, erweitert die Anwendbarkeit von Siebmethoden
Optimierung der Siebmethodenzerlegung: Verbessert Verlustschätzungen erheblich durch Rollentausch, rückwärts gerichtete Buchstab-Identitäten und andere Techniken
Etablierung eines numerischen Berechnungsrahmens: Nutzt C++ und Mathematica zur Kreuzvalidierung und gewährleistet Berechnungsgenauigkeit

Methodische Details

Aufgabendefinition

Eingabe: Positive ganze Zahl $x$ und Parameter $θ \in [0.52, 0.525]$ Ausgabe: Obere und untere Schranken für die Anzahl der Primzahlen $π(x) - π(x - x^θ)$ im Intervall $[x - x^θ, x]$ Ziel: Beweis der Existenz von Konstanten $LB(θ), UB(θ)$ derart, dass $LB(θ) \frac{x^θ}{\log x} ≤ π(x) - π(x - x^θ) ≤ UB(θ) \frac{x^θ}{\log x}$

Kernarchitektur: Harmans Siebmethode

1. Grundlegende Einrichtung

Definition von Schlüsselparametern:

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

Die Aufgabe wird in die Schätzung von $S(A, x^{1/2})$ umgewandelt.

2. Siebmethodenzerlegungsstrategie

Rekursive Zerlegung durch Buchstab-Identität: $S(C, z) = S(C, w) - \sum_{w≤p<z} S(C_p, p)$

Schlüsselidee: Beweis der asymptotischen Beziehung zwischen sparsem Satz $A$ und dichtem Satz $B$ : $S(A, z) = \frac{y}{y_1}(1 + o(1))S(B, z)$

3. Gebietsaufteilung

Aufteilung des Integrationsgebiets in drei Teilgebiete:

Gebiet A: $\{α_2 : 1/4 ≤ α_1 ≤ 2/5, 1/3(1-α_1) ≤ α_2 ≤ \min(α_1, 1/2(1-α_1))\}$
Gebiet B: $\{α_2 : 1/3 ≤ α_1 ≤ 1/2, \max(1/2 α_1, 1-2α_1) ≤ α_2 ≤ 1/2(1-α_1)\}$
Gebiet C: Übrige Gebiete

Technische Innovationspunkte

1. Neue arithmetische Informationen (Lemmas 4.4-4.5)

Erweiterung der traditionellen Type-II-Informationen auf Type-II5 und Type-II6 durch verfeinerte Hölder-Ungleichung und Mittelwertsatz:

Lemma 4.4: Für den fünfdimensionalen Fall können unter bestimmten Bedingungen asymptotische Formeln erhalten werden: $\sum_{l_1l_2l_3l_4l_5∈A} a_{l_1}b_{l_2}c_{l_3}d_{l_4}e_{l_5}$

2. Rollentausch-Technik

In vier- und sechsdimensionalen Summen wird durch Variablentausch der größere 4D-Verlust durch kleineren 6D-Verlust ersetzt.

3. Rückwärts gerichtete Buchstab-Identität

$\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)$

Durch diese "Aufteilungs"-Technik werden fast-Primzahlen sichtbar, wodurch Verluste reduziert werden.

Experimentelle Einrichtung

Rechenumgebung

Hardware: Intel(R) Xeon(R) Platinum 8383C CPU, 160 Threads
Software: C++ (Hauptberechnungen) + Mathematica 14 (Kreuzvalidierung)
Parallelisierung: 80 Wolfram-Kerne

Numerische Integrationsstrategie

Schichtweise Berechnung: Berechnung von Integralen in aufsteigender Dimensionsreihenfolge
Fehlerkontrolle: Verwendung von Obergrenzenfunktion $ω_1(u)$ und Untergrenzenfunktion $ω_0(u)$
Kreuzvalidierung: Unabhängige Berechnung durch C++ und Mathematica mit anschließendem Vergleich

Gebietsdefinition

Definition von 13 verschiedenen Integrationsgebieten ( $UC_{01}$ bis $UC_{13}$ , $VC_1$ bis $VC_7$ usw.), von denen jedes einem spezifischen Siebmethodenzerlegungspfad entspricht.

Experimentelle Ergebnisse

Hauptergebnisse

Theorem 1: Für alle hinreichend großen $x$ enthält das Intervall $[x - x^{0.52}, x]$ eine Primzahl.

Theorem 2: Für $0.52 ≤ θ ≤ 0.525$ und $ε > 0$ gilt $LB(θ) \frac{x^{θ+ε}}{\log x} ≤ π(x) - π(x - x^{θ+ε}) ≤ UB(θ) \frac{x^{θ+ε}}{\log x}$

Konkrete numerische Ergebnisse:

θ	LB(θ)	UB(θ)
0.520	>0.004	<2.874
0.521	>0.075	<2.700
0.522	>0.134	<2.583
0.523	>0.169	<2.536
0.524	>0.209	<2.437
0.525	>0.249	<2.347

Effekte technischer Verbesserungen

Verbesserung der Untergrenze

Durch neue Zerlegungsstrategien wird der Gesamtverlust kontrolliert auf:

Gebiet A: < 0.241 (2D-Verlust)
Gebiet C: < 0.514 (einschließlich hochdimensionaler Kompensation)
Gesamtverlust: < 0.996, garantiert Untergrenze > 0.004

Obergrenzenberechnung

Die Obergrenzenberechnung ist komplexer, mit Gesamtverlust < 1.874, ergibt Obergrenze < 2.874.

Numerische Verifikation

Der Vergleich der C++- und Mathematica-Berechnungsergebnisse zeigt gute Konsistenz mit Fehlern im akzeptablen Bereich.

Anwendungen und Verallgemeinerungen

Das Papier zeigt 15 wichtige Anwendungen:

1. Primzahlen in arithmetischen Progressionen (Theorem 3)

$π(x; q, a) - π(x - x^{0.52}; q, a) ≥ 0.004 \frac{x^{0.52}}{φ(q) \log x}$

2. Primzahllückenproblem (Theorem 4)

In kurzen Intervallen existieren ≫ $x^{0.52}(\log x)^{-k}$ Paare aufeinanderfolgender Primzahlen mit beschränkten Lücken.

3. Goldbach-Problem

Theorem 6: Fast alle geraden Zahlen im Intervall $[x, x + x^{13/225}]$ sind Goldbach-Zahlen
Theorem 7: Das Intervall $[x, x + x^{26/1075}]$ enthält Goldbach-Zahlen

4. Weitere Anwendungen

Einschließlich Verteilung von Primidealen in imaginären quadratischen Körpern, Carmichael-Zahlen-Schätzungen, Linnik-Konstante usw.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Technischer Durchbruch: Erfolgreicher Durchbruch der θ = 0.52-Barriere
Methodische Innovation: Entwicklung mehrerer Siebmethoden-Optimierungstechniken
Berechnungsverifikation: Etablierung eines vollständigen numerischen Verifikationsrahmens
Breite Anwendbarkeit: Verbesserungen bei mehreren zahlentheoretischen Problemen

Einschränkungen

Methodische Einschränkungen: Verbleibt im Rahmen der Harmans Siebmethode, schwer einen qualitativen Sprung zu erreichen
Berechnungskomplexität: Hochdimensionale Integralberechnungen sind äußerst komplex und begrenzen weitere Verbesserungen
Konstantenproblem: Obwohl der Exponent verbessert wurde, gibt es noch Optimierungsspielraum bei Konstanten

Zukünftige Richtungen

Neue Siebmethodentechniken: Erforschung neuer Methoden jenseits bestehender Rahmen
Berechnungsoptimierung: Entwicklung effizienterer numerischer Berechnungstechniken
Theoretischer Durchbruch: Suche nach neuen Verbindungen mit der Verteilung von L-Funktions-Nullstellen

Tiefgreifende Bewertung

Stärken

Technische Tiefe: Realisiert wesentliche Durchbrüche innerhalb eines äußerst komplexen technischen Rahmens
Berechnungsgenauigkeit: Bietet beispiellose Berechnungsdetails und Verifikation
Reiche Anwendungen: Zeigt umfangreiche zahlentheoretische Anwendungen
Methodische Innovation: Entwickelt mehrere wertvolle technische Verbesserungen

Mängel

Lesbarkeit: Technische Details sind äußerst komplex mit hoher Verständnisschwelle
Verbesserungsumfang: Obwohl ein Durchbruch, ist die Verbesserung relativ begrenzt
Allgemeingültigkeit: Methode ist hochspezialisiert und schwer auf andere Probleme übertragbar

Einfluss

Akademischer Wert: Löst ein wichtiges technisches Problem in diesem Forschungsbereich
Methodenbeitrag: Bietet neue technische Werkzeuge für die Siebmethodentheorie
Praktischer Wert: Erzeugt direkte Anwendungen bei mehreren verwandten Problemen

Anwendungsszenarien

Diese Methode eignet sich besonders für zahlentheoretische Probleme, die präzise Kontrolle von Siebmethodenverlusten erfordern, besonders solche, die Verteilungen in kurzen Intervallen betreffen.

Literaturverzeichnis

Das Papier enthält umfangreiche Literaturangaben, die die vollständige Entwicklung vom klassischen Primzahlsatz bis zu den neuesten Siebmethodentechniken abdecken und Lesern eine Anleitung zum tieferen Lernen bietet.

Dieses Papier stellt einen wichtigen Fortschritt in der Siebmethodentheorie der analytischen Zahlentheorie dar. Durch feine technische Verbesserungen und umfangreiche numerische Berechnungen gelang es, lange bestehende technische Barrieren zu durchbrechen und eine solide Grundlage für die weitere Entwicklung verwandter Bereiche zu schaffen.