En el río infinito de los números enteros, donde se arremolinan los números primos, los matemáticos llevan siglos tamizando la arena en busca de pepitas de oro: los ceros de las funciones L. Estos objetos misteriosos, descubiertos por Riemann en 1859, como una mano invisible gobiernan la distribución de los números primos. La famosa hipótesis de Riemann afirma que todos los ceros no triviales se encuentran sobre una única recta vertical: la línea crítica. Sin embargo, para familias enteras de funciones L se puede capturar la estadística: ¿qué fracción de ceros cae exactamente sobre esta veta dorada? Precisamente a esta pregunta responde el nuevo trabajo, aplicando una técnica sofisticada de espectroscopía: el análisis de la distribución de ceros a través de su comportamiento promedio.

La herramienta de captura es el método de Levinson, una manera ingeniosa de «sopesar» los ceros añadiendo a la función L un suavizador especial (un multiplicador que amortigua las oscilaciones indeseadas cerca de la recta crítica). Pero el verdadero avance está en la construcción de un tamiz colosal. Los científicos promedian las funciones L no individualmente, sino sobre una familia de caracteres de Dirichlet, torciendo la función de manera análoga al corrimiento al rojo Doppler. Surge así el tamiz grande asintótico: la aplicación repetida de la interferometría de caracteres, como sumar ondas de radio de múltiples antenas, permite resaltar la débil señal de la recta crítica. La sutileza radica en que los coeficientes aritméticos de las funciones L son extremadamente irregulares, y sin hipótesis no comprobadas el enfoque clásico se derrumba. Los autores superaron esto desmenuzando a mano la finísima estructura de los coeficientes mediante simulación numérica en Mathematica — un auténtico telescopio Hubble hacia el mundo de las representaciones automórficas.

El resultado es asombroso: para las representaciones autoduales del grupo PGL(3) al menos 1/9 de todos los ceros caen en la recta crítica. Aunque los matemáticos no hayan capturado todo el mineral de oro, ¡una novena parte ya es una pesca enorme! Para PGL(2) la proporción es mayor, 1/3, que replica exactamente el resultado clásico de Levinson para la función zeta. Más aún, se demuestra una fórmula asintótica para el valor cuadrático medio torcido de las funciones L con un error sin precedentes del orden O($Q^{7/4+ε}$). Funciona en el rango Q^ε ≤ T ≤ $Q^{1/3–ε}$ y para polinomios suavizadores de longitud hasta 1/2. Es como si en un río de profundidad variable hubiésemos aprendido a tamizar arena con diferentes grosores de malla sin perder las pepitas.

Este trabajo es la primera evidencia incondicional de que incluso para funciones L de tercer grado la hipótesis de Riemann es «casi cierta» en sentido estadístico. Infunde sangre a un vasto programa de investigación sobre familias de funciones L automórficas, vinculándolas con momentos, subconvexidad y distribución de primos. La técnica creada del tamiz grande asintótico se convierte en una herramienta universal: ahora puede aplicarse a otros problemas que antes requerían hipótesis sobre los coeficientes de Fourier. Y la masa oculta de los ceros no críticos —la materia oscura del mundo de los números— se vuelve un poco menos enigmática.

La proporción 1/9 se puede mejorar optimizando el suavizador y teniendo en cuenta con más precisión la aritmética. El próximo objetivo es eliminar por completo la hipótesis técnica sobre los momentos de los coeficientes, demostrándola incondicionalmente. Ir más allá del límite T=$Q^{1/3}$ requerirá superar dificultades monstruosas con las sumas de convolución, pero abrirá el camino hacia la demostración de la hipótesis de Lindelöf en promedio. Los algoritmos de álgebra computacional perfeccionados en este trabajo serán la base para el análisis automático de los factores aritméticos en proyectos futuros. Así, mejorando gradualmente el tamiz, los matemáticos se acercan al momento en que la recta dorada brille por completo y el río de los números primos revele su simetría profunda.