On the number of exceptional intervals to the prime number theorem in short intervals

Sintesi Tecnica: Sul Numero di Intervalli Eccezionali per il Teorema dei Numeri Primi in Intervalli Brevi

Enunciato del Problema
Il lavoro affronta la validità del Teorema dei Numeri Primi (PNT) in intervalli brevi. Nello specifico, per un esponente fissato $0 < \theta \le 1$, la congettura è che la somma della funzione di von Mangoldt $\Lambda(n)$ su un intervallo $[x, x+x^\theta]$ soddisfi $\sum_{x<n\le x+x^\theta} \Lambda(n) \sim x^\theta$ al tendere di $x \to \infty$. Sebbene ciò sia noto per essere valido per ogni $x$ quando $\theta > 17/30$ (basandosi su recenti stime della densità degli zeri) e per quasi tutti gli $x$ quando $\theta > 2/15$, il comportamento fallisce per certi valori "eccezionali" di $x$ nell'intervallo $2/15 < \theta \le 17/30$.

Il problema centrale è quantificare la dimensione di questo insieme eccezionale $E_\delta(X, \theta)$, definito come l'insieme degli $x \in [X, 2X]$ in cui il PNT fallisce con un errore relativo $\delta$. Gli autori mirano a determinare l'esponente $\mu(\theta)$ tale che la misura di Lebesgue dell'insieme eccezionale soddisfi $|E_\delta(X, \theta)| \ll X^{\mu(\theta)+o(1)}$. Un valore di $\mu(\theta) < 1$ implica che il PNT vale per quasi tutti gli $x$, mentre $\mu(\theta) = -\infty$ implica che vale per tutti gli $x$.

Metodologia
Gli autori stabiliscono una connessione rigorosa tra le stime della densità degli zeri della funzione zeta di Riemann e i limiti sull'esponente dell'insieme eccezionale $\mu(\theta)$.

1. Formula Esplicita e Stime dei Momenti: La strategia di dimostrazione si basa sulla formula esplicita per $\sum \Lambda(n)$. Gli autori decompongono il termine di errore in contributi provenienti dagli zeri non banali $\rho = \beta + i\gamma$ di $\zeta(s)$. Analizzano l'entità di questi contributi utilizzando stime dei momenti $L^\infty$, $L^2$ e $L^4$.
2. Densità degli Zeri ed Energia Additiva:
   • Il teorema standard sulla densità degli zeri fornisce limiti su $N(\sigma, T)$, il numero di zeri con parte reale $\ge \sigma$ e parte immaginaria $\le T$. L'esponente $A(\sigma)$ è definito in modo tale che $N(\sigma, T) \ll T^{A(\sigma)(1-\sigma)+\varepsilon}$.
   • Crucialmente, gli autori incorporano limiti sull'energia additiva degli zeri, denotata $N^*(\sigma, T)$, che conta le quaterne di zeri $(\rho_1, \dots, \rho_4)$ tali che $|\gamma_1 + \gamma_2 - \gamma_3 - \gamma_4| \le 1$. L'esponente associato è $A^*(\sigma)$.
3. Derivazione dei Limiti: Applicando la formula esplicita e limitando le somme risultanti tramite le norme $L^2$ e $L^4$, gli autori derivano due limiti superiori concorrenti per il contributo degli zeri in un intervallo specifico di parte reale $[\sigma, \sigma+\epsilon]$:
   • Un limite derivato dal secondo momento che coinvolge $A(\sigma)$: $\mu_{2,\sigma}(\theta) = (1-\theta)(1-\sigma)A(\sigma) + 2\sigma - 1$.
   • Un limite derivato dal quarto momento che coinvolge $A^*(\sigma)$: $\mu_{4,\sigma}(\theta) = (1-\theta)(1-\sigma)A^*(\sigma) + 4\sigma - 3$.
4. Ottimizzazione: Il limite finale per $\mu(\theta)$ è ottenuto prendendo l'infimo su $\varepsilon$ e il supremo su $\sigma$ del minimo di queste due quantità, soggetto al vincolo che la densità degli zeri sia sufficientemente alta ($A(\sigma) \ge \frac{1}{1-\theta} - \varepsilon$).

Contributi Chiave

