On the sign changes of $ψ(x)-x$

1. Il Problema e l'Obiettivo

Il documento affronta il problema classico della teoria dei numeri analitica relativo alle oscillazioni dell'errore nel Teorema dei Numeri Primi. Nello specifico, gli autori studiano il numero di cambi di segno, denotato come $V(T)$, della funzione $\psi(x) - x$ nell'intervallo $[1, T]$, dove $\psi(x) = \sum_{n \le x} \Lambda(n)$ è la funzione di Chebyshev.

L'obiettivo principale è migliorare il limite inferiore noto per la densità asintotica di questi cambi di segno. Il risultato fondamentale è la dimostrazione del seguente teorema:
$$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$$
dove $\gamma_0 \approx 14.13$ è la parte immaginaria dello zero non banale più basso della funzione zeta di Riemann.

Questo risultato supera significativamente i precedenti miglioramenti (che aggiungevano termini dell'ordine di $10^{-248}$ o $10^{-30}$ al limite base $\gamma_0/\pi$), fornendo un miglioramento sostanziale e "macroscopico" ($1/60$).

2. Metodologia e Strumenti Teorici

La prova si basa su una connessione profonda tra i cambi di segno di $\psi(x)-x$ e la densità degli zeri di una specifica funzione quasi-periodica analitica definita sul semipiano superiore.

A. La Funzione $F^*(z)$ e la Densità degli Zeri

Assumendo l'Ipoti di Riemann (RH), il problema viene trasformato nello studio della funzione normalizzata:
$$F^*(z) = 1 + \sum_{n=1}^{\infty} \frac{\rho_0}{\rho_n} e^{i(\gamma_n - \gamma_0)z}$$
dove $\rho_n = 1/2 + i\gamma_n$ sono gli zeri della funzione zeta.
Il teorema principale collega il limite inferiore di $V(T)$ alla densità $\kappa$ degli zeri di $F^*(z)$:
$$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + 2\kappa$$
L'obiettivo diventa quindi dimostrare che $\kappa \ge \frac{1}{120}$.

B. L'Approccio delle "Copie" e la Condizione di Spostamento

L'idea centrale (ereditata da lavori precedenti) è trovare uno zero $\xi_0$ di una somma parziale $F_N(z)$ (con $N$ piccolo, es. $N=21$) e utilizzare la quasi-periodicità della funzione per mostrare che esistono infinite "copie" di questo zero ottenute tramite traslazioni $\tau$.
Per garantire che una traslazione $\tau$ contenga uno zero della funzione completa $F(z)$, è necessario che l'errore di approssimazione della coda della serie ($R_N$) sia sufficientemente piccolo rispetto al valore della somma parziale sul contorno.

C. Due Nuove Idee Fondamentali

Gli autori introducono due innovazioni chiave che permettono di ottenere il risultato:

1. Condizione di Spostamento Flessibile (Proposizione 1):
   Invece di richiedere che tutte le traslazioni $\tau$ soddisfino una condizione uniforme sulle norme $\|\frac{\omega_n \tau}{2\pi}\|$, gli autori introducono una condizione basata su una somma pesata.
   Si definiscono funzioni non decrescenti $w_n$ tali che una traslazione $\tau$ è valida se:
   $$\sum_{n=1}^N w_n \left( \left\| \frac{\omega_n \tau - \eta_n}{2\pi} \right\| \right) \le 1$$
   Questa condizione definisce un insieme $A$ nello spazio delle traslazioni. La flessibilità delle funzioni $w_n$ (che dipendono dalla geometria del contorno e dai coefficienti) permette di ottimizzare la regione di validità.

2. Metodo di "Tiling" (Rivestimento) e Approssimazione Diofantea:
   Il problema si riduce a stimare la densità dei valori $\tau$ che soddisfano la condizione sopra.

   • Problema precedente: I metodi classici (Teorema del Corpo Convesso di Minkowski) fornivano stime di densità molto povere ($2^{-N} \text{vol}(A)$), inadeguate per $N$ grandi.
   • Soluzione proposta: Gli autori usano un metodo di "tiling" (rivestimento). Invece di cercare zeri casuali, costruiscono un reticolo denso di punti raggiungibili tramite combinazioni lineari intere dei vettori di frequenza.
   • Utilizzano una versione specializzata dell'algoritmo LLL (Lenstra–Lenstra–Lovász) per trovare combinazioni lineari intere con coefficienti piccoli, generando un reticolo che riempie efficientemente lo spazio delle traslazioni.
   • Dimostrano che la densità dei $\tau$ validi è approssimabile dal volume di un sottoinsieme $A' \subset A$ (dove $A'$ è la parte di $A$ che può essere "rivestita" dal reticolo senza uscire dai bordi), ottenendo una stima molto più vicina al volume teorico massimo rispetto ai metodi precedenti.

