🔢 mathematics

Three Brillhart-Lehmer-Selfridge primality proofs for Wagstaff numbers

Questo articolo presenta dimostrazioni di primalità completamente verificate e classiche per i numeri di Wagstaff $W_{2617}$ , $W_{10501}$ e $W_{12391}$ , basate sul criterio di Brillhart-Lehmer-Selfridge e su fattorizzazioni ciclotomiche, stabilendo così la loro primalità indipendentemente dai metodi delle curve ellittiche e da congetture non dimostrate.

Autori originali: Alexey Dolotov

Pubblicato 2026-05-19

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Alexey Dolotov

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina di essere un detective che cerca di dimostrare che un numero specifico, incredibilmente grande, è davvero "primo" (cioè che può essere diviso solo per 1 e per se stesso). Nel mondo della matematica, questi numeri sono come casseforti giganti e intricate. Nella maggior parte dei casi, per dimostrare che una cassaforte è infrangibile, i matematici utilizzano un metodo ad alta tecnologia e complesso chiamato ECPP (Prova di primalità tramite curve ellittiche). È come usare un supercomputer per simulare un esperimento di fisica quantistica per verificare la cassaforte. Funziona, ma è pesante, complicato e difficile da ricontrollare rapidamente da parte di altri.

Questo articolo di Alexey Dolotov presenta un approccio diverso. L'autore dimostra che tre specifici numeri giganti (chiamati numeri di Wagstaff) sono primi, ma invece di utilizzare gli strumenti pesanti in stile quantistico, impiega un metodo classico, "vecchia scuola", chiamato BLS (Brillhart–Lehmer–Selfridge).

Ecco la spiegazione di ciò che fa l'articolo, utilizzando semplici analogie:

1. L'Obiettivo: I Numeri di Wagstaff

Pensa ai numeri di Wagstaff come a una famiglia speciale di numeri correlati ai famosi numeri di Mersenne (che vengono utilizzati per trovare i primi numeri più grandi conosciuti). Sono definiti da una semplice ricetta: prendi un numero primo $p$ , calcola $2^p + 1$ e dividilo per 3.
L'articolo si concentra su tre specifici "giganti" di questa famiglia:

W2617 (un numero con 788 cifre)
W10501 (un numero con 3.161 cifre)
W12391 (un numero con 3.730 cifre)

Tutti già sospettavano che questi fossero primi, ma la prova si basava sul pesante metodo ECPP. Questo articolo dice: "Proviamo a dimostrarlo di nuovo usando un metodo più leggero e trasparente".

2. Il Metodo: L'Enigma "N-1"

Il metodo BLS funziona come un puzzle. Per dimostrare che un numero $N$ è primo, non devi controllare ogni singolo numero fino a $N$ . Invece, guardi il numero $N - 1$ .

Immagina che $N - 1$ sia una lunga catena di anelli. Se riesci a trovare un grosso pezzo di quella catena che è completamente fattorizzato (cioè sai esattamente quali piccoli numeri primi compongono quel pezzo), e quel pezzo è abbastanza grande (in particolare, più grande della radice cubica di $N$ ), puoi dimostrare matematicamente che l'intero numero $N$ è primo.

La Sfida: Per questi giganti numeri di Wagstaff, $N-1$ è una catena massiccia. Di solito, la maggior parte degli anelli è nascosta o sconosciuta.
Il Trucco: L'autore ha realizzato che $N-1$ per questi numeri deriva da una specifica struttura matematica chiamata decomposizione ciclotomica. È come sapere che la catena è composta da tipi specifici di anelli (chiamati $\Phi_d(2)$ ).
Il Raccolto: L'autore è andato alle esistenti "biblioteche" di dati matematici (le tabelle del Progetto Cunningham e FactorDB) per trovare gli anelli che erano già noti. Per il resto, ha utilizzato algoritmi informatici per scomporli.

3. La Verifica: Il Controllo "Gold Standard"

Una volta che l'autore ha trovato un pezzo abbastanza grande della catena (la "parte fattorizzata"), ha dovuto dimostrare che ogni singolo piccolo anello primo all'interno di quel pezzo fosse effettivamente primo.

Non ha fatto solo congetture. Ha utilizzato un metodo rigoroso e infrangibile chiamato APR-CL per certificare ogni singolo piccolo primo.
Pensa a questo come a un notaio che timbra ogni singolo mattone in un muro prima di dichiarare il muro sicuro.

