New large value estimates for Dirichlet polynomials

Resumo Técnico: Novas Estimativas para Grandes Valores de Polinômios de Dirichlet

1. O Problema

O artigo aborda um problema fundamental na teoria analítica dos números: estimar a frequência com que um polinômio de Dirichlet pode assumir grandes valores.

Seja $D(t) = \sum_{N < n \le 2N} b_n n^{it}$ um polinômio de Dirichlet de comprimento $N$, com coeficientes limitados $|b_n| \le 1$. O objetivo é determinar o tamanho máximo de um conjunto $W \subset [0, T]$ de pontos $1$-separados (distância mínima entre pontos $\ge 1$) tais que $|D(t)| \ge V$ para todo $t \in W$.

A situação crítica para muitas aplicações (como a densidade de zeros da função Zeta de Riemann e a distribuição de primos) ocorre quando o valor grande é próximo de $V \approx N^{3/4}$.

• Estimativas anteriores: Combinando o Teorema do Valor Médio clássico e a estimativa de grandes valores de Montgomery-Halász-Huxley, obtinha-se um limite para o número de pontos $R = |W|$ que era subótimo na faixa $N^{7/10} \lesssim V \lesssim N^{8/10}$. Especificamente, para $V \approx N^{3/4}$, as estimativas anteriores davam $R \lesssim T^{3/5}$.
• A Conjectura de Montgomery: Prevê que $R \lesssim T^{o(1)} N^{2-2\sigma}$ (onde $V = N^\sigma$), mas isso só foi provado para $\sigma$ suficientemente grande ou em casos com estrutura aditiva específica.

2. Metodologia e Abordagem

Guth e Maynard desenvolvem uma nova metodologia que combina análise harmônica, teoria espectral de matrizes e propriedades de energia aditiva. A prova é estruturada em várias etapas principais:

A. Redução a Valores Suavizados e Matriz de Singularidade

• O problema é reduzido a uma versão suavizada do polinômio de Dirichlet usando uma função de corte suave $w(n/N)$.
• Define-se uma matriz $M_W$ de dimensão $|W| \times N$ com entradas $w(n/N)n^{it}$.
• O número de grandes valores $|W|$ é controlado pelo maior valor singular $s_1(M_W)$ da matriz. A relação é $|W| \lesssim N^{1-2\sigma} s_1(M_W)^2$.
• Para limitar $s_1(M_W)$, utilizam-se traços de potências da matriz $M_W M_W^*$. Em vez de usar apenas o traço quadrático (que leva ao Teorema do Valor Médio), eles analisam o traço cúbico $\text{tr}((M_W M_W^*)^3)$.

B. Análise de Cancelamento e Variáveis de Integração

• A expansão do traço cúbico leva a somas triplas sobre $t_1, t_2, t_3 \in W$ e integrais envolvendo termos oscilatórios.
• Inovação Chave: Em vez de usar o método da fase estacionária (que é difícil de controlar para obter cancelamento suficiente), os autores aplicam a Fórmula de Poisson sem simplificar as integrais de Fourier imediatamente.
• Isso revela que as variáveis $t_1, t_2, t_3$ estão acopladas a uma função $R(v) = \sum_{t \in W} |v|^{it}$.
• A integral sobre as variáveis auxiliares exibe um forte cancelamento a menos que uma condição linear específica seja satisfeita ($m_1 v_1 + m_2 v_2 + m_3 \approx 0$). Isso reduz o problema a estimar integrais de $R(v)$ sobre curvas específicas.

C. Energia Aditiva e Estrutura do Conjunto

