Amplified moments of the Riemann zeta function

Resumo Técnico: Momentos Amplificados da Função Zeta de Riemann

Enunciado do Problema
A avaliação dos momentos da função zeta de Riemann, definida como $M_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$, é um problema central na teoria analítica dos números. Embora fórmulas assintóticas sejam conhecidas para $k=1$ e $k=2$ (Hardy–Littlewood e Ingham), e limites precisos existam para $k$ mais elevados (condicionados à Hipótese de Riemann para limites superiores), fórmulas assintóticas incondicionais para $k \ge 3$ permanecem fora de alcance. O objetivo primário deste trabalho é estabelecer limites inferiores efetivos, incondicionais e melhorados para os momentos clássicos $M_k(T)$ e diversos momentos conjuntos envolvendo derivadas de $\zeta(s)$. Esses limites são comparados com as conjecturas de Keating–Snaith, Keating–Wei e outros, que são motivadas pela teoria das matrizes aleatórias.

Metodologia
Os autores empregam um método de "momentos amplificados", utilizando valores médios torcidos para sondar momentos de ordem superior. A técnica central envolve a desigualdade de Hölder aplicada a integrais da forma:
$$\int_0^T |\zeta(1/2 + it)|^{2k} dt \ge \frac{\left( \int_0^T |\zeta(1/2 + it)|^4 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-4} dt \right)^{k-1}}{\left( \int_0^T |\zeta(1/2 + it)|^2 |A(1/2 + it) + \chi(1/2 + it)A(1/2 - it)|^{2k-2} dt \right)^{k-2}}$$
onde $A(s)$ é um polinômio de Dirichlet de comprimento $y = T^\theta$ (ou $T^\vartheta$ para momentos de quarta ordem) com coeficientes polinomiais suaves $P[n]$.

Componentes metodológicos principais incluem:

1. Amplificador de Duas Partes: Diferente de abordagens anteriores que utilizavam um único polinômio de Dirichlet, os autores utilizam o amplificador de "duas partes" $A(s) + \chi(s)A(1-s)$, que mimetiza a equação funcional aproximada. Isso permite uma melhor modelagem de $\zeta(s)$ e facilita o tratamento de momentos conjuntos.
2. Decomposição Binomial: A potência do amplificador é expandida usando o Teorema Binomial, separando a integral em um termo principal (contribuições diagonais) e termos oscilatórios envolvendo potências de $\chi(1-s)$.
3. Avaliação Assintótica: Os autores estabelecem fórmulas assintóticas para os segundos e quartos momentos torcidos com altas potências do amplificador. Eles provam que termos com altas potências de $\chi(1-s)$ (especificamente $\nu \ge 2$ para segundos momentos e $\nu \ge 3$ para quartos momentos) são negligenciáveis ($O(T^{1-\varepsilon})$) devido à rápida oscilação, desde que os parâmetros de comprimento do amplificador satisfaçam $\theta_k < 1/(2k)$ e $\vartheta_k < 1/(4k)$.
4. Integrais de Polítopo: Os termos principais são reduzidos a integrais de alta dimensão sobre polítopos (simplexos). Essas integrais são avaliadas explicitamente usando transformadas de Mellin e propriedades da função zeta de Riemann, resultando em expressões envolvendo a função $G$ de Barnes e fatores aritméticos.
5. Otimização: Os coeficientes do polinômio $P(x)$ são otimizados numericamente (usando Wolfram Mathematica) para maximizar os limites inferiores resultantes.

Principais Contribuições e Resultados

• Limites Inferiores Incondicionais para Momentos Clássicos:
  O artigo estabelece um novo limite inferior incondicional para o sexto momento:
  $$M_3(T) \ge (34.1 + o(1))c_3 T (\log T)^9$$
  Isso melhora os limites anteriores de Conrey–Ghosh, Soundararajan e Page, aproximando-se do valor conjecturado por Keating–Snaith de $42c_3 T (\log T)^9$.

• Momentos de Derivadas:
  Novos limites inferiores incondicionais são obtidos para os sextos momentos da primeira e segunda derivadas de $\zeta(s)$:
  $$\int_0^T |\zeta'(1/2 + it)|^6 dt \ge (0.549 + o(1))c_3 T (\log T)^{15}$$
  $$\int_0^T |\zeta''(1/2 + it)|^6 dt \ge (0.0231 + o(1))c_3 T (\log T)^{21}$$
  Estes resultados melhoram os limites anteriores de Page e outros.

• Momentos Conjuntos:
  Os autores fornecem limites inferiores incondicionais para vários momentos conjuntos envolvendo $\zeta(s)$ e suas derivadas (ex: $\int |\zeta|^2 |\zeta'|^4$, $\int |\zeta|^4 |\zeta'|^2$, etc.). Esses limites estão em forte concordância com as conjecturas de Keating–Wei.

• Refinamento dos Limites de Soundararajan (Teorema 10):
  O artigo remove a suposição da Hipótese de Lindelöf dos limites de Soundararajan para $M_5(T)$ e $M_6(T)$, tornando-os incondicionais. Além disso, ao introduzir uma segunda parte ao amplificador, os autores melhoram os limites inferiores para $M_k(T)$ para $7 \le k \le 11$. Por exemplo:
  $$M_5(T) \ge (6484 + o(1))c_5 T (\log T)^{25}$$
  $$M_6(T) \ge (56260 + o(1))c_6 T (\log T)^{36}$$
  Estes resultados são derivados pela modificação dos argumentos de Soundararajan para lidar com os termos oscilatórios de forma incondicional.

• Momentos Conjuntos Gerais (Teorema 11):
  Um limite inferior incondicional geral é estabelecido para todos os momentos inteiros conjuntos de $\zeta(s)$ e suas derivadas. O limite é dado em termos de uma constante $C(a_1, \dots, a_K)$ derivada de um produto de Euler e uma derivada de uma função racional, consistente com as previsões da teoria das matrizes aleatórias.

Significância e Alegações
O artigo afirma avançar significativamente o estado do conhecimento sobre limites inferiores para momentos de zeta. Sua principal significância reside em:

1. Remoção de Suposições Condicionais: Ele remove com sucesso o requisito da Hipótese de Lindelöf para momentos de ordem superior específicos ($k=5, 6$) e fornece limites incondicionais para uma ampla gama de momentos conjuntos.
2. Melhoria de Constantes Numéricas: Os limites inferiores incondicionais derivados estão numericamente mais próximos dos valores conjecturados (Keating–Snaith, Keating–Wei) do que quaisquer resultados incondicionais anteriores.
3. Flexibilidade Metodológica: O método de momento amplificado de "duas partes" mostra-se particularmente eficaz para momentos conjuntos, superando as dificuldades computacionais associadas às integrais de polítopo para momentos mais altos ao combinar-se com as técnicas de amplificador de Soundararajan.

Os autores observam que, embora seu método produza limites fortes, o comprimento do polinômio de Dirichlet permitido diminui conforme a ordem do momento $k$ aumenta, o que limita a recuperação de certos fenômenos uniformes observados em outros frameworks (como os de Bui, Hall e Subira Jorge). No entanto, para o objetivo específico de obter limites inferiores incondicionais efetivos para momentos inteiros, a abordagem prova ser altamente bem-sucedida.