🔢 mathematics

Exponential sums over primes are unbounded

Este artículo demuestra que las sumas exponenciales sobre números primos no exhiben una cancelación mejor que la de la raíz cuadrada en promedio sobre intervalos cortos, estableciendo así un límite inferior de $x^{1/6 - \varepsilon}$ para su supremo y resolviendo una pregunta planteada por Aymone y Ramaré.

Autores originales: Péa Bazin

Publicado 2026-08-06

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Péa Bazin

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un detective tratando de resolver un misterio sobre cómo se organizan los números. En el mundo de las matemáticas, existe un club especial llamado "Teoría de Números", donde los expertos estudian los patrones ocultos de los números enteros. Uno de los miembros más famosos de este club es el "número primo". Los primos son los bloques de construcción de todos los números (como el 2, 3, 5, 7, 11), y parecen aparecer de una manera completamente aleatoria y caótica. Debido a que son tan impredecibles, los matemáticos a menudo intentan "domesticarlos" sumándolos de formas específicas, un proceso llamado "suma exponencial". Piensa en esto como intentar predecir el clima sumando la temperatura, la humedad y la velocidad del viento cada día. A veces, si sumas suficientes números aleatorios, el caos se cancela a sí mismo y obtienes un resultado muy cercano a cero. Esto se llama "cancelación".

Durante mucho tiempo, los matemáticos se preguntaron si estas sumas de números primos podrían volverse enormes y seguir creciendo para siempre, o si siempre se mantendrían pequeñas y manejables. Es como preguntar si una multitud caótica de personas eventualmente se calmará en una fila silenciosa, o si seguirán corriendo salvajemente. La pregunta es: sin importar cómo mires a los primos, ¿hay siempre un momento donde el "ruido" se vuelve tan fuerte que rompe el silencio? Esto no es solo un juego; comprender estos patrones ayuda a entender la estructura misma de los números, lo cual es crucial para la seguridad de la encriptación informática.

En este artículo, un matemático llamado Pierre-Alexandre Bazin asume el papel de detective para responder a una pregunta específica: ¿se vuelven estas sumas de primos ilimitadas? En otras palabras, ¿pueden crecer tanto como queramos? La respuesta, según Bazin, es un rotundo "sí". Él demuestra que estas sumas no solo se mantienen pequeñas; pueden volverse muy grandes, al menos en promedio, cuando las observas en tramos cortos de números.

Para entender cómo lo hizo, imagina que estás escuchando una radio que está llena de estática. Usualmente, si sintonizas una estación específica, la estática se cancela y escuchas una canción clara. Pero Bazin muestra que si escuchas a los primos en un "intervalo" muy corto (una pequeña rebanada de tiempo o un rango pequeño de números), la estática no se cancela tan bien como esperábamos. En lugar de que el ruido desaparezca, se mantiene fuerte. Él demuestra que el "volumen" de este ruido es al menos tan grande como la raíz cuadrada del número de primos que estás contando. Esto es algo importante porque significa que los primos son incluso más obstinados y caóticos de lo que algunas teorías previas sugerían.

Bazin no solo miró a los primos; también observó los "divisores" (números que dividen exactamente a otros, como el 2 y el 3 que dividen al 6). Encontró que, para los divisores, el ruido es aún más predecible y sigue un patrón casi perfecto y muy específico, lo que le ayuda a demostrar su punto sobre los primos.

El principal descubrimiento del artículo es una prueba de que para cualquier configuración específica (representada por un número llamado $\alpha$ ), siempre hay un punto donde la suma de los primos se vuelve sorprendentemente grande. Específicamente, demuestra que la suma más grande que puedes encontrar es al menos tan grande como el número de primos elevado a la potencia de $1/6$ (que es como tomar la raíz cúbica de la raíz cuadrada). Aunque esto pueda sonar como un número pequeño, en el mundo de los infinitos primos, significa que las sumas son ilimitadas: pueden crecer para siempre.

