On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares

Les auteurs prouvent que tout intervalle entre deux carrés consécutifs contient un entier possédant au plus trois facteurs premiers, améliorant ainsi le résultat précédent de 4 facteurs grâce à une combinaison de vérifications numériques et d'un argument explicite de crible.

L'essentiel

Voici une explication de ce travail mathématique, imagée et simplifiée, comme si nous racontions une histoire de chasse aux trésors dans le monde des nombres.

🕵️‍♂️ La Grande Chasse aux Nombres "Presque-Primes"

Imaginez que les nombres entiers (1, 2, 3, 4...) sont une immense forêt. Dans cette forêt, les nombres premiers (comme 2, 3, 5, 7, 11...) sont des arbres magiques et très rares. Ils ne peuvent pas être divisés par d'autres nombres (sauf 1 et eux-mêmes).

Depuis des siècles, les mathématiciens se posent une question cruciale, appelée la conjecture de Legendre :

"Entre deux carrés parfaits consécutifs (par exemple entre $4$et$9$, ou entre$100$et$121$), existe-t-il toujours au moins un arbre magique (un nombre premier) ?"

C'est comme demander : "Si je marche entre deux poteaux de téléphone numérotés $n^2$ et $(n+1)^2$, verrai-je toujours un arbre unique ?"
Malgré des siècles d'efforts, personne n'a encore pu prouver que c'est vrai pour tous les nombres, même avec les outils les plus puissants de la physique moderne (l'hypothèse de Riemann).

🛠️ La Solution de Peter Campbell : Le "Plan B"

Dans son article, Peter Campbell ne cherche pas à prouver qu'il y a un arbre unique (un nombre premier) entre chaque paire de poteaux. Il adopte une approche plus souple, un peu comme un détective qui dit : "Si je ne trouve pas un arbre unique, je suis prêt à accepter un petit bosquet de trois arbres collés ensemble."

En langage mathématique, il cherche un nombre qui a au plus 3 facteurs premiers.

• Un nombre premier a 1 facteur.
• Un nombre comme $6$($2 \times 3$) a 2 facteurs.
• Un nombre comme $12$($2 \times 2 \times 3$) a 3 facteurs.

Le résultat de Campbell : Il a prouvé que, peu importe où vous regardez dans cette forêt (entre $n^2$ et $(n+1)^2$), vous trouverez toujours un nombre qui n'est composé que de 1, 2 ou 3 "briques" de base. C'est une victoire ! Auparavant, les meilleurs chercheurs ne pouvaient garantir que 4 briques. Campbell a réduit ce nombre à 3.

🧩 Comment a-t-il fait ? (La Méthode en Deux Temps)

Pour prouver cela, Campbell a utilisé une stratégie en deux étapes, comme un architecte qui construit un pont.

1. La Vérification Manuelle (Pour les petits nombres)

Pour les petits nombres (jusqu'à un certain seuil énorme, environ $10^{31}$), il n'a pas besoin de magie. Il a utilisé des ordinateurs puissants pour vérifier un par un chaque intervalle.

• L'analogie : C'est comme vérifier manuellement que chaque maison d'un petit village a une clé. Pour les petites distances, on peut compter les pas.
• Il a aussi utilisé des records de "trous" entre les nombres premiers pour s'assurer qu'il n'y a pas de zones trop vides où aucun nombre "presque-premier" ne pourrait se cacher.

2. Le Filtre Mathématique (Pour les très grands nombres)

Pour les nombres gigantesques (au-delà de $10^{31}$), on ne peut pas tout vérifier un par un. Il faut une théorie.

• L'outil : Il a utilisé une technique appelée le crible (sieve). Imaginez un tamis de cuisine. Si vous versez de la farine (les nombres) dedans, les gros morceaux (les nombres avec beaucoup de facteurs) tombent, et les petits passent.
• L'innovation : Les mathématiciens précédents utilisaient un tamis un peu grossier qui laissait passer des nombres avec 4 facteurs. Campbell a affiné ce tamis en y ajoutant des "poids" spéciaux (les poids logarithmiques de Richert).
• L'image : Imaginez que vous cherchez des perles dans du sable. Les méthodes anciennes triaient le sable et disaient : "Il y a une perle ou un caillou". Campbell a affiné son tamis pour dire : "Il y a une perle, ou un petit gravier, ou un tout petit caillou, mais jamais un gros rocher".

🚀 Pourquoi est-ce important ?

1. Un pas de géant : Passer de "4 facteurs" à "3 facteurs" est énorme en mathématiques. C'est comme passer de la théorie de la relativité restreinte à la générale : on se rapproche dangereusement de la vérité ultime (trouver un nombre premier, soit 1 facteur).
2. La précision : Ce n'est pas juste une théorie vague. Campbell a donné des formules exactes et des nombres précis. Il a montré comment construire ce tamis pour qu'il fonctionne partout.
3. Le défi restant : Le prochain but serait de prouver qu'il y a toujours un nombre avec 2 facteurs (ou même 1, c'est-à-dire un nombre premier). Campbell explique que pour aller plus loin, il faudrait non seulement un meilleur tamis, mais aussi vérifier manuellement des nombres encore plus grands, ce qui est actuellement impossible avec nos ordinateurs.

