Amplified moments of the Riemann zeta function

Resumen Técnico: Momentos Amplificados de la Función Zeta de Riemann

Planteamiento del Problema
La evaluación de los momentos de la función zeta de Riemann, definida como $M_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$, es un problema central en la teoría analítica de números. Si bien se conocen fórmulas asintóticas para $k=1$ y $k=2$ (Hardy–Littlewood e Ingham), y existen cotas precisas para $k$ mayores (condicionadas a la Hipótesis de Riemann para las cotas superiores), las fórmulas asintóticas incondicionales para $k \ge 3$ siguen fuera de nuestro alcance. El objetivo principal de este trabajo es establecer cotas inferiores efectivas e incondicionales mejoradas para los momentos clásicos $M_k(T)$ y diversos momentos conjuntos que involucran derivadas de $\zeta(s)$. Estas cotas se comparan con las conjeturas de Keating–Snaith, Keating–Wei y otros, las cuales están motivadas por la teoría de matrices aleatorias.

Metodología
Los autores emplean un método de "momentos amplificados", utilizando valores medios con torsión (twisted mean values) para sondear momentos de orden superior. La técnica central consiste en la aplicación de la desigualdad de Hölder a integrales de la 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}}$$
donde $A(s)$ es un polinomio de Dirichlet de longitud $y = T^\theta$ (o $T^\vartheta$ para momentos cuartos) con coeficientes polinómicos suaves $P[n]$.

Componentes metodológicos clave:

1. Amplificador de dos piezas: A diferencia de enfoques previos que utilizaban un único polinomio de Dirichlet, los autores utilizan el amplificador de "dos piezas" $A(s) + \chi(s)A(1-s)$, el cual mimetiza la ecuación funcional aproximada. Esto permite un mejor modelado de $\zeta(s)$ y facilita el manejo de momentos conjuntos.
2. Descomposición binomial: La potencia del amplificador se expande mediante el Teorema Binomial, separando la integral en un término principal (contribuciones diagonales) y términos oscilatorios que involucran potencias de $\chi(1-s)$.
3. Evaluación asintótica: Los autores establecen fórmulas asintóticas para los segundos y cuartos momentos con torsión con potencias altas del amplificador. Demuestran que los términos con potencias altas de $\chi(1-s)$ (específicamente $\nu \ge 2$ para segundos momentos y $\nu \ge 3$ para cuartos momentos) son despreciables ($O(T^{1-\varepsilon})$) debido a la rápida oscilación, siempre que los parámetros de longitud del amplificador satisfagan $\theta_k < 1/(2k)$ y $\vartheta_k < 1/(4k)$.
4. Integrales de politopos: Los términos principales se reducen a integrales de alta dimensión sobre politopos (simplexes). Estas integrales se evalúan explícitamente utilizando transformadas de Mellin y propiedades de la función zeta de Riemann, resultando en expresiones que involucran la función $G$ de Barnes y factores aritméticos.
5. Optimización: Los coeficientes del polinomio $P(x)$ se optimizan numéricamente (usando Wolfram Mathematica) para maximizar las cotas inferiores resultantes.

Contribuciones Clave y Resultados

• Cotas Inferiores Incondicionales para Momentos Clásicos:
  El artículo establece una nueva cota inferior incondicional para el sexto momento:
  $$M_3(T) \ge (34.1 + o(1))c_3 T (\log T)^9$$
  Esto mejora las cotas previas de Conrey–Ghosh, Soundararajan y Page, aproximándose al valor conjeturado de Keating–Snaith de $42c_3 T (\log T)^9$.

• Momentos de Derivadas:
  Se obtienen nuevas cotas inferiores incondicionales para los sextos momentos de la primera y segunda derivada 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}$$
  Estos resultados mejoran las cotas previas de Page y otros.

• Momentos Conjuntos:
  Los autores proporcionan cotas inferiores incondicionales para varios momentos conjuntos que involucran $\zeta(s)$ y sus derivadas (por ejemplo, $\int |\zeta|^2 |\zeta'|^4$, $\int |\zeta|^4 |\zeta'|^2$, etc.). Estas cotas concuerdan fuertemente con las conjeturas de Keating–Wei.

• Refinamiento de las Cotas de Soundararajan (Teorema 10):
  El artículo elimina la suposición de la Hipótesis de Lindelöf de las cotas de Soundararajan para $M_5(T)$ y $M_6(T)$, haciéndolas incondicionales. Además, al introducir una segunda pieza al amplificador, los autores mejoran las cotas inferiores para $M_k(T)$ cuando $7 \le k \le 11$. Por ejemplo:
  $$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}$$
  Estos resultados se derivan modificando los argumentos de Soundararajan para manejar los términos oscilatorios de manera incondicional.

• Momentos Conjuntos Generales (Teorema 11):
  Se establece una cota inferior incondicional general para todos los momentos enteros conjuntos de $\zeta(s)$ y sus derivadas. La cota viene dada en términos de una constante $C(a_1, \dots, a_K)$ derivada de un producto de Euler y una derivada de una función racional, consistente con las predicciones de la teoría de matrices aleatorias.

Significancia y Reivindicaciones
El artículo afirma avanzar significativamente en el estado del conocimiento respecto a las cotas inferiores para los momentos de zeta. Su principal significancia radica en:

1. Eliminación de Suposiciones Condicionales: Logra eliminar el requisito de la Hipótesis de Lindelöf para momentos de orden superior específicos ($k=5, 6$) y proporciona cotas incondicionales para una amplia gama de momentos conjuntos.
2. Mejora de Constantes Numéricas: Las cotas inferiores derivadas son numéricamente más cercanas a los valores conjeturados (Keating–Snaith, Keating–Wei) que cualquier otro resultado incondicional previo.
3. Flexibilidad Metodológica: Se demuestra que el enfoque de momentos amplificados de "dos piezas" es particularmente efectivo para momentos conjuntos, superando las dificultades computacionales asociadas con las integrales de politopos para momentos superiores al combinar este método con las técnicas de amplificador de Soundararajan.

Los autores señalan que, si bien su método produce cotas fuertes, la longitud del polinomio de Dirichlet permisible disminuye a medida que aumenta el orden del momento $k$, lo que limita la recuperación de ciertos fenómenos uniformes observados en otros marcos (como los de Bui, Hall y Subira Jorge). Sin embargo, para el objetivo específico de obtener cotas inferiores efectivas e incondicionales para momentos enteros, el enfoque resulta altamente exitoso.