Le nombre de nombres premiers dans les courts intervalles et les calculs numériques pour le crible de Harman

Informations de base

• ID de l'article : 2308.04458
• Titre : Le nombre de nombres premiers dans les courts intervalles et les calculs numériques pour le crible de Harman
• Auteur : Runbo Li
• Classification : math.NT (Théorie des nombres)
• Date de publication : Août 2023 (dernière version octobre 2025)
• Lien de l'article : https://arxiv.org/abs/2308.04458

Résumé

L'auteur établit des bornes non triviales supérieures et inférieures pour le nombre de nombres premiers dans l'intervalle $[x - x^θ, x]$, où $0.52 \leqslant θ \leqslant 0.525$, et démontre que pour tous les $x$ suffisamment grands, l'intervalle $[x - x^{0.52}, x]$ contient un nombre premier. Ceci améliore les résultats de Baker, Harman et Pintz (2001) et fournit une réponse affirmative à la question posée par Harman et Pintz. L'article utilise efficacement de nouvelles informations arithmétiques, des décompositions de crible fin, diverses techniques du crible de Harman et des estimations précises d'intégrales.

Contexte et motivation de la recherche

Problème fondamental

Cette recherche aborde le problème classique de la distribution des nombres premiers dans les courts intervalles : déterminer le comportement asymptotique du nombre de nombres premiers dans les intervalles de la forme $[x - x^θ, x]$, en particulier trouver l'exposant minimal $θ$ tel que ces intervalles contiennent nécessairement un nombre premier.

Importance du problème

1. Signification théorique : La distribution des nombres premiers dans les courts intervalles est l'un des problèmes centraux de la théorie analytique des nombres, directement liée aux raffinements du théorème des nombres premiers
2. Statut historique : Depuis la conjecture de Cramér en 1937, ce problème a attiré l'attention de nombreux mathématiciens
3. Défis techniques : Nécessite de combiner la théorie des cribles, l'estimation des sommes exponentielles et la distribution des zéros des fonctions L

Développement historique

• 1930 Hoheisel : Première preuve de l'existence de $θ < 1$ pour lequel la formule asymptotique est valide ($θ ≥ 1 - 1/33000$)
• 1972 Huxley : Réduit $θ$ à $7/12$ via l'estimation de la densité des zéros
• 2024 Guth-Maynard : Les résultats les plus récents de densité des zéros réduisent $θ$ à $17/30$
• Développement des cribles : Iwaniec-Jutila introduisent le crible en 1979, suivi par BHP (2001) atteignant $θ = 0.525$

Limitations actuelles

Bien que le travail fondateur de Baker-Harman-Pintz (BHP) ait atteint $θ = 0.525$, il présente les problèmes suivants :

1. Les détails de calcul sont presque entièrement omis, rendant difficile la vérification et l'amélioration
2. Kumchev a signalé que $θ = 0.52$ dépassait la portée des techniques disponibles à l'époque
3. Absence d'un cadre systématique de calcul numérique

Contributions principales

1. Franchir la barrière 0.52 : Première preuve rigoureuse de la faisabilité de $θ = 0.52$, résolvant le défi technique posé par Kumchev
2. Fournir les détails de calcul complets : Combler les nombreux calculs omis dans le travail BHP, rendant les résultats vérifiables et reproductibles
3. Développer de nouvelles informations arithmétiques : Prouver les nouveaux lemmes arithmétiques (Lemmes 4.4-4.5), étendant l'applicabilité de la théorie des cribles
4. Optimiser la décomposition du crible : Améliorer significativement les estimations de perte par inversion de rôles, identités de Buchstab inverses et autres techniques
5. Établir un cadre de calcul numérique : Utiliser C++ et Mathematica pour la vérification croisée, assurant l'exactitude des calculs

Explication détaillée des méthodes

Définition de la tâche

Entrée : Entier positif $x$ et paramètre $θ \in [0.52, 0.525]$Sortie : Bornes supérieures et inférieures pour le nombre de nombres premiers $π(x) - π(x - x^θ)$ dans l'intervalle $[x - x^θ, x]$Objectif : Prouver l'existence de constantes $LB(θ), UB(θ)$ telles que $LB(θ) \frac{x^θ}{\log x} ≤ π(x) - π(x - x^θ) ≤ UB(θ) \frac{x^θ}{\log x}$

