🔢 mathematics

Polynomial bounds for the Chowla Cosine Problem

Este artículo establece límites polinómicos para el problema del coseno de Chowla al demostrar que, para cualquier conjunto finito de $n$ enteros positivos, el valor mínimo de la suma de cosenos asociada es, a lo sumo, $-n^{1/5-o(1)}$ .

Autores originales: Benjamin Bedert

Publicado 2026-07-28

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Benjamin Bedert

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 director de orquesta frente a una orquesta masiva, pero en lugar de violines y trompetas, tus músicos son ondas de sonido invisibles. Cada músico toca una sola nota pura que se repite una y otra vez. En el mundo de las matemáticas, esto se llama un "polinomio de coseno". Si tienes un conjunto de $n$ notas diferentes, puedes alinearlas y preguntar: "Si toco todas juntas, ¿qué tan fuerte puede ser el silencio?".

Normalmente, cuando mezclas sonidos, estos se cancelan entre sí. A veces, se cancelan perfectamente, creando un momento de absoluto silencio. Pero aquí está el rompecabezas: si tienes un número enorme de estas notas, ¿puedes organizarlas para que nunca se vuelvan muy silenciosas? O, por el contrario, ¿es imposible evitar un momento en que el sonido caiga a un valor muy bajo, negativo? Este es el corazón del "Problema del Coseno de Chowla". Durante décadas, los matemáticos se preguntaron si había un límite para qué tan "silencioso" podía volverse esta mezcla de ondas. Sabían que si tenías un millón de notas, el sonido eventualmente caería por debajo de cero, pero no sabían qué tan bajo llegaría. ¿Era un susurro diminuto o un estruendo profundo y resonante? Resolver esto ayuda a comprender los patrones ocultos en los números y cómo interactúan, de forma muy similar a descifrar las reglas de un juego complejo.

Este artículo, escrito por Benjamin Bedert, entra en ese juego y cambia la partitura. Antes de este trabajo, lo mejor que sabíamos era que el sonido eventualmente se volvería lo suficientemente silencioso como para ser descrito por una raíz cuadrada del número de notas (aproximadamente $\sqrt{n}$ ). Era un ascenso lento y constante. El artículo de Bedert demuestra algo mucho más fuerte: el sonido no solo se vuelve silencioso; se vuelve muy silencioso, y lo hace mucho más rápido de lo que se pensaba posible.

El hallazgo principal es que si tienes $n$ notas, el punto más bajo al que llega el sonido es garantizado ser al menos tan bajo como $n^{1/5}$ (específicamente, $n^{1/5-o(1)}$ ). Para ponerlo en perspectiva, si tienes un millón de notas ($1,000,000$), las matemáticas anteriores sugerían que el silencio podría ser alrededor de $1,000$. Las nuevas matemáticas de Bedert muestran que en realidad está más cerca de $100$ (ya que $1,000,000^{1/5} = 100$ ). Esa es una diferencia masiva en la profundidad del silencio. El artículo demuestra esto mostrando que, sin importar cuán ingeniosamente organices tus notas, el universo de los números obliga a una caída profunda en el sonido.

El autor también aborda una versión más general del problema. Imagina que, en lugar de que cada músico toque con el mismo volumen, algunos tocan más fuerte y otros más suave, pero todos se ciñen a una lista específica de ajustes de volumen. Bedert muestra que, incluso en este escenario desordenado y variado, el sonido todavía tiene que caer significativamente. Esto es importante porque los métodos anteriores eran muy frágiles; solo funcionaban si cada nota tenía exactamente el mismo volumen. El método de Bedert es como una red resistente que atrapa todas estas diferentes disposiciones, demostrando que el "silencio profundo" es una regla fundamental, no solo un capricho de la simetría perfecta.