• O sucesso da estimativa depende da Energia Aditiva do conjunto $W$, definida como $E(W) = \#\{(t_1, t_2, t_3, t_4) \in W^4 : |t_1 + t_2 - t_3 - t_4| \le 1\}$.
• Caso de Baixa Energia: Se $E(W)$ é pequeno (o conjunto é "aleatório" ou sem estrutura), os autores provam que a função $R(v)$ exibe cancelamento quadrático médio, levando a uma melhoria significativa na estimativa.
• Caso de Alta Energia: Se $E(W)$ é grande, o conjunto possui muita estrutura aditiva (ex: progressões aritméticas). Neste caso, utilizam-se resultados de Heath-Brown sobre somas de Dirichlet em conjuntos estruturados.
• Caso Intermediário (O Obstáculo Final): Para o caso onde a energia é alta, mas não máxima, os autores introduzem um novo lema sobre a distribuição de somas de transformações afins. Eles provam que um conjunto pequeno não pode ser aproximadamente invariante sob um grande conjunto de transformações afins, o que permite obter cancelamento mesmo em situações de energia intermediária.

3. Contribuições Principais e Resultados

Teorema 1.1 (Estimativa de Grandes Valores):
Os autores provam uma nova limitação superior para o número de pontos $R$ onde $|D(t)| \ge V$:
$$R \le T^{o(1)} \left( N^2 V^{-2} + N^{18/5} V^{-4} + T N^{12/5} V^{-4} \right)$$

• Esta estimativa é estritamente superior às anteriores na faixa crítica $N^{7/10+\epsilon} < V < N^{8/10-\epsilon}$, especialmente quando $V \approx N^{3/4}$.
• Para $V = N^{3/4}$, o limite melhora de $T^{3/5}$ para $T^{13/25}$ (aproximadamente $T^{0.52}$).

Teorema 1.2 (Estimativa de Densidade de Zeros):
Aplicando a nova estimativa à função Zeta de Riemann $\zeta(s)$, obtém-se uma melhoria no limite de densidade de zeros $N(\sigma, T)$ (número de zeros com parte real $\ge \sigma$ e parte imaginária $\le T$):
$$N(\sigma, T) \le T^{\frac{30(1-\sigma)}{13} + o(1)}$$

• O expoente anterior (de Huxley) era $12/5 = 2.4$. O novo expoente é $30/13 \approx 2.307$.
• Isso representa a primeira melhoria substancial na densidade de zeros para $\sigma$ próximo a $3/4$ desde os trabalhos de Ingham e Huxley.

Corolários sobre Primos em Intervalos Curtos:
As novas estimativas de densidade de zeros permitem melhorar os resultados sobre a distribuição de números primos em intervalos curtos $[x, x+y]$:

• Corolário 1.3: Para $y \in [x^{17/30+\epsilon}, x^{0.99}]$, a fórmula assintótica para $\pi(x+y) - \pi(x)$ é válida com um erro controlado. O expoente $17/30 \approx 0.566$ melhora o anterior de $7/12 \approx 0.583$ (Huxley).
• Corolário 1.4: Para "quase todos" os intervalos, o limite é melhorado para $y \in [X^{2/15+\epsilon}, X^{0.99}]$, onde $2/15 \approx 0.133$, melhorando o anterior de $1/6 \approx 0.166$.

4. Significado e Impacto

• Quebra de Barreiras: O trabalho supera barreiras técnicas que existiam há décadas na análise de polinômios de Dirichlet, especificamente na região onde o Teorema do Valor Médio e as estimativas de grandes valores clássicos falham em fornecer limites ótimos.
• Técnica Inovadora: A abordagem de evitar a fase estacionária em favor de uma análise de cancelamento simultâneo em integrais e somas, combinada com o uso de energia aditiva e transformações afins, abre novas portas para problemas relacionados à distribuição de zeros e primos.
• Aplicações Futuras: Os autores sugerem que as ideias subjacentes podem ser aplicadas para melhorar outras estimativas quantitativas na teoria dos números, especialmente aquelas relacionadas à função Zeta e à distribuição de primos.

Em resumo, Guth e Maynard estabelecem um novo padrão de precisão para a compreensão de como os polinômios de Dirichlet se comportam em grandes valores, resultando em avanços diretos e significativos na teoria analítica dos números clássica.