4. Il Doppio Controllo: Lo "Specchio Magico"

Per assicurarsi che il suo codice informatico non avesse errori, l'autore ha aggiunto un secondo controllo indipendente.

Ha utilizzato un diverso sistema matematico che coinvolge le radici quadrate di 2 (chiamato $\mathbb{Z}[\sqrt{2}]$ ).
Ha verificato una specifica "congruenza" matematica (un modo sofisticato per dire una corrispondenza di pattern) che deve verificarsi se il numero è primo.
Questo è come controllare il proprio lavoro risolvendo il problema all'indietro. Se il pattern corrisponde, conferma che la matematica è stata eseguita correttamente.

5. I Risultati

L'articolo dimostra con successo che W2617, W10501 e W12391 sono primi.

Perché è speciale? Queste prove sono "incondizionate", il che significa che non si basano su congetture non dimostrate. Sono anche "indipendenti", il che significa che non utilizzano il pesante metodo ECPP che tutti gli altri usano.
Il Limite: L'autore spiega che questo metodo funziona solo se il numero $p-1$ è "liscio" (cioè si scompone facilmente in pezzi piccoli e noti). Ha controllato tutti gli altri candidati di Wagstaff conosciuti e ha scoperto che per quasi tutti di essi, la catena ha un anello gigante e infrangibile che rende questo specifico metodo impossibile da usare al momento. Solo questi tre numeri erano abbastanza "lisci" da essere risolti in questo modo.

Riepilogo

Alexey Dolotov ha preso tre numeri giganti che si riteneva già fossero primi e li ha dimostrati usando un metodo classico, trasparente e altamente verificabile. Non ha solo detto "è primo"; ha costruito un certificato completo, passo dopo passo, che chiunque può eseguire sul proprio computer per verificare il risultato. È una prova "più pulita" che regge da sola, indipendente dai metodi più complessi solitamente utilizzati per questi giganti.

Riepilogo Tecnico: Tre Dimostrazioni di Primalità di Brillhart–Lehmer–Selfridge per Numeri di Wagstaff

Enunciato del Problema
Il lavoro affronta la verifica della primalità dei numeri di Wagstaff, definiti come $W_p = (2^p + 1)/3$ per primi dispari $p$ . Mentre i numeri di Mersenne ( $M_p = 2^p - 1$ ) possiedono un test di primalità deterministico e autonomo (il test di Lucas–Lehmer), non esiste un test deterministico comparabile per i numeri di Wagstaff. Le dimostrazioni esistenti per i numeri di Wagstaff con esponenti grandi (specificamente $p \ge 2617$ ) si basano sull'algoritmo di dimostrazione di primalità tramite curve ellittiche (ECPP) di Atkin–Morain. Sebbene le congruenze di tipo Chebyshev/Lucas (in particolare la condizione del framework di Chua $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ ) siano note condizioni necessarie per la primalità di Wagstaff, la loro sufficienza rimane congetturale. Di conseguenza, esiste la necessità di dimostrazioni di primalità incondizionate per grandi numeri di Wagstaff che non dipendano dall'ECPP o da congetture non dimostrate.

Metodologia
Gli autori presentano dimostrazioni di primalità incondizionate per tre specifici numeri di Wagstaff: $W_{2617}$ , $W_{10501}$ e $W_{12391}$ . La metodologia si basa esclusivamente sul classico criterio $N-1$ di Brillhart–Lehmer–Selfridge (BLS), il quale richiede che una porzione significativa di $N-1$ sia completamente fattorizzata.