Architecture centrale : Crible de Harman

1. Configuration de base

Définir les paramètres clés :

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

L'objectif se transforme en l'estimation de $S(A, x^{1/2})$.

2. Stratégie de décomposition du crible

Décomposition récursive via l'identité de Buchstab : $S(C, z) = S(C, w) - \sum_{w≤p<z} S(C_p, p)$

Idée clé : Prouver la relation asymptotique entre l'ensemble clairsemé $A$ et l'ensemble dense $B$ : $S(A, z) = \frac{y}{y_1}(1 + o(1))S(B, z)$

3. Partition des régions

Diviser la région d'intégration en trois sous-régions :

• Région A : $\{α_2 : 1/4 ≤ α_1 ≤ 2/5, 1/3(1-α_1) ≤ α_2 ≤ \min(α_1, 1/2(1-α_1))\}$
• Région B : $\{α_2 : 1/3 ≤ α_1 ≤ 1/2, \max(1/2 α_1, 1-2α_1) ≤ α_2 ≤ 1/2(1-α_1)\}$
• Région C : Régions restantes

Points d'innovation technique

1. Nouvelles informations arithmétiques (Lemmes 4.4-4.5)

Extension des informations de Type-II traditionnelles aux Type-II5 et Type-II6, via l'inégalité de Hölder plus fine et le théorème de la moyenne :

Lemme 4.4 : Pour le cas à 5 dimensions, sous certaines conditions, on obtient une formule asymptotique : $\sum_{l_1l_2l_3l_4l_5∈A} a_{l_1}b_{l_2}c_{l_3}d_{l_4}e_{l_5}$

2. Technique d'inversion de rôles

Dans les sommes à 4 et 6 dimensions, en échangeant les rôles des variables, remplacer les pertes 4D plus grandes par des pertes 6D plus petites.

3. Identité de Buchstab inverse

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

Par cette technique de « partition », les presque-premiers deviennent visibles, réduisant ainsi les pertes.

Configuration expérimentale

Environnement de calcul

• Matériel : Intel(R) Xeon(R) Platinum 8383C CPU, 160 threads
• Logiciel : C++ (calculs principaux) + Mathematica 14 (vérification croisée)
• Parallélisation : 80 noyaux Wolfram

Stratégie d'intégration numérique

1. Calcul stratifié : Calculer les intégrales dans l'ordre croissant des dimensions
2. Contrôle d'erreur : Utiliser les fonctions de borne supérieure $ω_1(u)$ et de borne inférieure $ω_0(u)$
3. Vérification croisée : Calculs indépendants en C++ et Mathematica, puis comparaison

Définition des régions

Définition de 13 régions d'intégration différentes ($UC_{01}$ à $UC_{13}$, $VC_1$ à $VC_7$, etc.), chacune correspondant à un chemin de décomposition du crible spécifique.

Résultats expérimentaux

Résultats principaux

Théorème 1 : Pour tous les $x$ suffisamment grands, l'intervalle $[x - x^{0.52}, x]$ contient un nombre premier.

Théorème 2 : Pour $0.52 ≤ θ ≤ 0.525$ et $ε > 0$, on a $LB(θ) \frac{x^{θ+ε}}{\log x} ≤ π(x) - π(x - x^{θ+ε}) ≤ UB(θ) \frac{x^{θ+ε}}{\log x}$

Résultats numériques spécifiques :

Effets des améliorations techniques

Amélioration des bornes inférieures

Par la nouvelle stratégie de décomposition, la perte totale est contrôlée à :

• Région A : < 0.241 (perte 2D)
• Région C : < 0.514 (incluant les compensations haute dimension)
• Perte totale : < 0.996, assurant une borne inférieure > 0.004

Calcul des bornes supérieures

Le calcul des bornes supérieures est plus complexe, avec une perte totale < 1.874, donnant une borne supérieure < 2.874.

Vérification numérique

La comparaison des résultats de calcul en C++ et Mathematica montre une bonne cohérence, avec des erreurs dans les limites acceptables.

