Conditional Upper Bounds for Large Deviations and Moments of the Riemann Zeta Function

Aquí se presenta un resumen técnico detallado del artículo "Límites Superiores Condicionales para Grandes Desviaciones y Momentos de la Función Zeta de Riemann" de Arguin, Bailey y Roberts.

1. Planteamiento del Problema

El artículo aborda la distribución de los valores grandes de la función zeta de Riemann, $\zeta(s)$, en la línea crítica $\text{Re}(s) = 1/2$. Específicamente, busca establecer cotas superiores precisas para:

1. Grandes Desviaciones: La medida del conjunto de $t \in [T, 2T]$ donde $|\zeta(1/2 + it)|$ supera un umbral del orden $(\log T)^k$ (o equivalentemente, $\log|\zeta(1/2+it)| > V$ donde $V \sim k \log \log T$).
2. Momentos: Los momentos de orden $2k$ de $|\zeta(1/2+it)|$, definidos como $\frac{1}{T} \int_T^{2T} |\zeta(1/2+it)|^{2k} dt$.

Contexto:

• Teorema del Límite Central de Selberg establece que $\log|\zeta(1/2+it)|$ se comporta como una variable aleatoria gaussiana con varianza $\frac{1}{2}\log \log T$ para $v$ fijo.
• Soundararajan (2009) demostró que, bajo la Hipótesis de Riemann (HR), la medida de las grandes desviaciones es aproximadamente $(\log T)^{-k^2}$.
• Harper (2013) afinó la cota sobre los momentos a $\ll e^{O(k)} (\log T)^{k^2}$.
• La Brecha: Aunque existen cotas incondicionales para $k$ pequeño ($0 \le k \le 2$), extender las cotas precisas de momentos de Harper a $k$ más grandes y establecer estimaciones precisas de grandes desviaciones para el rango completo de $V \sim k \log \log T$ bajo HR seguía siendo un desafío abierto. La constante óptima en estas cotas es predicha por la conjetura de Keating-Snaith para involucrar constantes aritméticas y geométricas ($a_k g_k$) que decaen rápidamente cuando $k \to \infty$.

2. Metodología

Los autores emplean un enfoque probabilístico sofisticado que combina la cota puntual condicional de Soundararajan con un esquema recursivo desarrollado previamente en [ABR20].

A. Cota Puntual de Soundararajan

La prueba se basa en la Proposición 1.3 (Soundararajan), que establece que bajo HR, para un parámetro $x$, $\log|\zeta(1/2+it)|$ está acotado por la parte real de un polinomio de Dirichle más un término de resto:
$$\log |\zeta(1/2+it)| \le \text{Re} \sum_{n \le x} \frac{a(n)\Lambda(n)}{n^{\sigma+it}\log n} + \text{Error}$$
El desafío es elegir $x$ lo suficientemente grande para capturar la contribución principal a los momentos mientras se mantiene el control sobre el polinomio de Dirichlet para probar el comportamiento gaussiano.

B. El Esquema Recursivo (Descomposición de Eventos)

La innovación central es la descomposición del evento "malo" $H = \{ \log|\zeta(1/2+i\tau)| > V \}$ en una suma de eventos "buenos" $G_\ell$.

1. Puntos de Control: El intervalo $[T, 2T]$ se analiza a través de una secuencia de puntos de control $T_\ell = T^{\beta_\ell}$, donde $\beta_\ell$ decae exponencialmente.
2. Sumas Parciales: En cada punto de control, los autores definen sumas parciales $S^{(j)}_\ell$ del polinomio de Dirichlet. Estas sumas se modelan como caminatas aleatorias con índice de tiempo $t_\ell = \log \log T_\ell$.
3. Eventos Buenos ($G_\ell$): El evento $G_\ell$ restringe las sumas parciales para que permanezcan dentro de un "tubo" alrededor de una interpolación lineal del valor objetivo $V$. Específicamente, $S^{(j)}_\ell \in [L_\ell, U_\ell]$, donde las barreras son:
   $$L_\ell = \kappa \log \log T_\ell - c_\ell, \quad U_\ell = \kappa \log \log T_\ell + c_\ell$$
   Aquí, $\kappa = V / \log \log T$ es el gradiente, y $c_\ell$ representa las fluctuaciones permitidas (ancho de la barrera).
4. Ancho de la Barrera: Una elección técnica crítica es el ancho $c_\ell = \beta_\ell^{-\gamma}$ (con $\gamma = 1/25$). Este ancho se estrecha a medida que $\ell$ aumenta, forzando a la caminata aleatoria a mantenerse cerca de la tendencia lineal requerida para alcanzar la gran desviación $V$.

C. Técnicas de Estimación

Para acotar la probabilidad del evento $H \cap (G_{\ell-1} \setminus G_\ell)$ (es decir, la caminata sale del tubo en el paso $\ell$), los autores dividen el análisis en:

