A parametric family of primes p = km(m+1) + e + 2kq: heuristic laws, conditional theorems, and unconditional primality certificates

Resumo Técnico: Uma Família Paramétrica de Primos

Enunciado do Problema
O artigo investiga a distribuição dos números primos através de uma família paramétrica específica que generaliza a observação elementar de que todo primo $p > 3$ satisfaz $p \equiv \pm 1 \pmod 6$. Os autores definem uma família de inteiros:
$$p_{k,m,\varepsilon,q} = km(m+1) + \varepsilon + 2kq$$
onde $k, m \in \mathbb{N}^*$, $\varepsilon \in \{\pm 1\}$ e $q \in \mathbb{Z}$. Para um primo fixo $p$, os autores identificam uma "tríade canônica" única $(m, \varepsilon, q)$ tal que $|q|$ é minimizado. O objeto central de estudo é este deslocamento mínimo, $q_{\min}(k, m, \varepsilon)$, e seu comportamento através de três camadas: marginal (tamanho vs. $m$), condicional (distribuição dado $m$) e modular (distribuição módulo $\ell$). O estudo visa distinguir entre leis estruturais rigorosas, teoremas condicionais (assumindo GRH, RH ou Bateman–Horn), previsões heurísticas e resultados negativos relativos a correlações espectrais.

Metodologia
A pesquisa emprega uma abordagem de múltiplas camadas combinando teoria analítica dos números, teoria computacional dos números e análise estatística:

1. Análise Estrutural: Provas rigorosas usando teoria elementar dos números e o teorema de Dirichlet sobre progressões aritméticas para estabelecer restrições modulares exatas e limites.
2. Teoremas Condicionais: Derivação de limites e leis de distribuição assumindo conjecturas padrão (Hipótese de Riemann Generalizada, Hipótese de Riemann, conjectura de Bateman–Horn).
3. Construção Computacional: Implementação do algoritmo "PrimeQuest" para gerar e certificar grandes primos na subfamília 3-smooth ($k=3, \varepsilon=1, m=2^a 3^b - 1$) usando o critério de Pocklington–Lehmer.
4. Refutação Estatística: Aplicação de testes de permutação (shuffle, block, surrogates de Theiler) e análise de regressão livre de viés sobre $10^8$ primos para testar correlações espectrais entre o funcional cumulativo $Q(r) = \sum q_n$ e os zeros da função zeta de Riemann.
5. Prova Analítica-Negativa: Redução da questão da correlação espectral para somas exponenciais de fase de raiz quadrada, provando incondicionalmente que qualquer sinal linear de zeros de zeta desaparece.

Principais Contribuições e Resultados

• Leis Estruturais Rigorosas:

  • Eixo Modular Degenerado: O artigo prova que, para qualquer primo $\ell$ que divide $2k$, todo primo na família satisfaz $p \equiv \varepsilon \pmod \ell$ exatamente, independentemente de $q$. Isso fixa um eixo modular "degenerado".
  • Certificados Incondicionais: Para a subfamília $p = 3m(m+1)+1$ com $m = 2^a 3^b - 1$, os autores provam que os certificados de Pocklington–Lehmer são incondicionais. Eles construíram um primo de 29.998 dígitos decimais ($m^* = 2^{19435} \cdot 3^{19173} - 1$) e o certificaram em menos de 4 horas em hardware de consumo.
  • Filtros Aritméticos: Dois filtros a priori (reciprocidade quadrática e congruência mod-7) foram provados para eliminar aproximadamente 87,1% dos candidatos antes que qualquer aritmética de números grandes seja necessária.

• Teoremas Condicionais:

  • Limites em $q_{\min}$: Assumindo a Hipótese de Riemann Generalizada (GRH), os autores provam que $|q_{\min}| = O_k(m (\log m)^2)$.
  • Média Condicional: Sob GRH e hipóteses de Bateman–Horn, a esperança condicional é derivada como $E[|q| \mid m] = m/4 + O((\log m)^2/\sqrt{m})$.
  • Pegada de Zeta: Assumindo a Hipótese de Riemann (RH), a "pegada" (footprint) de zeros de zeta por primo na ocupação de camada é limitada por $\ll p^{-1/4}(\log p)^2$.

• Leis Heurísticas (Validadas Numericamente):

  • Lei Marginal: Dados empíricos ($N=10^6$) apoiam $E[|q_{\min}|] \sim \log m / C_k$, onde $C_k$ é uma constante.
  • Constante Geométrica: Uma identidade geométrica universal $C_0(k) = \langle |q| \rangle / \sqrt{p} = 1/(4\sqrt{k})$ é observada como estável dentro de 0,02% para todos os $k$ testados.
  • Lei de Gap: Para $k=3$, o gap médio segue uma lei de série singular de Hardy–Littlewood.

• Resultados Negativos (Refutação de Correlação Espectral):

  • O artigo invalida rigorosamente alegações anteriores de uma correlação espectral entre o funcional cumulativo $Q(r)$ e os zeros de $\zeta(s)$.
  • Evidência Estatística: Em $N=10^8$, a amplitude de regressão $R^2$ cai para $1,16 \times 10^{-7}$, e testes de permutação confirmam a ausência de sinal significativo.
  • Prova Analítica: O Teorema 6.6 prova incondicionalmente que a amplitude de regressão $A_N(\gamma) \to 0$ quando $N \to \infty$ para qualquer $\gamma$ fixo. Os zeros de $\zeta$ não são frequências espectrais de $Q(r)$; sua influência é limitada a restrições estatísticas na escala de $\sqrt{x}$ (variância de Selberg), não sinais espectrais lineares.

Significância e Alegações
O artigo declara explicitamente que não resolve nenhum problema clássico aberto da teoria dos números (como a barreira da paridade, a Hipótese de Riemann ou o Teorema do Número Primo uniforme em $N^{1/2}$). Sua significância reside em:

1. Rigor Epistêmico: Introduz um framework para a "matemática experimental" onde cada asserção é estritamente rotulada como Rigorosa, Condicional, Heurística ou Negativa.
2. Realização Construtiva: Fornece um registro incondicional e independentemente verificado de um primo de 29.998 dígitos gerado via uma forma paramétrica específica.
3. Clarificação Analítica: Fecha decisivamente a questão de um link espectral direto entre deslocamentos de primos e zeros de zeta, provando que tais correlações são artefatos de regressão espúrios.
4. Mapeamento de Território: Define uma estrutura precisa e falsificável para estudar a distribuição de primos através de famílias paramétricas, oferecendo uma "direção complementar de estudo" em vez de uma solução para conjecturas existentes.

Os autores enfatizam que a constante geométrica $C_0(k) = 1/(4\sqrt{k})$ é uma identidade derivada, não um invariante misterioso, e que o resultado "negativo" em relação aos zeros de zeta é um teorema decisivo e incondicional derivado do desaparecimento de somas exponenciais específicas.