Travaux connexes

Évolution historique

1. Méthodes classiques : Basées sur la distribution des zéros de la fonction zêta de Riemann
2. Révolution des cribles : Iwaniec-Jutila (1979) introduisent la théorie des cribles
3. Percée BHP : Combinaison du crible de Harman et du théorème de la moyenne puissance de Watt
4. Développements ultérieurs : Diverses améliorations techniques et optimisations numériques

Positionnement de cet article

• Optimisation en profondeur dans le cadre BHP
• Première fourniture de calculs complets et vérifiables
• Pose les fondations pour des améliorations ultérieures

Applications et généralisation

L'article présente 15 applications importantes :

1. Nombres premiers dans les progressions arithmétiques (Théorème 3)

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

2. Problème des écarts entre nombres premiers (Théorème 4)

L'existence de ≫ $x^{0.52}(\log x)^{-k}$ paires de nombres premiers consécutifs dans les courts intervalles, avec écarts bornés.

3. Problème de Goldbach

• Théorème 6 : Presque tous les nombres pairs dans $[x, x + x^{13/225}]$ sont des nombres de Goldbach
• Théorème 7 : L'intervalle $[x, x + x^{26/1075}]$ contient des nombres de Goldbach

4. Autres applications

Incluant la distribution des idéaux premiers dans les corps quadratiques imaginaires, l'estimation des nombres de Carmichael, la constante de Linnik, etc.

Conclusion et discussion

Conclusions principales

1. Percée technique : Franchissement réussi de la barrière θ = 0.52
2. Innovation méthodologique : Développement de plusieurs techniques d'optimisation des cribles
3. Cadre de vérification numérique : Établissement d'un cadre complet de vérification numérique
4. Applications étendues : Améliorations obtenues sur plusieurs problèmes de théorie des nombres

Limitations

1. Limitations méthodologiques : Reste dans le cadre du crible de Harman, difficile d'obtenir un saut qualitatif
2. Complexité de calcul : Les calculs d'intégrales haute dimension sont extrêmement complexes, limitant les améliorations ultérieures
3. Questions de constantes : Bien que l'exposant soit amélioré, les constantes ont encore de l'espace pour optimisation

Directions futures

1. Nouvelles techniques de crible : Explorer de nouvelles méthodes au-delà du cadre existant
2. Optimisation de calcul : Développer des techniques de calcul numérique plus efficaces
3. Percée théorique : Chercher de nouvelles connexions avec la distribution des zéros des fonctions L

Évaluation approfondie

Avantages

1. Profondeur technique : Réalisation d'une percée substantielle dans un cadre technique extrêmement complexe
2. Rigueur de calcul : Fourniture de détails de calcul sans précédent et de vérification
3. Applications riches : Démonstration d'applications étendues en théorie des nombres
4. Innovation méthodologique : Développement de plusieurs améliorations techniques précieuses

Insuffisances

1. Difficulté de lecture : Les détails techniques sont extrêmement complexes, avec un seuil de compréhension élevé
2. Ampleur des améliorations : Bien qu'il y ait une percée, les améliorations sont relativement limitées
3. Généralité : La méthode est hautement spécialisée, difficile à généraliser à d'autres problèmes

Influence

1. Valeur académique : Résolution d'une difficulté technique importante dans ce domaine
2. Contribution méthodologique : Fourniture de nouveaux outils techniques pour la théorie des cribles
3. Valeur pratique : Production d'applications directes sur plusieurs problèmes connexes

Scénarios applicables

Cette méthode est particulièrement adaptée aux problèmes de théorie des nombres nécessitant un contrôle précis des pertes du crible, en particulier ceux impliquant la distribution dans les courts intervalles.

Références

L'article contient une riche bibliographie couvrant l'évolution complète du théorème des nombres premiers classique aux techniques de crible les plus récentes, fournissant aux lecteurs un guide pour un apprentissage approfondi.

Cet article représente un progrès important dans la théorie des cribles de la théorie analytique des nombres. Par des améliorations techniques fines et des calculs numériques massifs, il franchit avec succès les barrières techniques de longue date, posant une base solide pour le développement ultérieur des domaines connexes.