🔢 mathematics

A Complete Answer to Erd\H{o}s Problem 690

Ce papier résout le problème 690 d'Erdős en démontrant que la densité naturelle des entiers possédant un $k$ -ième plus petit diviseur premier spécifique n'est pas unimodale pour tout $k \ge 4$ , achevant ainsi la classification de cette propriété pour tout $k$ .

Auteurs originaux : Shouqiao Wang, Davide Crapis

Publié 2026-05-12

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Shouqiao Wang, Davide Crapis

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

La vue d'ensemble : Un mystère concernant les motifs des nombres

Imaginez que vous possédiez une liste gigantesque et infinie de tous les nombres premiers (2, 3, 5, 7, 11, 13...). Maintenant, imaginez que vous examiniez chaque entier positif (1, 2, 3, 4...) en vous posant une question précise : « Quel est le k-ième plus petit nombre premier qui divise cet entier ? »

Par exemple, si vous choisissez le nombre 12, ses facteurs premiers sont 2 et 3.

Le 1er plus petit facteur premier est 2.
Le 2e plus petit facteur premier est 3.

Le mathématicien Paul Erdős s'interrogeait sur un motif régissant la fréquence d'apparition de ces nombres premiers « k-ièmes plus petits ». Il se demandait : « La fréquence de ces nombres premiers augmente-t-elle jusqu'à un pic puis diminue-t-elle, comme une colline lisse ? » En termes mathématiques, il demandait si la séquence était « unimodale » (avec une seule bosse).

L'analogie de la colline : Imaginez une montagne. Alors que vous montez, la vue s'améliore (la fréquence augmente). Vous atteignez le sommet (le pic). Ensuite, alors que vous redescendez de l'autre côté, la vue se dégrade (la fréquence diminue). Erdős pensait que cette « forme de montagne » pouvait être vraie pour chaque niveau de nombre premier « k-ième plus petit ».

Ce qui était déjà connu ?

Avant ce papier, un mathématicien nommé Cambie avait vérifié les premiers niveaux :

Pour k=1, 2 et 3, la forme de « montagne » était réelle. La fréquence augmentait, atteignait un pic, puis diminuait.
Pour k=4 jusqu'à 20, Cambie a découvert que la forme était brisée. Ce n'était pas une colline lisse ; elle présentait des bosses et des creux étranges.

Mais la grande question restait en suspens : Ce motif brisé se produit-il pour chaque nombre k supérieur à 3 ? Ou la « montagne » réapparaît-elle finalement pour des nombres très grands ?

La découverte : Le « Système de champs multiscalaires »

Les auteurs, Shouqiao Wang et Davide Crapis, ne se sont pas contentés de s'asseoir à un bureau pour le faire à la main. Ils ont construit un assistant numérique appelé le Système de champs multiscalaires.

Imaginez ce système comme un explorateur surdoué et infatigable équipé d'une carte et d'une boussole.

Exploration : Le système a examiné des millions de possibilités, testant différents arguments mathématiques pour voir lesquels tenaient la route.
Raffinement : Lorsqu'un argument était faible, le système l'a ajusté. Lorsqu'il était solide, il l'a conservé.
Vérification : Il a vérifié ses propres calculs contre des règles strictes pour s'assurer qu'aucune erreur n'avait été commise.

Les mathématiciens humains ont agi en tant qu'« auditeurs ». Ils ont défini l'objectif, vérifié la preuve finale et validé les calculs de l'ordinateur, mais le gros du travail de découverte a été accompli par le système.

La solution : Trouver les « vallées » et les « pics »

Le papier démontre que pour chaque k supérieur à 3, la forme de « montagne » est fausse. La séquence ne se stabilise jamais dans une seule colline lisse.

Pour le prouver, les auteurs ont utilisé une stratégie astucieuse en deux étapes, comme trouver un chemin spécifique à travers une forêt :

1. La « Descente » (Redescendre la colline)
Ils ont trouvé un endroit précis dans la liste des nombres premiers où un énorme écart est apparu entre deux nombres premiers.

Analogie : Imaginez que vous montez une colline et que vous heurtez soudainement un canyon massif et large. Le chemin chute brusquement.
Les mathématiques : Ils ont prouvé que lorsque l'écart entre deux nombres premiers est énorme, la fréquence du « k-ième plus petit nombre premier » chute brusquement. C'est la « descente ».

2. La « Montée » (Remonter)
Plus loin dans la liste, ils ont trouvé un endroit où les nombres premiers étaient très proches les uns des autres (un écart minuscule).