Sin embargo, el artículo tiene cuidado de no pretender que ha resuelto el misterio completo. La pregunta definitiva es si el silencio cae tanto como la raíz cuadrada de $n$ (el límite de $\sqrt{n}$ ). El trabajo de Bedert demuestra que cae al menos tan rápido como la quinta raíz, lo cual es un gran salto adelante, pero deja un espacio entre la quinta raíz y la raíz cuadrada. El autor sugiere que su método podría ser capaz de empujar el número aún más alto, quizás acercándose a la raíz cuadrada, pero eso sigue siendo una pregunta abierta. Es como encontrar un nuevo valle más profundo en una cadena montañosa; has encontrado un valle mucho más profundo de lo que esperabas, pero aún no has encontrado el punto más profundo de toda la cordillera.

El artículo también descarta explícitamente la idea de que podrías organizar estas notas para evitar que el sonido caiga muy bajo. Demuestra que, para cualquier conjunto grande de notas, un valor negativo profundo es inevitable. Además, advierte que si empiezas a permitir "multiconjuntos" —donde puedes elegir la misma nota varias veces— las reglas cambian por completo, y el silencio profundo podría no ocurrir en absoluto. Esta distinción es crucial: la magia del silencio profundo depende de tener una colección de notas únicas.

En resumen, este artículo es una obra maestra matemática que utiliza trucos ingeniosos con ondas y números para demostrar que el silencio profundo es inevitable en grandes colecciones de ondas de coseno. Mueve la meta de un susurro logarítmico lento a un estruendo polinómico poderoso, dándonos una imagen mucho más clara de cómo se comportan los números cuando danzan juntos. Aunque la respuesta final y perfecta sobre el silencio más profundo todavía está ahí fuera, Bedert definitivamente ha encontrado un valle mucho más profundo de lo que sabíamos que existía.

Resumen Técnico: Cotas Polinomiales para el Problema del Coseno de Chowla

