🔢 mathematics

Every quasiperfect number has at least eight distinct prime factors

Cet article prouve que tout nombre quasi parfait doit posséder au moins huit facteurs premiers distincts, augmentant ainsi la borne inférieure de sept en éliminant tous les contreexemples potentiels par une combinaison de lemmes algébriques élémentaires et de recherches computationnelles rigoureusement vérifiées.

Auteurs originaux : Akira Toyohara, Ye Tao, Siqiong Yao

Publié 2026-08-04

📖 7 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Akira Toyohara, Ye Tao, Siqiong Yao

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

Imaginez que vous êtes un détective tentant de trouver un trésor très spécifique, invisible, caché dans une bibliothèque géante et infinie. Ce trésor est un type de nombre très particulier appelé « nombre quasiparfait ». Pour comprendre la traque, vous devez d'abord savoir ce qui rend un nombre « parfait ». Un nombre parfait est comme une balance parfaitement équilibrée : si vous additionnez tous les plus petits nombres qui le divisent (ses « diviseurs »), le total est égal au nombre lui-même. Par exemple, le nombre 6 est parfait car ses diviseurs sont 1, 2 et 3, et $1 + 2 + 3 = 6$ . C'est un point d'équilibre mathématique idéal.

Imaginez maintenant un nombre qui est juste un pas en dessous de cet équilibre parfait. Si vous additionnez tous ses diviseurs, le total est exactement de un de plus que le double du nombre lui-même. Les mathématiciens appellent cela un « nombre quasiparfait ». C'est le cousin « presque parfait ». Le grand mystère est le suivant : ces nombres existent-ils vraiment ? Personne n'en a jamais trouvé, et pendant des décennies, personne n'a non plus pu prouver qu'ils n'existaient pas. C'est comme chercher un fantôme dans une maison qui pourrait être vide ; vous devez être absolument certain d'avoir inspecté chaque recoin avant de pouvoir dire : « Il n'y a pas de fantômes ici. » Ce document est l'histoire d'une inspection massive et de haute technologie de cette maison, prouvant que si un tel nombre existe, il doit être incroyablement complexe, se cachant derrière un mur d'au moins huit différents blocs de construction premiers.

La Grande Traque du Nombre « Presque Parfait »

Pendant longtemps, les mathématiciens savaient que si un nombre quasiparfait existait, il devait être une créature très étrange : il devait être un nombre impair et un carré parfait. Ils savaient également qu'il devait être construit à partir d'un certain nombre d'« ingrédients » premiers uniques (comme 3, 5, 7, etc.). Avant ce papier, la meilleure règle qu'ils possédaient était que tout nombre de ce type nécessitait au moins sept ingrédients premiers différents. Cette règle était restée inchangée depuis 1982, mais elle était bloquée. La recherche ressemblait à une tentative de trouver une aiguille dans une botte de foin qui ne cessait de grandir. La « botte de foin » était une liste de nombres possibles, et pour certains des candidats les plus profonds et les plus complexes, la liste était si longue que les ordinateurs auraient dû fonctionner pendant des milliers d'années pour les vérifier un par un. C'était une « recherche non terminée » — une boucle qui ne s'arrêtait jamais.

Ce papier brise cette boucle. Les auteurs, utilisant un mélange d'astuces mathématiques ingénieuses et d'ordinateurs puissants, ont prouvé qu'aucun nombre quasiparfait ne peut exister avec seulement sept (ou moins) ingrédients premiers différents. S'il en existe un, il doit posséder au moins huit facteurs premiers distincts. C'est la première fois que cette règle spécifique est améliorée en 44 ans.

Comment ils l'ont fait : Les Trois Clés Magiques

Les auteurs n'ont pas simplement utilisé la force brute pour résoudre le problème ; cela aurait pris trop de temps. Au lieu de cela, ils ont inventé trois « clés magiques » (lemmes mathématiques) qui ont transformé une recherche infinie et impossible en un puzzle fini et soluble. C'est comme essayer de trouver une personne spécifique dans un stade de milliards de gens.

