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

Resumo Técnico: Sobre o Número de Intervalos Excepcionais para o Teorema dos Números Primos em Intervalos Curtos

Enunciado do Problema
O artigo aborda a validade do Teorema dos Números Primos (TNP) em intervalos curtos. Especificamente, para um expoente fixo $0 < \theta \le 1$, a conjectura é que a soma da função de von Mangoldt $\Lambda(n)$ sobre um intervalo $[x, x+x^\theta]$ satisfaça $\sum_{x<n\le x+x^\theta} \Lambda(n) \sim x^\theta$ quando $x \to \infty$. Embora se saiba que isso vale para todo $x$ quando $\theta > 17/30$ (com base em estimativas recentes de densidade de zeros) e para quase todo $x$ quando $\theta > 2/15$, o comportamento falha para certos valores "excepcionais" de $x$ no intervalo $2/15 < \theta \le 17/30$.

O problema central é quantificar o tamanho desse conjunto excepcional $E_\delta(X, \theta)$, definido como o conjunto de $x \in [X, 2X]$ onde o TNP falha por um erro relativo $\delta$. Os autores visam determinar o expoente $\mu(\theta)$ tal que a medida de Lebesgue do conjunto excepcional satisfaça $|E_\delta(X, \theta)| \ll X^{\mu(\theta)+o(1)}$. Um valor de $\mu(\theta) < 1$ implica que o TNP vale para quase todo $x$, enquanto $\mu(\theta) = -\infty$ implica que vale para todo $x$.

Metodologia
Os autores estabelecem uma conexão rigorosa entre estimativas de densidade de zeros da função zeta de Riemann e os limites no expoente do conjunto excepcional $\mu(\theta)$.

1. Fórmula Explícita e Estimativas de Momentos: A estratégia de prova baseia-se na fórmula explícita para $\sum \Lambda(n)$. Os autores decompõem o termo de erro em contribuições provenientes dos zeros não triviais $\rho = \beta + i\gamma$ de $\zeta(s)$. Eles analisam a magnitude dessas contribuições utilizando estimativas de momentos $L^\infty$, $L^2$ e $L^4$.
2. Densidade de Zeros e Energia Aditiva:
   • O teorema padrão de densidade de zeros fornece limites para $N(\sigma, T)$, o número de zeros com parte real $\ge \sigma$ e parte imaginária $\le T$. O expoente $A(\sigma)$ é definido de modo que $N(\sigma, T) \ll T^{A(\sigma)(1-\sigma)+\varepsilon}$.
   • Crucialmente, os autores incorporam limites sobre a energia aditiva dos zeros, denotada por $N^*(\sigma, T)$, que conta quádruplas de zeros $(\rho_1, \dots, \rho_4)$ tais que $|\gamma_1 + \gamma_2 - \gamma_3 - \gamma_4| \le 1$. O expoente associado é $A^*(\sigma)$.
3. Derivação de Limites: Ao aplicar a fórmula explícita e limitar as somas resultantes via normas $L^2$ e $L^4$, os autores derivam dois limites superiores concorrentes para a contribuição dos zeros em uma faixa específica de parte real $[\sigma, \sigma+\epsilon]$:
   • Um limite derivado do segundo momento envolvendo $A(\sigma)$: $\mu_{2,\sigma}(\theta) = (1-\theta)(1-\sigma)A(\sigma) + 2\sigma - 1$.
   • Um limite derivado do quarto momento envolvendo $A^*(\sigma)$: $\mu_{4,\sigma}(\theta) = (1-\theta)(1-\sigma)A^*(\sigma) + 4\sigma - 3$.
4. Otimização: O limite final para $\mu(\theta)$ é obtido tomando o ínfimo sobre $\varepsilon$ e o supremo sobre $\sigma$ do mínimo dessas duas quantidades, sujeito à restrição de que a densidade de zeros seja suficientemente alta ($A(\sigma) \ge \frac{1}{1-\theta} - \varepsilon$).

Principais Contribuições