También muestra que esto sucede incluso si solo observas intervalos de números muy cortos. Si tomas una lista corta de números, digamos del 1 al 100, y luego del 101 al 200, y así sucesivamente, el "ruido" en estas listas cortas no desaparece. Se mantiene fuerte. Esto responde a una pregunta planteada por otros matemáticos, Aymone y Ramaré, quienes se preguntaban si las sumas podrían llegar a salirse de control. Bazin demuestra que pueden hacerlo.

Un giro interesante es que su prueba funciona mejor cuando los números son "irracionales" (números que continúan para siempre sin repetirse, como $\pi$ ). Si los números son "racionales" (fracciones simples), el comportamiento es diferente y más fácil de predecir. Pero para los números irracionales, que son desordenados, los primos se niegan a calmarse. El artículo también menciona que si asumimos una idea famosa y aún no probada llamada "Hipótesis de Riemann Generalizada" (que es como una regla superpotente sobre cómo se comportan los números), podemos llevar estos resultados aún más lejos, demostrando que las sumas se vuelven grandes incluso en intervalos más largos.

En resumen, este artículo es una victoria para el lado caótico de las matemáticas. Demuestra que los números primos son tan salvajes que, sin importar cómo intentes suavizarlos con las matemáticas, siempre tendrán momentos de una energía enorme e ilimitada. Es un recordatorio de que en el universo de los números, el caos no es solo una posibilidad; es una garantía.

Resumen Técnico: Las sumas exponenciales sobre primos son ilimitadas

Planteamiento del Problema
El artículo aborda una pregunta planteada por Aymone y comunicada por Ramaré con respecto al comportamiento de las sumas exponenciales de los primos. Específamente, investiga si la suma
$\pi(x; \alpha) := \sum_{p \le x} e(\alpha p)$
es ilimitada para todo $\alpha$ real, donde $e(\beta) = e^{2\pi i \beta}$ . Si bien los límites superiores para estas sumas están bien comprendidos (por ejemplo, el teorema de Vinogradov proporciona límites superiores no triviales que dependen de las propiedades de aproximación diofántica de $\alpha$ ), los límites inferiores no triviales para un $\alpha$ fijo han permanecido esquivos. El límite trivial del promedio $L^2$ es conocido por ser del orden de $x \log x$ , pero los límites inferiores puntuales para un $\alpha$ fijo eran previamente desconocidos más allá del resultado del promedio $L^1$ de Vaughan.

Metodología
El autor desarrolla un nuevo método para establecer límites inferiores para sumas exponenciales de la forma $\sum f(n)e(\alpha n)$ analizando su comportamiento en intervalos cortos. La estrategia central consiste en:

Análisis de Intervalos Cortos: En lugar de requerir que el parámetro de aproximación diofántica global $R(x, \alpha)$ sea pequeño (lo que corresponde a que $\alpha$ esté cerca de un racional con denominador pequeño), el método requiere que el parámetro local $R(y, \alpha)$ sea pequeño para una longitud de intervalo corto $y$ . Esto permite que la suma exponencial en un intervalo $[n, n+y]$ sea aproximada por sumas en puntos racionales $a/q$ .
Aplicación de la Criba de Gran Tamaño (Large Sieve): El autor aplica la criba de gran tamaño de Montgomery-Vaughan a la función $g(n) = F(n, n+y; \alpha)$ , donde $F$ es la suma parcial de la función aritmética. Esto produce un límite inferior para el promedio de los cuadrados de los módulos de las sumas de intervalos cortos, $\frac{1}{x} \sum |F(n, n+y; \alpha)|^2$ , en términos de los valores de las sumas globales en puntos racionales $F(x; a/q)$ .
Estimación de Arcos Mayores (Major Arcs): El límite inferior depende de la existencia de "arcos mayores" (racionales $a/q$ $a / q$ cercanos a $\alpha$ $α$ ) dentro del intervalo de aproximación.
- Para el caso de la función divisor $\tau$ , el autor utiliza fórmulas asintóticas precisas para $\sum \tau(n)e(an/q)$ para mostrar que el término principal domina.
- Para la función de von Mangoldt $\Lambda$ (primos), el autor se apoya en el teorema de Bombieri-Vinogradov (vía Liu y Zhan) para manejar el caso promedio donde $y \ll x^{1/3}$ .
- Para $y$ más grandes (específicamente $y \gg x^{1/3}$ ), el autor asume la Hipótesis del Riemann Generalizada (GRH) para controlar los términos de error para todos los arcos mayores individualmente, combinado con un resultado de Heath-Brown sobre la distribución de denominadores libres de cuadrados en aproximaciones diofánticas.

