On the sign changes of $ψ(x)-x$

Resumen Técnico: Cambios de signo de $\psi(x) - x$

1. El Problema

El objetivo central del artículo es mejorar la cota inferior para $V(T)$, que representa el número de cambios de signo del término de error $\psi(x) - x$ en el Teorema de los Números Primos dentro del intervalo $[1, T]$, para $T$ grande.

La función $\psi(x) = \sum_{n \le x} \Lambda(n)$ es la función de Chebyshev. El comportamiento oscilatorio de $\psi(x) - x$ está intrínsecamente ligado a la distribución de los ceros no triviales de la función zeta de Riemann, $\zeta(s)$.

El problema histórico consiste en estimar la constante:
$$\kappa_0 := \liminf_{T \to \infty} \frac{V(T)}{\log T}$$
Anteriores resultados habían establecido cotas basadas en la parte imaginaria del primer cero no trivial, $\gamma_0 \approx 14.1347$.

• Ingham (1936): Probó que $\kappa_0 > 0$ bajo hipótesis de Riemann generalizadas.
• Kaczorowski (1980s): Demostró $\kappa_0 \ge \gamma_0 / (4\pi)$ y luego $\k_0 \ge \gamma_0 / \pi$.
• Mejoras recientes: Se logró romper la barrera de $\gamma_0/\pi$ con mejoras minúsculas (ej. $+ 1.867 \cdot 10^{-30}$).

El teorema principal de este trabajo supera todas las cotas anteriores.

2. Teorema Principal (Teorema 1)

Los autores demuestran que:
$$\liminf_{T \to \infty} \frac{V(T)}{\log T} \ge \frac{\gamma_0}{\pi} + \frac{1}{60}$$
donde $\gamma_0$ es la ordenada del cero no trivial más bajo de la función zeta de Riemann.

Este resultado es condicional a la Hipótesis de Riemann (HR) para su demostración directa, aunque los autores argumentan que si la HR es falsa, la cota sería aún mayor debido a la existencia de ceros fuera de la línea crítica.

3. Metodología y Enfoque Teórico

La demostración se basa en conectar los cambios de signo de $\psi(x) - x$ con la densidad de ceros de una función analítica casi periódica asociada, conocida como la función $k$ normalizada.

A. La función $F^*(z)$:
Bajo la Hipótesis de Riemann, se define:
$$F^*(z) = 1 + \sum_{n=1}^{\infty} \frac{\rho_0}{\rho_n} e^{i(\gamma_n - \gamma_0)z}$$
donde $\rho_n = 1/2 + i\gamma_n$ son los ceros de $\zeta(s)$.
El teorema 2 establece que si $\kappa$ es la densidad de ceros de $F^*(z)$ en el semiplano superior, entonces:
$$\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\kappa$$
Por lo tanto, el problema se reduce a encontrar una cota inferior positiva y significativa para $\kappa$.

B. Estrategia de "Copias" y Aproximación Diophantina:
La idea central (introducida previamente por Kaczorowski) es:

1. Encontrar un cero $\xi_0$ de una suma parcial $F_N(z)$ (donde $N=21$ en este trabajo).
2. Utilizar la casi-periodicidad de $F(z)$ para mostrar que existen "copias" de este cero en contornos desplazados por $\tau$.
3. Contar la densidad de los desplazamientos $\tau$ que garantizan la existencia de un cero dentro de un contorno específico.

C. Innovaciones Clave:
El artículo introduce dos nuevas ideas para superar las limitaciones de los métodos anteriores (que dependían del Teorema del Cuerpo Convexo de Minkowski y daban cotas muy débiles):

1. Condición Suficiente Flexible (Proposición 1):
   En lugar de exigir que todos los términos $\| \frac{\omega_n \tau - \eta_n}{2\pi} \|$ sean uniformemente pequeños, proponen una condición ponderada:
   $$\sum_{n=1}^N w_n \left( \left\| \frac{\omega_n \tau - \eta_n}{2\pi} \right\| \right) \le 1$$
   Esto permite una mayor flexibilidad en la selección de los desplazamientos $\tau$, utilizando funciones $w_n$ no decrecientes derivadas de un análisis detallado del argumento de la función en un contorno.

