A generalization of the Erd\H{o}s-Sierpinski conjecture

Cet article étudie l'équation $\sigma(n+1) = k\sigma(n)$ en combinant des généralisations combinatoires des nombres de Zumkeller avec des techniques avancées de théorie probabiliste des nombres pour prouver que l'ensemble des solutions a une densité naturelle nulle avec une borne supérieure explicite de $O(x/\sqrt{\log \log \log x})$, tout en établissant l'infinité conditionnelle pour le cas $k=2$ sous l'hypothèse H de Schinzel.

L'essentiel

Imaginez que vous regardiez une ligne infinie et gigantesque de nombres, commençant à 1 et se poursuivant à jamais : 1, 2, 3, 4, 5...

Chacun de ces nombres possède une « famille » de diviseurs (nombres qui le divisent exactement). Si vous additionnez tous les diviseurs d'un nombre, vous obtenez un total appelé somme des diviseurs. Appelons cette somme $\sigma(n)$.

Par exemple :

• Les diviseurs de 6 sont 1, 2, 3 et 6. Leur somme est $1+2+3+6 = 12$.
• Les diviseurs de 5 sont simplement 1 et 5. Leur somme est $1+5 = 6$.

La Grande Question

Les mathématiciens sont depuis longtemps fascinés par une énigme spécifique : À quelle fréquence la somme des diviseurs d'un nombre est-elle liée à la somme des diviseurs du nombre immédiatement suivant ?

La célèbre conjecture d'Erdős-Sierpiński demande s'il existe une infinité de cas où la somme des diviseurs d'un nombre est exactement égale à la somme des diviseurs du nombre suivant (c'est-à-dire $\sigma(n+1) = \sigma(n)$). C'est comme demander : « À quelle fréquence deux voisins ont-ils exactement le même poids total ? »

Cet article reprend cette idée et la rend plus générale. Au lieu de demander si les sommes sont égales, il demande : À quelle fréquence la somme des diviseurs du nombre suivant est-elle exactement $k$ fois plus grande que celle du nombre actuel ?
L'équation est : $\sigma(n+1) = k \times \sigma(n)$.

Ici, $k$ est n'importe quel nombre entier supérieur à 1 (comme 2, 3, 4, etc.).

• Si $k=2$, la somme des diviseurs du nombre suivant est le double de celle du nombre actuel.
• Si $k=3$, c'est le triple, et ainsi de suite.

Les Deux Découvertes Principales

L'auteur, Amirali Fatehizadeh, aborde ce problème sous deux angles différents, en utilisant un mélange de logique de « dénombrement » et de logique de « probabilité ».

1. La Découverte de la « Rareté » (La Partie Probabiliste)

Le premier objectif majeur était de déterminer à quel point ces nombres spéciaux sont communs. Apparaissent-ils fréquemment, ou sont-ils des gemmes rares ?

Pour répondre à cette question, l'auteur a utilisé une astuce ingénieuse issue de la théorie des nombres probabiliste. Imaginez essayer de prédire la météo. Vous ne pouvez pas prédire la température exacte pour chaque jour à jamais, mais vous pouvez modéliser la probabilité de pluie.

L'auteur a traité les nombres comme un jeu de hasard. Il a imaginé que les « sommes des diviseurs » de nombres consécutifs se comportent en quelque sorte comme des événements aléatoires indépendants (comme le lancer de pièces), même s'ils sont mathématiquement liés.

• L'Analogie : Imaginez que vous essayez de trouver deux personnes se tenant l'une à côté de l'autre dans une foule qui possèdent une combinaison très spécifique et rare de traits (comme une taille précise, une pointure de chaussure spécifique et une couleur préférée).
• Le Résultat : L'auteur a prouvé que trouver ces « voisins » spécifiques est incroyablement difficile. En fait, à mesure que vous examinez des groupes de nombres de plus en plus grands, le pourcentage de nombres satisfaisant cette équation chute à zéro.

Même s'il peut y avoir des milliers de ces nombres, ils sont si dispersés que si vous choisissiez un nombre au hasard dans une énorme liste, la chance qu'il soit l'un de ces nombres spéciaux est pratiquement nulle. L'article fournit une formule spécifique montrant à quel point ils apparaissent lentement, prouvant qu'ils sont « asymptotiquement rares ».

2. La Découverte de l'« Existence » (La Partie Construction)

Si ces nombres sont si rares, existent-ils même ? Et y en a-t-il une infinité ?

