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

Sintesi Tecnica: Una Famiglia Parametrica di Primi

Enunciato del Problema
Il saggio investiga la distribuzione dei numeri primi attraverso una specifica famiglia parametrica che generalizza l'osservazione elementare secondo cui ogni primo $p > 3$ soddisfa $p \equiv \pm 1 \pmod 6$. Gli autori definiscono una famiglia di interi:
$$p_{k,m,\varepsilon,q} = km(m+1) + \varepsilon + 2kq$$
dove $k, m \in \mathbb{N}^*$, $\varepsilon \in \{\pm 1\}$ e $q \in \mathbb{Z}$. Per un dato primo $p$, gli autori identificano una "tripla canonica" univoca $(m, \varepsilon, q)$ tale che $|q|$ sia minimizzato. L'oggetto centrale di studio è questo offset minimale, $q_{\min}(k, m, \varepsilon)$, e il suo comportamento attraverso tre livelli: marginale (dimensione vs. $m$), condizionale (distribuzione dato $m$) e modulare (distribuzione modulo $\ell$). Lo studio mira a distinguere tra leggi strutturali rigorose, teoremi condizionali (assumendo GRH, RH o Bateman–Horn), previsioni euristiche e risultati negativi riguardanti le correlazioni spettrali.

Metodologia
La ricerca impiega un approccio multilivello che combina teoria analitica dei numeri, teoria computazionale dei numeri e analisi statistica:

1. Analisi Strutturale: Dimostrazioni rigorose utilizzando la teoria elementare dei numeri e il teorema di Dirichlet sulle progressioni aritmetiche per stabilire vincoli modulari esatti e cenni.
2. Teoremi Condizionali: Derivazione di limiti e leggi di distribuzione assumendo congetture standard (Ipotesi di Riemann Generalizzata, Ipotesi di Riemann, congettura di Bateman–Horn).
3. Costruzione Computazionale: Implementazione dell'algoritmo "PrimeQuest" per generare e certificare grandi primi nella sottofamiglia 3-smooth ($k=3, \varepsilon=1, m=2^a 3^b - 1$) utilizzando il criterio di Pocklington–Lehmer.
4. Confutazione Statistica: Applicazione di test di permutazione (shuffle, block, surrogati di Theiler) e analisi di regressione priva di bias su $10^8$ primi per testare la presenza di correlazioni spettrali tra il funzionale cumulativo $Q(r) = \sum q_n$ e gli zeri della funzione zeta di Riemann.
5. Prova Analitica-Negativa: Riduzione della questione della correlazione spettrale alle somme esponenziali di primi a fase di radice quadrata, provando incondizionatamente che qualsiasi segnale lineare proveniente dagli zeri di zeta svanisce.

Contributi Chiave e Risultati

• Leggi Strutturali Rigorose:

  • Asse Modulare Degenerato: Il saggio dimostra che per ogni primo $\ell$ che divide $2k$, ogni primo nella famiglia soddisfa esattamente $p \equiv \varepsilon \pmod \ell$, indipendentemente da $q$. Ciò fissa un asse modulare "degenerato".
  • Certificati Incondizionati: Per la sottofamiglia $p = 3m(m+1)+1$ con $m = 2^a 3^b - 1$, gli autori dimostrano che i certificati di Pocklington–Lehmer sono incondizionati. Hanno costruito un primo di 29.998 cifre decimali ($m^* = 2^{19435} \cdot 3^{19173} - 1$) e lo hanno certificato in meno di 4 ore su hardware di consumo.
  • Filtri Aritmetici: Due filtri a priori (reciprocità quadratica e congruenza mod-7) sono stati dimostrati capaci di eliminare circa l'87,1% dei candidati prima che sia necessaria qualsiasi aritmetica di grandi interi.

• Teoremi Condizionali:

  • Limiti su $q_{\min}$: Assumendo l'Ipotesi di Riemann Generalizzata (GRH), gli autori dimostrano che $|q_{\min}| = O_k(m (\log m)^2)$.
  • Media Condizionale: Sotto GRH e le ipotesi di Bateman–Horn, l'aspettativa condizionale è derivata come $E[|q| \mid m] = m/4 + O((\log m)^2/\sqrt{m})$.
  • Impronta Zeta: Assumendo l'Ipotesi di Riemann (RH), l' "impronta" (footprint) degli zeri di zeta per singolo primo sull'occupazione dei livelli è limitata da $\ll p^{-1/4}(\log p)^2$.

• Leggi Euristiche (Validate Numericamente):

  • Legge Marginale: I dati empirici ($N=10^6$) supportano $E[|q_{\min}|] \sim \log m / C_k$, dove $C_k$ è una costante.
  • Costante Geometrica: Una identità geometrica universale $C_0(k) = \langle |q| \rangle / \sqrt{p} = 1/(4\sqrt{k})$ è osservata essere stabile entro lo 0,02% attraverso i valori di $k$ testati.
  • Legge dei Gap: Per $k=3$, il gap medio segue una legge della serie singolare di Hardy–Littlewood.

• Risultati Negativi (Confutazione della Correlazione Spettrale):

  • Il saggio invalida rigorosamente precedenti affermazioni di una correlazione spettrale tra il funzionale cumulativo $Q(r)$ e gli zeri di $\zeta(s)$.
  • Evidenza Statistica: A $N=10^8$, l'ampiezza di regressione $R^2$ scende a $1,16 \times 10^{-7}$, e i test di permutazione confermano l'assenza di segnale significativo.
  • Prova Analitica: Il Teorema 6.6 dimostra incondizionatamente che l'ampiezza di regressione $A_N(\gamma) \to 0$ quando $N \to \infty$ per ogni $\gamma$ fissato. Si dimostra che gli zeri di $\zeta$ non sono frequenze spettrali di $Q(r)$; la loro influenza è limitata a vincoli statistici alla scala di $\sqrt{x}$ (varianza di Selberg), non a segnali spettrali lineari.

Significatività e Rivendicazioni
Il saggio dichiara esplicitamente di non risolvere alcun problema classico aperto della teoria dei numeri (come la barriera della parità, l'Ipotesi di Riemann o il Teorema dei Numeri Primi uniforme a $N^{1/2}$). La sua significatività risiede invece in:

1. Rigore Epistemico: Introduce un framework per la "matematica sperimentale" dove ogni asserzione è rigorosamente etichettata come Rigorosa, Condizionale, Euristica o Negativa.
2. Realizzazione Costruttiva: Fornisce un record incondizionato e indipendentemente verificato di un primo di 29.998 cifre generato tramite una specifica forma parametrica.
3. Chiarificazione Analitica: Chiude decisamente la questione di un legame spettrale diretto tra gli offset dei primi e gli zeri di zeta, provando che tali correlazioni sono artefatti di regressione spuria.
4. Mappatura di un Territorio: Definisce una struttura precisa e falsificabile per studiare la distribuzione dei primi attraverso famiglie parametriche, offrendo una "direzione di studio complementare" piuttosto che una soluzione a congetture esistenti.

Gli autori sottolineano che la costante geometrica $C_0(k) = 1/(4\sqrt{k})$ è un'identità derivata, non un invariante misterioso, e che il risultato "negativo" riguardo agli zeri di zeta è un teorema decisivo e incondizionato derivato dal vanishing di specifiche somme esponenziali.