On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares

Il paper dimostra che per ogni intero $n \geq 1$, l'intervallo tra due quadrati consecutivi contiene un numero con al più tre fattori primi, migliorando il precedente risultato di Dudek e Johnston che ne garantiva al massimo quattro.

L'essenziale

Ecco una spiegazione semplice e creativa del lavoro di Peter Campbell, pensata per chiunque, anche senza un background matematico.

Il Grande Enigma dei Quadrati Perfetti

Immagina di avere una scala infinita fatta di "quadrati perfetti": 1, 4, 9, 16, 25, 36, e così via. Tra ogni due gradini di questa scala (ad esempio tra 16 e 25), c'è uno spazio vuoto. La domanda che gli matematici si pongono da secoli è: in questo spazio vuoto c'è sempre almeno un numero "puro", ovvero un numero primo?

Un numero primo è come un atomo indivisibile: non può essere spezzato in fattori più piccoli (es. 2, 3, 5, 7, 11...). Questa idea è chiamata Congettura di Legendre. È così difficile da dimostrare che, anche se sappiamo che i numeri primi sono ovunque, non siamo ancora riusciti a provare che ce n'è sempre uno tra due quadrati consecutivi. È come cercare di dimostrare che in ogni stanza vuota di un palazzo infinito c'è sempre almeno una persona, ma non riusciamo a entrare in tutte le stanze per controllarlo.

La Strategia: Non cercare l'Atomo, cerca il Molecola