3. Implementazione Computazionale e Verifica Rigorosa

La prova non è puramente analitica ma si basa su calcoli numerici rigorosi:

• Parametri Scelti: $N=21$, con i primi 21 zeri della funzione zeta.
• Contorni: Vengono definiti contorni specifici $z_1(t)$ e funzioni di fase $\alpha(t)$ per massimizzare la probabilità di intercettare uno zero.
• Verifica: L'intero processo di verifica delle disuguaglianze (inclusi i limiti superiori per la coda della serie $R_N$ e la valutazione delle funzioni $w_n$) è stato eseguito utilizzando la libreria ARB (per l'aritmetica a intervalli centrati) all'interno di Mathematica.
• Precisione: Sono stati utilizzati zeri della funzione zeta ad alta precisione (libreria Flint) e verificati contro i dati di Odlyzko.
• Algoritmo LLL: È stato utilizzato con un parametro $\delta = 1/4$ (non standard per LLL classico) per generare i vettori del reticolo necessari per il metodo di tiling.

4. Risultati Chiave

1. Miglioramento del Limite Inferiore: Il lavoro dimostra che $\kappa \ge \frac{1}{120}$, portando il limite inferiore totale a $\frac{\gamma_0}{\pi} + \frac{1}{60}$.
2. Superamento delle Barriere Precedenti: Questo risultato supera di ordini di grandezza i miglioramenti precedenti (che erano dell'ordine di $10^{-30}$), rendendo il contributo $1/60$ sostanziale e non solo asintoticamente marginale.
3. Validità della Ipotesi di Riemann: La dimostrazione assume che l'Ipotesi di Riemann sia vera (poiché si basa sulla posizione degli zeri sulla retta critica). Tuttavia, gli autori notano che se l'Ipotesi di Riemann fosse falsa, il limite inferiore sarebbe ancora più alto ($\kappa_0 \ge \frac{3}{\pi} \cdot 10^{12}$), rendendo il teorema comunque valido in entrambi i casi.

5. Significato e Impatto

• Avanzamento Teorico: Questo lavoro rappresenta un salto qualitativo nella comprensione delle oscillazioni del termine di errore nel Teorema dei Numeri Primi. Mostra che le oscillazioni sono molto più frequenti di quanto previsto dai modelli precedenti.
• Metodologia Ibrida: Il paper è un esempio eccellente di come la teoria dei numeri moderna integri metodi analitici sofisticati (funzioni quasi-periodiche, approssimazione diofantea) con calcoli numerici ad alta precisione e verifiche formali.
• Nuovi Strumenti: Il "metodo di tiling" combinato con l'uso dell'algoritmo LLL per la densità degli zeri di funzioni quasi-periodiche apre nuove strade per lo studio di problemi simili in analisi armonica e teoria dei numeri.
• Riconoscimento: Il lavoro è dedicato ad Alberto Perelli in occasione del suo 70° compleanno, sottolineando il suo ruolo fondamentale nello sviluppo di queste aree di ricerca.

In sintesi, gli autori hanno risolto un problema aperto da decenni non solo migliorando i numeri, ma introducendo una nuova struttura logica (il metodo di tiling e la condizione pesata) che permette di estrarre informazioni sulla densità degli zeri con una precisione senza precedenti.