Minimal zero-free regions for results on primes between consecutive perfect $k$th powers

Cet article calcule des régions sans zéro minimales pour la fonction zêta de Riemann afin de garantir l'existence d'un nombre premier entre deux puissances $k$-ièmes parfaites consécutives pour $k \geq 65$, prouvant notamment ce résultat pour $k=86$ et pour une sous-suite spécifique d'entiers pour $k=70$, tout en quantifiant les progrès réalisés vers la conjecture de Legendre.

L'essentiel

🕵️‍♂️ Le Chasseur de Nombres : Une Chasse aux "Primes" entre les Puissances

Imaginez que les nombres entiers (1, 2, 3, 4...) sont comme des marches d'un escalier infini. Parmi ces marches, certaines sont spéciales : ce sont les nombres premiers (2, 3, 5, 7, 11...). Ils sont comme des "îlots" solitaires au milieu d'une mer de nombres composés.

Depuis des siècles, les mathématiciens se posent une question fascinante : Y a-t-il toujours au moins un nombre premier entre deux carrés parfaits consécutifs ? (Par exemple, entre $2^2=4$et$3^2=9$, on trouve 5 et 7. Entre$100^2$et$101^2$, y en a-t-il un ?). C'est ce qu'on appelle la conjecture de Legendre.

Le problème ? Personne n'a encore réussi à prouver que c'est vrai pour tous les nombres, même avec les outils les plus puissants de la physique et des mathématiques modernes.

🧱 Le Mur Invisible : Les Zéros du "Zeta"

Pour essayer de résoudre ce mystère, les chercheurs utilisent une machine mathématique très puissante appelée la fonction Zêta de Riemann. Imaginez cette fonction comme un détecteur de métaux géant qui scanne l'univers des nombres.

Ce détecteur a des "zones interdites" où il ne doit rien trouver. Ces endroits sont appelés les zéros non triviaux.

• Si le détecteur trouve un zéro dans une zone interdite, tout s'effondre : la conjecture de Legendre pourrait être fausse, ou du moins, nos méthodes pour la prouver ne fonctionnent plus.
• Si nous pouvons garantir que le détecteur ne trouve aucun zéro dans une certaine zone (une "région sans zéro"), alors nous pouvons prouver qu'il y a bien des nombres premiers partout où nous le voulons.

🎯 La Mission d'Ethan Simpson Lee

Dans cet article, l'auteur, Ethan Simpson Lee, ne cherche pas à prouver la conjecture de Legendre (les carrés, $k=2$) tout de suite. C'est trop dur ! À la place, il fait une expérience de pensée : "Jusqu'où pouvons-nous descendre dans l'échelle des puissances ?"

Au lieu de chercher entre $n^2$ et $(n+1)^2$, il regarde entre $n^k$ et $(n+1)^k$.

• Si $k$ est très grand (par exemple 1000), l'espace entre les deux nombres est énorme. Il est facile de trouver un nombre premier.
• Si $k$ est petit (par exemple 2), l'espace est minuscule. C'est très difficile.

L'objectif du papier : Trouver le plus petit nombre $k$ pour lequel on peut prouver mathématiquement qu'il y a toujours un nombre premier entre $n^k$ et $(n+1)^k$, pour n'importe quel nombre $n$.

🏆 Les Résultats Clés (La Récompense)

Grâce à des calculs ultra-précis et une nouvelle façon de regarder les données, Ethan a obtenu trois résultats majeurs :

1. Le Record du "Tout" (Théorème 1.2) :
   Il a prouvé que pour n'importe quel nombre entier (même 1, 2, 3...), il y a toujours un nombre premier entre $n^{86}$ et $(n+1)^{86}$.

   • Analogie : Imaginez que vous avez une règle magique. Avant, on savait qu'elle fonctionnait pour mesurer des distances de 100 mètres. Ethan a affiné sa règle pour qu'elle fonctionne même pour des distances de 86 mètres, et ce, sans jamais se tromper, du début à la fin de l'univers.

