Bounded-box reductions in the Subbarao-Warren problem for unitary perfect numbers

Sintesi Tecnica: Riduzioni a Scatola Limitata nel Problema Subbarao–Warren per i Numeri Perfetti Unitari

Enunciato del Problema
Il documento affronta il problema Subbarao–Warren relativo ai Numeri Perfetti Unitari (NPU). Un intero positivo $n$ è un NPU se $\sigma^*(n) = 2n$, dove $\sigma^*$ somma i divisori unitari di $n$. Attualmente sono noti solo cinque esempi: 6, 60, 90, 87360 e 146361946186458562560000. L'ipotesi rigorosa postula che questi cinque siano gli unici NPU.

L'equazione definitoria per un NPU $n = 2^a \prod p_i^{e_i}$ (con $p_i$ dispari) è il "bilancio completo":
$$(2^a + 1) \prod (p_i^{e_i} + 1) = 2^{a+1} \prod p_i^{e_i}$$
Qui, $2^a + 1$ agisce come "fattore seme" che innesca una cascata di dipendenze. Ogni divisore primo dispari di un NPU deve essere un primo "3-Higgs" (un primo $p$ tale che ogni fattore primo di $p-1$ sia anch'esso 3-Higgs, con gli esponenti nella fattorizzazione in primi di $p-1$ limitati a 3). Il documento investiga se nuovi NPU possano esistere analizzando i "nuclei impostori" — componenti sorgente nel grafo delle dipendenze dispari che non fanno parte degli esempi noti ma soddisfano i vincoli strutturali iniziali.

Metodologia
L'autore impiega una combinazione di enumerazione computazionale rigorosa e teoria analitica dei numeri, strutturata attorno a un approccio a "scatola limitata" e a un sistema di certificazione a tre filtri.

1. Scatola di Enumerazione Limitata ($B$): La ricerca è ristretta a un dominio specifico: primi $p \le 2000$, esponenti $e \le 6$, $p^e \le 10^9$ e componenti fortemente connessi (CFC) di dimensione $\le 6$. All'interno di questa scatola, l'autore enumera i CFC compatibili con la sorgente.
2. Certificato a Tre Filtri: Per ogni nucleo candidato ed esponente seme $a$, il documento applica tre filtri rigorosi per eliminare la possibilità di un NPU:
   • Filtro Z (Zsigmondy/Higgs): Utilizza il teorema di Zsigmondy per rilevare ostacoli agli esponenti dove i divisori primi primitivi di $p^e+1$ violano i vincoli 3-Higgs.
   • Filtro N (Testimone Non-3-Higgs): Controlla i divisori $m$ di $a$ (dove $a/m$ è dispari). Se $2^m+1$ contiene un fattore primo non-3-Higgs, il seme $2^a+1$ eredita questo fattore, invalidando il candidato. Questo filtro utilizza fattorizzazioni parziali da FactorDB e verifiche ricorsive degli alberi di Pratt.
   • Filtro O (Superamento del Budget 2-adico): Calcola la valutazione 2-adica cumulativa $v_2$ richiesta dai componenti dispari. Se la somma di $v_2(p^e+1)$ supera il budget disponibile $a+1$, il candidato viene eliminato.
3. Analisi dell'Insieme $H_{even}$: Il documento definisce $H_{even}$ come l'insieme degli interi pari $m$ tali che ogni divisore primo di $2^m+1$ sia 3-Higgs. L'esistenza di un nuovo NPU con una parte dispari non libera da quadrati è legata alla finitezza di questo insieme. L'autore riduce il problema al "caso primo" ($m=2p$) e analizza le proprietà strutturali di questi candidati utilizzando fattorizzazioni di Aurifeuille e discese profonde negli alberi di Pratt.

Contributi e Risultati Chiave

• Eliminazione dei Nuclei Impostori: All'interno della scatola limitata $B$, l'autore identifica cinque "nuclei impostori" (oltre ai due nuclei noti 32 e 54) che superano i filtri iniziali economici. Utilizzando il certificato a tre filtri, il documento dimostra che per tutti gli esponenti seme $1 \le a \le 10.000$, non esiste alcun NPU con una struttura di componente dispari che raffini questi nuclei impostori.
  • Statistiche: Su 2.119 candidati in questo intervallo, 495 sono stati eliminati dal Filtro Z, 1.614 dal Filtro N e 10 dal Filtro O.
• Limiti Rigorosi su $H_{even}$: Il documento fornisce limiti verificati per l'insieme $H_{even}$:
  • $|H_{even} \cap [2, 40000]| \le 201$ (con 191 candidati indecisi).
  • $|H_{even} \cap [2, 50000]| \le 272$ (con 262 candidati indecisi).
  • Questi limiti sono rigorosi, basati su trascritti di verifica di primalità APR-CL per grandi primi testimoni (fino a 3053 cifre) e su una gestione conservativa delle fattorizzazioni parziali.
• Riduzioni Strutturali:
  • Teorema 7: Dimostra che $H_{even}$ è finito se e solo se il sottoinsieme dei casi primi $H_{even}^{prime} = \{2p \in H_{even} : p \text{ è primo}\}$ è finito. Inoltre, $|H_{even}| \le 4^{|H_{even}^{prime}|}$.
  • Teorema 21: Stabilisce un limite incondizionato di "sottigliezza con risparmio di potenza" per $H_{even}$ (cioè, il conteggio cresce come $O(X^{1-\eta})$), sebbene ciò non dimostri la finitezza.
• Identificazione dell'Ostacolo Analitico: Il documento isola la barriera precisa per dimostrare la finitezza. Sebbene il teorema di Ford fornisca un limite di densità globale per i primi 3-Higgs, è insufficiente alla scala dei divisori primitivi dei valori ciclotomici $\Phi_{4p}(2)$. Il compito rimanente è un problema a livello di divisore: dimostrare che per $p$ grandi, i divisori primi primitivi di $2^{2p}+1$ non possono essere tutti 3-Higgs.

Significato e Affermazioni
Il documento afferma esplicitamente di non dimostrare la rigorosa congettura Subbarao–Warren (che esistono solo cinque NPU). Invece, raggiunge un'"eliminazione a scatola limitata" e una "frontiera finita verificata".

• Riduzione a una Singola Domanda Analitica: Il lavoro riduce il problema della ricerca di nuovi NPU (all'interno della scatola limitata) alla finitezza di $H_{even}$, che a sua volta dipende dal comportamento dei divisori primi di $\Phi_{4p}(2)$.
• Obiettivo Preciso per il Lavoro Futuro: L'autore identifica il "teorema mancante" come una distribuzione equidistante a livello di divisore o un limite di massa logaritmica per i fattori primi di $\Phi_{4p}(2)$. Nello specifico, il documento formula la Congettura 23 (Congettura ibrida su semigruppi-friabili e primi traslati) e la Congettura 29 (Equidistribuzione dei divisori mod-16) come le condizioni necessarie per chiudere il problema.
• Riproducibilità: Il documento sottolinea che tutti i risultati computazionali sono riproducibili. Fornisce una cache di fattorizzazioni, trascritti di verifica APR-CL e script Python (impostor_certificate.py, verify_Heven_rigorous.py) per verificare l'eliminazione dei nuclei impostori e i limiti su $H_{even}$.

In sintesi, il documento elimina rigorosamente tutte le potenziali fonti "impostori" per nuovi NPU fino a un esponente seme di 10.000 all'interno di uno spazio di ricerca definito e riduce il problema aperto rimanente a una congettura analitica specifica e ben definita riguardante i divisori primi dei polinomi ciclotomici.