Oscillation of partial sums of the Möbius function and zeros of Riemann's zeta function

En el vasto paisaje de las matemáticas, existe una única pregunta que ha perseguido a los estudiosos durante casi dos siglos: ¿cómo se distribuyen los números primos? Los primos son los bloques de construcción de la aritmética, los átomos indivisibles a partir de los cuales se construyen todos los demás números enteros. Aunque parecen aparecer al azar, los matemáticos han sospechado durante mucho tiempo la existencia de un orden oculto bajo el caos. Este orden está codificado en un objeto matemático complejo conocido como la función zeta de Riemann. El comportamiento de esta función, específicamente la ubicación de sus "ceros" —puntos donde el valor de la función cae a cero— dicta el ritmo de los primos. Si estos ceros se encuentran en una línea específica, los primos siguen un patrón predecible; si se desvían, el patrón se vuelve errático. Durante más de cien años, la conexión entre estos ceros y los errores en nuestras predicciones de los números primos ha sido un misterio central, impulsando parte del trabajo más profundo en la teoría de números.

Un artículo reciente del matemático János Pintz aborda un aspecto específico y difícil de este misterio: el comportamiento de las sumas parciales de la función de Möbius. Para entender esto, imagine un recuento acumulativo donde se suma o resta uno por cada número basándose en sus factores primos. Este recuento, conocido como la función de Mertens, es un barómetro sensible para la distribución de los primos. Durante décadas, los matemáticos han intentado predecir qué tan alto o bajo puede oscilar este recuento. Una famosa conjetura sugirió una vez que el recuento nunca excedería la raíz cuadrada del número que se está contando, pero esto fue demostrado falso en la década de 1980. La pregunta que quedaba no era solo sobre el tamaño de estas oscilaciones, sino sobre su relación precisa con los ceros de la función zeta. ¿Coincide el tamaño promedio de estas oscilaciones con el tamaño de la oscilación individual más grande? ¿Y coinciden ambos con el máximo teórico predicho por los ceros?

El trabajo de Pintz proporciona una respuesta definitiva a estas preguntas, estableciendo un vínculo riguroso entre el comportamiento errático de la función de Möbius y la geometría de los ceros de la función zeta. El artículo demuestra que la magnitud promedio de las oscilaciones de la función de Möbius y la magnitud máxima de esas oscilaciones son, a largo plazo, asintóticamente equivalentes en su orden logarítmico. Más importante aún, el autor demuestra que ambos valores están determinados con alta precisión por una función real derivada de la distribución de los ceros de la función zeta. En términos más sencillos, el artículo muestra que el "ruido" de los números primos no es un caos aleatorio, sino que está estrechamente controlado por la posición del cero más dominante. Este hallazgo unifica dos formas diferentes de medir el error en las predicciones de los números primos —el error promedio y el error del peor de los casos— mostrando que crecen al mismo ritmo y están gobernados por la misma fuerza subyacente.

La investigación se basa en un siglo de esfuerzo, refinando resultados anteriores que solo habían establecido conexiones laxas o que trabajaban bajo supuestos estrictos. Trabajos previos habían demostrado que si los ceros de la función zeta permanecen dentro de una cierta región, el error en el conteo de primos se mantiene pequeño. Sin embargo, la pregunta inversa —si el tamaño del error nos dice exactamente dónde están los ceros— era mucho más difícil de resolver. El artículo de Pintz aborda esto demostrando que las tasas de crecimiento de los errores promedio y máximos son asintóticamente equivalentes a las tasas de crecimiento predichas por los ceros. Al desarrollar nuevas técnicas para manejar las singularidades matemáticas que surgen al trabajar con el recíproco de la función zeta, el autor pudo demostrar que la relación es una equivalencia asintótica precisa en términos de orden logarítmico, lo que significa que la razón de sus logaritmos se aproxima a 1. El artículo confirma que el valor máximo que alcanza la función de Möbius en un rango dado y el valor promedio que mantiene en ese mismo rango comparten la misma tasa de crecimiento logarítmico. Esto significa que, a medida que observamos números cada vez más grandes, la diferencia entre el comportamiento típico y el comportamiento extremo desaparece en un sentido logarítmico, incluso si los valores themselves no se vuelven idénticos.

Una parte crucial de este logro implica lidiar con el caso en el que los ceros podrían situarse muy cerca de la línea crítica que separa el orden del caos. El artículo aborda el escenario en el que los ceros están lo más a la derecha posible sin romper las leyes matemáticas conocidas. En este caso difícil, el autor demuestra que los valores promedio y máximos todavía convergen a la misma predicción derivada de los ceros. Este resultado es significativo porque elimina la necesidad de regiones abstractas y complejas de "espacio libre de ceros" para hacer estas predicciones. En su lugar, el artículo muestra que simplemente se puede observar la suma de las contribuciones de todos los ceros para comprender el comportamiento de la función. El autor establece que la suma de estas contribuciones, la contribución individual máxima y los valores observados de la función crecen al mismo ritmo.

El artículo también aclara la relación entre la función de Möbius y el término de error del teorema de los números primos, que cuenta la cantidad de primos hasta un determinado punto. Aunque estos son dos objetos matemáticos diferentes, Pintz muestra que sus comportamientos oscilatorios son casi idénticos. Se demuestra que la desviación máxima y la desviación promedio para el error de conteo de primos y la suma de Möbius están gobernadas por la misma función de los ceros de la función zeta. Esto implica una unidad estructural profunda en cómo fluctúan los primos y sus funciones relacionadas. El trabajo no depende de hipótesis no probadas como la propia Hipótesis de Riemann; más bien, se mantiene válido independientemente de dónde se encuentren realmente los ceros, siempre que estén dentro de los límites conocidos. Los resultados se demuestran matemáticamente, no mediante simulaciones o sugerencias, ofreciendo una base sólida para comprender los límites de la distribución de los números primos.

Al final, este artículo resuelve una ambigüedad de larga data sobre la naturaleza de estas oscilaciones matemáticas. Confirma que el escenario del "peor de los casos" para la distribución de los primos no es significativamente peor que el escenario "promedio" cuando se observa a través del lente del crecimiento logarítmico. Ambos están dictados por la misma geometría subyacente de la función zeta. El trabajo sirve como una poderosa confirmación de que las fluctuaciones aparentemente aleatorias de los números primos son, de hecho, un fenómeno altamente estructurado, estrechamente ligado a la ubicación de los ceros de la función zeta de Riemann. Al demostrar que los órdenes de magnitud promedio y máximos coinciden en su crecimiento logarítmico, el artículo proporciona un mapa más claro y preciso del terreno donde habitan los primos, mostrando que los extremos y lo cotidiano son dos caras de la misma moneda.