Planteamiento del Problema
El artículo aborda el problema del coseno de Chowla, el cual trata sobre las cotas inferiores de los polinomios de coseno con frecuencias enteras distintas. Sea $A \subset \mathbb{N}$ un conjunto finito de $n$ enteros positivos, y considere la suma de cosenos $f_A(x) = \sum_{a \in A} \cos(ax)$ . Dado que la integral de $f_A$ sobre $[0, 2\pi]$ es cero, la función debe asumir valores negativos. La cuestión central, planteada por Chowla, es determinar la magnitud del mayor valor negativo posible, definido como:
$K(n) = \inf_{A \subset \mathbb{N}, |A|=n} \left( -\min_{x} f_A(x) \right).$
Mientras que construcciones simples (por ejemplo, usando conjuntos de Sidon) muestran que $K(n) \ll \sqrt{n}$ , Chowla conjeturó que esta cota es aguda ( $K(n) \asymp \sqrt{n}$ ). Antes de este trabajo, las mejores cotas inferiores conocidas eran cuasipolinomiales, específicamente $K(n) \gg e^{(\log n)^\varepsilon}$ por Bourgain, y más tarde refinadas a $K(n) \gg e^{c'(\log n)^{1/2}}$ por Ruzsa. El problema permanecía abierto en cuanto a si $K(n)$ podía estar acotado por un polinomio en $n$ .

Metodología
El autor, Benjamin Bedert, emplea una combinación de análisis armónico y combinatoria aditiva para establecer cotas inferiores polinomiales. La estrategia central consiste en analizar la estructura del conjunto $A$ bajo la suposición de que el mínimo de la suma de cosenos es pequeño (es decir, $f_A(x) + K \geq 0$ para un $K$ pequeño).

Análisis de Fourier y Convolución: El problema se reformula utilizando la transformada de Fourier de la función indicadora de un conjunto simétrico $A \subset \mathbb{Z} \setminus \{0\}$ , denotada como $\hat{1}_A(x)$ . La condición $f_A(x) + K \geq 0$ se traduce en una condición de no negatividad sobre $\hat{1}_A(x) + K$ . El autor utiliza las propiedades de convolución, específicamente que la convolución de funciones no negativas permanece no negativa, para derivar desigualdades que involucran convoluciones de orden superior de funciones modificadas.
Funciones Auxiliares: La prueba introduce funciones auxiliares $f_t(x) = 2(1 + \sin(2\pi tx))\hat{1}_A(x)$ y $g_t(x) = 2(1 - \sin(2\pi tx))\hat{1}_A(x)$ . Al analizar los coeficientes de Fourier de estas funciones y sus convoluciones (específicamente convoluciones triples en la prueba inicial y convoluciones dobles en la prueba mejorada), el autor deriva desigualdades puntuales que relacionan diferentes subconjuntos del espectro de $A$ .
Estructura Aditiva: El argumento se basa en el hecho de que si el mínimo es pequeño, el conjunto $A$ debe poseer una estructura aditiva significativa (gran energía aditiva). El autor aprovecha resultados de Roth, Bourgain y Ruzsa para mostrar que, si el mínimo es pequeño, $A$ contiene progresiones aritméticas grandes o conjuntos de diferencias específicos.
Refinamiento Iterativo:
- Sección 5 (Exponente 1/12): Un argumento simplificado utiliza convoluciones triples para relacionar el tamaño de un subconjunto específico $B_t \subset A$ con el parámetro $K$ , obteniendo $K \gg n^{1/12}$ .
- Sección 6 (Coeficientes Generales): El método se extiende a polinomios de coseno con coeficientes arbitrarios finitos $S \subset \mathbb{R} \setminus \{0\}$ mediante inducción sobre el tamaño de $S$ .
- Sección 7 (Exponente 1/5): Para mejorar el exponente, el autor reemplaza el argumento de la convolución triple con un enfoque de convolución doble más refinado inspirado en Bourgain. Esto implica descomponer la función indicadora de un subconjunto en un "término principal" controlado por el conjunto original y un "térmulo de error" con norma $L^2$ pequeña. Esto permite obtener cotas más ajustadas sobre el tamaño de los subconjuntos relevantes.

Resultados Clave
El artículo establece las primeras cotas inferiores polinomiales para el problema del coseno de Chowla.

Teorema 1.1: Para cualquier conjunto $A \subset \mathbb{N}$ de tamaño $n$ , el mínimo de la suma de cosenos satisface:
$\min_{x} \sum_{a \in A} \cos(ax) \leq -n^{1/5 - o(1)}.$
Consecuentemente, $K(n) \gg n^{1/5 - o(1)}$ .
Teorema 1.2: El resultado se generaliza a polinomios de coseno con coeficientes en un conjunto arbitrario finito $S \subset \mathbb{R} \setminus \{0\}$ . Si $f(x) = \sum_{a \in A} s_a e(ax)$ con $s_a \in S$ , entonces $\min f(x) \leq -c'_S n^{c_S}$ para constantes que dependen de $S$ . Esto contrasta con los resultados previos que eran sensibles al hecho de que los coeficientes estuvieran restringidos a $\{0, 1\}$ .

El artículo señala que un argumento más simple produce el exponente $1/12$ , mientras que el análisis refinado en la Sección 7 logra el exponente $1/5 - o(1)$ .

Significancia y Reivindicaciones
La principal significancia de este trabajo es el avance de las cotas cuasipolinomiales a las cotas polinomiales para el problema del coseno de Chowla. El autor afirma explícitamente que esto establece las primeras cotas polinomiales para el problema.

El artículo reconoce que el exponente $1/5$ probablemente no es óptimo y que la cota aguda conjeturada es $K(n) \asymp \sqrt{n}$ . El autor señala que su método podría ser capaz de producir exponentes incluso mejores, aunque determinar la veracidad de la conjetura $n^{1/2}$ sigue siendo un problema abierto.

Además, el artículo destaca una limitación: la cota polinomial falla si se consideran multiconjuntos de enteros en lugar de conjuntos de enteros distintos, citando una construcción de Belov y Konyagin donde los coeficientes en un rango específico producen únicamente cotas logarítmicas. El autor también menciona un preprint independiente de Jin et al. que establece una cota polinomial con exponente $1/10 - o(1)$ utilizando un enfoque estructural diferente basado en los autovalores de grafos.

El trabajo no pretende resolver la conjetura completa de Chowla, pero proporciona un paso significativo hacia adelante al demostrar que el valor mínimo crece polinomialmente con el número de términos, en lugar de crecer meramente de forma logarítmica o cuasipolinomial.

Más como este