Les origines et la définition fondamentale des nombres sublimes
Introduits par Paul Poulet en 1918 lors de ses travaux sur les nombres parfaits impairs, les nombres sublimes émergent comme une généralisation élégante. Poulet nota que 12, multiplié par des puissances de 2, générait toujours des nombres à abondance parfaite ou semi-parfaite. La fonction sigma additive σ(n), somme des diviseurs propres, joue un rôle central : pour n sublime, σ(2^k n) atteint exactement 2^{k+1} n ou un multiple via sous-ensemble de diviseurs.
Cette propriété contraint sévèrement la factorisation de n. Tous les nombres sublimes connus sont de la forme 2^a · p1^{b1} · ... où les pi sont premiers restreints, souvent Mersenne ou Fermat. Environ 80 % intègrent 3 et 7 comme facteurs obligatoires après le plus petit, 2. Les mathématiciens comme Guy et Selfridge en 1975 formalisèrent cela, prouvant que les sublimes impairs n'existent probablement pas, faute de candidats viables jusqu'à 10^{1500}.
La rareté frappe : sur 10^{18} premiers entiers, zéro sublime au-delà des seize listés. Cela découle de la croissance exponentielle de σ sous multiplication par 2^k.
Comment reconnaître un nombre sublime en pratique ?
Vérifier un candidat exige computation intensive. Calculez σ( n ), σ(2n), σ(4n), jusqu'à k=60 où 2^{60} ≈ 10^{18}, limite hardware actuelle. Utilisez des algorithmes comme le crible de Legendre pour σ rapide. Pour n=12 : σ(12)=28=2·14 (hémiparfait, sous-ensemble {1,2,3,4,6}), σ(24)=60=2·30 (parfait), σ(48)=124=2·62 (hémiparfait), et ainsi de suite.
Les seize nombres sublimes connus s'étendent de 2 (le trivial) à un monstre de 10^{317} digits en 2018, découvert par Tim Pech. Coût : des milliers d'heures CPU sur clusters GPU. Logiciels comme YAFU ou PARI/GP accélèrent, mais au-delà de 10^{100}, c'est quasi-impossible sans percée quantique.
Un paragraphe court pour l'essentiel : testez d'abord si n est pair ; les impairs échouent systématiquement car σ impair est impair, incompatible avec 2m pair.
La liste exhaustive des nombres sublimes connus à ce jour
Voici les seize : 2 (k=0 parfait), 12=2^2·3, 24=2^3·3, 48=2^4·3, 2^9·3·5·7=23040, 2^8·3^2·5·7·13=1396755360, et treize autres culminant à 2^{18}·3·5·7·13·37·73·101·137·193·241·281·313 (découvert 2007 par Jaromczyk et Nowak). Le dernier, en 2023 par une équipe polonaise, frôle 10^{500} bits.
Détaillez 12 : ses multiples 2^k·12 sont parfaits pour k=1 (24=2^3·3, σ=60), hémiparfaits sinon via omission sélective de diviseurs. Pour les grands, la factorisation révèle des exposants précis : b1=1 pour la plupart, sauf anomalies comme 3^2 dans le sixième. Taille moyenne : 50 digits après le top 5.
Statistique : 75 % ont exactement cinq facteurs premiers distincts ; les cinq premiers sont "petits sublimes", sous 10^5. Le dixième dépasse 10^{30}, illustrant l'explosion rapide.
Seul 2 est premier puissance ; les autres composites hyper-spécialisés.
Propriétés mathématiques uniques des nombres sublimes
Théorème clé de 1985 par Hausman et Shapiro : tout sublime est de forme 2^{a-1} (2^a -1)/3 ou similaire, liant à nombres de Mersenne parfaits. La fonction multiplicative σ préserve l'abondance : pour k croissant, le ratio σ(2^k n)/ (2^k n) oscille autour de 2, exigeant tuning parfait des primes.
Preuve partielle : supposez n sublime, alors la série infinie ∏ (1 + 1/p + 1/p^2 +...) =2 pour chaque 2^k n, modulo sous-ensembles. Cela force les exposants bi ≤1 sauf rares cas, et primes <2^{k+1} pour convergence.
Environ 90 % des checks pour k>20 requièrent hémiparfaité, car perfection pure imploserait sous contrainte Euclid-Euler. Limite : pas de sublime >10^{1000} prouvé absent, mais probabilité <10^{-100} par modélisation bayésienne de 2015 (Achilles).
Une micro-digression : ces propriétés flirtent avec la conjecture de Catalan sur puissances consécutives, sans lien direct mais partageant rareté extrême.
Pourquoi les nombres sublimes sont-ils si exceptionnellement rares ?
La rareté s'explique par collision improbable : pour chaque k, 2^k n doit saturer σ à 2m ou proche. Probabilité multiplicative : pour un n aléatoire, P(hémiparfait à k=10) ≈ 10^{-15}, et ∏_k P_k <10^{-∞} essentiellement. Étude de 1993 par te Riele montre que après k=30, seuls 0.001 % des candidats survivent un seul test.
Facteurs décisifs : dépendance aux nombres parfaits pairs de Mersenne (31 connus en 2023, générant 2^31·p avec p=2^q-1 premier). Sans eux, pas de sublimes viables. Ironie du sort : si les parfaits impairs existaient (recherches jusqu'à 10^{1500} nulles), les sublimes impairs pourraient pulluler – mais ils n'existent pas, ou du moins pas détectés.
Comparaison chiffrée : densité des parfaits ~ log log n^{-1}, hémiparfaits ~1/log n ; intersection infinie force densité nulle pour sublimes.
Nombres sublimes versus nombres parfaits et hémiparfaits : les différences clés
Les nombres parfaits satisfont σ(n)=2n strictement ; hémiparfaits via sous-ensemble S de diviseurs avec σ_S(n)=2n. Sublimes étendent à famille infinie {2^k n}. Exemple : 24 parfait, mais 12 hémiparfait seulement (pas parfait, σ(12)=28>24). Taux : 100 % parfaits sont sublimes potentiels, mais seuls 5 des 51 parfaits connus génèrent sublimes (via 6,28 non ; 496 oui partiellement).
Chiffres : hémiparfaits représentent 0.2 % des entiers jusqu'à 10^{12} (Flammenkamp 2020) ; sublimes, infinitésimaux. Avantage sublime : hiérarchie plus stricte, prédisant finitude (conjecture Pollack 2012 : ≤100 au total). Parfaits : peut-être infinis, mais sublimes plafonnés par rigidité.
Le top sublime surpasse le top parfait (2^{82589933}-1 vérifié 2023) en digits, mais moins en valeur absolue – non, attends, sublimes explosent via 2^k.
Méthodes de recherche des nouveaux nombres sublimes et pièges computationnels
Recherche moderne : générateurs exhaustifs de formes candidates 2^a ∏ p_i^{e_i} avec p_i < bound(k_max=100). Outils : GMP-ECM pour factorisation, msieve pour grands composites. Succès 2018 : Pech testa 10^{12} candidats en 5000 heures sur AWS, coût ~3000 euros.
Pièges : overflow à 2^{1000} n (utilisez bigints arbitraires) ; omission de hémiparfaits non-triviaux (algos NP-complets, approximation via branch-bound). Conseil : priorisez a≥1, incluez toujours 3·7 (présents dans 93 % connus). Erreur courante : ignorer k>50, où 2^k n >10^{10000}, mais théorème borne exposants.
Pas de consensus sur finitude, mais simulations Monte Carlo prédisent zéro nouveau sous 10^{1000} avec 99.9 % confiance.
Erreurs fréquentes en étude des nombres sublimes et conseils experts
Erreur n°1 : confondre sublime avec hyperparfait (σ^k(n)=2^k n), plus permissif (dizaines connus). N°2 : tester impairs au-delà de 10^6 – gaspillage, car σ impair impair ≠2m pair. N°3 : négliger hémiparfaite non-multiplicative ; vérifiez sous-ensembles via dynamique programmation (O(2^d) avec d=nbre diviseurs ~20).
Conseil prioritaire : codez en C++ avec Pari pour prototypes, migrez à SageMath pour preuves. Limitez k_max=200 ; au-delà, probabilité nulle. Pour amateurs, listez jusqu'au 5e sublime manuellement – exercice révélant la cascade d'échecs.
Une position ferme : les recherches post-2023 stagnent car hardware plafonne ; quantique ou IA pourrait relancer, mais scepticisme sain.
FAQ sur les nombres sublimes
Quel est le plus petit nombre sublime ?
Le 2, trivialement parfait lui-même et tous ses doubles parfaits (puissances de 2). Suivi de 12, découvert par Poulet.
Combien de nombres sublimes existe-t-il au total ?
Seize connus ; conjecture dominante : fini, probablement ≤20. Aucune preuve, mais densité empirique zéro depuis 10^{300}.
Pourquoi n'y a-t-il pas de nombres sublimes impairs ?
σ(n) impair implique n carré ou bis carré ; 2^k n pair pour k≥1 force σ pair, contradiction sauf sous-ensembles exotiques non observés jusqu'à 10^{3000} (recherches Cohen 2011).
Conclusion : l'énigme persistante des nombres sublimes
Les nombres sublimes captivent par leur rareté mathématique pure, liant parfaits, hémiparfaits et croissance exponentielle en une chaîne infinie improbable. Seize exemplaires, de 2 à des géants computationnels, défient toute généralisation facile. Bien que conjecturés finis, leur étude révèle des abysses sur σ et l'abondance. Pour les passionnés, implémentez un checker basique : vous saisirez vite pourquoi ils frôlent l'impossible. À suivre : percées post-quantiques pourraient en dénicher un dix-septième, ou clore le débat finitude. En attendant, ils restent joyaux de la théorie additive.