On the sign changes of $ψ(x)-x$

Resumo Técnico: Sobre as Mudanças de Sinal de ψ(x) −x

Autores: M. Grześkowiak, J. Kaczorowski, Ł. Pańkowski, M. Radziejewski.
Objetivo Principal: Melhorar a cota inferior para $V(T)$, o número de mudanças de sinal do termo de erro $\psi(x) - x$ na Fórmula dos Números Primos, no intervalo $[1, T]$, para $T$ grande.

1. O Problema e o Contexto Histórico

O problema central é estimar a frequência com que a função de contagem de primos $\psi(x)$ oscila em torno de $x$. Define-se $V(T)$ como o número de mudanças de sinal de $\psi(x) - x$ em $[1, T]$.
Historicamente, o limite inferior da densidade dessas oscilações, dado por $\kappa_0 = \liminf_{T \to \infty} \frac{V(T)}{\log T}$, foi objeto de estudo intenso:

• Ingham (1936): Provou que $\kappa_0 > 0$ sob uma hipótese tipo Hipótese de Riemann.
• Kaczorowski (1980s): Provou incondicionalmente que $\kappa_0 \ge \gamma_0 / (4\pi)$ e posteriormente melhorou para $\kappa_0 \ge \gamma_0 / \pi$, onde $\gamma_0 \approx 14.13$ é a parte imaginária do primeiro zero não trivial da função zeta de Riemann.
• Barreira: Quebrar a barreira de $\gamma_0 / \pi$ exigiu novas ideias. Trabalhos anteriores (como [11]) conseguiram apenas melhorias minúsculas (da ordem de $10^{-248}$).
• Trabalhos Recentes: Morrill, Platt e Trudgian provaram recentemente $\kappa_0 \ge \gamma_0/\pi + 1.867 \cdot 10^{-30}$.

O objetivo deste artigo é superar significativamente esses resultados anteriores.

2. Metodologia e Estrutura Teórica

A prova baseia-se na relação entre as oscilações de $\psi(x)$ e a densidade de zeros de uma função quase periódica analítica no semiplano superior, chamada de função $k$-normalizada:
$$F^*(z) = 1 + \sum_{n=1}^{\infty} \frac{\rho_0}{\rho_n} e^{i(\gamma_n - \gamma_0)z}$$
onde $\rho_n = \frac{1}{2} + i\gamma_n$ são os zeros não triviais da função zeta.

O teorema principal (Teorema 2) estabelece que, assumindo a Hipótese de Riemann (HR), a densidade de zeros de $F^*(z)$ (denotada por $\kappa$) satisfaz:
$$\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\kappa$$
Portanto, o problema reduz-se a encontrar uma cota inferior positiva e significativa para $\kappa$.

As duas novas ideias centrais da metodologia são:

1. Condição Suficiente Flexível para Zeros (Proposição 1):

   • Em vez de exigir que os deslocamentos $\tau$ satisfaçam uma condição uniforme estrita sobre as normas $\|\frac{\omega_n \tau}{2\pi}\|$, os autores introduzem uma condição ponderada.
   • Eles permitem alterar as fases dos termos da soma parcial $F_N(z)$ e utilizam um contorno específico para envolver um zero.
   • A condição para a existência de um zero em um contorno deslocado é dada por uma soma ponderada de funções $w_n$, permitindo maior flexibilidade na escolha dos deslocamentos $\tau$.

2. Método de "Tiling" (Ladrilhamento) para Aproximação Diofantina (Teorema 3):

   • O desafio clássico é estimar a densidade de $\tau$ tais que as combinações lineares $\frac{\omega_n \tau - \eta_n}{2\pi}$ caiam em um conjunto $A$ específico.
   • Métodos anteriores usavam o Teorema do Corpo Convexo de Minkowski, resultando em cotas de densidade muito fracas (da ordem de $2^{-N} \text{vol}(A)$).
   • Os autores desenvolvem um método de "ladrilhamento" (tiling) que preenche o hiper-cubo com uma rede densa de pontos alcançáveis. Eles mostram que o conjunto de deslocamentos válidos é equidistribuído até uma certa escala.
   • Isso permite substituir a estimativa $2^{-N} \text{vol}(A)$ pelo volume de um subconjunto $A' \subset A$, que é muito mais próximo do volume conjectural $\text{vol}(A)$.
   • A geração dessa rede densa é realizada usando uma versão dedicada do algoritmo LLL (Lenstra–Lenstra–Lovász) para encontrar combinações lineares inteiras pequenas de vetores projetados.

3. Implementação Computacional e Verificação Rigorosa

A prova não é puramente analítica; ela depende fortemente de cálculos numéricos rigorosos:

• Parâmetros: Utilizam $N=21$ (os primeiros 21 zeros não triviais).
• Ferramentas: Usam o pacote CenteredInterval da biblioteca ARB (integrada no Mathematica) para garantir precisão de ponto flutuante e controle de erros de arredondamento.
• Verificação:
  • Verificam a existência de um zero para a soma parcial $F_N(z)$ em um contorno específico $z_1(t)$.
  • Calculam limites superiores para o erro de truncamento $R_N(y)$.
  • Constroem funções $w_n$ e o conjunto $A$ definidos pela condição da Proposição 1.
  • Aplicam o Algoritmo 1 (baseado em LLL) para encontrar a matriz de coeficientes inteiros que define a rede de deslocamentos.
  • Calculam o volume do conjunto $A'$ (o conjunto de soluções "seguras" dentro de $A$) usando uma discretização fina (Lemma 3).

4. Resultados Principais

O Teorema 1 estabelece o resultado principal do artigo:

$$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$$

Onde $\gamma_0 \approx 14.1347$.

• Melhoria Quantitativa: A melhoria sobre o resultado anterior de Morrill, Platt e Trudgian ($\approx 10^{-30}$) é colossal. O termo adicional é agora $\frac{1}{60} \approx 0.0166$, o que representa um salto de várias ordens de magnitude na precisão da cota inferior.
• Densidade de Zeros: O método prova que a densidade de zeros da função $F^*(z)$ é suficientemente alta para garantir essa melhoria.

5. Significado e Impacto

• Avanço Teórico: Este trabalho representa um avanço significativo na compreensão das oscilações do erro na Fórmula dos Números Primos. Quebrar a barreira de $\gamma_0/\pi$ com uma margem tão grande (em vez de $10^{-30}$) demonstra que as oscilações são mais frequentes do que se pensava anteriormente.
• Inovação Metodológica: A combinação de análise complexa, teoria dos números (aproximação diofantina) e computação de precisão arbitrária rigorosa é um modelo para problemas futuros em teoria analítica dos números.
• Método de Ladrilhamento: A técnica de "tiling" desenvolvida para estimar a densidade de soluções em problemas de aproximação diofantina é de interesse independente e pode ser aplicada a outros problemas envolvendo funções quase periódicas e distribuições de zeros.
• Validação da Hipótese de Riemann: Embora o resultado assuma a Hipótese de Riemann para a forma final, o artigo discute que, se a HR fosse falsa (com zeros fora da linha crítica), a cota seria ainda maior, tornando o resultado incondicionalmente forte em termos de limites inferiores.

Em resumo, o artigo fornece uma prova rigorosa e computacionalmente verificada de que o termo de erro $\psi(x) - x$ muda de sinal com uma frequência significativamente maior do que o limite inferior conhecido anteriormente, utilizando uma síntese inovadora de métodos analíticos e computacionais.