2. Método de "Tiling" (Baldosas) (Teorema 3):
   Para estimar la densidad de los $\tau$ que satisfacen la condición anterior, reemplazan la estimación volumétrica clásica ($2^{-N} \text{vol}(A)$) por una estimación basada en el volumen de un subconjunto $A' \subset A$.

   • Utilizan un retículo denso generado por vectores $v_k$ en el espacio de fases.
   • Demuestran que los puntos del retículo están equidistribuidos módulo 1 hasta una escala determinada por la "granularidad" del retículo.
   • El método llena el hipercubo con "baldosas" (células del retículo) alineadas, minimizando las pérdidas en los bordes. Esto permite que la densidad estimada sea mucho más cercana al valor conjetural $\text{vol}(A)$.

4. Implementación Computacional y Verificación Rigurosa

La parte computacional es fundamental para la validez del resultado, dado el alto grado de precisión requerido:

• Parámetros: Se utiliza $N=21$ (primeros 21 ceros no triviales).
• Contorno: Se define un contorno poligonal $z_1(t)$ específico en el semiplano superior, diseñado para rodear el cero de mayor parte imaginaria de la suma parcial modificada $F_N^\eta(z)$.
• Cálculo de Ceros: Se utilizan estimaciones de alta precisión de los ceros de Riemann de la biblioteca Flint (que incorpora ARB), verificadas contra Mathematica y los datos de Odlyzko.
• Verificación Formal:
  • Se utiliza el paquete CenteredInterval de Mathematica (basado en aritmética de bolas de la biblioteca ARB) para realizar cálculos con intervalos rigurosos, garantizando que los errores de redondeo no invaliden la prueba.
  • Se verifica que la parte real de la función en el contorno sea estrictamente positiva (o negativa) menos el error de truncamiento $R_N(y)$.
  • Se aplica el Algoritmo 1 (una variante del algoritmo LLL) para encontrar combinaciones lineales enteras pequeñas de los vectores proyectados, generando el retículo necesario para el método de tiling. Se usa un límite de coeficientes de $10^{300}$.

5. Resultados Cuantitativos

• Cota de Densidad: Mediante el método de tiling y la verificación computacional, los autores demuestran que el volumen del conjunto de soluciones válidas $A'$ satisface:
  $$\frac{2}{\delta} \text{vol}(A') > \frac{1}{60}$$
  donde $\delta$ es el ancho del contorno.
• Conclusión: Esto implica $\kappa \ge \frac{1}{120}$, y por lo tanto:
  $$\kappa_0 \ge \frac{\gamma_0}{\pi} + 2\left(\frac{1}{120}\right) = \frac{\gamma_0}{\pi} + \frac{1}{60}$$

6. Significado e Impacto

1. Ruptura de la Barrera: Este es el primer resultado que mejora significativamente la cota $\gamma_0/\pi$ de manera sustancial (de $10^{-30}$ a $1/60 \approx 0.016$).
2. Nuevas Herramientas: El "método de tiling" y la condición de suma ponderada para la existencia de ceros en funciones casi periódicas son contribuciones independientes de valor teórico, aplicables más allá de este problema específico.
3. Precisión Computacional: El trabajo demuestra cómo la combinación de teoría analítica de números, geometría de números (retículos) y verificación computacional rigurosa puede resolver problemas abiertos de larga data en el análisis de oscilaciones de funciones aritméticas.
4. Relación con la Hipótesis de Riemann: Aunque el resultado principal asume la HR para la definición de los ceros, los autores notan que si la HR es falsa, la cota inferior sería aún más grande, lo que refuerza la robustez del resultado.

En resumen, el artículo representa un avance mayor en la comprensión de las oscilaciones del término de error en el Teorema de los Números Primos, superando décadas de estancamiento mediante una síntesis innovadora de análisis complejo, teoría de aproximación y computación de alta precisión.