🔢 mathematics

Unbounded logarithmic limsup in Erd\H{o}s problem 684

Ce papier démontre que la limite supérieure de $f(n)/\log n$ est infinie en construisant des entiers $n$ pour lesquels $f(n)$ dépasse n'importe quel multiple constant de $\log n$ , en utilisant une méthode de criblage et des outils analytiques sur les fonctions arithmétiques.

Auteurs originaux : Ji Ho Bae

Publié 2026-04-28

📖 4 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Ji Ho Bae

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

Le Mystère du Coffre-Fort de l'Erdős : Une explication simple

Imaginez que les nombres entiers sont comme des coffres-forts géants. Chaque coffre possède une combinaison secrète faite de petits rouages (ce sont les nombres premiers).

1. Le Problème : La règle du "Nettoyage"

Un mathématicien célèbre nommé Paul Erdős a posé une question : si vous prenez un nombre énorme (un coffre-fort) et que vous essayez de le "nettoyer" en retirant tous ses rouages trop grands, à quel point devez-vous nettoyer pour qu'il ne reste plus rien de significatif ?

Plus précisément, il y a une fonction $f(n)$ qui nous dit : "Quel est le plus petit rouage (nombre premier) à partir duquel, si on ne garde que les rouages plus petits que lui, le reste du coffre devient minuscule ?"

On pensait que ce nettoyage ne prenait pas beaucoup de temps : on pensait que la taille du nettoyage était proportionnelle au logarithme du nombre (une sorte de croissance très lente et prévisible). Mais Ji Ho Bae vient de prouver que non. Parfois, le nettoyage est beaucoup, beaucoup plus long que prévu. Le "nettoyage" peut devenir infiniment plus grand que ce que l'on imaginait.

2. La Stratégie : La construction du "Coffre-Fort de l'Impossible"

Pour prouver cela, l'auteur ne s'est pas contenté de chercher un nombre au hasard. Il a décidé de fabriquer un coffre-fort sur mesure qui est conçu pour être extrêmement difficile à nettoyer.

Voici comment il a procédé, avec trois étapes métaphoriques :

A. Le Multiplicateur de Précision (Le "Serrurier")
L'auteur utilise une technique appelée "multiplicateur court". Imaginez qu'il ne se contente pas de construire un coffre, il construit un mécanisme de verrouillage si complexe que chaque rouage est précisément aligné pour bloquer les autres. Il utilise des règles mathématiques (le théorème de Kummer) pour s'assurer que, lors du nettoyage, les rouages ne "s'emboîtent" pas de manière prévisible. Il crée un chaos organisé.

B. La Boîte QM (Le "Puzzle de l'Espace")
Pour gérer la complexité, il utilise une méthode appelée "QM-box". Imaginez que vous essayez de ranger des milliers de pièces de puzzle dans des boîtes. L'auteur a trouvé une façon de regrouper ces pièces (les nombres premiers) dans des "boîtes" mathématiques très spécifiques. Cela lui permet de transformer un problème de chaos total en un problème de probabilités : "Quelle est la chance que toutes ces pièces tombent exactement dans la bonne boîte en même temps ?"

C. L'Arme Secrète : La Méthode de Timofeev (Le "Scanner de Masse")
C'est la partie la plus technique. Pour prouver que son coffre-fort "impossible" existe vraiment, il utilise une méthode de mathématicien nommé Timofeev.
Imaginez que vous avez une foule immense de gens et que vous voulez savoir s'il existe un groupe de 100 personnes qui portent toutes des chapeaux rouges et qui marchent exactement au même rythme. C'est presque impossible à trouver ! Mais Timofeev a inventé un "scanner" qui permet de prouver mathématiquement que, dans une foule assez grande, un tel groupe existe forcément.

3. La Conclusion : L'Infini est plus grand que prévu

En combinant son "coffre-fort sur mesure" avec le "scanner de Timofeev", l'auteur prouve que :
Il existe des nombres si particuliers que leur "nettoyage" (la fonction $f(n)$ ) dépasse toutes les limites que l'on avait fixées.

En résumé : On pensait que le nettoyage des nombres suivait une route bien tracée. L'auteur a prouvé qu'il existe des chemins de plus en plus sauvages et imprévisibles qui s'envolent vers l'infini.

Lexique pour les curieux :

$k$ -smooth part : La partie du nombre composée uniquement de petits rouages.
Limsup : La valeur maximale vers laquelle une tendance peut monter.
Logarithme : Une mesure de la taille qui grandit très lentement.
$\text{lcm}(1, \dots, M)$ : Le plus petit nombre qui peut être divisé par tous les chiffres de 1 à $M$ .