En résumé

Peter Campbell a prouvé que dans l'espace entre deux carrés parfaits, il est impossible de ne trouver que des nombres "trop complexes". Il y a toujours un nombre "simple" (composé d'au plus 3 pièces de base). C'est une victoire de la logique et du calcul qui nous rapproche un peu plus de l'un des plus grands mystères des mathématiques : la distribution parfaite des nombres premiers.

Résumé technique

Voici un résumé technique détaillé de l'article de Peter Campbell, « On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares », rédigé en français.

1. Problématique et Contexte

L'article s'attaque à une variante de la conjecture de Legendre, l'un des problèmes ouverts les plus célèbres en théorie des nombres. La conjecture originale postule que pour tout entier $n \ge 1$, l'intervalle $(n^2, (n+1)^2)$ contient au moins un nombre premier. Bien que cette affirmation semble simple, elle résiste à toute preuve, même sous l'hypothèse de Riemann.

Pour mesurer les progrès dans la distribution des nombres premiers dans les intervalles courts, les chercheurs relâchent souvent la condition en cherchant des presque-premiers (des entiers ayant un nombre fini de facteurs premiers comptés avec multiplicité). Soit $\Omega(m)$ le nombre de facteurs premiers de $m$ (avec multiplicité). Le problème consiste à déterminer le plus petit entier $k$ tel que pour tout $n \ge 1$, il existe un entier $a \in (n^2, (n+1)^2)$ vérifiant $\Omega(a) \le k$.

• État de l'art précédent :
  • Brun (1920) a montré que $k=11$ suffit pour $n$ suffisamment grand.
  • Chen (1973) a amélioré cela à $k=2$ pour $n$ grand.
  • Dudek et Johnston (2023) ont prouvé une version explicite pour tout $n \ge 1$ avec $k=4$.
• Objectif de l'article : Améliorer la borne de Dudek et Johnston en prouvant que $k=3$ suffit pour tout $n \ge 1$.

2. Méthodologie

La preuve de Campbell combine deux approches distinctes : une vérification computationnelle pour les petits entiers et un argument analytique explicite basé sur le crible pour les grands entiers.

A. Vérification computationnelle (Petits $n$)

Pour la plage $n^2 \le 10^{31}$, l'auteur ne se contente pas de vérifier la présence de nombres premiers, mais construit des demi-premiers (produits de deux nombres premiers, $\Omega(a)=2$) pour combler les lacunes où aucun premier n'est garanti.

• Stratégie : L'auteur utilise les résultats de vérification de Sorenson et Webster (qui ont confirmé la présence de premiers jusqu'à $n \approx 7.05 \cdot 10^{13}$).
• Extension : Pour $n$ au-delà de cette limite mais inférieur à $10^{31}$, il construit un nombre$pq$dans l'intervalle en choisissant un premier$p$tel que l'intervalle résiduel pour$q$soit plus grand que la plus grande lacune de nombres premiers connue (1724) tout en restant dans la plage où les bornes de lacunes sont connues ($< 6.8 \cdot 10^{19}$). Cela permet de garantir l'existence d'un$q$premier, et donc d'un$pq$ dans l'intervalle.