• Teorema 1.2 (Limite Geral): O artigo estabelece uma fórmula geral relacionando $\mu(\theta)$ ao expoente de densidade de zeros $A(\sigma)$. Isso recupera resultados anteriores, como a condição para o TNP valer para todo $x$ ($\theta > 1 - 1/A_0$) e para quase todo $x$ ($\theta > 1 - 2/A_0$).
• Teorema 1.3 (Limite Refinado): A contribuição teórica primária é a inclusão do expoente de energia aditiva $A^*(\sigma)$. Os autores provam que $\mu(\theta)$ é limitado pelo mínimo dos limites derivados do segundo momento e do quarto momento. Esse refinamento permite restrições mais apertadas no conjunto excepcional, particularmente em faixas onde $A^*(\sigma)$ é significativamente menor que $3A(\sigma)$.
• Relação Explícita com Estimativas Recentes: Os autores fornecem um quadro para aplicar diretamente as estimativas de densidade de zeros mais recentes (especificamente as de Guth e Maynard, e Tao–Trudgian–Yang) para limitar o conjunto excepcional. Isso é alcançado através de uma combinação de derivação analítica e avaliação numérica assistida por computador.

Resultados

• Limites Incondicionais: Utilizando os melhores limites incondicionais atuais para $A(\sigma)$ e $A^*(\sigma)$ (resumidos nas Tabelas 1 e 2), os autores computam limites superiores explícitos para $\mu(\theta)$.
  • Para $\theta > 17/30$, o conjunto excepcional é vazio (o TNP vale para todo $x$).
  • Para $\theta > 2/15$, o conjunto excepcional tem densidade zero.
  • Na faixa intermediária, o artigo fornece limites numéricos específicos. Por exemplo, em $\theta = 17/30$, eles mostram que $\mu(17/30) \le 7/12$.
• Comparação com Trabalhos Anteriores: Os autores notam que seu método recupera os limites de Bazzanella e Perelli, mas os melhora em certas faixas ao utilizar estimativas de energia aditiva. Eles afirmam explicitamente que não puderam replicar uma afirmação específica em um trabalho anterior (Bazzanella [4]) referente à faixa $1/6 < \theta \le 1/2$, identificando uma lacuna no argumento anterior relacionada à estimativa de densidade de Jutila.
• Cenários Hipotéticos: O artigo analisa os limites sob a Hipótese de Densidade (HD), a Hipótese de Lindelöf (HL) e a Hipótese de Riemann (HR). Sob a HR, $\mu(\theta) = -\infty$ para $\theta > 1/2$. Sob a HD, os limites melhoram significativamente, embora os autores notem que, para certos $\theta$, os limites incondicionais estão surpreendentemente próximos daqueles que assumem a HD.

Significado e Alegações
O artigo alega fornecer a "relação mais explícita" entre estimativas de densidade de zeros e limites de conjuntos excepcionais até a data. Seu significado reside em:

1. Quadro Unificador: Cria um método sistemático para traduzir qualquer melhoria nas estimativas de densidade de zeros (seja $A(\sigma)$ ou $A^*(\sigma)$) diretamente em limites aprimorados no conjunto excepcional para o TNP em intervalos curtos.
2. Utilização de Energia Aditiva: Ao incorporar explicitamente a energia aditiva dos zeros ($A^*(\sigma)$), os autores demonstram que estimativas de quarto momento são necessárias para obter os limites incondicionais mais agudos conhecidos, recuperando e refinando resultados que dependiam de estimativas de densidade mais antigas e menos precisas.
3. Verificação Computacional: Os autores enfatizam que seus limites teóricos são imediatamente aplicáveis via assistência computacional, permitindo a aplicação direta dos resultados mais recentes (por exemplo, Guth–Maynard) sem a necessidade de nova maquinaria analítica para o próprio conjunto excepcional.

Os autores permanecem modestos, notando que as fórmulas exatas para os limites são complexas e provavelmente serão superadas à medida que novas estimativas de densidade de zeros forem provadas. Eles não alegam resolver o TNP em intervalos curtos para $\theta \le 2/15$, mas sim fornecer a melhor descrição quantitativa conhecida das exceções na faixa atualmente acessível.