Resultos Clave

Ilimitación de las Sumas Exponenciales de Primos:
El artículo demuestra que para cualquier $\varepsilon > 0$ , la suma exponencial de los primos es ilimitada con un límite inferior cuantitativo:
$\inf_{\alpha \in \mathbb{R}} \sup_{n \le x} |\psi(n; \alpha)| \gg x^{1/6-\varepsilon}$
donde $\psi(x; \alpha) = \sum_{n \le x} \Lambda(n)e(\alpha n)$ . Esto implica el mismo resultado para $\pi(x; \alpha)$ (suma sobre primos).
Límite Inferior Promedio en Intervalos Cortos:
El teorema técnico principal (Teorema 2) establece que para $y \le x^{1/3-\varepsilon}$ , el promedio de los cuadrados de las sumas sobre intervalos cortos satisface:
$\frac{1}{x} \sum_{-y < n \le x} \left| \sum_{n < m \le n+y} \Lambda(m)e(\alpha m) \right|^2 \gg y \log x$
Esto demuestra que la "cancelación de raíz cuadrada" (el comportamiento esperado para sumas aleatorias) es lo mejor posible en promedio para estos intervalos; las sumas no exhiben una cancelación mejor.
Resultados bajo GRH:
Asumiendo la Hipótesis del Riemann Generalizada (GRH), el rango de $y$ puede extenderse. Para $\alpha$ irracional con aproximaciones diofánticas adecuadas, el límite inferior se mantiene para $y \le x^{5/9-\varepsilon}$ , lo que conduce al corolario:
$\limsup_{n \to \infty} n^{-5/18+\varepsilon} |\psi(n; \alpha)| > 0$
Caso de la Función Divisor:
El método se aplica a la función divisor $\tau$ . El artículo muestra que para $\alpha$ irracional, la suma $\sum_{n \le x} \tau(n)e(\alpha n)$ es ilimitada, con un límite inferior de orden $x^{1/2}(\log x)(\log \log x)^{-2}$ . El autor señala que este resultado es preciso hasta un factor logarítmico para casi todos los $\alpha$ , basándose en la desigualdad de Carleson-Hunt.

Significado y Reivindicaciones
El artículo afirma responder positivamente a la pregunta de Aymone y Ramaré, demostrando que las sumas exponenciales de los primos son ilimitadas para todo $\alpha$ . La importancia radica en:

Proporcionar el primer límite inferior no trivial para un $\alpha$ fijo para las sumas exponenciales de primos, yendo más allá de los resultados de promedio.
Introducir un método que desplaza el requisito desde las propiedades diofánticas globales ( $R(x, \alpha)$ ) hacia las propiedades locales ( $R(y, \alpha)$ ), permitiendo el análisis de sumas en intervalos cortos.
Demostrar que el heurístico de "cancelación de raíz cuadrada" es ajustado en promedio para intervalos cortos que involucran primos, mostrando específicamente que las sumas no pueden ser significativamente menores que $y^{1/2}$ .

El autor establece explícitamente que el método es general y ha sido aplicado a otras funciones aritmáticas (como $1_{\Omega(n)=k}$ y funciones multiplicativas generales) en trabajos separados, pero este artículo se centra en los casos de $\Lambda$ y $\tau$ . Los resultados se presentan como condicionales a conjeturas estándar (GRH) para el rango extendido de $y$ , y no condicionales para el rango $y \le x^{1/3-\varepsilon}$ .

Más como este