La Clé du Discriminant (L'« Identification Instantanée ») :
Normalement, pour trouver la pièce manquante d'un nombre quasiparfait, il faudrait deviner un nombre premier puis chercher un partenaire correspondant. C'est comme deviner la combinaison d'un verrou et essayer chaque clé. La première clé, basée sur une formule d'algèbre de niveau lycée, change la donne. Au lieu de chercher le partenaire, elle calcule une « empreinte digitale » spécifique (appelée discriminant). Si l'empreinte digitale n'est pas un carré parfait, vous savez instantanément que la combinaison est mauvaise. Cela transforme une recherche massive en une simple vérification.
La Clé du Crible (Le « Gardien de la Sécurité ») :
Même avec la première clé, il reste des millions de candidats. La deuxième clé agit comme un garde de sécurité ultra-efficace à l'entrée du stade. Elle utilise les « résidus quadratiques » (une façon sophistiquée de vérifier si un nombre se comporte comme un carré dans un monde mathématique spécifique) pour filtrer de grands groupes de candidats d'un coup. Si un nombre échoue à ce test, le garde l'écarte immédiatement sans même vérifier le reste de ses détails. Cela élimine environ 99,999999 % des possibilités avant même que l'ordinateur ne commence le travail de fond.
La Clé du Résolveur (La « Machine à Remonter le Temps ») :
Le plus gros problème était que certains nombres pouvaient avoir des exposants (puissances) qui se poursuivaient à l'infini. Les compter un par un prendrait une éternité. La troisième clé réalise que ces puissances infinies suivent un schéma prévisible. Au lieu de compter 1, 2, 3... jusqu'à l'infini, cette clé résout une seule équation qui indique exactement quelles puissances sont possibles. Elle transforme une boucle infinie en un calcul unique et rapide.

Le Résultat : Clôturer l'Affaire

En utilisant ces trois clés, les auteurs ont lancé un calcul massif. Ils ont dû vérifier 381 différents « tiges » (schémas de départ de nombres premiers) qui se sont déployées en un nombre stupéfiant de 79 751 212 « feuilles profondes » (les candidats finaux et complexes).

Le Résultat : Ils ont trouvé zéro nombre quasiparfait.
La Preuve : La recherche ne s'est pas contentée de s'arrêter ; elle a été vérifiée de multiples façons. Ils ont exécuté le calcul sur différents types d'ordinateurs (CPU et GPU), ont utilisé différentes méthodes mathématiques pour revérifier les résultats, et ont même implanté de fausses « solutions » dans le code pour s'assurer que leur système les détecterait. À chaque fois, le système a correctement indiqué : « Aucune solution trouvée. »
La Conclusion : Ils ont prouvé que les « feuilles profondes » de l'arbre de recherche sont toutes des impasses. Le papier exclut explicitement la possibilité qu'un nombre quasiparfait possède 7 facteurs premiers ou moins.

Pourquoi cela importe

Il ne s'agit pas seulement de trouver un nombre ; il s'agit de comprendre les règles de l'univers des nombres. En prouvant que tout nombre quasiparfait doit posséder au moins huit facteurs premiers distincts, les auteurs ont repoussé la limite de nos connaissances. Ils ont dégagé une obstruction massive qui bloquait tout progrès depuis 1982.

Le papier traite également d'une tentative précédente par un autre chercheur (Zemann) qui affirmait avoir trouvé le même résultat. Les auteurs ont soigneusement audité ce travail et ont trouvé une petite « faille » dans le code où 35 cas possibles avaient été sautés. Leur travail est le premier à fermer complètement cette faille, garantissant que la preuve est inattaquable.

En résumé, les auteurs ont construit une forteresse de logique et de calcul. Ils ont montré que si un nombre quasiparfait se cache, il se cache derrière un mur d'au moins huit ingrédients premiers, ce qui le rend encore plus insaisissable que nous ne le pensions. La traque continue, mais la carte vient d'être mise à jour avec une zone de « Défense d'Entrée » beaucoup plus vaste.

Résumé technique : « Tout nombre quasiparfait possède au moins huit facteurs premiers distincts »

Énoncé du problème
L'article traite de l'existence des nombres quasiparfaits, définis comme des entiers $n$ satisfaisant l'équation $\sigma(n) = 2n + 1$ , où $\sigma(n)$ est la somme de tous les diviseurs positifs de $n$ . Bien qu'aucun nombre de ce type n'ait jamais été trouvé, et que leur non-existence n'ait pas été prouvée, des contraintes structurelles sont connues : tout nombre quasiparfait doit être un carré parfait impair. Une question centrale ouverte concerne la borne inférieure de $\omega(n)$ , le nombre de facteurs premiers distincts de $n$ . Depuis 1982, la borne inférieure établie est $\omega(n) \ge 7$ (Hagis–Cohen). Cet article vise à améliorer cette borne.

Méthodologie
La preuve procède par l'élimination de tous les cas possibles où $\omega(n) \le 7$ . La stratégie repose sur une recherche par arbre de calcul (la méthode du « corridor ») où l'abondance $\sigma(n)/n$ doit se situer dans l'intervalle étroit $(2, 2 + 1/n]$ . L'espace de recherche est divisé en « tiges » (primes initiales fixes) et en « feuilles » (configurations terminales avec des nombres premiers libres).

L'innovation centrale est un système de trois lemmes au niveau de l'algèbre élémentaire qui transforme une recherche non bornée et non terminante en un processus de décision fini. Ces lemmes traitent de trois dimensions spécifiques de l'espace de recherche qui entravaient auparavant la terminaison :

Lemme 1 (Critère du discriminant) : Transforme la recherche du dernier nombre premier libre $q$ en un problème de vérification. En traitant l'équation de la feuille comme une équation quadratique en $q$ , les auteurs dérivent un discriminant $\Delta(p)$ . Une solution n'existe que si $\Delta(p)$ est un carré parfait. Cela élimine la nécessité de chercher dans une plage pour $q$ , réduisant la tâche à la vérification si une valeur spécifique est un carré.
Lemme 2 (Crible de résidus quadratiques) : Transforme la vérification en une simple consultation de table. Puisque $\Delta(p)$ doit être un carré parfait, il doit être un résidu quadratique modulo tout entier $r$ . En précalculant les classes de résidus autorisées pour diverses modulos, les auteurs peuvent exclure des classes entières de nombres premiers intermédiaires $p$ sans effectuer d'arithmétique exacte coûteuse. Cela agit comme un « crible grossier » qui réduit drastiquement l'ensemble des candidats.
Lemme 3 (Résolveur multilinéaire) : Résout le problème des exposants non bornés. Auparavant, l'augmentation des exposants créait une séquence infinie d'équations. Les auteurs observent que la fonction de somme des diviseurs pour une puissance de nombre premier est linéaire dans la variable $V = p^{2e}$ . Cela permet de résoudre la dimension de l'exposant non borné directement via des transformations linéaires ou de Möbius, convertissant une itération infinie en un ensemble fini de solutions algébriques.

Deux autres « lemmes de destruction » (Lemme 4 et Lemme 5) sont employés pour des cas profonds spécifiques :

Lemme 4 (FULLKILL 9) : Utilise la périodicité modulo 9 pour éliminer des familles entières de configurations d'exposants si le discriminant est un non-résidu pour toutes les périodes.
Lemme 5 (Tight-Kill) : Utilise des arguments de monotonie pour prouver que si la configuration minimale d'une branche dépasse la borne supérieure du corridor, l'intégralité du cône des exposants supérieurs est invalide.

Contributions clés et résultats

Théorème principal (Théorème 1) : L'article prouve que si un nombre quasiparfait existe, il doit satisfaire $\omega(n) \ge 8$ . C'est la première amélioration de la borne $\omega \ge 7$ depuis 1982.
Élimination de $\omega = 7$ :
- Cas $3 \nmid n$ : L'espace de recherche s'effondre en une seule tige $(5, 7, 11, 13)$ , éliminée en moins d'une seconde.
- Cas $3 \mid n$ : Cela constitue le gros du travail, impliquant 381 tiges s'étendant à 79 751 212 feuilles profondes. Les auteurs ont réussi à éliminer toutes ces feuilles sans trouver de solution.
Vérification computationnelle : L'élimination est soutenue par un cadre de confiance rigoureux à quatre couches :
1. Arithmétique exacte : Tous les « kills » sont basés sur l'arithmétique entière ; aucun nombre à virgule flottante n'est utilisé pour les décisions finales.
2. Solutions plantées : Le système identifie correctement 12 solutions vraies construites à la main lors de la phase pilote et 24 solutions vraies plantées au portail CPU et 24 au portail GPU (48 au total), tout en rejetant les solutions fausses perturbées. Cela garantit que le crible ne tue pas par erreur et que le contrôle final ne laisse rien passer.
3. Double implémentation : Deux architectures indépendantes (CPU et GPU) produisent des résultats identiques.
4. Vérification formelle : Les lemmes et la logique sont formalisés dans l'assistant de preuve Lean (259 théorèmes, zéro sorry), garantissant la validité logique des règles d'élimination.
Audit des travaux antérieurs : Les auteurs auditent un preprint de 2023 de Zemann revendiquant la même borne. Ils identifient un « écart de couverture » où 35 exposants réalisables ont été sautés en raison d'une erreur d'indice (off-by-one) dans le code, concluant que le travail de Zemann ne constitue pas une preuve complète, contrairement à l'élimination complète de l'article actuel.

Signification et affirmations
L'article affirme fournir la première preuve complète que $\omega(n) \ge 8$ pour tout nombre quasiparfait. La signification ne réside pas dans la découverte d'un nombre quasiparfait, mais dans l'élimination rigoureuse du cas $\omega=7$ , qui était un obstacle depuis plus de 40 ans.

Les auteurs soulignent que la percée n'a pas été obtenue par la puissance de calcul brute, mais par une intuition mathématique qui a converti une recherche indécidable (due aux exposants non bornés et aux plages de balayage massives) en un processus de décision fini et vérifiable. Le travail est présenté comme une preuve « autonome » qui ne dépend pas des parties non vérifiées de la littérature antérieure (spécifiquement la partie non publiée de $\omega \ge 9$ de Hagis–Cohen 1982).

Travaux futurs (tels qu'énoncés dans l'article)
L'article fait état de progrès partiels vers la prochaine borne, $\omega(n) \ge 9$ . Une « campagne de suite » a établi la frontière de réduction pour $\omega=8$ , montrant que tout nombre quasiparfait avec $\omega=8$ doit être divisible par $3 \cdot 5 \cdot 17 = 255$ (Théorème 2). Cependant, l'élimination complète des 516 tiges pour $\omega=8$ est encore en cours, une « tige monstrueuse » $(3, 5, 19, 97)$ restant un obstacle computationnel important. Les auteurs identifient également un problème algorithmique ouvert (P2-EXACT) concernant le comptage des points de réseau sous un polynôme, qu'ils estiment être la clé pour surmonter les barrières computationnelles restantes.

La Grande Traque du Nombre « Presque Parfait »

Comment ils l'ont fait : Les Trois Clés Magiques

Le Résultat : Clôturer l'Affaire

Pourquoi cela importe

Articles similaires