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

Resumen Técnico: Una Familia Paramétrica de Primos

Planteamiento del Problema
El artículo investiga la distribución de los números primos a través de una familia paramétrica específica que generaliza la observación elemental de que todo primo $p > 3$ satisface $p \equiv \pm 1 \pmod 6$. Los autores definen una familia de enteros:
$$p_{k,m,\varepsilon,q} = km(m+1) + \varepsilon + 2kq$$
donde $k, m \in \mathbb{N}^*$, $\varepsilon \in \{\pm 1\}$, y $q \in \mathbb{Z}$. Para un primo fijo $p$, los autores identifican una "triple canónica" única $(m, \varepsilon, q)$ tal que $|q|$ se minimiza. El objeto central de estudio es este desplazamiento mínimo, $q_{\min}(k, m, \varepsilon)$, y su comportamiento a través de tres capas: marginal (tamaño vs. $m$), condicional (distribución dado $m$) y modular (distribución módulo $\ell$). El estudio busca distinguir entre leyes estructurales rigurosas, teoremas condicionales (asumiendo GRH, RH o Bateman–Horn), predicciones heurísticas y resultados negativos respecto a las correlaciones espectrales.

Metodología
La investigación emplea un enfoque multicapa que combina teoría analítica de números, teoría computacional de números y análisis estadístico:

1. Análisis Estructural: Demostraciones rigurosas utilizando teoría elemental de números y el teorema de Dirichlet sobre progresiones aritméticas para establecer restricciones modulares exactas y cotas.
2. Teoremas Condicionales: Derivación de cotas y leyes de distribución asumiendo conjeturas estándar (Hipótesis de Riemann Generalizada, Hipótesis de Riemann, conjetura de Bateman–Horn).
3. Construcción Computacional: Implementación del algoritmo "PrimeQuest" para generar y certificar grandes primos dentro de la subfamilia 3-suave ($k=3, \varepsilon=1, m=2^a 3^b - 1$) utilizando el criterio de Pocklington–Lehmer.
4. Refutación Estadística: Aplicación de pruebas de permutación (mezcla, bloques, sustitutos de Theiler) y análisis de regresión libre de sesgo sobre $10^8$ primos para probar la ausencia de correlaciones espectrales entre el funcional acumulativo $Q(r) = \sum q_n$ y los ceros de la función zeta de Riemann.
5. Prueba Analítica-Negativa: Reducción de la cuestión de la correlación espectral a sumas exponenciales de fases de raíz cuadrada de primos, probando incondicionalmente que cualquier señal lineal de los ceros de zeta desaparece.

Contribuciones Clave y Resultados

• Leyes Estructurales Rigurosas:

  • Eje Modular Degenerado: El artículo demuestra que para cualquier primo $\ell$ que divide a $2k$, cada primo en la familia satisface $p \equiv \varepsilon \pmod \ell$ exactamente, independientemente de $q$. Esto fija un eje modular "degenerado".
  • Certificados Incondicionales: Para la subfamilia $p = 3m(m+1)+1$ con $m = 2^a 3^b - 1$, los autores demuestran que los certificados de Pocklington–Lehmer son incondicionales. Construyeron un primo de 29,998 dígitos decimales ($m^* = 2^{19435} \cdot 3^{19173} - 1$) y lo certificaron en menos de 4 horas en hardware de consumo.
  • Filtros Aritméticos: Dos filtros a priori (reciprocidad cuadrática y congruencia mod-7) demostraron eliminar aproximadamente el 87.1% de los candidatos antes de que se requiera cualquier aritmética de enteros grandes.

• Teoremas Condicionales:

  • Cotas sobre $q_{\min}$: Asumiendo la Hipótesis de Riemann Generalizada (GRH), los autores demuestran que $|q_{\min}| = O_k(m (\log m)^2)$.
  • Media Condicional: Bajo GRH y las hipótesis de Bateman–Horn, se deriva la esperanza condicional como $E[|q| \mid m] = m/4 + O((\log m)^2/\sqrt{m})$.
  • Huella de Zeta: Asumiendo la Hipótesis de Riemann (RH), la "huella" de los ceros de zeta por primo sobre la ocupación de capas está acotada por $\ll p^{-1/4}(\log p)^2$.

• Leyes Heurísticas (Validadas Numéricamente):

  • Ley Marginal: Los datos empíricos ($N=10^6$) apoyan $E[|q_{\min}|] \sim \log m / C_k$, donde $C_k$ es una constante.
  • Constante Geométrica: Se observa que una identidad geométrica universal $C_0(k) = \langle |q| \rangle / \sqrt{p} = 1/(4\sqrt{k})$ es estable dentro de un 0.02% para los valores de $k$ probados.
  • Ley de Brechas (Gap Law): Para $k=3$, la brecha media sigue una ley de la serie singular de Hardy–Littlewood.

• Resultados Negativos (Refutación de la Correlación Espectral):

  • El artículo invalida rigurosamente afirmaciones previas de una correlación espectral entre el funcional acumulativo $Q(r)$ y los ceros de $\zeta(s)$.
  • Evidencia Estadística: Con $N=10^8$, la amplitud de regresión $R^2$ cae a $1.16 \times 10^{-7}$, y las pruebas de permutación confirman la ausencia de señal significativa.
  • Prueba Analítica: El Teorema 6.6 demuestra incondicionalmente que la amplitud de regresión $A_N(\gamma) \to 0$ cuando $N \to \infty$ para cualquier $\gamma$ fijo. Se demuestra que los ceros de $\zeta$ no son frecuencias espectrales de $Q(r)$; su influencia se limita a restricciones estadísticas a la escala de $\sqrt{x}$ (varianza de Selberg), no a señales espectrales lineales.

Significancia y Reivindicaciones
El artículo establece explícitamente que no resuelve ningún problema clásico abierto en teoría de números (como la barrera de paridad, la Hipótesis de Riemann o el teorema del número primo uniforme en $N^{1/2}$). Su significancia radica en:

1. Rigor Epistémico: Introduce un marco para la "matemática experimental" donde cada aserción está estrictamente etiquetada como Rigurosa, Condicional, Heurística o Negativa.
2. Logro Constructivo: Proporciona un récord incondicional y verificado independientemente de un primo de 29,998 dígitos generado mediante una forma paramétrica específica.
3. Clarificación Analítica: Cierra decisivamente la cuestión de un vínculo espectral directo entre los desplazamientos de los primos y los ceros de zeta, demostando que tales correlaciones son artefactos de regresión espurios.
4. Mapeo de un Territorio: Define una estructura precisa y falsable para estudiar la distribución de los primos a través de familias paramétricas, ofreciendo una "dirección de estudio complementaria" en lugar de una solución a las conjeturas existentes.

Los autores enfatizan que la constante geométrica $C_0(k) = 1/(4\sqrt{k})$ es una identidad derivada, no un invariante misterioso, y que el resultado "negativo" respecto a los ceros de zeta es un teorema decisivo e incondicional derivado del desvanecimiento de sumas exponenciales específicas.