🔢 mathematics

The sum-product conjecture is false for real numbers

Este artículo refuta la conjetura suma-producto para números reales y contextos relacionados mediante la construcción de conjuntos arbitrariamente grandes con conjuntos de sumas y productos simultáneamente pequeños, desmintiendo así la conjetura y la conjetura de muchas sumas y productos, al tiempo que establece nuevos límites para las soluciones de ecuaciones lineales y unitarias.

Autores originales: Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

Publicado 2026-05-28

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Thomas F Bloom, Will Sawin, Carl Schildkraut, Dmitrii Zhelezov

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

La Gran Idea: Romper una Regla de 50 Años

Imagina que tienes una bolsa de números. Puedes hacer dos cosas con ellos:

Sumarlos (crear un "Conjunto de Sumas").
Multiplicarlos (crear un "Conjunto de Productos").

Durante décadas, los matemáticos creyeron en una regla llamada la Conjetura Suma-Producto. La regla era simple: No puedes tener ambas cosas.

La intuición era que si tus números están "agrupados" de tal manera que sumarlos no crea muchos números nuevos (como una línea recta de números), entonces multiplicarlos debería explotar en una gran variedad de números nuevos. Por el contrario, si multiplicarlos los mantiene pequeños (como una progresión geométrica), entonces sumarlos debería crear una enorme explosión de números nuevos.

La conjetura establecía que para cualquier conjunto grande de números reales, al menos una de estas operaciones debe crear una enorme cantidad de resultados. Se pensaba que era imposible tener un conjunto donde tanto la suma como la multiplicación se mantuvieran pequeñas.

Este artículo dice: "No tan rápido".

Los autores han creado un "truco de magia" matemático que refuta esta regla para los números reales. Han construido conjuntos específicos y masivos de números donde tanto el conjunto de sumas como el conjunto de productos permanecen sorprendentemente pequeños. No solo rompieron la regla; la rompieron con un conjunto masivo y arbitrariamente grande de números.

El Truco de Magia: Cómo lo Hicieron

Para entender su construcción, imagina que estás construyendo una ciudad.

1. La Vieja Forma (El Ejemplo de Balog-Wooley)

Anteriormente, los matemáticos intentaban crear un conjunto pequeño mezclando dos tipos de vecindarios:

La Calle Geométrica: Una calle donde las casas están espaciadas exponencialmente (1, 10, 100, 1000...). Si multiplicas estas, te quedas en la calle. Pero si las sumas, los huecos son tan enormes que las sumas se dispersan por todas partes.
La Calle Aritmética: Una calle donde las casas están espaciadas uniformemente (1, 2, 3, 4...). Si las sumas, se mantienen en un bloque compacto. Pero si las multiplicas, los números explotan.

El viejo truco era mezclar estas calles. Pero la "Calle Geométrica" era demasiado dispersa. Era como tener unas pocas casas en una autopista masiva. Cuando las sumabas, el resultado seguía siendo demasiado grande para romper la regla.

2. La Nueva Forma (La Red de Alta Dimensión)

Los autores se dieron cuenta de que necesitaban una "Calle Geométrica" que fuera densa (llena de casas) pero que aún se comportara bien al multiplicarse. Lo encontraron al pasar de un mapa plano 2D a una hiperciudad de alta dimensión.

La Ciudad (Campos Numéricos): En lugar de trabajar con enteros normales, construyeron sus números dentro de un "universo" especial llamado un campo numérico totalmente real. Piensa en esto como una ciudad con $d$ dimensiones diferentes (donde $d$ es un número muy grande).
La Rejilla Aditiva (La Caja): Eligieron un bloque de números que se parece a un cubo perfecto y compacto en este espacio de alta dimensión. Cuando sumas números de este cubo, el resultado es simplemente un cubo ligeramente más grande. Se mantiene compacto.
La Rejilla Multiplicativa (Las Unidades): También eligieron un grupo especial de números llamados "unidades". En este mundo de alta dimensión, estas unidades se comportan como una progresión geométrica densa. Cuando las multiplicas, se mantienen dentro de una forma compacta y predecible.

3. El Ingrediente Secreto: El "Producto Directo"

El movimiento genial fue combinar estas dos rejillas. Tomaron cada número de la "Caja Aditiva" y lo multiplicaron por cada número de la "Rejilla Multiplicativa".

Por qué funciona: Porque la "Caja Aditiva" está tan compacta y la "Rejilla Multiplicativa" es tan densa, el conjunto resultante es enorme (arbitrariamente grande).
El Resultado:
- Cuando sumas dos números de este nuevo conjunto, la parte de la "Caja Aditiva" evita que el resultado explote.
- Cuando multiplicas dos números, la parte de la "Rejilla Multiplicativa" evita que el resultado explote.

