Exponential sums over primes are unbounded

Resumo Técnico: Somas exponenciais sobre primos são ilimitadas

Enunciado do Problema
O artigo aborda uma questão proposta por Aymone e comunicada por Ramaré a respeito do comportamento de somas exponenciais de primos. Especificamente, investiga-se se a soma
$$\pi(x; \alpha) := \sum_{p \le x} e(\alpha p)$$
é ilimitada para todo $\alpha$ real, onde $e(\beta) = e^{2\pi i \beta}$. Embora limites superiores para essas somas sejam bem compreendidos (por exemplo, o teorema de Vinogradov fornece limites superiores não triviais dependendo das propriedades de aproximação diofantina de $\alpha$), limites inferiores não triviais para um $\alpha$ fixo permaneceram elusivos. O limite trivial $L^2$ médio é conhecido por ser da ordem de $x \log x$, mas limites inferiores pontuais para um $\alpha$ fixo eram anteriormente desconhecidos além do resultado da média $L^1$ de Vaughan.

Metodologia
O autor desenvolve um novo método para estabelecer limites inferiores para somas exponenciais da forma $\sum f(n)e(\alpha n)$ analisando seu comportamento em intervalos curtos. A estratégia central envolve:

1. Análise de Intervalos Curtos: Em vez de exigir que o parâmetro de aproximação diofantina global $R(x, \alpha)$ seja pequeno (o que corresponde a $\alpha$ estar próximo de um racional com denominador pequeno), o método exige que o parâmetro local $R(y, \alpha)$ seja pequeno para um comprimento de intervalo curto $y$. Isso permite que a soma exponencial no intervalo $[n, n+y]$ seja aproximada por somas em pontos racionais $a/q$.
2. Aplicação do Crivo de Large Sieve: O autor aplica o large sieve de Montgomery-Vaughan à função $g(n) = F(n, n+y; \alpha)$, onde $F$ é a soma parcial da função aritmética. Isso produz um limite inferior para a média do módulo ao quadrado das somas de intervalos curtos, $\frac{1}{x} \sum |F(n, n+y; \alpha)|^2$, em termos dos valores das somas globais em pontos racionais $F(x; a/q)$.
3. Estimativa de Arcos Maiores (Major Arcs): O limite inferior depende da existência de "arcos maiores" (racionais $a/q$ próximos de $\alpha$) dentro do intervalo de aproximação.
   • Para o caso da função divisor $\tau$, o autor utiliza fórmulas assintóticas precisas para $\sum \tau(n)e(an/q)$ para mostrar que o termo principal domina.
   • Para a função de von Mangoldt $\Lambda$ (primos), o autor baseia-se no teorema de Bombieri-Vinogradov (via Liu e Zhan) para lidar com o caso médio onde $y \ll x^{1/3}$.
   • Para $y$ maiores (especificamente $y \gg x^{1/3}$), o autor assume a Hipótese de Riemann Generalizada (GRH) para controlar os termos de erro para todos os arcos maiores individualmente, combinado com um resultado de Heath-Brown sobre a distribuição de denominadores livres de quadrados em aproximações diofantinas.

Resultados Principais

1. Ilimitabilidade de Somas Exponenciais de Primos:
   O artigo prova que, para qualquer $\varepsilon > 0$, a soma exponencial de primos é ilimitada com um limite inferior quantitativo:
   $$\inf_{\alpha \in \mathbb{R}} \sup_{n \le x} |\psi(n; \alpha)| \gg x^{1/6-\varepsilon}$$
   onde $\psi(x; \alpha) = \sum_{n \le x} \Lambda(n)e(\alpha n)$. Isso implica o mesmo resultado para $\pi(x; \alpha)$ (soma sobre primos).

2. Limite Inferior Médio em Intervalos Curtos:
   O teorema técnico principal (Teorema 2) estabelece que, para $y \le x^{1/3-\varepsilon}$, a média dos quadrados das somas sobre intervalos curtos satisfaz:
   $$\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$$
   Isso demonstra que o cancelamento de raiz quadrada ("square root cancellation", o comportamento esperado para somas aleatórias) é o melhor possível em média para esses intervalos; as somas não exibem um cancelamento superior.

3. Resultados sob GRH:
   Assumindo a Hipótese de Riemann Generalizada, o intervalo de $y$ pode ser estendido. Para $\alpha$ irracional com aproximações diofantinas adequadas, o limite inferior mantém-se para $y \le x^{5/9-\varepsilon}$, levando ao corolário:
   $$\limsup_{n \to \infty} n^{-5/18+\varepsilon} |\psi(n; \alpha)| > 0$$

4. Caso da Função Divisor:
   O método é aplicado à função divisor $\tau$. O artigo mostra que, para $\alpha$ irracional, a soma $\sum_{n \le x} \tau(n)e(\alpha n)$ é ilimitada, com um limite inferior da ordem de $x^{1/2}(\log x)(\log \log x)^{-2}$. O autor observa que este resultado é preciso até um fator logarítmico para quase todo $\alpha$, baseado na desigualdade de Carleson-Hunt.

Significância e Alegações
O artigo afirma responder positivamente à questão de Aymone e Ramaré, provando que somas exponenciais de primos são ilimitadas para todo $\alpha$. A significância reside em:

• Prover o primeiro limite inferior não trivial para um $\alpha$ fixo para somas exponenciais de primos, indo além de resultados médios.
• Introduzir um método que desloca o requisito das propriedades diofantinas globais ($R(x, \alpha)$) para propriedades locais ($R(y, \alpha)$), permitindo a análise de somas em intervalos curtos.
• Demonstrar que o heurístico de "cancelamento de raiz quadrada" é apertado em média para intervalos curtos envolvendo primos, especificamente mostrando que as somas não podem ser significativamente menores que $y^{1/2}$.

O autor afirma explicitamente que o método é geral e foi aplicado a outras funções aritméticas (como $1_{\Omega(n)=k}$ e funções multiplicativas gerais) em trabalhos separados, mas este artigo foca nos casos de $\Lambda$ e $\tau$. Os resultados são apresentados como condicionais a conjecturas padrão (GRH) para o intervalo estendido de $y$, e incondicionais para o intervalo $y \le x^{1/3-\varepsilon}$.