B. Argument analytique explicite (Grands $n$)

Pour $n^2 \ge 10^{31}$, l'auteur utilise une adaptation du crible pondéré de Richert, initialement appliqué aux intervalles entre cubes par Johnston et al., mais adapté ici aux intervalles entre carrés.

• Outils principaux :
  • Le crible linéaire explicite de Bordignon, Johnston et Starichkova.
  • Des poids logarithmiques de Richert pour détecter les nombres avec peu de facteurs premiers.
  • Des bornes explicites sur les écarts maximaux entre nombres premiers et les produits de Mertens.
• Adaptations spécifiques aux carrés :
  • Contrairement aux intervalles de cubes $(n^3, (n+1)^3)$, les intervalles de carrés $(n^2, (n+1)^2)$ sont beaucoup plus courts (longueur $\approx 2\sqrt{N}$ au lieu de $3N^{2/3}$). Cela réduit la flexibilité pour la vérification finie et modifie l'échelle naturelle des termes dans le crible.
  • L'auteur remplace l'échelle $2/3$(pour les cubes) par$1/2$(pour les carrés) dans les paramètres du crible ($\alpha$,$w$,$D_p$).
  • Il optimise les constantes numériques pour compenser la géométrie plus contraignante des carrés.

3. Résultats Clés et Théorèmes

Le résultat principal est énoncé dans le Théorème 1.1 :

Théorème 1.1 : Pour tout entier $n \ge 1$, il existe un entier $a \in (n^2, (n+1)^2)$ tel que $\Omega(a) \le 3$.

Détails techniques de la preuve :

1. Lemme 2.1 : Établit que pour $n^2 \le 10^{31}$, il existe un $a$ avec $\Omega(a) \le 2$ (donc $\le 3$ est trivialement vrai).
2. Lemme 4.3 : Vérifie la condition de perte de facteurs carrés $(Q_0(c, \delta))$ nécessaire pour appliquer le crible pondéré, avec des constantes explicites $c=0.297$ et $\delta=1/4$.
3. Optimisation des paramètres : En choisissant $k=3$, $k_1=8$, $k_2=3.17$, et un paramètre de crible $\alpha=0.06$, l'auteur démontre que la somme pondérée du crible est strictement positive pour $N \ge 10^{31}$.
   • La borne inférieure pour la quantité de nombres recherchés est calculée comme : $r_3(A) > 0.0249 \frac{\sqrt{N}}{\log X} > 0$.

4. Contributions et Signification

• Amélioration de la borne : Ce travail réduit la borne supérieure du nombre de facteurs premiers de 4 (résultat de Dudek et Johnston) à 3 pour tous les entiers $n \ge 1$. C'est une avancée significative vers la conjecture de Legendre ($k=1$).
• Méthodologie hybride : L'article démontre l'efficacité de combiner des vérifications computationnelles massives (basées sur les lacunes de nombres premiers) avec des arguments de crible explicites très fins.
• Adaptation des poids de Richert : L'auteur réussit à transposer le cadre des poids de Richert, qui fonctionne bien pour les cubes, au cas plus difficile des carrés, en ajustant soigneusement les échelles et les constantes explicites.
• Limites actuelles : L'auteur note que passer de $\Omega(a) \le 3$ à $\Omega(a) \le 2$ semble hors de portée avec la méthode actuelle. Le crible linéaire pondéré utilisant uniquement des informations de type I (Type I information) semble insuffisant pour atteindre les nombres presque-premiers à 2 facteurs dans le contexte des intervalles de carrés, même pour de très grands $n$. Une telle amélioration nécessiterait probablement des informations de type II et une vérification computationnelle encore plus étendue.

En résumé, cet article représente une étape majeure dans la compréhension de la distribution des nombres presque-premiers dans les intervalles courts, repoussant les limites de ce qui peut être prouvé de manière explicite et inconditionnelle pour la conjecture de Legendre.