Es como tener una ciudad donde las calles están diseñadas tan perfectamente que, sin importar cómo camines (suma) o cómo conduzcas (multiplica), nunca sales de un vecindario pequeño y manejable.

Por Qué Esto Importa (Según el Artículo)

El artículo no solo dice "rompimos la regla". Muestra cómo romperla en diferentes mundos matemáticos:

Números Reales: Demostraron que la regla es falsa para los números reales estándar (los números que usamos en la vida diaria).
Números p-ádicos: Mostraron que el mismo truco funciona en un tipo diferente de sistema numérico utilizado en física avanzada y criptografía.
Campos Finitos: Mostraron que incluso en la "aritmética de reloj" (donde los números se envuelven), puedes encontrar conjuntos que rompen la regla.
Campos de Funciones: Extendieron esto a campos de series de potencias formales (utilizados en la teoría de codificación).

Nota sobre la "IA"

Los autores mencionan que se inspiraron en un contraejemplo generado recientemente por una IA para un problema matemático diferente (la "conjetura de la distancia unitaria"). Aunque utilizaron una IA (GPT-5.5 Pro) como "panel de discusión" para ayudar a simplificar un lema específico (un paso pequeño de la prueba), las ideas centrales, la construcción principal y toda la prueba fueron generadas por humanos. La IA fue solo un asistente útil, no la arquitecta.

Resumen

Durante 50 años, los matemáticos pensaron que no podías tener un conjunto de números que fuera "pequeño" tanto bajo la suma como bajo la multiplicación. Este artículo dice: "Construimos uno."

Lo hicieron construyendo una estructura matemática masiva y de alta dimensión donde las reglas de la suma y la multiplicación están perfectamente equilibradas para mantener los resultados pequeños. Demostraron que la vieja regla estaba equivocada, no solo para una excepción pequeña y extraña, sino para conjuntos de números que pueden ser tan grandes como quieras.

Resumen Técnico: La Conjetura Suma-Producto es Falsa para Números Reales

Enunciado del Problema
El artículo aborda la conjetura suma-producto de Erdős–Szemerédi, la cual postula que para cualquier conjunto finito $A$ en un anillo (específicamente $\mathbb{Z}$ , $\mathbb{R}$ o $\mathbb{C}$ ), al menos uno de los conjuntos suma $A+A = \{a+b : a,b \in A\}$ o el conjunto producto $AA = \{ab : a,b \in A\}$ debe crecer casi de manera máxima. Formalmente, la conjetura afirma:
$\max(|A+A|, |AA|) \ge |A|^{2-o(1)}$
donde el término $o(1)$ tiende a cero cuando $|A| \to \infty$ . Aunque las mejores cotas inferiores conocidas para subconjuntos de $\mathbb{R}$ son de la forma $|A|^{4/3+c}$ , la conjetura permanece abierta. Los autores investigan si esta conjetura se cumple sobre los números reales.

Metodología
Los autores construyen contraejemplos explícitos utilizando teoría de números algebraicos, aprovechando específicamente cuerpos numéricos totalmente reales de alto grado. La estrategia central implica una generalización de alta dimensión del ejemplo de Balog–Wooley, reemplazando la progresión geométrica y la progresión aritmética estándar por subconjuntos estructurados del anillo de enteros $\mathcal{O}_K$ de un cuerpo numérico $K$ .

La construcción se basa en dos estructuras de retículo distintas dentro de $\mathcal{O}_K$ :

El Retículo Aditivo: Una "caja" $P$ de enteros algebraicos donde todas las inmersiones reales $\sigma_i(p)$ se encuentran en un intervalo corto $[X-cX, X+cX]$. Esto asegura que la estructura aditiva esté confinada a una región pequeña.
El Retículo Multiplicativo: Un conjunto $G$ de unidades $u \in \mathcal{O}_K^\times$ donde los logaritmos de sus inmersiones $|\log|\sigma_i(u)||$ están acotados por una constante $Y$ . Esto crea un conjunto con crecimiento de producto pequeño (duplicación pequeña).

El conjunto contraejemplo se define como el producto $A = GP = \{up : u \in G, p \in P\}$ . Los autores aseguran que este producto es directo (es decir, $|A| = |G||P|$ ) eligiendo parámetros tales que la razón de cualquier par de elementos en $P$ no pueda ser una unidad no trivial, una propiedad garantizada por los resultados de Schinzel sobre la separación de unidades.