• Pour $k=2$ : L'auteur a trouvé une recette spécifique (en utilisant des polynômes) pour générer ces nombres. En supposant une hypothèse mathématique célèbre (l'Hypothèse H de Schinzel), il a prouvé qu'il existe une infinité de solutions où la somme des diviseurs du nombre suivant est exactement le double de celle du nombre actuel.
• La Hypothèse Générale : Basé sur les modèles trouvés pour $k=2$ et les recherches informatiques pour $k=3$, l'auteur propose un pari audacieux : Pour tout nombre entier $k$, il existe une infinité de solutions.

Connexion aux Nombres « Empilés »

L'article relie également cela à un concept combinatoire amusant appelé nombres à $k$ couches.

• L'Analogie : Imaginez que vous avez un tas de briques (les diviseurs d'un nombre). Pouvez-vous diviser ces briques en $k$ tas séparés, où chaque tas pèse exactement la même chose ?
• Si vous pouvez faire cela, le nombre est appelé « à $k$ couches ».
• L'article montre que les nombres satisfaisant notre équation ($\sigma(n+1) = k\sigma(n)$) sont profondément liés à ces nombres « empilés ». En fait, les solutions ont souvent la structure parfaite pour être divisées en couches égales, évitant la catégorie des « nombres bizarres » (nombres abondants mais qui ne peuvent pas être divisés équitablement).

Résumé en Langage Courant

1. L'Énigme : Nous cherchons des paires de nombres consécutifs où la « somme des diviseurs » du second est exactement $k$ fois celle du premier.
2. La Densité : Ces paires sont extrêmement rares. Si vous examinez une vaste gamme de nombres, la fraction de ceux qui respectent cette règle est nulle. C'est comme trouver un grain de sable spécifique sur une plage qui ne cesse de grandir.
3. L'Infinité : Malgré leur rareté, elles ne cessent probablement jamais d'apparaître. Pour le cas où le rapport est 2 ($k=2$), l'auteur a prouvé (sous condition) qu'il y en a une infinité.
4. La Structure : Ces nombres spéciaux ont une structure interne très organisée, permettant à leurs diviseurs d'être divisés en groupes égaux, un peu comme une balance parfaitement équilibrée.

En bref, l'article prouve que bien que ces « miracles » mathématiques soient infiniment rares dans l'ensemble des nombres, ils ne sont pas un hasard : ils se produisent une infinité de fois et suivent un motif beau et structuré.

Résumé technique

Résumé technique : Une généralisation de la conjecture d'Erdős-Sierpiński

Énoncé du problème
Ce papier étudie la structure combinatoire et la distribution asymptotique de l'ensemble des solutions de l'équation $\sigma(n+1) = k\sigma(n)$, où $k > 1$ est un entier fixe et $\sigma(n)$ désigne la fonction somme des diviseurs. Cette équation représente une généralisation de la célèbre conjecture d'Erdős-Sierpiński (le cas $k=1$), qui postule l'existence d'une infinité de solutions à $\sigma(n+1) = \sigma(n)$. Les objectifs principaux sont de déterminer la densité naturelle de l'ensemble des solutions $A_k = \{n \in \mathbb{N} : \sigma(n+1) = k\sigma(n)\}$ et d'établir des bornes supérieures quantitatives explicites pour sa fonction de comptage $A_k(x) = \#\{n \le x : n \in A_k\}$. De plus, le papier explore la nature existentielle de ces solutions, en particulier pour le cas $k=2$, en les reliant aux concepts de nombres $k$-empilés et de nombres de Zumkeller.

Méthodologie
La recherche emploie une synthèse de la théorie des nombres combinatoire et de la théorie des nombres probabiliste. La stratégie analytique centrale comporte les étapes suivantes :

