Siegel zeros and small gaps between zeros of the Riemann zeta function

Resumen Técnico: Ceros de Siegel y Brechas Pequeñas entre los Ceros de la Función Zeta de Riemann

Planteamiento del Problema
El artículo aborda la distribución vertical de los ceros no triviales de la función zeta de Riemann, $\zeta(s)$. Específicamente, investiga la existencia de "brechas pequeñas" entre las ordenadas consecutivas $\gamma_n$ y $\gamma_{n+1}$. La distribución está normalizada por el espaciamiento promedio $2\pi/\log \gamma_n$. Los autores definen la cantidad $\mu = \liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) / (2\pi/\log \gamma_n)$.

Una conjetura de larga data postula que $\mu = 0$. Aunque se asume la Hipótesis de Riemann (HR), el mejor límite inferior incondicional conocido para $\mu$ no es el problema; más bien, el artículo se centra en el límite superior. Antes de este trabajo, el mejor resultado sobre la HR era $\mu < 0.50895$ (Inoue). Ha prevalecido el sentimiento de que el valor $1/2$ representa una barrera natural para $\mu$ debido a la posible existencia de ceros de Siegel (ceros reales excepcionales de las funciones $L$ de Dirichlet). Trabajos previos de Heath-Brown y Conrey–Iwaniec sugirieron que, si existen ceros de Siegel, estos podrían imponer una rigidez en los ceros de zeta, impidiendo que ocurran con frecuencia brechas menores a $1/2$ (la "Hipótesis Alternativa").

Metodología
Los autores emplean el método de Montgomery–Odlyzko, que compara dos integrales ponderadas para detectar brechas pequeñas. La innovación central radica en la elección de la función "resonador" $R(t)$ y la longitud del polinomio de Dirichlet asociado.

1. Polinomios de Dirichlet Largos: Las aplicaciones tradicionales del método de Montgomery–Odlyzko están limitadas a polinomios de Dirichlet "cortos" (longitud $L \ll T$) para evitar términos fuera de la diagonal intratables que involucran correlaciones aditivas de coeficientes. Este artículo rompe esta barrera mediante la utilización de polinomios de Dirichlet largos con una longitud $L \approx T^{17/14}$.
2. Construcción del Resonador: El resonador se elige como $R(t) = \sum_{n \le L} \chi(n)G(n)n^{-1/2-it}$, donde $\chi$ es un carácter de Dirichlet cuadrático primitivo asociado con un cero de Siegel. Los coeficientes involucran un peso suave $G(n)$ y el carácter $\chi$.
3. Manejo de los Términos Fuera de la Diagonal: El principal desafío técnico es estimar las correlaciones fuera de la diagonal $\sum \chi(m)\chi(km+r)$ y $\sum \Lambda(k)\chi(km+r)$. Los autores desarrollan un nuevo esquema para manejar estas correlaciones con términos de error de ahorro de potencia (power-saving error terms), dividiendo el análisis en tres regímenes basados en el tamaño de la variable prima $k$:
   • $k$ pequeño: Manejado mediante límites en sumas de correlación usando el Lema 4 (una extensión del trabajo de Heath-Brown).
   • $k$ intermedio: Abordado mediante estimaciones de segundo momento para sumas de caracteres desplazados (Cauchy–Schwarz combinado con técnicas del problema del divisor aditivo).
   • $k$ grande: Resuelto mediante la separación de variables en $\chi(km+r)$ vía inversión de Fourier (sumas de Jacobi generalizadas) y la aplicación de estimaciones de densidad de ceros para las funciones $L$ de Dirichlet (específicamente la estimación de Chen–Gupta–Li) para acotar la suma sobre los caracteres.

Resultados Clave
El artículo establece su teorema principal bajo la suposición de la Hipótesis de Riemann:

Teorema 1: Suponga la HR y que existe una secuencia excepcional de ceros de Siegel con una calidad $E = \inf_j E_j$ suficientemente grande. Entonces:
$$\mu < 0.4733$$
Específicamente, los autores demuestran que $\liminf_{n\to\infty} (\gamma_{n+1} - \gamma_n) \frac{\log \gamma_n}{2\pi} < 0.4733$.

Corolario 2: Bajo las mismas suposiciones, no puede existir una distribución asintótica donde las brechas normalizadas estén restringidas al conjunto $\frac{1}{2}\mathbb{Z}_{\ge 1} + o(1)$. Esto refuta una forma fuerte de la "Hipótesis Alternativa" que postula que los ceros de Siegel fuerzan a que casi todas las brechas sean semienteros.

Significancia y Reivindicaciones
Los autores afirman que su resultado es sorprendente porque demuestra que los ceros de Siegel no actúan como una barrera para probar $\mu < 1/2$; más bien, la existencia de tales ceros puede utilizarse para probar la existencia de brechas menores que $1/2$.

• Refutación de Hipótesis Alternativas Fuertes: El resultado refuta la idea de que los ceros de Siegel implican una distribución rígida donde casi todas las brechas son $\ge 1/2$. En su lugar, muestra que si existen ceros de Siegel, debe haber un agrupamiento de ceros con brechas normalizadas estrictamente menores a $0.4733$.
• Avance Metodológico: El artículo destaca que la limitación del método de Montgomery–Odlyzko para $\mu < 0.508$ se debió a la restricción a polinomios cortos. Al gestionar con éxito los términos fuera de la diagonal de polinomios largos (longitud $T^{17/14}$) utilizando los ceros de Siegel para estructurar los coeficientes, los autores superan esta barrera computacional.
• Matiz Técnico: Los autores aclaran que su resultado no contradice a Heath-Brown o Conrey–Iwaniec. Esos trabajos establecieron que los ceros de Siegel implican pocas brechas menores que $1/2$ (un resultado de proporcionalidad cuantitativa). Este trabajo establece la existencia de al menos una brecha menor que $0.4733$ (un resultado de $\liminf$) sin afirmar una proporción positiva de dichas brechas.

El artículo concluye que, si bien los ceros de Siegel siguen siendo una barrera para establecer una proporción positiva de brechas pequeñas (debido a la necesidad de momentos superiores que restringen aún más la longitud del polinomio), no son una barrera para establecer la existencia de brechas por debajo de $1/2$. Los autores señalan que refinamientos adicionales en la elección de coeficientes o en las estimaciones de densidad de ceros (por ejemplo, la Hipótesis de Densidad) podrían potencialmente reducir el límite, quizás a $\mu < 0.467$, pero el trabajo actual se centra en el mecanismo de usar los ceros de Siegel para romper la barrera de $1/2$.