Primes in LCM recurrences

1. Il Problema

Il paper si concentra su una variante basata sul Minimo Comune Multiplo (LCM) di una celebre ricorrenza generatrice di numeri primi introdotta da Rowland nel 2008.

• Ricorrenza di Rowland (GCD): $a_n = a_{n-1} + \gcd(n, a_{n-1})$. Le differenze $a_n - a_{n-1}$ sono sempre 1 o un numero primo.
• Variante LCM (Studiata in questo lavoro):
  $$a_1 = 1, \quad a_n = a_{n-1} + \text{lcm}(n, a_{n-1}) \quad (n \ge 2)$$
  L'oggetto di studio è l'incremento moltiplicativo definito come:
  $$b_n = \frac{a_n}{a_{n-1}} - 1 = \frac{n}{\gcd(n, a_{n-1})}$$
  Congettura 1.1: Per ogni $n \ge 2$, $b_n \in \{1\} \cup \mathbb{P}$ (dove $\mathbb{P}$ è l'insieme dei numeri primi).
  La congettura è stata verificata numericamente fino a $n = 10^6$, ma una prova completa è ostacolata da problemi profondi nella teoria dei numeri, specificamente legati al teorema di Linnik.

2. Metodologia

L'autore affronta la difficoltà intrinseca della ricorrenza LCM, dove ogni incremento passato influenza permanentemente il valore futuro ($a_n = \prod (1+b_k)$), rendendo l'analisi puntuale estremamente complessa.

Il Framework "Companion-Sieve"

Per bypassare la dipendenza dalla storia completa della sequenza, l'autore introduce un approccio basato su:

1. Isolamento di un sottoprodotto deterministico: Si identifica una parte di $a_{n-1}$ che dipende solo dagli indici primi. In particolare, per ogni primo $q \ge 5$, si dimostra che $\gcd(q, a_{q-1}) = 1$, implicando $b_q = q$. Questo crea un "magazzino" garantito di fattori.
2. Sostituzione con maggioranti gestibili: Invece di analizzare esattamente $b_n$, si sostituisce con una versione rilassata $B_n^{(1)}$ basata sul conteggio dei primi $q \equiv -1 \pmod p$.
3. Criterio del Deficit: Si definisce un "deficit" $\delta_p^{(1)}(n)$ come la differenza tra la potenza di $p$ che divide $n$ e il numero di primi $q < n$ tali che $q \equiv -1 \pmod p$.
   • Se la somma totale dei deficit $\sum \delta_p^{(1)}(n) \le 1$, allora $b_n$ è necessariamente 1 o un primo.
4. Teoria Analitica dei Numeri: Il problema viene trasformato da una questione $p$-adica dipendente dalla storia a un problema di equidistribuzione media dei primi nelle progressioni aritmetiche. Si utilizzano strumenti come:
   • Il Teorema di Siegel-Walfisz per i moduli piccoli.
   • Il Teorema di Bombieri-Vinogradov per controllare la distribuzione media dei primi su moduli fino a $x^{1/2}/(\log x)^B$.
   • Stime di setaccio elementari per i fattori primi grandi.

3. Risultati Principali

A. Risultati sulla Ricorrenza Originale (K=1)

• Teorema 1.2 (Densità 1): L'insieme degli interi $n$ per cui $b_n \in \{1\} \cup \mathbb{P}$ ha densità asintotica 1. In altre parole, la congettura è vera per "quasi tutti" gli interi.
• Teorema 1.3 (Riduzione Effettiva): Per ogni soglia $P_0$, esiste un limite computabile $N^*(P_0)$ tale che per ogni $n \ge N^*(P_0)$, qualsiasi controesempio alla congettura deve avere tutti i fattori primi maggiori di $P_0$. Questo riduce il problema a un'analisi dei fattori primi molto grandi.
• Ostacolo Residuo: La prova completa è bloccata da casi eccezionali legati a:
  1. Interi con un fattore primo grande al quadrato ($p^2 | n$).
  2. Interi con due fattori primi grandi distinti.
  3. Interi divisibili da un "modulo medio cattivo" (dove la distribuzione dei primi nella classe $-1 \pmod p$ devia significativamente dalla media).

B. La Variante K=2 e i Numeri Primi Gemelli

L'autore introduce una variante con coefficiente 2: $x_n = 2x_{n-1} + \text{lcm}(n, x_{n-1})$, con incremento $c_n$.

• Rilevamento dei Primi Gemelli (Teorema 1.4): Esiste una connessione diretta tra gli incrementi forzati a 1 e le coppie di primi gemelli.
  • Se $(p, p+2)$ sono primi gemelli ($p>5$) e $c_p = p$, allora $c_{p+2} = 1$.
  • Viceversa, sotto l'ipotesi che $c_n$ sia sempre 1 o primo, se $c_q = 1$ per un primo $q \ge 5$, allora $q-2$ è primo.
  • La sequenza $c_n$ rileva quindi esattamente le coppie di primi gemelli (con un'unica eccezione per la coppia (5, 7)).
• Teorema 1.5: Sotto ipotesi ragionevoli sul comportamento degli indici primi e un limite di tipo Brun per i primi gemelli, anche per questa variante l'insieme degli $n$ con $c_n \in \{1\} \cup \mathbb{P}$ ha densità 1.
• Struttura 2-adica: Viene descritta una "scala 2-adica" completa per la sequenza, dimostrando che $c_n = 2$ appare infinitamente spesso in posizioni specifiche.

4. Contributi e Congetture Nuove

Il paper non si limita a dimostrare risultati parziali, ma formula nuove congetture per superare gli ostacoli residui:

1. Congettura 7.2 (Secondo primo nella finestra quadratica): Per ogni primo $p \ge 17$, esistono almeno due primi $q \equiv -1 \pmod p$ con $q < p^2$. Se vera, eliminerebbe il caso dei fattori al quadrato.
2. Congettura 7.3 (Equidistribuzione sicura per i divisori): Una versione più forte del teorema di Bombieri-Vinogradov, che richiede che i divisori primi di $n$ non siano mai "moduli cattivi" individualmente. Se vera a un certo livello, eliminerebbe l'ostacolo dei moduli medi.

5. Significato e Impatto

• Superamento della Barriera di Linnik: Il lavoro dimostra che è possibile ottenere risultati forti (densità 1) su problemi che richiederebbero una prova puntuale equivalente al teorema di Linnik con costante $L=2$ (attualmente non dimostrata). Si ottiene questo lavorando sulla media anziché punto per punto.
• Nuova Connessione Strutturale: La scoperta che una semplice ricorrenza aritmetica LCM codifica la distribuzione dei numeri primi gemelli offre un nuovo strumento teorico per studiare questa congettura famosa.
• Metodologia Innovativa: L'approccio "Companion-Sieve" offre un nuovo paradigma per analizzare sequenze ricorsive non lineari, trasformando problemi di dipendenza storica in problemi di equidistribuzione dei primi.
• Riduzione del Problema: Il lavoro riduce la verifica della congettura principale a un problema finito e computabile (per i fattori piccoli) e a un problema di distribuzione dei primi molto grandi, fornendo una mappa chiara per i futuri sviluppi teorici.

In sintesi, il paper stabilisce che le ricorrenze LCM generano quasi sempre incrementi primi, collega elegantemente una variante di queste ricorrenze alla congettura dei primi gemelli, e identifica le precise barriere analitiche (legate alla distribuzione dei primi in progressioni aritmetiche) che separano i risultati attuali dalla prova completa.