• Teorema 1.2 (Limite Generale): Il lavoro stabilisce una formula generale che relaziona $\mu(\theta)$ all'esponente della densità degli zeri $A(\sigma)$. Ciò recupera risultati precedenti, come la condizione affinché il PNT valga per tutti gli $x$ ($\theta > 1 - 1/A_0$) e per quasi tutti gli $x$ ($\theta > 1 - 2/A_0$).
• Teorema 1.3 (Limite Raffinato): Il contributo teorico principale è l'inclusione dell'esponente dell'energia additiva $A^*(\sigma)$. Gli autori dimostrano che $\mu(\theta)$ è limitato dal minimo dei limiti derivati dal secondo momento e dal quarto momento. Questo affinamento consente vincoli più stretti sull'insieme eccezionale, in particolare negli intervalli in cui $A^*(\sigma)$ è significativamente più piccolo di $3A(\sigma)$.
• Relazione Esplicita con Stime Recenti: Gli autori forniscono un quadro per applicare direttamente le stime più recenti sulla densità degli zeri (in particolare quelle di Guth e Maynard, e di Tao–Trudgian–Yang) per limitare l'insieme eccezionale. Ciò è ottenuto attraverso una combinazione di derivazione analitica e valutazione numerica assistita da computer.

Risultati

• Limiti Incondizionati: Utilizzando i migliori limiti incondizionati attuali per $A(\sigma)$ e $A^*(\sigma)$ (sintetizzati nelle Tabelle 1 e 2), gli autori calcolano limiti superiori espliciti per $\mu(\theta)$.
  • Per $\theta > 17/30$, l'insieme eccezionale è vuoto (il PNT vale per tutti gli $x$).
  • Per $\theta > 2/15$, l'insieme eccezionale ha densità zero.
  • Nell'intervallo intermedio, il lavoro fornisce limiti numerici specifici. Ad esempio, per $\theta = 17/30$, mostrano che $\mu(17/30) \le 7/12$.
• Confronto con Lavori Precedenti: Gli autori notano che il loro metodo recupera i limiti di Bazzanella e Perelli ma li migliora in certi intervalli sfruttando le stime dell'energia additiva. Dichiarano esplicitamente di non essere riusciti a replicare un'affermazione specifica in un lavoro precedente (Bazzanella [4]) riguardante l'intervallo $1/6 < \theta \le 1/2$, identificando una lacuna nell'argomento precedente relativa alla stima della densità di Jutila.
• Scenari Ipotetici: Il lavoro analizza i limiti sotto l'Ipotesi della Densità (DH), l'Ipotesi di Lindelöf (LH) e l'Ipotesi di Riemann (RH). Sotto RH, $\mu(\theta) = -\infty$ per $\theta > 1/2$. Sotto DH, i limiti migliorano significativamente, sebbene gli autori notino che per certi $\theta$, i limiti incondizionati sono sorprendentemente vicini a quelli che assumono la DH.

Significato e Affermazioni
Il lavoro afferma di fornire la "relazione più esplicita" tra stime della densità degli zeri e limiti sull'insieme eccezionale fino ad oggi. Il suo significato risiede in:

1. Quadro Unificante: Crea un metodo sistematico per tradurre qualsiasi miglioramento nelle stime della densità degli zeri (sia $A(\sigma)$ che $A^*(\sigma)$) direttamente in limiti migliorati sull'insieme eccezionale per il PNT in intervalli brevi.
2. Utilizzo dell'Energia Additiva: Incorporando esplicitamente l'energia additiva degli zeri ($A^*(\sigma)$), gli autori dimostrano che le stime del quarto momento sono necessarie per ottenere i limiti incondizionati più noti, recuperando e affinando risultati che si basavano su stime di densità più vecchie e meno precise.
3. Verifica Computazionale: Gli autori sottolineano che i loro limiti teorici sono immediatamente applicabili tramite assistenza informatica, permettendo l'applicazione diretta dei risultati più recenti (ad esempio Guth–Maynard) senza richiedere nuove macchine analitiche per l'insieme eccezionale stesso.

Gli autori mantengono un atteggiamento modesto, notando che le formule esatte per i limiti sono complesse e probabilmente saranno superate man mano che nuove stime sulla densità degli zeri verranno dimostrate. Non affermano di risolvere il PNT in intervalli brevi per $\theta \le 2/15$, ma piuttosto forniscono la migliore descrizione quantitativa nota delle eccezioni nell'intervallo attualmente accessibile.