A Gaussian-Perron Prime-Side Defect and Local Profiles Near Critical-Line Zeros of the Riemann Zeta Function

Resumo Técnico: Um Defeito de Lado de Primos Gaussiano–Perron e Perfis Locais Próximos a Zeros na Linha Crítica

Enunciado do Problema
O artigo aborda a geometria local dos zeros não triviais da função zeta de Riemann, $\zeta(s)$, especificamente nas proximidades de um zero selecionado $\rho_0$. Enquanto a Hipótese de Riemann (RH) e propriedades de monotonicidade horizontal relacionadas dizem respeito ao comportamento global da derivada logarítmica completada $\xi'/\xi$, este trabalho foca na construção de uma ferramenta de diagnóstico local. O objetivo é isolar a contribuição de um único zero da "nuvem" de outros zeros e contribuições de potências de primos usando uma força suavizada do lado dos primos. A questão central é se uma aproximação de campo de primos suavizada pode ser construída de tal forma que o defeito entre este campo e a derivada logarítmica real $\zeta'/\zeta$ revele um perfil local universal próximo a um zero na linha crítica, com todas as contribuições não selecionadas sendo exponencialmente suprimidas.

Metodologia
O autor introduz um defeito de força de primos Gaussiano–Perron, denotado por $\Delta_{X,\alpha}(s)$, definido como:
$$\Delta_{X,\alpha}(s) = \left(\sigma - \frac{1}{2}\right) \text{Re}\left( P_{X,\alpha}(s) - \frac{\zeta'}{\zeta}(s) \right)$$
onde $P_{X,\alpha}(s)$ é um campo de primos suavizado por Gauss construído via uma integral de contorno envolvendo o núcleo $H_{X,\alpha}(z) = X^z \exp(\alpha^2 Y z^2)$ com $Y = \log X$.

A metodologia procede através dos seguintes passos analíticos:

1. Representação do Lado de Primos: Mostra-se que o campo suavizado $P_{X,\alpha}(s)$ corresponde a uma soma ponderada sobre potências de primos, onde os pesos são dados pela função erro complementar, $WX,\alpha(n) = \frac{1}{2}\text{erfc}\left(\frac{\log n - \log X}{2\alpha\sqrt{Y}}\right)$. Isso fornece um corte de decaimento rápido centrado em $n=X$.
2. Deslocamento de Contorno e Fórmula Explícita: Ao deslocar o contorno da representação integral de $P_{X,\alpha}(s)$ de $\text{Re}(z) = c$ para $\text{Re}(z) = -d$, o autor deriva uma fórmula explícita para o defeito. Esta fórmula decompõe o defeito em contribuições de:
   • Zeros não triviais ($\rho$) dentro da faixa $-d < \text{Re}(\rho-s) < c$.
   • O polo em $s=1$.
   • Zeros triviais em inteiros pares negativos.
   • Um resto de integral de contorno deslocado.
3. Escala de Escalonamento Local: A análise é conduzida na escala local logarítmica $s = \rho_0 + \lambda / \log X$, onde $\rho_0$ é um zero simples fixo e $\lambda = a + ib$ é um parâmetro complexo.
4. Amortecimento Anisotrópico: Uma ferramenta analítica fundamental é o funcional de amortecimento Gaussiano $Q_\alpha(\rho'; \rho_0) = \text{Re}(\rho' - \rho_0) + \alpha^2 \text{Re}((\rho' - \rho_0)^2)$. Este funcional determina a taxa de decaimento exponencial das contribuições de zeros não selecionados. O artigo estabelece que os deslocamentos verticais de $\rho_0$ são amortecidos, enquanto os deslocamentos horizontais podem aumentar o peso, necessitando de condições geométricas específicas sobre a distribuição dos zeros.

Principais Contribuições e Resultados

• Perfil de Zero Selecionado Exato: O artigo deriva uma fórmula exata para a contribuição de um único zero selecionado $\rho_0$ para o defeito.

  • Caso da Linha Crítica ($\rho_0 = 1/2 + i\gamma_0$): Sob a suposição de que $\rho_0$ é simples e está na linha crítica, a contribuição do zero selecionado converge para um perfil limitado universal:
    $$L_{\rho_0, X, \alpha}(s) \sim -a \text{Re}\left(\frac{e^{-\lambda}}{\lambda}\right)$$
    onde $a = \text{Re}(\lambda)$. Este perfil é independente do parâmetro de suavização $\alpha na ordem principal.
  • Caso Fora da Linha ($\beta_0 \neq 1/2$): Para um hipotético zero fora da linha crítica, a contribuição escala linearmente com $\log X$, especificamente $O(\log X)$. Isso fornece uma distinção teórica entre zeros críticos e fora do crítico dentro deste framework de defeito.

• Teorema de Localização: O resultado principal (Teorema 7.6) estabelece que, sob a Hipótese de Riemann e condições de amortecimento específicas, o defeito total $\Delta_{X,\alpha}(s)$ próximo a um zero da linha crítica é dominado pelo perfil do zero selecionado, sendo o resto não local (contribuições de outros zeros, o polo e o contorno) exponencialmente pequeno ($O(e^{-cY})$).

  • Condições: O teorema requer uma "condição de amortecimento de polo" (um limite inferior para $\alpha$ em relação a $\gamma_0$) e "regularidade de contorno" (limites para $\zeta'/\zeta$ na linha deslocada).
  • Implicação da RH: Assumindo a RH, a condição de espaçamento de zeros é automaticamente satisfeita porque todos os zeros não triviais residem na linha $\text{Re}(s)=1/2$, garantindo que $Q_\alpha < 0$ para todo $\rho' \neq \rho_0$.

• Verificação Numérica: A Seção 8 fornece uma verificação numérica direta do defeito do lado de primos usando uma soma truncada de potências de primos. Para o primeiro zero não trivial, o defeito computado coincide com o perfil de zero selecionado de finito-$X$ teórico com alta precisão (discrepância máxima $\approx 3.4 \times 10^{-10}$), validando a derivação analítica em um regime computável.

Significância e Alegações
O artigo afirma fornecer um diagnóstico local para a geometria dos zeros associado à função zeta de Riemann. Diferente de trabalhos anteriores que estudam a monotonicidade global de $|\xi|$ ou $\text{Re}(\xi'/\xi)$, este trabalho isola o comportamento local da "força horizontal" próximo a um zero específico.

A significância reside em:

1. Desacoplamento: Separar com sucesso a contribuição de um único zero da soma global de zeros e primos usando um núcleo Gaussiano–Perron.
2. Universalidade: Demonstrar que o perfil local próximo a um zero da linha crítica é universal (independente de $\alpha$ e da altura específica do zero, desde que seja simples).
3. Potencial Diagnóstico: O framework sugere que o defeito $\Delta_{X,\alpha}$ poderia servir como uma ferramenta para detectar desvios da linha crítica (zeros fora da linha exibiriam crescimento linear em $\log X$ em vez de um perfil limitado), dependendo da capacidade de controlar o resto não local.

Os autores mantêm-se modestos quanto às aplicações, afirmando que a análise é "local e de teoria de defeitos" e focada no comportamento assintótico do defeito dentro do cenário de nível de RH. O trabalho não propõe novos algoritmos para computar zeros ou provar a Hipótese de Riemann; em vez disso, constrói um framework teórico para analisar a estrutura local dos zeros da função zeta caso eles existam.