Conjectures on Sums of Consecutive Primes

Résumé Technique : Conjectures sur les Sommes de Nombres Premiers Consécutifs

Énoncé du Problème
Le document étudie les propriétés additives des nombres premiers consécutifs, en se concentrant spécifiquement sur la primalité de leurs sommes partielles. Soit $p_n$ le $n$-ième nombre premier. L'étude définit la somme de $k$ nombres premiers consécutifs commençant par $p_n$ comme étant :
$$S_k(p_n) = p_n + p_{n+1} + \dots + p_{n+k-1}$$
Le problème central est de déterminer, pour un nombre premier donné $p_n$, s'il existe un entier impair de longueur $k \ge 3$ tel que $S_k(p_n)$ soit lui-même un nombre premier. L'étude distingue deux niveaux d'investigation : l'existence d'au moins un tel $k$ (Conjecture d'Existence) et l'existence d'une infinité de tels $k$ (Conjecture Renforcée).

Méthodologie
Les auteurs emploient une approche multidimensionnelle combinant vérification computationnelle, modélisation probabiliste, analyse modulaire et interprétation diophantienne :

1. Vérification Computationnelle : Un algorithme a été implémenté pour tester les $10^6$ premiers nombres premiers ($p_{10^6} = 15\,485\,863$). Pour chaque $p_n$, l'algorithme vérifie de manière itérative des longueurs impaires $k = 3, 5, 7, \dots$ jusqu'à ce qu'une somme première $S_k(p_n)$ soit trouvée.
2. Héustiques Probabilistes : L'étude utilise le modèle probabiliste de Cramér et les conjectures de Hardy–Littlefeld. Elle traite la primalité de $S_k(p_n)$ comme un événement stochastique dont la probabilité est approximativement $1/\ln(S_k(p_n))$. Les auteurs analysent la divergence de la série de ces probabilités pour argumenter que l'événement de trouver une somme première est récurrent plutôt qu'exceptionnel.
3. Analyse Modulaire et Diophantienne : Le document examine les potentielles obstructions modulaires (où $S_k(p_n)$ pourrait être forcé d'être divisible par de petits nombres premiers). Il soutient que de telles obstructions sont locales et dépendent de valeurs spécifiques de $k$ ; à mesure que $k$ varie sur les entiers impairs, ces obstructions ne persistent pas globalement. Le problème est formulé comme une équation diophantienne contrainte où l'espace des solutions est creux mais n'est pas obstrué par des contraintes modulaires globales.
4. Cadres Conditionnels : L'analyse est contextualisée dans l'hypothèse de Riemann généralisée (GRH). Sous l'égide de la GRH, la distribution des nombres premiers dans les progressions arithmétiques est suffisamment uniforme pour suggérer qu'aucune obstruction arithmétique systématique n'empêche $S_k(p_n)$ d'être premier pour un certain $k$ impair.

Contributions Clés et Résultats

• Conjecture 1 (Existence) : Le document formule la conjecture selon laquelle pour tout nombre premier $p_n$, il existe au moins un entier impair $k \ge 3$ tel que $S_k(p_n)$ est premier.

  • Résultat : La vérification computationnelle exhaustive jusqu'à $n = 10^6$ n'a produit aucun contre-exemple. L'algorithme a identifié avec succès une longueur $k$ minimale pour chaque nombre premier testé.
  • Observation : La longueur minimale $k_{min}(p_n)$ requise pour trouver une somme première semble croître de manière logarithmique avec $p_n$ (spécifiquement $k_{min} \propto 2 \ln p_n$), ce qui est cohérent avec les modèles de distribution géométrique.

• Conjecture 2 (Longueurs Admissibles Infinies) : Une version renforcée postule que pour tout $p_n$, il existe une infinité d'entiers impairs $k \ge 3$ tels que $S_k(p_n)$ est premier.

  • Résultat : Des exemples numériques pour des nombres premiers spécifiques (par exemple, $p_2=3, p_3=5, p_4=7$) montrent plusieurs valeurs de $k$ valides dans la plage $k < 1000$. Par exemple, pour $p_{651511}$, 32 longueurs impaires distinctes jusqu'à 999 ont produit des sommes premières.
  • Support Héustique : Les auteurs soutiennent que puisque la série $\sum_{k \text{ impair}} \frac{1}{\ln(k p_n)}$ diverge, le lemme de Borel–Cantelli (appliqué de manière héustique) suggère que l'événement "$S_k(p_n)$ est premier" se produit une infinité de fois.

• Justification Théorique :

  • Théorème 1 (Type Cramér) : Sous le modèle de Cramér, la probabilité qu'un nombre premier $p_n$ n'ait aucune somme de longueur impaire première est nulle.
  • Théorème 2 (Conditionnel sur la GRH) : En supposant l'Hypothèse de Riemann Généralisée, pour tout $p_n$ suffisamment grand, un tel $k$ existe.
  • Théorème 3 (Héustique) : Sous les héustiques standards de Hardy–Littlewood, la probabilité que toutes les sommes impaires partant d'un $p_n$ donné soient composées est nulle.

Signification et Revendications
Le document prétend fournir un « solide ensemble de preuves » soutenant les deux conjectures à travers la convergence des données numériques, des arguments modulaires et des héustiques probabilistes.

• Contribution Conceptuelle : Ce travail situe le problème au sein de la famille des problèmes additifs sur les nombres premiers, établissant un parallèle conceptuel avec la Conjecture de Goldbach Généralisée. Cependant, il souligne une distinction clé : alors que Goldbach permet un choix libre de nombres premiers, ce problème impose des contraintes de consécutivité strictes. Les auteurs soutiennent que la variabilité de la longueur de la somme $k$ compense cette rigidité, éliminant efficacement les obstructions modulaires locales.
• Formalisation : Le document formalise les arguments héustiques (Cramér, Hardy–Littlewood, GRH) pour expliquer l'absence attendue de contre-exemples, en cadrant le problème comme une équation diophantienne où l'absence d'obstructions modulaires persistantes implique l'existence de solutions globales.
• Modestie des Revendications : Les auteurs déclarent explicitement que leurs résultats sont héustiques et conditionnels. Ils ne prétendent pas apporter une preuve rigoureuse des conjectures, mais plutôt une formalisation de la raison pour laquelle les contre-exemples sont attendus comme étant inexistants ou extrêmement rares. Les résultats computationnels sont présentés comme une vérification jusqu'à $10^6$, et non comme une preuve pour tous les entiers.

En résumé, le document propose que l'ensemble des sommes de nombres premiers consécutifs de longueur impaire est suffisamment riche pour contenir un nombre premier pour chaque point de départ, et probablement une infinité de tels nombres premiers, un phénomène soutenu par la divergence des probabilités de primalité et l'absence d'obstructions modulaires globales.