Decomposizione Ciclotomica: Le dimostrazioni utilizzano la fattorizzazione di $N-1 = W_p - 1 = \frac{2(2^{p-1}-1)}{3}$ . Il termine $2^{p-1}-1$ è decomposto in polinomi ciclotomici: $2^{p-1}-1 = \prod_{d|p-1} \Phi_d(2)$ .
Porzione Fattorizzata ( $F$ ): Gli autori recuperano le fattorizzazioni note di questi fattori ciclotomici $\Phi_d(2)$ dalle tabelle del progetto Cunningham e da FactorDB. Qualsiasi fattore recuperato viene ricertificato come primo utilizzando l'algoritmo APR-CL (Adleman–Pomerance–Rumely / Cohen–Lenstra).
Applicazione del Criterio BLS: Le dimostrazioni stabiliscono una porzione fattorizzata $F$ di $N-1$ tale che $F^3 > N$ (superando la soglia $N^{1/3}$ ). Per ogni fattore primo $q$ di $F$ , viene trovato un testimone di tipo Fermat $a_q$ che soddisfa $a_q^{N-1} \equiv 1 \pmod N$ e $\gcd(a_q^{(N-1)/q}-1, N) = 1$ . Il discriminante $\Delta = s^2 - 8m$ (derivato da $N = mF + s + 1$) viene verificato come non quadrato.
Verifica Indipendente: Come controllo ausiliario sull'implementazione dell'aritmetica nell'anello $\mathbb{Z}[\sqrt{2}]$ , gli autori verificano la congruenza di Chua $\omega_3^{(W_p+1)/2} \equiv -1 \pmod{W_p}$ per ciascun obiettivo. Questo funge da controllo incrociato tra substrati distinto dall'aritmetica BLS basata solo su interi, ma non viene utilizzato per dedurre la primalità.

Contributi Chiave

Dimostrazioni Incondizionate: Il lavoro fornisce le prime dimostrazioni di primalità basate su BLS pubblicate per $W_{2617}$ , $W_{10501}$ e $W_{12391}$ , indipendenti dall'ECPP.
Dimostrazione Metodologica: Dimostra la fattibilità dell'applicazione del framework $N-1$ di BLS ai numeri di Wagstaff sfruttando la decomposizione ciclotomica di $2^{p-1}-1$ . Questo approccio si rivela praticabile per esponenti in cui $p-1$ è sufficientemente liscio da permettere la fattorizzazione di un numero sufficiente di fattori ciclotomici.
Auditabilità: Le dimostrazioni sono progettate per una elevata auditabilità. I certificati sono registri JSON compatti contenenti testimoni e controlli del discriminante. La verifica richiede solo esponenziazioni modulari standard e controlli APR-CL, evitando le complesse valutazioni di curve ellittiche richieste dall'ECPP.
Riproducibilità: Tutti i calcoli sono riproducibili utilizzando software open-source (Python, SymPy, PARI/GP, gmpy2). Gli script driver completi, i log e i certificati sono archiviati su Zenodo.

Risultati
Il lavoro dimostra con successo la primalità di:

$W_{2617}$ : Un numero di 788 cifre. La porzione fattorizzata $F$ supera $N^{1/3}$ di 46 bit, utilizzando 22 fattori primi distinti.
$W_{10501}$ : Un numero di 3.161 cifre. La porzione fattorizzata supera la soglia di 3.261 bit, utilizzando 103 fattori primi distinti.
$W_{12391}$ : Un numero di 3.730 cifre. La porzione fattorizzata supera la soglia di 2.860 bit, utilizzando 61 fattori primi distinti.

Per ogni dimostrazione, ogni fattore primo nella porzione fattorizzata $F$ è stato certificato incondizionatamente tramite APR-CL. La congruenza di Chua è stata verificata per tutti e tre i numeri come controllo di coerenza.

Significato e Limitazioni
Il lavoro rivendica significato principalmente nel campo dell'auditabilità e della diversità metodologica. Offre una conferma indipendente della primalità di questi specifici numeri, distinta dalle dimostrazioni ECPP attualmente registrate negli archivi del progetto Caldwell/Wagstaff.

Gli autori sono modesti riguardo alla portata del metodo. Notano esplicitamente che l'approccio BLS $N-1$ è limitato dalla liscietà di $p-1$ . Un'analisi dei primi di Wagstaff noti e dei numeri primi probabili fino a $p = 267.017$ rivela che solo $p=10501$ e $p=12391$ (insieme al più piccolo $p=2617$ ) possiedono strutture di $p-1$ abbastanza lisce da produrre una porzione fattorizzata $F$ sufficientemente grande per il criterio BLS con i dati di fattorizzazione attuali. Per altri esponenti, grandi fattori primi in $p-1$ portano a componenti ciclotomici $\Phi_d(2)$ non fattorizzati che sono attualmente fuori portata per la fattorizzazione a scopo generale. Pertanto, il lavoro non propone una soluzione generale per tutti i numeri di Wagstaff, ma stabilisce piuttosto un percorso di prova rigoroso, non basato su ECCPP, per un sottoinsieme specifico e vincolato di esponenti.