• Barrera Superior: Usando cotas de unión y estimaciones de cola gaussiana para los incrementos de los polinomios de Dirichlet.
• Barrera Inferior (La Novedad): Esta es la parte más difícil. Los autores utilizan la cota de Soundararajan (Proposición 1.3) para relacionar la cola de $\log|\zeta|$ con las sumas parciales. Condicionan la posición en el paso $\ell$ y muestran que si la suma cae por debajo de la barrera inferior, la cola restante de la función zeta no puede compensar para alcanzar la altura total $V$. Esto implica un análisis cuidadoso de la discrepancia entre diferentes abscisas ($\sigma_j$ vs $\sigma_m$) en las sumas de Dirichlet.
• Momentos de Polinomios de Dirichlet: Las pruebas utilizan estimaciones de momentos (Apéndice A) comparando polinomios de Dirichlet con variables aleatorias de Steinhaus independientes (fases aleatorias) para aproximar el comportamiento gaussiano.

3. Contribuciones Clave

1. Cota Condicional de Grandes Desviaciones: El artículo demuestra el Teorema 1.1, estableciendo que bajo HR, para $V \sim k \log \log T$:
   $$\frac{1}{T} \text{med} \{ t \in [T, 2T] : \log|\zeta(1/2+it)| > V \} \le C_k \frac{e^{-V^2 / \log \log T}}{\sqrt{\log \log T}}$$
   donde $C_k = \exp(e^{ck})$. Esto confirma que las fluctuaciones gaussianas se extienden al régimen de grandes desviaciones para todo el rango de $V \sim k \log \log T$.
2. Cotas Precisas de Momentos: Al integrar la cota de grandes desviaciones, los autores recuperan la cota de Harper para los momentos de orden $2k$ (Corolario 1.2):
   $$\frac{1}{T} \int_T^{2T} |\zeta(1/2+it)|^{2k} dt \ll e^{eck} (\log T)^{k^2}$$
   Esto se cumple para $k \ge 2$ (anteriormente conocido para $k < 2$ incondicionalmente y $k \ge 2$ condicionalmente pero con constantes menos precisas).
3. Esquema Recursivo Refinado: El artículo mejora el esquema [ABR20] manejando el problema de la "barrera inferior" de manera más efectiva utilizando la cota de Soundararajan, permitiendo $k$ más grandes y un control más estricto sobre la truncación del polinomio de Dirichlet.
4. Aplicaciones en Intervalos Cortos: Los resultados se extienden a intervalos cortos de longitud $(\log T)^\gamma$, proporcionando cotas superiores condicionales para el máximo de $|\zeta|$ y sus momentos en estos intervalos (Corolarios 3.1 y 3.2).

4. Resultados Principales

• Teorema 1.1: Proporciona la cota superior condicional para la medida de valores grandes. La tasa de decaimiento coincide con la predicción gaussiana $e^{-V^2 / \log \log T}$, confirmando el comportamiento de "cola gaussiana" incluso para grandes desviaciones.
• Corolario 1.2: Establece la cota de momentos $\ll e^{O(k)} (\log T)^{k^2}$. Aunque la constante $C_k$ aún no es la óptima $a_k g_k$ predicha por Keating-Snaith (que decae a 0 cuando $k \to \infty$), la dependencia exponencial en $k$ está controlada, y la potencia de $\log T$ es exactamente $k^2$.
• Corolarios 3.1 y 3.2: Extienden estas cotas a intervalos cortos, mostrando que el máximo de $|\zeta|$ en intervalos de longitud $(\log T)^\gamma$ está acotado por $(\log T)^{\sqrt{1+\gamma}}$ (hasta factores logarítmicos), condicionado a la HR.

5. Significado

• Validación de Heurísticas Gaussianas: El trabajo proporciona evidencia rigurosa de que el Teorema del Límite Central gaussiano para $\log|\zeta|$ es robusto y se extiende al régimen de grandes desviaciones, un resultado no trivial dada la naturaleza aritmética de la función zeta.
• Avance en el Problema de los Momentos: Empuja la frontera de las cotas de momentos conocidas bajo la Hipótesis de Riemann. Aunque la constante óptima sigue siendo esquiva (requiriendo el control de primos en el rango de $T^{1/k^2}$ a $T^{1/k}$), este artículo reduce significativamente la brecha.
• Impacto Metodológico: El esquema recursivo combinado con la cota de Soundararajan ofrece un nuevo y potente conjunto de herramientas para analizar valores extremos de funciones $L$. Sugiere que técnicas similares podrían aplicarse a otras familias de funciones $L$ para derivar estimaciones precisas de grandes desviaciones.
• Intervalos Cortos: La extensión a intervalos cortos es crucial para comprender el comportamiento local de la función zeta, lo cual es relevante para la conjetura de Fyodorov-Hiary-Keating sobre el máximo de la función zeta.

En resumen, este artículo representa un paso significativo hacia adelante en la teoría analítica de números de la función zeta de Riemann, cerrando con éxito la brecha entre las estimaciones clásicas de momentos y el comportamiento conjeturado de las grandes desviaciones bajo la suposición de la Hipótesis de Riemann.