1. Transformation logarithmique et fonctions additives : L'équation principale est transformée via des logarithmes en une forme additive impliquant la fonction $g(n) = \log(\sigma(n)/n)$. Le problème est reformulé comme l'étude de la probabilité que la différence $g(n+1) - g(n)$ tombe dans un petit voisinage de $\log k$.
2. Troncature et modèle de Kubilius : Pour gérer l'indépendance quasi-approximative des événements de divisibilité, les auteurs utilisent le modèle de Kubilius. La fonction additive $g(n)$ est tronquée pour ne dépendre que des facteurs premiers jusqu'à une borne $y$. En appliquant le théorème des restes chinois, la distribution arithmétique de la fonction tronquée sur les entiers est approximée par un espace de mesure synthétique équipé de variables aléatoires indépendantes.
3. Inégalités d'anti-concentration : Contrairement aux applications standard du modèle de Kubilius qui cherchent souvent des théorèmes de la limite centrale pour des distributions globales, ce papier se concentre sur le comportement local. Les auteurs emploient la fonction de concentration de Lévy et une version optimisée de l'inégalité d'anti-concentration de Kolmogorov-Rogozin (spécifiquement le théorème de Petrov). Cela permet de borner la probabilité que la somme de variables aléatoires indépendantes se concentre autour d'une valeur cible spécifique.
4. Contrôle de l'erreur : La preuve borne rigoureusement l'erreur introduite par la troncature, l'approximation de l'espace arithmétique par le modèle probabiliste, et la contribution des « grands » facteurs premiers ou des hautes puissances de nombres premiers. Ces ensembles d'erreur sont montrés comme négligeables par rapport au terme probabiliste principal.
5. Analyse existentielle : Pour le cas spécifique de $k=2$, le papier utilise l'hypothèse H de Schinzel. En construisant des familles de polynômes spécifiques, les auteurs démontrent que si l'hypothèse est vraie, il existe une infinité d'entiers $n$ satisfaisant l'équation.

Contributions et résultats clés

• Théorème principal (densité asymptotique) : Le papier établit que pour tout entier $k > 1$, la densité naturelle de l'ensemble des solutions $A_k$ est nulle. Plus précisément, la fonction de comptage satisfait la borne supérieure explicite :
  $$A_k(x) \ll_k \frac{x}{\sqrt{\log \log \log x}}$$
  Ce résultat implique que, bien que des solutions puissent exister, elles sont asymptotiquement rares parmi les nombres naturels.
• Infinitude conditionnelle : Sous l'hypothèse de l'hypothèse H de Schinzel, le papier prouve que l'équation $\sigma(n+1) = 2\sigma(n)$ possède une infinité de solutions. Cela est démontré en construisant une famille de polynômes où la primalité simultanée de certains facteurs garantit que l'équation est vérifiée.
• Résultats computationnels : Les auteurs fournissent des listes explicites de solutions pour de petites valeurs de $k$ (spécifiquement $k=2$ et $k=3$) trouvées par recherche computationnelle, confirmant que les ensembles de solutions ne sont pas vides.
• Connexions structurelles : Le papier élucide la relation entre les solutions et les nombres $k$-empilés (une généralisation des nombres de Zumkeller). Il observe que les solutions satisfont souvent les conditions algébriques nécessaires pour être $k$-empilés (spécifiquement $\sigma(N) \equiv 0 \pmod k$ pour $N=n+1$) et exhibent fréquemment des propriétés de nombres pratiques et abondants.

Importance et affirmations
Le papier prétend combler le fossé entre la classification combinatoire des entiers (tels que les nombres parfaits, de Zumkeller et $k$-empilés) et l'étude analytique de la fonction somme des diviseurs sur des arguments consécutifs.

L'importance principale réside dans la dérivation d'une borne quantitative pour l'ensemble des solutions de $\sigma(n+1) = k\sigma(n)$, un problème précédemment étudié uniquement dans des contextes existentiels ou élémentaires spécifiques (par exemple, Torabi et Fatehizadeh, 2020). En prouvant la densité nulle, le travail confirme que la coïncidence de valeurs de sommes de diviseurs mises à l'échelle sur des entiers consécutifs est un phénomène rare, étendant le comportement connu d'équations similaires (telles que celles étudiées par Erdős, Pomerance et Sárközy).

De plus, le papier formule la conjecture 4.2, généralisant la conjecture d'Erdős-Sierpiński à tout $k > 1$ : « Pour tout entier positif $k$, l'équation $\sigma(n+1) = k\sigma(n)$ possède une infinité de solutions. » Bien que le papier ne prouve que l'infinitude conditionnelle pour $k=2$, il la pose comme une extension naturelle basée sur les connexions structurelles observées.

Le travail ne prétend pas résoudre la conjecture d'Erdős-Sierpiński elle-même (le cas $k=1$) ni prouver l'infinitude inconditionnelle des solutions pour $k>1$. Au lieu de cela, il fournit un cadre analytique robuste pour borner la densité des solutions et établit un résultat d'existence conditionnel qui motive de nouvelles investigations sur la distribution de ces entiers spéciaux.