Conjectures on Sums of Consecutive Primes

Resumo Técnico: Conjecturas sobre Somas de Primos Consecutivos

Enunciado do Problema
O artigo investiga as propriedades aditivas dos números primos consecutivos, focando especificamente na primalidade de suas somas parciais. Seja $p_n$ o $n$-ésimo número primo. O estudo define a soma de $k$ primos consecutivos começando de $p_n$ como:
$$S_k(p_n) = p_n + p_{n+1} + \dots + p_{n+k-1}$$
O problema central é determinar se, para um dado primo inicial $p_n$, existe um inteiro ímpar de comprimento $k \ge 3$ tal que $S_k(p_n)$ seja, ele próprio, um número primo. O artigo distingue entre dois níveis de investigação: a existência de pelo menos um tal $k$ (Conjectura de Existência) e a existência de infinitos tais $k$ (Conjectura Fortalecida).

Metodologia
Os autores empregam uma abordagem multifacetada combinando verificação computacional, modelagem probabilística, análise modular e interpretação Diofantina:

1. Verificação Computacional: Um algoritmo foi implementado para testar os primeiros $10^6$ números primos ($p_{10^6} = 15.485.863$). Para cada $p_n$, o algoritmo verifica iterativamente comprimentos ímpares $k = 3, 5, 7, \dots$ até que uma soma prima $S_k(p_n)$ seja encontrada.
2. Heurísticas Probabilísticas: O estudo utiliza o modelo probabilístico de Cramér e as conjecturas de Hardy–Littlewood. Ele trata a primalidade de $S_k(p_n)$ como um evento estocástico com probabilidade aproximadamente $1/\ln(S_k(p_n))$. Os autores analisam a divergência da série dessas probabilidades para argumentar que o evento de encontrar uma soma prima é recorrente em vez de excepcional.
3. Análise Modular e Diofantina: O artigo examina potenciais obstruções modulares (onde $S_k(p_n)$ poderia ser forçado a ser divisível por pequenos primos). Argumenta-se que tais obstruções são locais e dependem de valores específicos de $k$; conforme $k$ varia sobre inteiros ímpares, essas obstruções não persistem globalmente. O problema é enquadrado como uma equação Diofantina restrita onde o espaço de solução é esparso, mas não obstruído por restrições modulares globais.
4. Estruturas Condicionais: A análise é contextualizada dentro da Hipótese de Riemann Generalizada (GRH). Sob a GRH, a distribuição de primos em progressões aritméticas é suficientemente uniforme para sugerir que nenhuma obstrução aritmética sistemática impede que $S_k(p_n)$ seja primo para algum $k$ ímpar.

Principais Contribuições e Resultados

• Conjectura 1 (Existência): O artigo formula a conjectura de que, para todo primo $p_n$, existe pelo menos um inteiro ímpar $k \ge 3$ tal que $S_k(p_n)$ é primo.

  • Resultado: A verificação computacional exaustiva até $n = 10^6$ não apresentou contraexemplos. O algoritmo identificou com sucesso um $k$ ímpar mínimo para cada primo testado.
  • Observação: O comprimento mínimo $k_{min}(p_n)$ necessário para encontrar uma soma prima parece crescer logaritmicamente com $p_n$ (especificamente $k_{min} \propto 2 \ln p_n$), o que é consistente com modelos de distribuição geométrica.

• Conjectura 2 (Comprimentos Admissíveis Infinitos): Uma versão fortalecida postula que, para todo $p_n$, existem infinitos inteiros ímpares $k \ge 3$ tais que $S_k(p_n)$ é primo.

  • Resultado: Exemplos numéricos para primos específicos (ex: $p_2=3, p_3=5, p_4=7$) mostram múltiplos valores de $k$ válidos dentro do intervalo $k < 1000$. Por exemplo, para $p_{651511}$, 32 comprimentos ímpares distintos até 999 resultaram em somas primas.
  • Suporte Heurístico: Os autores argumentam que, como a série $\sum_{k \text{ ímpar}} \frac{1}{\ln(k p_n)}$ diverge, o lema de Borel–Cantelli (aplicado heuristicamente) sugere que o evento "$S_k(p_n)$ é primo" ocorre infinitas vezes.

• Justificativa Teórica:

  • Teorema 1 (Tipo Cramér): Sob o modelo de Cramér, a probabilidade de existir um primo $p_n$ sem uma soma de comprimento ímpar prima é zero.
  • Teorema 2 (Condicional à GRH): Assumindo a Hipótese de Riemann Generalizada, para todo $p_n$ suficientemente grande, tal $k$ existe.
  • Teorema 3 (Heurístico): Sob as heurísticas padrão de Hardy–Littlewood, a probabilidade de que todas as somas ímpares partindo de um determinado $p_n$ sejam compostas é zero.

Significância e Alegações
O artigo afirma fornecer uma "forte base de evidências" apoiando ambas as conjecturas através da convergência de dados numéricos, argumentos modulares e heurísticas probabilísticas.

• Contribuição Conceitual: O trabalho situa o problema dentro da família dos problemas aditivos de primos, traçando um paralelo conceitual com a Conjectura de Goldbach Generalizada. No entanto, destaca uma distinção fundamental: enquanto Goldbach permite a escolha livre de primos, este problema impõe restrições de consecutividade estritas. Os autores argumentam que a variabilidade do comprimento da soma $k$ compensa essa rigidez, eliminando efetivamente as obstruções modulares locais.
• Formalização: O artigo formaliza argumentos heurísticos (Cramér, Hardy–Littlewood, GRH) para explicar a ausência esperada de contraexemplos, enquadrando o problema como uma equação Diofantina onde a falta de obstruções modulares locais persistentes implica a existência de soluções globais.
• Modéstia das Alegações: Os autores declaram explicitamente que seus resultados são heurísticos e condicionais. Eles não reivindicam uma prova rigorosa das conjecturas, mas sim uma formalização de por que contraexemplos são esperados como inexistentes ou extremamente raros. Os resultados computacionais são apresentados como uma verificação até $10^6$, não como uma prova para todos os inteiros.

Em resumo, o artigo propõe que o conjunto de somas de primos consecutivos de comprimento ímpar é rico o suficiente para conter um número primo para cada ponto de partida, e provavelmente infinitos tais primos, um fenômeno apoiado pela divergência das probabilidades de primalidade e pela ausência de obstruções modulares globais.