Siegel zeros and small gaps between zeros of the Riemann zeta function

Sintesi Tecnica: Zeri di Siegel e Piccoli Spazi tra gli Zeri della Funzione Zeta di Riemann

Enunciato del Problema
Il saggio affronta la distribuzione verticale degli zeri non banali della funzione zeta di Riemann, $\zeta(s)$. Nello specifico, investiga l'esistenza di "piccoli spazi" tra le ordinate consecutive $\gamma_n$ e $\gamma_{n+1}$. La distribuzione è normalizzata rispetto allo spazio medio $2\pi/\log \gamma_n$. Gli autori definiscono la quantità $\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$.

Una congettura di lunga data postula che $\mu = 0$. Sebbene l'Ipotesi di Riemann (RH) sia assunta, il miglior limite inferiore incondizionato noto per $\mu$ non è il problema; piuttosto, il saggio si concentra sul limite superiore. Prima di questo lavoro, il miglior risultato su RH era $\mu < 0.50895$ (Inoue). Preesisteva un sentimento diffuso secondo cui il valore $1/2$ rappresentasse una barriera naturale per $\mu$ a causa della potenziale esistenza di zeri di Siegel (zeri reali eccezionali delle funzioni $L$ di Dirichlet). Lavori precedenti di Heath-Brown e Conrey–Iwaniec suggerivano che, se gli zeri di Siegel esistessero, essi potrebbero imporre una rigidità negli zeri della zeta, impedendo che spazi minori di $1/2$ si verifichino frequentemente (l'Ipotesi Alternativa).

Metodologia
Gli autori impiegano il metodo Montgomery–Odlyzko, che confronta due integrali pesati per rilevare piccoli spazi. L'innovazione fondamentale risiede nella scelta della funzione "risonatore" $R(t)$ e della lunghezza del relativo polinomio di Dirichlet.

1. Polinomi di Dirichlet Lunghi: Le applicazioni tradizionali del metodo Montgomery–Odlyzko sono limitate a polinomi di Dirichlet "corti" (lunghezza $L \ll T$) per evitare termini fuori diagonale intrattabili che coinvolgono correlazioni additive dei coefficienti. Questo saggio rompe questa barriera utilizzando polinomi di Dirichlet lunghi con lunghezza $L \approx T^{17/14}$.
2. Costruzione del Risonatore: Il risonatore è scelto come $R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$, dove $\chi$ è un carattere di Dirichlet quadratico primitivo associato a uno zero di Siegel. I coefficienti coinvolgono un peso liscio $G(n)$ e il carattere $\chi$.
3. Gestione dei Termini Fuori Diagonale: La principale sfida tecnica consiste nello stimare le correlazioni fuori diagonale $\sum \chi(m)\chi(km+r)$ e $\sum \Lambda(k)\chi(km+r)$. Gli autori sviluppano un nuovo schema per gestire queste correlazioni con termini di errore con risparmio di potenza (power-saving), suddividendo l'analisi in tre regimi basati sulla dimensione della variabile prima $\text{k}$:
   • Piccolo $k$: Gestito tramite limiti sulle somme di correlazione usando il Lemma 4 (un'estensione del lavoro di Heath-Brown).
   • Intermedio $k$: Affrontato utilizzando stime del secondo momento per somme di caratteri traslate (combinazione di Cauchy–Schwarz con tecniche del problema del divisore additivo).
   • Grande $k$: Risolto separando le variabili in $\chi(km+r)$ tramite inversione di Fourier (somme di Jacobi generalizzate) e applicando stime di densità degli zeri per le funzioni $L$ di Dirichlet (specificamente la stima Chen–Gupta–Li) per limitare la somma sui caratteri.

Risultati Chiave
Il saggio stabilisce il suo teorema principale sotto l'assunzione dell'Ipotesi di Riemann:

Teorema 1: Assumendo RH e che esista una sequenza eccezionale di zeri di Siegel con qualità $E = \inf_j E_j$ sufficientemente grande. Allora:
$$\mu < 0.4733$$
Nello specifico, gli autori dimostrano che $\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0.4733$.

Corollario 2: Sotto le stesse assunzioni, una distribuzione asintotica in cui gli spazi normalizzati sono ristretti all'insieme $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$ non può esistere. Ciò confuta una forma forte dell' "Ipotesi Alternativa" che postula che gli zeri di Siegel impongano che tutti gli spazi siano semierintegers.

Significato e Rivendicazioni
Gli autori affermano che il loro risultato è sorprendente perché dimostra che gli zeri di Siegel non agiscono come una barriera per provare $\mu < 1/2$; piuttosto, l'esistenza di tali zeri può essere utilizzata per provare l'esistenza di spazi minori di $1/2$.

• Confutazione delle Forti Ipotesi Alternative: Il risultato confuta l'idea che gli zeri di Siegel implichino una distribuzione rigida dove quasi tutti gli spazi siano $\ge 1/2$. Al contrario, mostra che se gli zeri di Siegel esistono, deve esserci un raggruppamento di zeri con spazi normalizzati strettamente inferiori a $0.4733$.
• Svolta Metodologica: Il saggio evidenzia come il limite del metodo Montgomery–Odlyzko nel rendere $\mu < 0.508$ fosse dovuto alla restrizione ai polinomi corti. Gestendo con successo i termini fuori diagonale di polinomi lunghi (lunghezza $T^{17/14}$) usando gli zeri di Siegel per strutturare i coefficienti, gli autori superano questa barriera computazionale.
• Sfumatura Tecnica: Gli autori chiariscono che il loro risultato non contraddice Heath-Brown o Conrey–Iwaniec. Quei lavori hanno stabilito che gli zeri di Siegel implicano pochi spazi minori di $1/2$ (un risultato di proporzionalità quantitativa). Questo saggio stabilisce l'esistenza di almeno un gap minore di $0.4733$ (un risultato di $\liminf$) senza rivendicare una proporzione positiva di tali gap.

Il saggio conclude che, sebbene gli zeri di Siegel rimangano una barriera per stabilire un proporzione positiva di piccoli spazi (a causa della necessità di momenti superiori che restringono ulteriormente la lunghezza del polinomio), essi non sono una barriera per stabilire l'esistenza di spazi sotto $1/2$. Gli autori osservano che ulteriori raffinamenti nella scelta dei coefficienti o nelle stime di densità degli zeri (ad esempio, l'Ipotesi di Densità) potrebbero potenzialmente abbassare ulteriormente il limite, forse a $\mu < 0.467$, ma l'attuale lavoro si concentra sul meccanismo di utilizzare gli zeri di Siegel per rompere la barriera di $1/2$.