Résumé Technique : Lim sup logarithmique non borné dans le problème 684 d'Erdős

1. Le Problème (Contexte)

L'article s'attaque au problème 684 d'Erdős, qui porte sur la structure des facteurs premiers des coefficients binomiaux $\binom{n}{k}$ . On définit $u_k(n)$ comme la partie " $k$ -lisse" de $\binom{n}{k}$ (le produit de tous ses facteurs premiers inférieurs ou égaux à $k$ ). Le problème demande de trouver la plus petite valeur $k$ , notée $f(n)$ , telle que $u_k(n) > n^2$ .

Une conjecture largement acceptée suggère que $f(n) \ll \log n$ . L'objectif de cet article est de démontrer que cette borne supérieure universelle est fausse en prouvant que :
$\limsup_{n \to \infty} \frac{f(n)}{\log n} = \infty$

2. Méthodologie et Construction

L'auteur utilise une approche de construction par "multiplicateurs courts" pour créer des entiers $n$ dont la partie lisse est anormalement petite par rapport à $n^2$ . La stratégie repose sur trois piliers :

La Complétion de Kummer : L'auteur construit $n$ de la forme $t L_M - 1$ , où $L_M = \text{lcm}(1, \dots, M)$ . En utilisant le théorème de Kummer sur les retenues (carries), il s'assure que pour les puissances de nombres premiers $p^a \leq M$ , il n'y a aucune retenue lors du calcul de $\binom{n}{k}$ , ce qui minimise $u_k(n)$ . Le rôle du multiplicateur $t$ est de forcer les retenues aux niveaux supérieurs (juste au-dessus de $M$ ) dans des régions de résidus spécifiques pour limiter la croissance de $u_k(n)$ .
La Réduction par "QM-box" et Fourier : Pour prouver l'existence d'un tel multiplicateur $t$ , l'auteur transforme le problème en une estimation de densité de résidus. Il utilise une expansion de Fourier et une paramétrisation par "boîtes" (QM-boxes) pour isoler les fréquences de Fourier de bas dénominateur. Il introduit une technique de "pruning" (élagage) pour éliminer les modes de basse fréquence qui ne contribuent pas significativement à l'erreur.
Localisation Dyadique et Coquilles de Produits : Le problème est réduit à une estimation de distribution de nombres ayant un nombre fixe de facteurs premiers ( $\Omega(n)$ fixé) dans des intervalles dyadiques. L'auteur utilise une "coquille de produit" (product-shell) pour isoler les nombres dont les facteurs premiers se situent dans une bande spécifique $(M, CM]$.

3. Apport Analytique : La Méthode de Timofeev

La contribution technique majeure réside dans l'adaptation de la méthode de Timofeev sur les moyennes dans les progressions arithmétiques pour les grands $\Omega$ .

L'auteur doit appliquer cette méthode de manière très localisée. Il démontre que l'on peut obtenir des estimations de type Bombieri-Vinogradov pour des ensembles très fins de nombres (nombres sans facteurs premiers dans certains intervalles, avec un nombre exact de facteurs premiers $a$ , et appartenant à une fenêtre de produit spécifique). Cette étape est cruciale pour garantir que le multiplicateur $t$ existe tout en respectant les contraintes de hauteur harmonique imposées par la construction.

4. Résultats Principaux

Existence du multiplicateur : L'auteur prouve l'existence d'un multiplicateur $t \leq \exp(o(M))$ satisfaisant un système de conditions locales de résidus (Proposition 1).
Construction de contre-exemples : Il construit une suite d'entiers $n_M$ tels que $f(n_M) > (C - o(1)) \log n_M$ pour tout $C > 1$ .
Divergence du Lim Sup : La conséquence directe est que $f(n)$ n'est pas borné par une constante fois $\log n$ , invalidant la conjecture de l'ordre de grandeur universel.

5. Signification

Ce travail est significatif car il résout un problème de longue date posé par Paul Erdős en utilisant des techniques de pointe en théorie analytique des nombres. Il montre que la structure des retenues dans les coefficients binomiaux est beaucoup plus complexe et "instable" que ce que l'on pourrait supposer intuitivement. L'utilisation de la méthode de Timofeev pour des ensembles de nombres extrêmement restreints (dyadiques et à $\Omega$ fixe) représente une avancée méthodologique importante dans l'étude des distributions de nombres ayant de nombreux facteurs premiers.