Conjectures on Sums of Consecutive Primes

Resumen Técnico: Conjeturas sobre Sumas de Primos Consecutivos

Planteamiento del Problema
El artículo investiga las propiedades aditivas de los números primos consecutivos, centrándose específicamente en la primalidad de sus sumas parciales. Sea $p_n$ el $n$-ésimo número primo. El estudio define la suma de $k$ primos consecutivos comenzando desde $p_n$ como:
$$S_k(p_n) = p_n + p_{n+1} + \dots + p_{n+k-1}$$
El problema central es determinar si, para un dado número primo inicial $p_n$, existe un entero impar de longitud $k \ge 3$ tal que $S_k(p_n)$ sea, a su vez, un número primo. El estudio distingue entre dos niveles de indagación: la existencia de al menos un tal $k$ (Conjetura de Existencia) y la existencia de infinitos tales $k$ (Conjetura Fortalecida).

Metodología
Los autores emplean un enfoque multifacético que combina verificación computacional, modelado probabilístico, análisis modular e interpretación diofántica:

1. Verificación Computacional: Se implementó un algoritmo para probar los primeros $10^6$ números primos ($p_{10^6} = 15,485,863$). Para cada $p_n$, el algoritmo comprueba iterativamente longitudes impares $k = 3, 5, 7, \dots$ hasta encontrar una suma prima $S_k(p_n)$.
2. Heurística Probabilística: El estudio utiliza el modelo probabilístico de Cramér y las conjeturas de Hardy–Littlefeld. Trata la primalidad de $S_k(p_n)$ como un evento estocástico con una probabilidad aproximadamente de $1/\ln(S_k(p_n))$. Los autores analizan la divergencia de la serie de estas probabilidades para argumentar que el evento de encontrar una suma prima es recurrente en lugar de excepcional.
3. Análisis Modular y Diofántico: El artículo examina posibles obstrucciones modulares (donde $S_k(p_n)$ podría verse forzado a ser divisible por primos pequeños). Argumentan que tales obstrucciones son locales y dependen de valores específicos de $k$; a medida que $k$ varía sobre los enteros impares, estas obstrucciones no persisten globalmente. El problema se enmarca como una ecuación diofántica restringida donde el espacio de soluciones es disperso pero no está obstruido por restricciones modulares globales.
4. Marcos Condicionales: El análisis se contextualiza dentro de la Hipótesis de Riemann Generalizada (GRH). Bajo la GRH, la distribución de los primos en progresiones aritméticas es lo suficientemente uniforme como para sugerir que ninguna obstrucción aritmética sistemática impide que $S_k(p_n)$ sea primo para algún $k$ impar.

Contribuciones Clave y Resultados

• Conjetura 1 (Existencia): El artículo formula la conjetura de que para cada primo $p_n$, existe al menos un entero impar $k \ge 3$ tal que $S_k(p_n)$ es primo.

  • Resultado: La verificación computacional exhaustiva hasta $n = 10^6$ no arrojó ningún contraejemplo. El algoritmo identificó exitosamente un $k$ mínimo para cada primo probado.
  • Observación: La longitud mínima $k_{min}(p_n)$ requerida para encontrar una suma prima parece crecer logarítmicamente con $p_n$ (específicamente $k_{min} \propto 2 \ln p_n$), lo cual es consistente con los modelos de distribución geométrica.

• Conjetura 2 (Longitudes Admisibles Infinitas): Una versión fortalecida postula que para cada $p_n$, existen infinitos enteros impares $k \ge 3$ tales que $S_k(p_n)$ es primo.

  • Resultado: Ejemplos numéricos para primos específicos (por ejemplo, $p_2=3, p_3=5, p_4=7$) muestran múltiples valores de $k$ válidos dentro del rango $k < 1000$. Por ejemplo, para $p_{651511}$, 32 longitudes impares distintas hasta 999 produjeron sumas primas.
  • Soporte Heurístico: Los autores argumentan que, dado que la serie $\sum_{k \text{ impar}} \frac{1}{\ln(k p_n)}$ diverge, el lema de Borel–Cantelli (aplicado heurísticamente) sugiere que el evento "$S_k(p_n)$ es primo" ocurre infinitas veces.

• Justificación Teórica:

  • Teorema 1 (Tipo Cramér): Bajo el modelo de Cramér, la probabilidad de que exista un primo $p_n$ sin una suma de longitud impar que sea prima es cero.
  • Teorema 2 (Condicional a la GRH): Asumiendo la Hipótesis de Riemann Generalizada, para cada $p_n$ suficientemente grande, tal $k$ existe.
  • Teorema 3 (Heurístico): Bajo las heurísticas estándar de Hardy–Littlewood, la probabilidad de que todas las sumas impares comenzando desde un dado $p_n$ sean compuestas es cero.

Significancia y Reivindicaciones
El artículo afirma proporcionar un "sólido cuerpo de evidencia" que respalda ambas conjeturas a través de la convergencia de datos numéricos, argumentos modulares y heurística probabilística.

• Contribución Conceptual: El trabajo sitúa el problema dentro de la familia de los problemas aditivos de primos, trazando un paralelo conceptual con la Conjetura de Goldbach Generalizada. Sin embargo, destaca una distinción clave: mientras que Goldbach permite la elección libre de primos, este problema impone restricciones de consecutividad estrictas. Los autores argumentan que la variabilidad de la longitud de la suma $k$ compensa esta rigidez, eliminando efectivamente las obstrucciones modulares locales.
• Formalización: El artículo formaliza los argumentos heurísticos (Cramér, Hardy–Littlewood, GRH) para explicar la ausencia esperada de contraejemplos, enmarcando el problema como una ecuación diofántica donde la falta de obstrucciones modulares persistentes implica la existencia de soluciones globales.
• Modestia de las Reivindicaciones: Los autores declaran explícitamente que sus resultados son heurísticos y condicionales. No pretenden presentar una prueba rigurosa de las conjeturas, sino más bien una formalización de por qué se espera que los contraejemplos sean inexistentes o extremadamente raros. Los resultados computacionales se presentan como una verificación hasta $10^6$, no como una prueba para todos los enteros.

En resumen, el artículo propone que el conjunto de sumas de primos consecutivos de longitud impar es lo suficientemente rico como para contener un número primo para cada punto de partida, y probablemente infinitos tales primos, un fenómeno respaldado por la divergencia de las probabilidades de primalidad y la ausencia de obstrucciones modulares globales.