Exponential sums over primes are unbounded

Sintesi Tecnica: Le somme esponenziali sui numeri primi sono illimitate

Enunciato del Problema
Il saggio affronta una questione posta da Aymone e comunicata da Ramaré riguardante il comportamento delle somme esponenziali sui numeri primi. Nello specifico, si investiga se la somma
$$\pi(x; \alpha) := \sum_{p \le x} e(\alpha p)$$
sia illimitata per ogni $\alpha$ reale, dove $e(\beta) = e^{2\pi i \beta}$. Sebbene i limiti superiori per queste somme siano ben compresi (ad esempio, il teorema di Vinogradov fornisce limiti superiori non banali che dipendono dalle proprietà di approssimazione diacofantica di $\alpha$), i limiti inferiori non banali per un $\alpha$ fissato sono rimasti elusivi. Il limite banale $L^2$ medio è noto essere dell'ordine di $x \log x$, ma i limiti inferiori puntuali per un $\alpha$ fissato erano precedentemente sconosciuti oltre al risultato della media $L^1$ di Vaughan.

Metodologia
L'autore sviluppa un nuovo metodo per stabilire limiti inferiori per le somme esponenziali della forma $\sum f(n)e(\alpha n)$ analizzando il loro comportamento su brevi intervalli. La strategia centrale prevede:

1. Analisi su Brevi Intervalli: Invece di richiedere che il parametro di approssimazione diacofantica globale $R(x, \alpha)$ sia piccolo (il che corrisponde a $\alpha$ vicino a un razionale con denominatore piccolo), il metodo richiede che il parametro locale $R(y, \alpha)$ sia piccolo per una lunghezza di breve intervallo $y$. Ciò consente che la somma esponenziale su un intervallo $[n, n+y]$ sia approssimata da somme in punti razionali $a/q$.
2. Applicazione del Grande Crivello: L'autore applica il grande crivello di Montgomery-Vaughan alla funzione $g(n) = F(n, n+y; \alpha)$, dove $F$ è la somma parziale della funzione aritmetica. Ciò produce un limite inferiore per la media del modulo al quadrato delle somme su brevi intervalli, $\frac{1}{x} \sum |F(n, n+y; \alpha)|^2$, in termini dei valori delle somme globali in punti razionali $F(x; a/q)$.
3. Stima degli Archi Maggiori: Il limite inferiore dipende dall'esistenza di "archi maggiori" (razionali $a/q$ vicini ad $\alpha$) all'interno dell'intervallo di approssimazione.
   • Per il caso della funzione divisore $\tau$, l'autore utilizza formule asintotiche precise per $\sum \tau(n)e(an/q)$ per mostrare che il termine principale domina.
   • Per la funzione di von Mangoldt $\Lambda$ (numeri primi), l'autore si affida al teorema di Bombieri-Vinogradov (tramite Liu e Zhan) per gestire il caso medio in cui $y \ll x^{1/3}$.
   • Per $y$ più grandi (specificamente $y \gg x^{1/3}$), l'autore assume l'Ipotesi di Riemann Generalizzata (GRH) per controllare i termini di errore per tutti gli archi maggiori individualmente, combinata con un risultato di Heath-Brown riguardante la distribuzione di denominatori privi di quadrati nella approssimazione diacofantica.

Risultati Chiave

1. Illimitatezza delle Somme Esponenziali sui Primi:
   Il saggio prova che per ogni $\varepsilon > 0$, la somma esponenziale sui primi è illimitata con un limite inferiore quantitativo:
   $$\inf_{\alpha \in \mathbb{R}} \sup_{n \le x} |\psi(n; \alpha)| \gg x^{1/6-\varepsilon}$$
   dove $\psi(x; \alpha) = \sum_{n \le x} \Lambda(n)e(\alpha n)$. Ciò implica lo stesso risultato per $\pi(x; \alpha)$ (somma sui numeri primi).

2. Limite Inferiore Medio su Brevi Intervalli:
   Il teorema tecnico principale (Teorema 2) stabilisce che per $y \le x^{1/3-\varepsilon}$, la media dei quadrati delle somme su brevi intervalli soddisfa:
   $$\frac{1}{x} \sum_{-y < n \le x} \left| \sum_{n < m \le n+y} \Lambda(m)e(\alpha m) \right|^2 \gg y \log x$$
   Ciò dimostra che la "cancellazione della radice quadrata" (il comportamento atteso per somme casuali) è il miglior caso possibile in media per questi intervalli; le somme non mostrano una cancellazione migliore.

3. Risultati sotto GRH:
   Assumendo l'Ipotesi di Riemann Generalizzata, l'intervallo di $y$ può essere esteso. Per $\alpha$ irrazionali con approssimazioni diacofantiche idonee, il limite inferiore vale per $y \le x^{5/9-\varepsilon}$, portando al corollario:
   $$\limsup_{n \to \infty} n^{-5/18+\varepsilon} |\psi(n; \alpha)| > 0$$

4. Caso della Funzione Divisore:
   Il metodo è applicato alla funzione divisore $\tau$. Il saggio mostra che per $\alpha$ irrazionale, la somma $\sum_{n \le x} \tau(n)e(\alpha n)$ è illimitata, con un limite inferiore di ordine $x^{1/2}(\log x)(\log \log x)^{-2}$. L'autore nota che questo risultato è netto fino a un fattore logaritmico per quasi tutti gli $\alpha$, basandosi sulla disuguaglianza di Carleson-Hunt.

Significato e Rivendicazioni
Il saggio sostiene di rispondere positivamente alla domanda di Aymone e Ramaré, provando che le somme esponenziali sui primi sono illimitate per ogni $\alpha$. La significatività risiede nel:

• Fornire il primo limite inferiore non banale per un $\alpha$ fisso per le somme esponenziali sui primi, andando oltre i risultati medi.
• Introdurre un metodo che sposta il requisito dalle proprietà diacofantiche globali ($R(x, \alpha)$) a quelle locali ($R(y, \alpha)$), permettendo l'analisi di somme su brevi intervalli.
• Dimostrare che l'euristica della "cancellazione della radice quadrata" è stretta in media per brevi intervalli che coinvolgono i primi, mostrando specificamente che le somme non possono essere significativamente più piccole di $y^{1/2}$.

L'autore dichiara esplicitamente che il metodo è generale ed è stato applicato ad altre funzioni aritmetiche (come $1_{\Omega(n)=k}$ e funzioni multiplicative generali) in lavori separati, ma questo saggio si concentra sui casi di $\Lambda$ e $\tau$. I risultati sono presentati come condizionati da congetture standard (GRH) per l'intervallo esteso di $y$, e incondizionati per l'intervallo $y \le x^{1/3-\varepsilon}$.