Analogie : Après le canyon, vous trouvez un escalier raide et étroit menant de nouveau vers le haut.
Les mathématiques : Ils ont prouvé que lorsque l'écart entre les nombres premiers est minuscule, la fréquence remonte en flèche. C'est la « montée ».

La conclusion :
Si un chemin descend (descente) puis remonte plus tard (montée), il ne peut pas être une seule colline lisse. Il doit y avoir une « vallée » au milieu. Par conséquent, la séquence n'est pas unimodale.

Comment ils l'ont prouvé pour tous les nombres

Le papier divise la preuve en deux parties, comme résoudre un puzzle avec une petite section et une énorme section :

Les petits nombres (k = 4 à 8 600 001) :
Pour ceux-ci, le système a utilisé des certificats certifiés. Imaginez-les comme des « reçus officiels » d'autres mathématiciens qui avaient déjà trouvé des écarts entre nombres premiers spécifiques et record-breaking (comme un canyon massif) et des nombres premiers jumeaux (comme un petit escalier). Le système a intégré ces faits connus dans leurs formules pour prouver que le motif « puis » existait pour chaque nombre dans cette plage.
Les énormes nombres (k = 8 600 002 et au-delà) :
Pour des nombres aussi grands, vous ne pouvez pas simplement consulter un reçu. Vous devez construire le chemin vous-même.
Les auteurs ont utilisé une construction par le théorème des restes chinois.
- Analogie : Imaginez que vous voulez construire un long mur de briques où chaque brique est « composite » (non première). Vous utilisez une recette spéciale (le théorème des restes chinois) pour disposer les briques de sorte que, peu importe où vous regardez, il y ait toujours un facteur premier caché dans le motif.
- Cela leur a permis de garantir mathématiquement l'existence d'un canyon massif (un énorme écart) suivi plus tard d'un petit escalier (un petit écart), prouvant que le motif tient pour toujours, quelle que soit la taille de k.

Le verdict final

Le papier fournit la réponse complète à la question d'Erdős :

k = 1, 2, 3 : La séquence est une colline lisse (Unimodale).
k ≥ 4 : La séquence est un chemin accidenté et bosselé avec des vallées et des pics (Non unimodale).

Le « Système de champs multiscalaires » a navigué avec succès dans le paysage complexe des nombres premiers pour montrer que pour tout niveau de « k-ième plus petit nombre premier » au-delà du troisième, le motif de leur fréquence n'est jamais une simple colline unique. C'est toujours un parcours de montagnes russes qui descend puis remonte.

Résumé technique : Une réponse complète au problème 690 d'Erdős

Énoncé du problème
L'article traite du problème 690 d'Erdős, qui concerne la densité naturelle $d_k(p)$ des entiers positifs $n$ pour lesquels un nombre premier $p$ est le $k$ -ième plus petit diviseur premier. La question centrale, posée par Erdős, demande si la suite $p \mapsto d_k(p)$ , indexée par les nombres premiers dans l'ordre croissant, est unimodale pour tout entier fixe $k \ge 1$ . Une suite est unimodale si elle est non décroissante jusqu'à un certain indice et non croissante par la suite.

Des travaux antérieurs de Cambie ont établi que la suite est unimodale pour $1 \le k \le 3$ et ont vérifié la non-unimodalité pour la plage initiale $4 \le k \le 20$ . Le problème ouvert restait de savoir si la non-unimodalité vaut pour tout $k \ge 4$ .

Méthodologie et cadre
Les auteurs ont développé le Système de Champs Multiscalaires, un cadre automatisé pour l'exploration mathématique à grande échelle, la découverte de théorèmes et la vérification. Dans ce travail, le système a exploré de manière autonome des constructions et des arguments candidats, évalué leur viabilité mathématique et les a affinés de manière itérative pour produire une preuve formelle. L'intervention humaine s'est limitée à la formulation du problème, à l'audit de la preuve générée et à la vérification des calculs numériques.

La stratégie de preuve repose sur deux composantes principales :

Lemmes structurels : Les auteurs dérivent un critère de seuil exact (Lemme 3.1) déterminant le signe de la première différence $d_{r+1}(p_{i+1}) - d_{r+1}(p_i)$ . Ce critère compare un rapport $R_r(i)$ de fonctions symétriques élémentaires de poids premiers à l'écart premier adjacent $g_i$ . Plus précisément, une descente stricte se produit si $R_r(i-1) < g_i + 1$ , et une ascension stricte se produit si $R_r(i-1) > g_i + 1$ .
Construction de la non-unimodalité : Pour prouver la non-unimodalité pour un $k$ $k$ donné, les auteurs construisent un scénario où la suite présente une descente stricte suivie plus tard d'une ascension stricte. Cela nécessite de trouver :
- Un écart premier antérieur suffisamment grand pour forcer une descente.
- Un écart premier ultérieur suffisamment petit pour forcer une ascension.

