Averages of diagonal Elliott-Halberstam problem twisted by Möbius function with Sobolev and Hölder-Zygmund weights

Resumo Técnico: Médias de Problemas de Elliott-Halberstam Diagonais com Função Möbius Torcida com Pesos de Sobolev e Hölder-Zygmund

Enunciado do Problema
O artigo investiga variantes de médias ponderadas da conjectura de Elliott-Halberstam (EH) torcida pela função Möbius, denotada por $EH_\mu(N^\theta)$. A conjectura clássica $EH_\mu$ postula que a distribuição de primos ponderados pela função Möbius em progressões aritméticas exibe um cancelamento forte, uma condição crucial para superar o "problema da paridade" em métodos de crivo. Especificamente, a conjectura afirma que, para $0 < \theta < 1$, a soma das discrepâncias entre a distribuição real de $\Lambda(n)\mu(N-n)$ em classes de resíduos e sua média esperada é limitada por $N/\log(N)^A$.

O autor observa que provar $EH_\mu(N^\theta)$ para $\theta > 1/2$, em conjunto com a conjectura de Elliott-Halberstam clássica, implica a conjectura de Goldbach binária para inteiros pares suficientemente grandes. No entanto, a formulação original envolve um máximo sobre o intervalo $y \le N$, o que complica a análise. O artigo foca em uma versão "diagonal" deste problema, denotada por $dEH_{\mu, \log}(N^\theta)$, onde a soma é restrita ao caso diagonal $n \equiv N \pmod q$ (efetivamente definindo $y=N$ e removendo o máximo sobre $y$). O objetivo primário é estabelecer limites superiores para médias ponderadas desta soma diagonal torcida, onde as funções de peso $f$ pertencem a espaços de funções específicos, demonstrando consistência com os limites conjecturados.

Metodologia
A inovação metodológica central é a aplicação de uma fórmula de somação de Abel bidimensional para "desacoplar" as funções aritméticas envolvidas na média ponderada. O artigo utiliza duas abordagens distintas dependendo da regularidade da função de peso $f$:

1. Caso Contínuo (Espaços de Sobolev): Para pesos $f$ no espaço de Sobolev $W^{2,1}$, o autor emprega uma fórmula de somação de Abel contínua bidimensional (Teorema 8). Esta identidade relaciona a média ponderada da convolução de duas funções aritméticas com a convolução de Laplace de suas fórmulas explícitas não ponderadas. Isso permite ao autor substituir as fórmulas explícitas para a função de von Mangoldt $\Lambda(n)$ e a função de Mertens $M(n)$ (envolvendo somas sobre os zeros não triviais de funções $L$) diretamente na representação integral.

2. Caso Discreto (Espaços de Hölder-Zygmund): Para pesos com menor regularidade, especificamente nos espaços de Hölder-Zygmund $C_\delta$ para $1 \le \delta < 2$, o autor emprega uma versão discreta da fórmula de somação de Abel (Teorema 9). Esta abordagem substitui a segunda derivada do peso por diferenças de avanço de segunda ordem ($\Delta^2_{1/N} f$). Esta mudança permite que a análise dependa das propriedades dos espaços de Hölder-Zygmund, que controlam o crescimento dessas diferenças finitas.

Hipóteses Principais
Os resultados são condicionais a várias hipóteses padrão e conjecturais na teoria analítica dos números:

• Hipótese de Riemann Generalizada (GRH): Assumida para as funções $L$ relevantes.
• Conjectura de Gonek-Hejhal (Versão Fraca): Especificamente, a Conjectura 19, que afirma $\sum_{0<\gamma \le T} |\zeta'(\rho)|^{-2} \ll T$. Esta é usada para garantir a convergência absoluta de séries duplas envolvendo os zeros não triviais da função zeta de Riemann e das funções $L$ de Dirichlet.
• Simplicidade de Zeros: A análise assume que os zeros não triviais de $\zeta(s)$ são simples.

Principais Contribuições e Resultados

1. Redução à Conjectura Diagonal: O artigo demonstra primeiro (Seção 2) que a conjectura diagonal $dEH_{\mu, \log}$ é suficiente para provar a conjectura de Goldbach binária, justificando o estudo desta variante específica.

2. Fórmulas Explícitas para Médias Ponderadas:

   • Pesos de Sobolev ($W^{2,1}$): O Teorema 21 fornece uma fórmula explícita truncada para a média ponderada envolvendo um peso $f \in W^{2,1}$. O termo principal é expresso como uma soma dupla sobre os zeros não triviais de $\zeta(s)$ e $L(s, \chi)$, ponderada por funções Gamma e uma integral da segunda derivada de $f$.
   • Pesos de Hölder-Zygmund ($C_\delta$): O Teorema 23 fornece uma fórmula explícita semelhante para pesos em $C_\delta$, onde a integral envolvendo $f''$ é substituída por uma soma envolvendo a segunda diferença de avanço de $f$.

3. Limites Superiores para Médias Ponderadas:

   • Caso de Sobolev: Sob GRH e a conjectura fraca de Gonek-Hejhal, o Teorema 22 estabelece que, para pesos em $W^{2,1}$, a média ponderada do problema EH diagonal torcido satisfaz o limite $\ll_\varepsilon N^{2-\varepsilon} E(f'')$ para todo o intervalo $0 < \theta < 1$ (especificamente $\theta = 1-2\varepsilon$).
   • Caso de Hölder-Zygmund: O Teorema 24 estende esses resultados para pesos em $C_\delta$. O intervalo alcançável de $\theta$ depende do parâmetro de regularidade $\delta$:
     • Para $\delta \in [3/2, 2)$, o limite satisfaz $\theta < \delta - 1 - 2\varepsilon$.
     • Para $\delta \in [1, 3/2)$, o limite satisfaz $\theta < 1/2 - 2\varepsilon$.
   • Pesos Logarítmicos: A Seção 5 estende esses resultados para o caso em que a função Möbius é multiplicada pelo logaritmo, $\mu(n)\log(n)$, mostrando limites análogos (Teoremas 26 e 28).

4. Exemplos: A Seção 6 aplica estes teoremas gerais a funções de peso específicas, incluindo pesos clássicos de Cesàro-Riesz (que pertencem à classe de Sobolev para $k>1$) e um peso específico do tipo Zygmund $f_{Zyg}(x) = (1-x)\sin(\log(1-x))$, demonstrando a aplicabilidade do arcabouço de Hölder-Zygmund.

Significância e Alegações
O artigo alega fornecer um limite superior consistente para a média ponderada do problema de Elliott-Halberstam diagonal torcido. A principal significância reside em mostrar que estes limites são consistentes com as "versões diagonais" da conjectura (onde $y=N$) sob a suposição de GRH e uma forma fraca da conjectura de Gonek-Hejhal.

O autor enfatiza que o método lida com sucesso com pesos de diferentes graus de regularidade. Ao utilizar a fórmula de somação de Abel discreta, o artigo estende a análise além dos pesos suaves de Sobolev para a classe mais ampla de funções de Hölder-Zygmund. Os resultados sugerem que a formulação "diagonal" — embora mais fraca em termos do máximo sobre $y$ — retém a força necessária para produzir o cancelamento esperado nas médias ponderadas, desde que os pesos sejam suficientemente regulares (ou que o limiar de regularidade $\theta$ seja ajustado de acordo). O trabalho não pretende provar a conjectura de Elliott-Halberstam completa ou a conjectura de Goldbach incondicionalmente, mas sim estabelecer a validade das variantes de médias ponderadas sob hipóteses analíticas padrão.