2. La Solution "Tricheuse" pour le 70 (Théorème 1.3) :
   Pour le nombre 70, il a trouvé une astuce. Si on ne regarde pas tous les nombres, mais seulement une liste spéciale de nombres (qu'il a construite), alors il y a toujours un nombre premier entre leurs puissances 70.

   • Analogie : C'est comme dire : "Je ne peux pas prouver qu'il y a un trésor sur chaque île de l'océan, mais si vous ne visitez que les îles où il y a un palmier, alors oui, il y a un trésor sur chacune d'elles."

3. La Carte au Trésor pour l'Avenir (Théorème 1.4) :
   C'est la partie la plus excitante. Ethan a dit : "Si nous pouvions prouver que le détecteur de zéros (la fonction Zêta) ne trouve rien dans telle et telle zone précise, alors nous pourrions prouver le résultat pour k=70, 75, 80, ou 85 pour tous les nombres."

   • Analogie : Il a laissé une carte au trésor. Il a écrit : "Si vous creusez ici (dans cette zone précise de la fonction Zêta) et que vous ne trouvez rien, alors vous gagnerez le prix Nobel pour prouver que les nombres premiers existent partout entre les puissances 70."

🗺️ Pourquoi c'est important ?

Ce papier ne résout pas le problème final (Legendre, $k=2$), mais il nous dit exactement combien il nous reste à faire.

• Il nous dit : "Nous sommes très proches de la ligne d'arrivée pour $k=70$, mais il nous manque juste de vérifier une petite zone de la fonction Zêta."
• Il quantifie la difficulté. Plus le $k$ est petit, plus la zone à vérifier pour la fonction Zêta est "fine" et difficile à explorer.

🚀 En Résumé

Imaginez que vous essayez de construire un pont vers la Conjecture de Legendre.

• Les mathématiciens d'avant avaient construit des ponts jusqu'à $k=90$.
• Ethan a construit un pont plus solide jusqu'à $k=86$.
• Il a aussi montré un chemin secret pour atteindre $k=70$ (mais seulement pour certains voyageurs).
• Et surtout, il a laissé des plans d'architecte précis : "Si vous arrivez à vérifier cette petite zone de la fonction Zêta (le détecteur), vous pourrez construire le pont jusqu'à $k=70$ pour tout le monde."

C'est un travail de précision incroyable qui nous dit : "Nous ne sommes pas perdus. Nous savons exactement où nous sommes et ce qu'il nous reste à faire pour atteindre le Saint Graal des nombres premiers."

Résumé technique

Voici un résumé technique détaillé de l'article "Minimal Zero-Free Regions for Results on Primes Between Consecutive Perfect kth Powers" d'Ethan Simpson Lee, rédigé en français.

1. Problématique et Contexte

L'article s'attaque à un problème fondamental en théorie analytique des nombres : la distribution des nombres premiers dans les intervalles courts. Plus précisément, l'auteur vise à déterminer le plus petit entier $k \ge 3$ tel qu'il soit possible de prouver (de manière inconditionnelle) qu'il existe toujours au moins un nombre premier dans l'intervalle $(n^k, (n+1)^k)$ pour tout entier $n \ge 1$.

Ce problème est une généralisation de la conjecture de Legendre, qui postule l'existence d'un nombre premier entre deux carrés parfaits consécutifs ($k=2$). Bien que la conjecture de Legendre reste hors de portée même sous l'hypothèse de Riemann (RH), des résultats partiels existent pour des puissances supérieures.

• Ingham (1937) a prouvé l'existence d'un premier pour $k=3$ pour $n$ suffisamment grand.
• Cully-Hugill (2023) a rendu ce résultat explicite pour $n \ge \exp(\exp(32.892))$, mais la plage restante pour $n$ petit est difficilement accessible par les techniques actuelles.
• Le résultat le plus récent avant cet article établissait $k=90$ comme admissible.

L'objectif de Lee est d'améliorer cette borne supérieure pour $k$ et d'explorer des stratégies alternatives pour atteindre des valeurs de $k$ plus faibles (notamment $k=70$ et $k=86$).

2. Méthodologie

La preuve repose sur trois piliers techniques classiques, combinés à de nouvelles optimisations :

1. Régions sans zéro du zêta de Riemann : L'auteur utilise des régions de la forme de Littlewood, définies par $\sigma \ge 1 - \frac{\log \log |t|}{Z \log |t|}$, où $\sigma$ est la partie réelle des zéros non triviaux $\varrho = \beta + i\gamma$.
2. Estimations de densité des zéros : Utilisation de bornes supérieures explicites pour $N(\sigma, T)$, le nombre de zéros dans la région $\sigma < \beta < 1$ et $0 < \gamma < T$. L'article intègre les résultats récents de Bellotti et Wong sur les constantes explicites.
3. Formule de Riemann-von Mangoldt tronquée : Une analyse fine de l'erreur dans la formule reliant la fonction de comptage des premiers $\theta(x)$ aux zéros de $\zeta(s)$.

Innovation méthodologique :
L'auteur introduit une stratégie hybride pour prouver des résultats complets (valables pour tout $n \ge 1$) pour $k < 86$. Au lieu de se fier uniquement à une seule borne pour $N(\sigma, T)$, il combine plusieurs bornes différentes selon la taille de $T$ et la valeur de $\sigma$.

• Pour les grandes valeurs de $x$, il utilise des bornes asymptotiques basées sur la région sans zéro.
• Pour les petites valeurs de $x$ (où les méthodes asymptotiques échouent), il utilise des bornes explicites provenant de travaux antérieurs (Cully-Hugill et Johnston) et des calculs directs.
• Il introduit une séquence d'entiers modifiée $a_n = n(1 + \lfloor N/n \rfloor)$ pour combler les lacunes dans les intervalles critiques.

3. Contributions Clés et Résultats Principaux

L'article présente quatre théorèmes majeurs :

Théorème 1.2 : Amélioration de la borne inconditionnelle

L'auteur prouve que pour $k = 86$, il existe toujours un nombre premier dans l'intervalle $(n^{86}, (n+1)^{86})$ pour tout entier $n \ge 1$.

• Cela améliore le résultat précédent de $k=90$.
• La preuve combine les résultats de la Proposition 3.2 (pour les grands $x$) et de la Proposition 3.3 (pour les petits $x$).

Théorème 1.3 : Résultat conditionnel sur un sous-ensemble pour $k=70$

Pour $k=70$, l'auteur ne peut pas encore prouver le résultat pour tous les entiers $n$. Cependant, il définit une séquence $a_n = n(1 + \lfloor N/n \rfloor)$ et prouve que si $N$ est suffisamment grand ($N \ge \exp(15951/70) - \exp(2135/70)$), alors il existe un premier entre $a_n^{70}$ et $a_{n+1}^{70}$.

• Cela implique qu'il existe un premier entre $n^{70}$ et $(n+1)^{70}$ pour tout $n > \exp(15951/70) - \exp(2135/70) \approx 9.18 \times 10^{98}$.
• Ce résultat démontre la faisabilité théorique de la preuve pour $k=70$ au-delà d'un certain seuil.

Théorème 1.4 : Régions sans zéro minimales requises

C'est la contribution la plus technique. L'article calcule les régions sans zéro minimales nécessaires pour prouver le résultat complet pour $k \in \{85, 80, 75, 70\}$.

• Le théorème stipule que si $\zeta(s) \neq 0$ dans la région :
  $$1 - \frac{\log \log |t|}{Z_k \log |t|} \le \sigma \le 1 \quad \text{et} \quad H_R < |t| \le T_k$$
  alors le résultat complet pour $k$ est démontré.
• Tableau 1 (Résumé des constantes) :
  • Pour $k=85$ : $Z_{85} \approx 17.270$, $\log T_{85} \approx 75.85$.
  • Pour $k=70$ : $Z_{70} \approx 14.055$, $\log T_{70} \approx 264.33$.
• Signification : Pour $k=70$, la région requise est "fine" mais s'étend sur une hauteur de $T$ très élevée ($e^{264.33}$). Cela indique que la preuve complète pour $k=70$ est théoriquement à portée de main si l'on peut vérifier l'absence de zéros dans cette région spécifique, ce qui est un défi computationnel immense mais conceptuellement raisonnable.

Proposition 3.1 : Bornes paramétrées

L'auteur établit une borne explicite pour la différence $\theta(x+h) - \theta(x) - h$, où $h = kx^{1-1/k}$. Cette proposition est un outil technique indépendant qui permet de quantifier l'erreur en fonction des paramètres de la région sans zéro ($Z$) et des estimations de densité ($N(\sigma, T)$).

4. Signification et Perspectives

• Cartographie de la difficulté : L'article fournit une "carte" précise de la difficulté pour prouver la conjecture de Legendre. Il montre que passer de $k=86$ à $k=70$ nécessite non seulement de meilleures bornes d'erreur, mais surtout la vérification de l'absence de zéros dans des régions de plus en plus étroites et hautes du plan complexe.
• Faisabilité computationnelle : Bien que la vérification de l'absence de zéros jusqu'à $T \approx e^{264}$ soit actuellement impossible, le fait que la région soit définie de manière explicite et que les constantes soient calculées avec précision offre une cible claire pour les futurs développements algorithmiques et les supercalculateurs.
• Méthodologie hybride : L'approche combinant des bornes asymptotiques et des vérifications explicites pour des intervalles spécifiques ouvre la voie à de futures améliorations pour des valeurs de $k$ encore plus petites.

En conclusion, Ethan Simpson Lee a réussi à repousser la borne inconditionnelle connue pour l'existence de premiers entre puissances consécutives de $k=90$ à $k=86$, et a fourni les conditions exactes (régions sans zéro) nécessaires pour atteindre $k=70$, marquant une étape significative vers la résolution de la conjecture de Legendre.