Correlations of multiplicative functions with their partial sums

Resumo Técnico: Correlações de Funções Multiplicativas com Suas Somas Parciais

Declaração do Problema
Este artigo investiga a correlação entre funções multiplicativas e suas respectivas funções somatórias (soma parcial), focando especificamente na função de Möbius $\mu(n)$ e em sua função somatória $M(n)$ (a função de Mertens), bem como na função de Liouville $\lambda(n)$ e em sua função somatória $L(n)$. O autor define uma medida específica de correlação média logarítmica:
$$\langle a(n)A(n-1) \rangle(T) = \frac{1}{\zeta(1+\delta(T))} \sum_{n \le T^{1-c}} \frac{a(n)A(n-1)}{n^{1+\delta(T)}}$$
onde $0 < c < 1$ e $\delta(T)$ é um parâmetro adequadamente escolhido que decai à medida que $T \to \infty$. O problema central é determinar o comportamento assintótico dessas correlações sob a hipótese da Hipótese de Riemann (RH) e da Conjectura da Simplicidade dos Zeros (SZC). O estudo visa esclarecer se essas funções exibem anticorrelação com suas somas parciais e derivar implicações para a taxa de crescimento de $1/\zeta'(\rho)$, onde $\rho$ denota os zeros não triviais da função zeta de Riemann.

Metodologia
As provas baseiam-se em técnicas da teoria analítica dos números, especificamente nas fórmulas explícitas que ligam funções somatórias aos zeros de $\zeta(s)$. A metodologia procede da seguinte forma:

1. Fórmulas Explícitas: O autor utiliza fórmulas explícitas para $M(n-1)$ e $L(n-1)$ derivadas da fórmula de Perron e do cálculo dos resíduos. Sob RH e SZC, estas são expressas como somas sobre os zeros não triviais $\rho = 1/2 + i\gamma$:
   • $M(n-1) \approx \sum_{|\gamma|<T} \frac{n^\rho}{\rho \zeta'(\rho)} + \text{termos de erro}$.
   • $L(n-1) \approx \frac{n^{1/2}}{\zeta(1/2)} + \sum_{|\gamma|<T} \frac{\zeta(2\rho)n^\rho}{\rho \zeta'(\rho)} + \text{termos de erro}$.
2. Aproximações de Somas Finitas: O artigo estabelece versões finitas de identidades de séries de Dirichlet para $\mu(n)$, $\mu^2(n)$, $\lambda(n)$ e $\lambda^2(n)$ usando somação parcial. Essas aproximações incluem limites de erro explícitos dependentes de $N$ (o limite de truncamento) e $\epsilon$.
3. Expansão de Laurent e Seleção de Parâmetros: O núcleo da prova envolve a avaliação da soma ponderada $\sum \frac{a(n)A(n-1)}{n^{1+\delta}}$. O autor expande $\zeta(1+\delta)$ e $\zeta(1-\rho+\delta)$ usando séries de Laurent em torno de $\delta=0$. Um passo crítico é a construção de uma função específica $\delta(T)$ (dependente de $T$ e dos zeros $\rho$) que garante a convergência dos termos de erro enquanto isola as contribuições dominantes das somas dos zeros.
4. Análise de Limite: Ao definir o limite de truncamento $N = T^{1-c}$ e fazer $T \to \infty$, o autor isola os termos constantes e as somas sobre os zeros, demonstrando que os termos de erro desaparecem ou são limitados por $O(1/N)$.

Contribuições e Resultados Principais
O artigo apresenta dois teoremas principais descrevendo os limites assintóticos das correlações:

• Teorema 1 (Correlação de Möbius): Sob RH e SZC, a correlação entre $\mu(n)$ e $M(n-1)$ é dada por:
  $$\langle \mu(n)M(n-1) \rangle(T) = -\frac{3}{\pi^2} \left(1 - T^{(c-1)\delta(T)}\right) + \sum_{0<\gamma<T} \frac{1}{|\rho \zeta'(\rho)|^2}$$
  O resultado sugere um viés negativo (anticorrelação) dominado pelo termo $-3/\pi^2$.

• Teorema 2 (Correlação de Liouville): Sob RH e SZC, a correlação entre $\lambda(n)$ e $L(n-1)$ é dada por:
  $$\langle \lambda(n)L(n-1) \rangle(T) = \frac{1}{2} \left( \frac{1}{\zeta^2(1/2)} - 1 + T^{(c-1)\delta(T)} \right) + \sum_{0<\gamma<T} \left| \frac{\zeta(2\rho)}{\rho \zeta'(\rho)} \right|^2$$
  O termo líder $\frac{1}{2}(\frac{1}{\zeta^2(1/2)} - 1)$ é aproximadamente $-0,2655$, indicando também uma correlação negativa.

• Evidência Numérica: O artigo fornece gráficos numéricos para $N \le 10^7$ mostrando que as médias logarítmicas computadas para $\mu(n)M(n-1)$ e $\lambda(n)L(n-1)$ são robustamente negativas, alinhando-se com as previsões teóricas.

Significado e Implicações
O significado primário desses resultados reside em seus corolários relativos à magnitude da derivada da função zeta em seus zeros, $1/\zeta'(\rho)$.

• Corolário 1: Se o lado direito do Teorema 1 for negativo (como sugerido pelos dados numéricos), isso implica um limite superior efetivo:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho|) \quad \text{quando } |\gamma| \to \infty$$
• Corolário 2: Similarmente, se o lado direito do Teorema 2 for negativo, isso implica:
  $$\frac{1}{\zeta'(\rho)} = o(|\rho| \log \log |\gamma|) \quad \text{quando } |\gamma| \to \infty$$

O artigo observa que encontrar limites superiores efetivos para $1/|\zeta'(\rho)|$ é um problema aberto de longa data. Enquanto limites inferiores são bem estudados, limites superiores efetivos são menos compreendidos. O autor alerta que esses resultados numéricos devem ser interpretados com cuidado, citando o exemplo histórico da conjectura de Mertens (que foi refutada apesar de fortes evidências numéricas) para enfatizar que tendências numéricas não constituem prova. No entanto, a combinação das fórmulas assintóticas derivadas e das correlações negativas observadas sugere que limites superiores efetivos em $|1/\zeta'(\rho)|$ podem existir, fornecendo uma nova perspectiva sobre a distribuição dos zeros da função zeta.