La preuve est divisée en deux régimes basés sur l'ampleur de $k$ :

Plage finie ( $4 \le k \le 8\,600\,001$ ) : Cette section utilise des calculs finis certifiés, des estimations explicites pour les fonctions de comptage des nombres premiers, et deux certificats de records premiers publiés (un grand écart premier et une paire de nombres premiers jumeaux).
Queue uniforme ( $k \ge 8\,600\,002$ ) : Cette section emploie une construction uniforme utilisant le théorème des restes chinois pour fabriquer un long bloc d'entiers composés consécutifs, créant ainsi un grand écart premier. Un argument de moyenne d'écart est ensuite utilisé pour identifier un écart ultérieur plus petit dans un intervalle spécifique.

Contributions et résultats clés

Classification complète : L'article prouve que pour tout entier $k \ge 4$ , la suite $p \mapsto d_k(p)$ n'est pas unimodale. Combiné au résultat de Cambie pour $k \le 3$ , cela fournit une réponse complète à la question d'Erdős.
- Théorème 1.1 : Pour tout $k \ge 4$ , la suite n'est pas unimodale.
- Corollaire 1.2 : La suite est unimodale si et seulement si $1 \le k \le 3$ .
Critère de seuil explicite : L'article établit une condition algébrique précise (Lemme 3.1) reliant le comportement de $d_k(p)$ au rapport des polynômes symétriques et aux écarts premiers. Cela réduit le problème analytique à la comparaison de valeurs numériques spécifiques dérivées des distributions de nombres premiers.
Calculs certifiés et certificats :
- Pour les petits $k$ ( $4 \le k \le 20$ ), les auteurs fournissent des certificats exacts utilisant l'arithmétique rationnelle pour calculer les sommes symétriques élémentaires, identifiant des écarts premiers spécifiques (par exemple, $13 \to 17$ pour $k=4$ ) qui forcent le motif de descente/ascension requis.
- Pour la plage $41 \le k \le 8\,600\,001$ , la preuve exploite deux certificats externes : un grand écart premier certifié de longueur $1\,113\,106$ et une paire de nombres premiers jumeaux certifiée. Ceux-ci sont utilisés pour démontrer l'existence des écarts grands et petits nécessaires sans s'appuyer sur des conjectures non prouvées.
- Un vérificateur numérique compagnon est fourni pour certifier toutes les inégalités décimales finies et l'arithmétique rationnelle utilisées dans la preuve.
Construction uniforme pour les grands $k$ : Pour $k \ge 8\,600\,002$ , les auteurs construisent une preuve qui ne repose pas sur des records spécifiques de grands nombres premiers. Au lieu de cela, ils utilisent des estimations analytiques (bornes de Dusart) et le théorème des restes chinois pour garantir l'existence d'un grand écart $G_-$ et d'un écart ultérieur plus petit $G_+$ dans des intervalles spécifiques définis par les primoriaux. Ils bornent rigoureusement le rapport $R_r$ par rapport à ces écarts pour s'assurer que la condition de descente/ascension est remplie.

Signification et affirmations
L'article prétend fournir la première résolution complète du problème 690 d'Erdős, tranchant la question de l'unimodalité pour tout $k$ . L'importance du travail réside dans :

L'achèvement de la classification : Il répond définitivement à la question d'Erdős, montrant que l'unimodalité est une propriété exclusive des trois premiers cas ( $k=1, 2, 3$ ).
Démonstration méthodologique : Il présente une preuve découverte par le « Système de Champs Multiscalaires » avec une interaction humaine limitée, démontrant la capacité des systèmes automatisés à gérer des preuves arithmétiques complexes impliquant des calculs à grande échelle, des estimations analytiques et des lemmes structurels.
Vérification rigoureuse : Les auteurs soulignent que la preuve n'est pas heuristique ; elle repose sur des calculs finis certifiés et des bornes analytiques explicites, avec un vérificateur publiquement disponible assurant l'exactitude de toutes les étapes numériques.

L'article ne propose pas de nouvelles applications ni de directions expérimentales futures au-delà de la résolution du problème spécifique et de la démonstration de l'efficacité du système de découverte automatisée dans ce domaine.