Must a primitive non-deficient number have a component not much larger than its radical?

Résumé Technique : « Un nombre premier non déficient doit-il toujours posséder une petite composante ? »

Énoncé du Problème
L'article étudie les propriétés structurelles des nombres premiers non déficients. Un entier positif $n$ est dit non déficient si $\sigma(n) \ge 2n$, où $\sigma(n)$ est la somme de ses diviseurs. Un nombre est dit primitif non déficient s'il est non déficient mais que tous ses diviseurs propres sont déficients. Soit $n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}$ un tel nombre avec $p_1 < p_2 < \dots < p_k$, et soit $R = \text{rad}(n) = p_1 p_2 \cdots p_k$ son radical.

Le problème central est de déterminer les bornes des « composantes » de $n$, spécifiquement les termes $p_i^{a_i+1}$. L'auteur postule que pour qu'un nombre premier non déficient existe, au moins une de ses composantes de puissance première doit être relativement petite par rapport au radical $R$. Ceci est motivé par l'intuition que si tous les exposants $a_i$ étaient élevés, l'indice d'abondance $h(n) = \sigma(n)/n$ serait extrêmement proche de la borne supérieure $H(n) = \prod_{p|n} \frac{p}{p-1}$. Par conséquent, réduire n'importe quel exposant laisserait probablement le nombre non déficient, ce qui contredirait la primitivité de $n$.

Méthodologie
L'article emploie des techniques de la théorie analytique des nombres, en se concentrant sur les propriétés de l'indice d'abondance $h(n)$ et de la fonction $H(n)$. La méthodologie suit ces étapes logiques :

1. Lemmes Fondamentaux : L'auteur établit les propriétés de base des nombres non déficients, incluant des bornes sur le nombre de facteurs premiers distincts $k$ par rapport au plus petit facteur premier $p_1$ (Lemme 5, adapté de Grun et Servais).
2. Dérivation d'Inégalités : Un outil technique clé est le Lemme 9, qui fournit une borne supérieure pour $\min(p_i^{a_i+1})$ étant donné une borne inférieure sur $H(n)$. Ce lemme adapte les arguments de Heath-Brown, utilisant la relation entre $h(n)$ et $H(n)$ :
   $$h(n) = H(n) \prod_{i=1}^k \left(1 - \frac{1}{p_i^{a_i+1}}\right)$$
   En supposant que $n$ est primitif, l'auteur note que $h(n/p_i) < 2$ pour tout $i$. En combinant cela avec le Lemme 8 (qui borne le rapport $h(n)/h(n/p)$), l'auteur dérive des inégalités reliant la taille minimale de la composante à l'« écart » entre $H(n)$ et 2.
3. Analyse de Cas : La preuve distingue les nombres premiers non déficients pairs et impairs. Pour les nombres pairs, le Lemme 3 et la Proposition 6 montrent que la composante correspondant au nombre premier 2 satisfait directement la borne conjecturée. Pour les nombres impairs, l'auteur s'appuie sur le Lemme 4 pour traiter les petites valeurs de $k$ (3 et 4) par calcul direct, et sur le Lemme 9 pour les valeurs de $k$ plus grandes.

Contributions Clés et Résultats

• Théorème 2 (Résultat Principal) : L'article prouve que pour tout nombre premier non déficient $n = p_1^{a_1} \cdots p_k^{a_k}$ avec un radical $R$, il existe un indice $i$ tel que :
  $$p_i^{a_i+1} < 2kR$$
  Ceci établit qu'au moins une composante est bornée linéairement par le produit du nombre de facteurs premiers distincts et du radical.

• Conjecture 1 : L'auteur propose une conjecture plus forte, non prouvée : le facteur $k$ dans le Théorème 2 est inutile, et il existe toujours un $i$ tel que :
  $$p_i^{a_i+1} < 2R$$
  L'auteur note que la borne $R$ (sans le facteur 2) est fausse, citant un contre-exemple spécifique ($n = 4164647056479$), mais suggère que ce contre-exemple pourrait être unique.

• Proposition 16 : Pour les nombres premiers non déficients impairs, l'article prouve une dichotomie : soit le plus grand facteur premier $p_k$ est petit par rapport au radical ($p_k < \sqrt{R}$), soit il existe une composante satisfaisant une borne impliquant $p_k$ et $k$.

• Conjectures de Densité : L'article introduit les ensembles $B$ (nombres satisfaisant $p_i^{a_i+1} < 2R$ pour tout $i$) et $C$ (nombres premiers non déficients). Il conjecture que l'intersection de ces ensembles a une densité naturelle nulle dans $B$ et dans $C$, suggérant que bien que la propriété de la « petite composante » soit nécessaire pour la primitivité, avoir toutes les composantes petites est un événement rare.

Signification et Contexte
L'article situe ses résultats dans l'étude plus large des nombres parfaits impairs et des nombres non déficients.

• Connexion avec la Théorie des Graphes : Les bornes sur $p_i^{a_i+1}$ sont interprétées comme des bornes sur le degré sortant des sommets dans une représentation par graphe orienté pondéré des composantes des nombres parfaits impairs, un cadre utilisé dans la littérature récente (ex. Bibby, Vyncke, et Zelinsky ; Yamada).
• Généralisation des Bornes Existantes : Les résultats généralisent les bornes supérieures précédentes sur la taille des nombres parfaits impairs en termes de leur radical. Plus précisément, la borne de Nielsen $n < R^{2k-1}$ implique une borne sur les composantes ; le Théorème 2 fournit une inégalité plus serrée et plus spécifique applicable à la classe plus large des nombres premiers non déficients.
• Motivation : Le travail vise à formaliser l'intuition selon laquelle la primitivité impose des contraintes strictes sur la taille des composantes de puissance première. Bien que l'article ne résolve pas l'existence des nombres parfaits impairs, il fournit des contraintes structurelles raffinées que tout nombre de ce type (ou tout nombre premier non déficient) doit satisfaire.

L'auteur reconnaît que les techniques mènent naturellement à des inégalités impliquant $p_i^{a_i+1}$ plutôt que $p_i^{a_i}$, bien que cela soit mathématiquement équivalent à borner une composante par le produit des autres facteurs premiers. L'article conclut en notant que bien que la borne conjecturée $2R$ soit probablement vraie, sa preuve demeure un défi ouvert.