La existencia de cuerpos numéricos adecuados está garantizada por la construcción de Martinet de torres de cuerpos totalmente reales con discriminante raíz acotado ( $\Delta_K \le C^d$ ) y reguladores controlados ( $R_K \le \Delta_K$ ). Estos límites aseguran que los volúmenes de los retículos (y por tanto los tamaños de $P$ y $G$ ) crezcan exponencialmente con el grado $d$ , permitiendo la construcción de conjuntos $A$ arbitrariamente grandes.

Contribuciones y Resultados Clave

Refutación de la Conjetura Suma-Producto sobre $\mathbb{R}$ :
El resultado principal (Teorema 1.1) establece la existencia de una constante absoluta $c > 0$ tal que existen conjuntos finitos $A \subset \mathbb{R}$ arbitrariamente grandes que satisfacen:
$\max(|A+A|, |AA|) \le |A|^{2-c}$
Esto contradice directamente la conjetura. La construcción produce conjuntos donde el conjunto suma es pequeño ( $|A+A| \le |A|^{1+\epsilon}$ ) y el conjunto producto exhibe ahorro de potencia ( $|AA| \le |A|^{2-c\epsilon}$ ).
Refutación de la Conjetura de "Muchas Sumas y Productos":
Los autores extienden su construcción para refutar la conjetura más fuerte de Erdős sobre sumas y productos $k$ -veces. Para cualquier $k \ge 3$ fijo, construyen $A \subset \mathbb{R}$ arbitrariamente grandes tales que:
$\max(|kA|, |A^{(k)}|) \le |A|^{C \frac{\log k}{\log \log k}}$
Se señala que esta dependencia de $k$ es probablemente óptima para $k$ fijo cuando $|A| \to \infty$ .
Nuevas Cotas Inferiores para Ecuaciones Lineales en Grupos Multiplicativos:
La construcción proporciona nuevas cotas inferiores para el número de soluciones de ecuaciones lineales $x_1 + \dots + x_k = 1$ con $x_i$ en un grupo multiplicativo $\Gamma$ .
- Para subgrupos de $\mathbb{R}^\times$ de rango $d$ , se demuestra que el número de soluciones no degeneradas es al menos $\exp((C^{-1}k \log k)d)$ , demostrando que la dependencia lineal del rango $d$ en el exponente de la cota superior de Evertse–Schlickewei–Schmidt es la mejor posible.
- Para la ecuación de unidades en cuerpos numéricos, los autores muestran que para $k$ suficientemente grande, existen cuerpos de grado $d$ con al menos $C^d$ soluciones, refutando conjeturas de crecimiento subexponencial para $k \ge 3$ .
Variantes en Otros Contextos:
La metodología se adapta para producir contraejemplos en:
- Números $p$ -ádicos ( $\mathbb{Q}_p$ ): Utilizando cuerpos donde $p$ se descompone completamente.
- Cuerpos finitos ( $\mathbb{F}_p$ ): Mediante la reducción de la construcción de enteros algebraicos módulo $p$ , produciendo conjuntos de tamaño $p^c < |A| < p^{1/2}$ con crecimiento suma-producto pequeño.
- Cuerpos de funciones ( $\mathbb{F}_q((t))$ ): Utilizando haces lineales en curvas algebraicas con muchos puntos racionales (secuencias de Drinfeld–Vlăduț–Zink) para construir contraejemplos en característica positiva.

Significado y Afirmaciones
El artículo afirma refutar definitivamente la conjetura suma-producto para números reales, un problema que ha sido central en la combinatoria aditiva durante décadas. Los autores enfatizan que, aunque la conjetura podría seguir siendo válida para conjuntos en cuerpos numéricos de grado acotado (como $\mathbb{Z}$ ), falla en el contexto general de $\mathbb{R}$ debido a la disponibilidad de estructuras algebraicas de alto grado.

Los autores señalan que su demostración depende de la existencia de cuerpos numéricos con propiedades aritméticas específicas (discriminante y regulador acotados), cuya construcción no es trivial pero está bien establecida en la teoría de números algebraicos. Declaran explícitamente que la demostración final, incluidas las ideas principales, fue generada casi en su totalidad por humanos, aunque utilizaron IA como "tablero de sonido" en etapas tempranas y para un lema elemental específico (Lema 3.4) que simplificó un resultado más complejo.

La obra también proporciona nuevos conocimientos cuantitativos sobre los límites de los fenómenos suma-producto, mostrando que el "ahorro de potencia" en los conjuntos producto puede lograrse simultáneamente con conjuntos suma pequeños, siempre que la estructura algebraica subyacente sea lo suficientemente rica (alto grado). El artículo concluye ofreciendo valores explícitos, aunque pequeños, para la constante $c$ (por ejemplo, $c \ge 0.00000087$ ) y demostrando que fenómenos similares ocurren en diversos contextos algebraicos, incluidos los $p$ -ádicos y los cuerpos de funciones.