Poiché trovare quel "numero primo" (l'atomo) è troppo difficile, Peter Campbell ha deciso di cambiare strategia. Invece di cercare l'atomo puro, ha chiesto: "C'è almeno un numero che è fatto da pochissimi atomi?"

In matematica, chiamiamo questi numeri "quasi-primi".

• Un numero con 1 fattore primo è un numero primo (es. 7).
• Un numero con 2 fattori primi è un semiprimo (es. 14 = 2 × 7).
• Un numero con 3 fattori primi è un numero con "pochi ingredienti" (es. 30 = 2 × 3 × 5).

L'obiettivo di Campbell non era trovare l'atomo puro, ma dimostrare che in ogni spazio tra due quadrati c'è sempre almeno un numero costruito con massimo 3 ingredienti. È come dire: "Non riesco a trovare un diamante puro in questa stanza, ma posso garantirti che c'è sempre almeno un gioiello fatto da massimo 3 pietre".

Come ha fatto? Due armi potenti

Campbell ha usato un approccio a due fasi, come un detective che usa sia l'intuito umano che un computer super potente.

1. La fase del "Controllo Manuale" (Per i numeri piccoli)

Per i numeri piccoli (fino a un certo punto enorme, ma finito), non serve la magia: basta contare. Campbell ha usato i computer per verificare che, per tutti i numeri fino a un certo limite, tra due quadrati c'è sempre un numero con al massimo 2 fattori primi (quindi un numero quasi perfetto).

• L'analogia: Immagina di controllare a mano tutte le stanze di un piccolo villaggio. Sai per certo che in ogni stanza c'è almeno un oggetto semplice.

2. La fase del "Setaccio Magico" (Per i numeri giganti)

Per i numeri enormi (dove i computer non possono contare uno per uno), Campbell ha usato una tecnica chiamata Setaccio di Richert.
Immagina di avere un setaccio (un colino) per la pasta.

• Se usi un setaccio con buchi troppo grandi, perdi tutto.
• Se usi un setaccio con buchi troppo piccoli, non passa nulla.
• Campbell ha creato un setaccio "intelligente" (pesato) che filtra via tutti i numeri "sporchi" (quelli con troppi fattori primi) e lascia passare solo i "puri" o i "quasi-puri".

La sua innovazione è stata adattare questo setaccio, che prima funzionava bene per i cubi (numeri come $n^3$), per funzionare sui quadrati ($n^2$). I quadrati sono spazi più stretti e difficili da navigare rispetto ai cubi, quindi il setaccio doveva essere calibrato con estrema precisione.

Il Risultato: Una vittoria storica

Prima di questo lavoro, il record era di un altro matematico (Dudek e Johnston) che aveva dimostrato che tra due quadrati c'era sempre un numero con massimo 4 fattori primi.
Campbell ha abbassato questa barra a 3.

Cosa significa in pratica?
Significa che non importa quanto grandi siano i numeri che scegli: tra il quadrato di $n$ e il quadrato di $n+1$, troverai sempre un numero che è il prodotto di al massimo tre numeri primi.

• Esempio: Tra 100 ($10^2$) e 121 ($11^2$), ci sono numeri come 102 ($2 \times 3 \times 17$, tre fattori) o 105 ($3 \times 5 \times 7$, tre fattori). Campbell ha provato che questo vale per tutti i numeri, non solo per quelli piccoli.

Perché non è arrivato a 2?

Il lettore potrebbe chiedersi: "Perché non ha provato a trovare numeri con solo 2 fattori (i semiprimi)?".
Campbell spiega che il suo "setaccio" attuale è abbastanza potente da trovare i numeri con 3 fattori, ma non abbastanza forte per isolare quelli con 2. Sarebbe come cercare di filtrare la sabbia fine con un setaccio che tiene solo i sassolini. Per arrivare a 2, servirebbe un setaccio ancora più sofisticato e una verifica computerizzata molto più lunga e complessa.

In sintesi

Peter Campbell ha risolto un pezzo importante di un puzzle millenario. Ha dimostrato che, anche se non riusciamo ancora a trovare il "numero primo perfetto" tra due quadrati, possiamo essere certi che c'è sempre un numero "quasi perfetto" (con massimo 3 ingredienti). È un passo avanti enorme nella nostra comprensione di come i numeri sono distribuiti nell'universo matematico, usando un mix di forza bruta computazionale e ingegneria matematica raffinata.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del paper "On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares" di Peter Campbell, redatto in italiano.

1. Il Problema e il Contesto

Il lavoro si colloca nel campo della teoria dei numeri analitica, affrontando un problema classico relativo alla distribuzione dei numeri primi in intervalli brevi.

• La Congettura di Legendre: Afferma che per ogni intero $n \ge 1$, l'intervallo $(n^2, (n+1)^2)$ contiene almeno un numero primo. Nonostante la sua formulazione elementare, questa congettura rimane irrisolta, anche sotto l'ipotesi di Riemann.
• Relassamento del Problema: Poiché dimostrare l'esistenza di un primo è estremamente difficile, la ricerca si è spostata verso la dimostrazione dell'esistenza di "quasi-primi" (numeri con un numero limitato di fattori primi) in tali intervalli.
• Obiettivo: Determinare il più piccolo intero $k$ tale che per ogni $n \ge 1$, esista un intero $a \in (n^2, (n+1)^2)$ con $\Omega(a) \le k$, dove $\Omega(a)$ è il numero di fattori primi di $a$ contati con molteplicità.
  • Risultati precedenti: Chen (1973) dimostrò $k=2$ per $n$ sufficientemente grandi. Dudek e Johnston (2024) dimostrarono $k=4$ per ogni $n \ge 1$.
  • Obiettivo del paper: Migliorare il limite di Dudek e Johnston, dimostrando che $k=3$ per ogni $n \ge 1$.

2. Metodologia

La prova combina due approcci distinti: una verifica computazionale per i valori piccoli di $n$ e un argomento analitico esplicito basato sul crivello (sieve) per i valori grandi.

A. Verifica Computazionale (Piccoli $n$)

Per coprire l'intervallo $n^2 \le 10^{31}$, l'autore estende i risultati precedenti di Dudek e Johnston.

• Fondamento: Si basa sui calcoli di Sorenson e Webster che hanno verificato l'esistenza di un primo in $(n^2, (n+1)^2)$ per $n \le 7.05 \cdot 10^{13}$.
• Estensione: Per $n$ superiori a questa soglia ma con $n^2 \le 10^{31}$, l'autore costruisce un semiprimo $pq$ nell'intervallo.
  • La strategia consiste nel fissare un primo $p$ appropriato e considerare l'intervallo ridimensionato per $q$.
  • Si sfruttano i record attuali sui "gap massimi tra primi" (ogni gap sotto $6.8 \cdot 10^{19}$è$\le 1724$) per garantire che esista un primo$q$ nell'intervallo ridimensionato, assicurando così l'esistenza di un semiprimo nell'intervallo originale.
  • Questo riduce il problema analitico al solo caso $n^2 \ge 10^{31}$.

B. Argomento Analitico (Grandi $n$)

Per $n^2 \ge 10^{31}$, l'autore utilizza un crivello lineare pesato (weighted linear sieve).

• Adattamento dei Metodi: Si adatta il framework di Johnston, Sorenson, Thomas e Webster (originariamente sviluppato per intervalli tra cubi consecutivi) al caso degli intervalli tra quadrati.
• Pesi di Richert: Vengono utilizzati i pesi logaritmici di Richert invece dei pesi di Kuhn, poiché offrono prestazioni numeriche superiori.
• Struttura del Crivello:
  1. Si definisce l'insieme $A(N) = \mathbb{Z} \cap (N, N + 2\sqrt{N})$ con $N=n^2$.
  2. Si applica il crivello lineare esplicito di Bordignon, Johnston e Starichkova per ottenere stime superiori e inferiori per gli elementi privi di piccoli fattori primi.
  3. Si introduce una funzione di peso $w(a)$ per contare gli elementi con al più $k$ fattori primi.
  4. Si ottiene un limite inferiore per la quantità di tali elementi ($r_k(A)$) combinando la stima inferiore del crivello lineare con la stima superiore del termine pesato.

3. Contributi Chiave e Modifiche Tecniche

Il paper introduce diverse modifiche specifiche rispetto alla letteratura precedente (in particolare rispetto al lavoro sui cubi) per gestire la geometria degli intervalli quadratici, che sono più corti ($2\sqrt{N}$) rispetto a quelli cubici ($3N^{2/3}$).

1. Lemma 2.1 (Verifica Finita): Estende la verifica computazionale fino a $n^2 \le 10^{31}$ costruendo semiprimi, riducendo il carico analitico.
2. Lemma 2.5 (Scelta del Parametro $\epsilon$): Fornisce una scelta esplicita e ammissibile per il parametro $\epsilon$ nel crivello lineare, ottimizzando le costanti numeriche finali.
3. Proposizione 3.5 (Stima del Termine Pesato): Questa è la modifica più significativa.
   • Adatta il limite superiore per la somma di crivello pesato all'insieme $A(N)$ specifico.
   • Sostituisce la scala $N^{2/3}$ (tipica dei cubi) con la scala $\sqrt{N}$ (tipica dei quadrati) in tutte le stime asintotiche (es. nei limiti per $\alpha$, nel cutoff $w$, e nella definizione di $D_p$).
   • Sostituisce il termine $3N^{2/3}$con$2\sqrt{N}$ per riflettere la lunghezza dell'intervallo.
4. Lemma 4.3 (Condizione dei Fattori Quadratici): Verifica esplicitamente la condizione $(Q_0(c, \delta))$ necessaria per controllare la perdita quando si passa dall'insieme $A$ a $A'$ (escludendo quadrati di primi), fornendo costanti concrete ($c=0.297, \delta=1/4$).

4. Risultati Principali

Il risultato centrale è il Teorema 1.1:

Per ogni intero $n \ge 1$, esiste un intero $a \in (n^2, (n+1)^2)$ tale che $\Omega(a) \le 3$.

Dettagli della prova:

• Per $n^2 \le 10^{31}$, la prova è garantita dalla verifica computazionale (Lemma 2.1).
• Per $n^2 \ge 10^{31}$, l'autore fissa i parametri:
  • $k = 3$ (obiettivo: al massimo 3 fattori primi).
  • $k_1 = 8$, $k_2 = 3.17$.
  • $\alpha = 0.06$.
• Attraverso un'ottimizzazione numerica delle costanti del crivello, si dimostra che la stima inferiore per $r_3(A)$ è strettamente positiva:
  $$r_3(A) > 0.0249 \frac{\sqrt{N}}{\log X} > 0$$
  Questo garantisce l'esistenza di almeno un numero con al massimo 3 fattori primi nell'intervallo.

5. Significato e Limiti

• Significato: Questo risultato rappresenta un miglioramento sostanziale rispetto al precedente limite di $k=4$ di Dudek e Johnston. Dimostra che la densità di quasi-primi negli intervalli tra quadrati consecutivi è sufficiente per garantire un numero con soli 3 fattori primi, avvicinandosi alla congettura originale sui primi ($k=1$).
• Limiti e Prospettive Future: L'autore nota che raggiungere $k=2$ (cioè trovare un primo o un semiprimo) sembra essere fuori portata con l'attuale framework.
  • Il metodo attuale si basa su stime del crivello lineare di Tipo I, che appaiono insufficienti per raggiungere $k=2$ in questo contesto, anche per $n$ molto grandi.
  • Un ulteriore miglioramento richiederebbe probabilmente una verifica computazionale molto più estesa per i piccoli $n$ e l'uso di informazioni di crivello più forti (oltre il Tipo I), con un controllo più delicato dei termini di errore.

In sintesi, il paper fornisce una prova rigorosa e completamente esplicita che ogni intervallo tra quadrati consecutivi contiene un numero quasi-primo con al massimo tre fattori primi, combinando avanzamenti computazionali sulla distribuzione dei primi con un'analisi analitica raffinata del crivello.