🔢 mathematics

Possible Sizes of Sumsets

Este artículo resuelve la pregunta de Nathanson sobre las posibles cardinalidades de sumas de $h$ conjuntos al demostrar que, para tamaños de conjunto $k$ suficientemente grandes, el rango de tamaños posibles $R(h,k)$ consiste en todos los enteros dentro de los límites teóricos excepto por un conjunto específico de $\binom{h-1}{2}$ excepciones, estableciendo el umbral como $k > 2$ cuando $h=3$ .

Autores originales: Isaac Rajagopal

Publicado 2026-07-17

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Isaac Rajagopal

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 chef en una cocina donde los únicos ingredientes que tienes son números enteros. Tienes una receta específica: toma un puñado de estos números, mézclalos de todas las formas posibles y cuenta cuántos sabores totales (uniques) distintos puedes crear. Este es el mundo de la combinatoria aditiva, una rama de las matemáticas que estudia cómo se comportan los números cuando se suman entre sí. La pregunta central es simple pero difícil: si eliges una cantidad específica de ingredientes, digamos $k$ de ellos, y los mezclas de $h$ en $h$ , ¿cuántos resultados diferentes puedes obtener?

Piensa en esto como un juego de construcción con bloques. Si tienes un montón de bloques pequeño y ordenado (una progresión aritmética), sumar estos bloques da como resultado un grupo predecible y compacto. Pero si esparces tus bloques lejos unos de otros (como las potencias de 2), los resultados estallan en un paisaje vasto y disperso. Los matemáticos se han preguntado durante mucho tiempo: ¿cuáles son todos los posibles "tamaños" de estos grupos de resultados? ¿Puedes obtener cualquier número entre el grupo más pequeño y el más grande, o existen brechas prohibidas donde ninguna combinación de bloques puede aterrizar jamás?

Este artículo, escrito por Isaac Rajagopal, se sumerge profundamente en este rompecabezas. Se centra en un conjunto de reglas específicas: tienes un conjunto de $k$ enteros y quieres saber los tamaños posibles del conjunto formado al sumar $h$ de ellos (donde puedes reutilizar el mismo número). El autor demuestra que, para la mayoría de los conjuntos grandes, los tamaños posibles de estas sumas forman una línea casi perfecta y sin interrupciones, con solo algunos huecos específicos y predecibles. Sin embargo, el artículo también muestra que, para ciertas combinaciones pequeñas o específicas, existen regiones enteras de números que son estrictamente imposibles de lograr, sin importar cómo organices tus bloques.

La Gran Búsqueda de la Suma de Conjuntos

Supongamos que tienes una bolsa de $k$ enteros distintos. Decides jugar un juego: elige $h$ números de tu bolsa (puedes elegir el mismo número más de una vez), súmalos y anota el total. Si haces esto para cada combinación posible, obtienes una nueva lista de números. El "tamaño" de esta nueva lista es simplemente cuántos números únicos hay en ella.

Los matemáticos llaman a esta nueva lista el $h$ -fold sumset (conjunto de suma $h$ -veces). La gran pregunta es: si fijas el número de ingredientes ( $k$ ) y el número de veces que los mezclas ( $h$ ), ¿cuáles son todos los tamaños posibles que puede tener esta nueva lista?

Durante mucho tiempo, conocimos los tamaños absolutamente mínimos y máximos. El mínimo ocurre cuando tus números están agrupados estrechamente, como $1, 2, 3, 4$. El máximo ocurre cuando tus números están muy dispersos, como una serie geométrica, $1, 2, 4, 8$. Pero, ¿qué hay de todo lo que hay en medio? ¿Puedes obtener cada número entre el mínimo y el máximo, o existen "números fantasma" que simplemente no pueden existir?

El Triángulo Prohibido

El artículo comienza confirmando un hecho conocido: hay algunos números que son imposibles de obtener. Imagina dibujar un gráfico donde el eje horizontal es el tamaño de tu bolsa de ingredientes ( $k$ ) y el eje vertical es el número de veces que los mezclas ( $h$ ). El autor define una forma específica llamada $\Delta_{h,k}$ (pronunciado "Delta").

Piensa en $\Delta_{h,k}$ como un "triángulo prohibido" en un mapa de posibilidades. El artículo demuestra una regla estricta: No importa cómo organices tus números, el tamaño de tu conjunto de suma nunca podrá caer dentro de este triángulo.

Por ejemplo, si tienes 7 números y los mezclas 6 veces, hay un rango específico de tamaños que está completamente vacío. Puedes obtener un conjunto de suma de tamaño 37, y puedes obtener uno de tamaño 924, pero no puedes obtener un conjunto de suma de tamaño 40, 41 o 42 si caen dentro de esta zona prohibida. El artículo demuestra esto usando un truco ingenioso que involucra el "diámetro" del conjunto (qué tan separados están el número más pequeño y el más grande). Si los números están demasiado cerca, las sumas son demasiado pequeñas; si están demasiado lejos, las sumas son demasiado grandes. El "triángulo prohibido" es ese punto medio incómodo que simplemente no se puede alcanzar.

Llenando los Huecos (En su Mayoría)

El principal descubrimiento del artículo es lo que sucede fuera de este triángulo prohibido. El autor demuestra que si tu bolsa de números es lo suficientemente grande (específicamente, si $k$ es mayor que una constante determinada que depende de $h$ ), entonces cada uno de los números entre el tamaño mínimo y el máximo es posible, excepto aquellos que están dentro del triángulo prohibido.

Es como llenar un cubo con agua. Sabes que no puedes llenar la parte inferior (el triángulo prohibido), pero una vez que pasas de ahí, puedes llenar el cubo a cualquier nivel que desees, desde justo por encima del triángulo hasta el borde. No hay otras brechas misteriosas.

El artículo utiliza un método no constructivo muy ingenioso para demostrarlo. En lugar de construir un conjunto de números específico para cada tamaño posible (lo que tomaría una eternidad), el autor construye una "máquina" que genera conjuntos. Al ajustar ligeramente la configuración de la máquina, el tamaño del conjunto de suma resultante cambia suavemente. Debido a que los cambios son suaves y continuos, la máquina debe pasar por cada valor entero en el rango. Es como girar un dial: no necesitas saber exactamente dónde está cada marca, solo necesitas saber que el dial se mueve suavemente de principio a fin, por lo que debe pasar por todos los números intermedios. Crucialmente, aunque la prueba garantiza que existe un conjunto para cada tamaño, no te dice exactamente cuál es el conjunto de números que crea ese tamaño específico.

El Caso Especial de Tres

El artículo también resuelve un enigma de larga data para el caso donde mezclas tus números 3 veces ( $h=3$ ). Aquí, el autor demuestra que ni siquiera necesitas una bolsa de números enorme para obtener el rango completo. Si tienes más de 2 números ( $k > 2$ ), puedes obtener cada tamaño de conjunto de suma posible, excepto uno: el "número fantasma" $3k - 1$ .

Por ejemplo, si tienes 5 números y los mezclas 3 veces, los tamaños posibles son todos desde el mínimo hasta el máximo, excepto el número 14. Puedes obtener un tamaño de 13, puedes obtener uno de 15, pero el 14 es imposible. Esta es una respuesta completa y exacta para este escenario específico.

¿Qué sigue siendo un Misterio?

Aunque el artículo resuelve el problema para conjuntos grandes y para el caso específico de $h=3$ , deja algunas puertas abiertas. El autor sugiere una conjetura audaz: que esta regla de "rango completo excepto el triángulo" podría aplicarse incluso para conjuntos más pequeños, siempre y cuando el número de ingredientes $k$ sea mayor que el número de mezclas $h$ .

Sin embargo, el artículo admite que para conjuntos muy pequeños, o cuando el número de mezclas es mucho mayor que el número de ingredientes, las reglas se vuelven complicadas nuevamente. Podría haber otras brechas fuera del triángulo prohibido que aún no hemos encontrado. El autor también insinúa que este problema podría resolverse utilizando inteligencia artificial (mencionando específicamente que una versión de ChatGPT ayudó a optimizar las pruebas), sugiriendo que el futuro de esta matemática podría involucrar a humanos y computadoras trabajando juntos para encontrar las disposiciones perfectas.

En resumen, este artículo traza un mapa del "Universo de los Conjuntos de Suma". Nos muestra las zonas prohibidas donde ningún número puede ir y demuestra que, en cualquier otro lugar, el paisaje está conectado y es completo, siempre que tengas suficientes ingredientes con los que trabajar. Convierte una pregunta caótica en un patrón limpio y predecible, con solo algunos huecos misteriosos que los matemáticos probablemente pasarán años tratando de comprender.

Resumen Técnico: Tamaños Posibles de Sumas de Conjuntos

Planteamiento del Problema
El artículo aborda el problema de determinar el conjunto de cardinalidades posibles de sumas de $h$ términos para un subconjunto de enteros de tamaño $k$ . Sea $A \subset \mathbb{Z}$ con $|A|=k$ . La suma de $h$ términos se define como $hA = \{a_1 + \dots + a_h : a_i \in A\}$ . Nathanson definió el rango de cardinalidades posibles como $R(h,k) := \{|hA| : A \subset \mathbb{Z}, |A|=k\}$ . Mientras que la forma de $R(2,k)$ fue establecida por Erdős y Szemerédi, y $R(h,3)$ fue determinado por Nathanson, la estructura de $R(h,k)$ para arbitrarios $h, k \in \mathbb{N}$ permanecía como un problema abierto. Específicamente, el artículo busca caracterizar el conjunto exacto de enteros en $R(h,k)$ para un $h$ fijo y un $k$ grande.

Metodología
Los autores emplean una combinación de teoría de números estructural, argumentos de existencia no constructivos y análisis de funciones generatrices.

Exclusión mediante el Control del Diámetro: Para identificar los enteros que no están en $R(h,k)$ , el artículo utiliza resultados de Lev [Lev96] respecto al diámetro de un conjunto $A$ . Al definir el diámetro $d = \text{diam}(A)$ y aplicar cotas inductivas sobre $|hA|$ derivadas de teoremas de tipo Freiman, los autores demuestran que ciertos intervalos de enteros son tamaños de suma imposibles. Estos valores imposibles forman un conjunto denotado como $\Delta_{h,k}$ , que geométricamente se asemeja a un triángulo en el espacio de parámetros.
Argumentos de Grafos Inductivos (Caso $h=3$ ): Para el caso específico de $h=3$ , la prueba del Teorema 1.7 es no constructiva y se basa en un argumento inductivo que involucra un grafo $G_k$ . Los vértices de $G_k$ representan pares $(|2A|, |3A|)$ para conjuntos $A$ de tamaño $k$ . Los autores construyen caminos en este grafo para demostrar la conectividad entre vértices específicos, probando así que el conjunto de valores posibles para $|3A|$ forma un intervalo contiguo (excluyendo brechas específicas).
Variación Continua mediante Uniones Disjuntas (General $h$ ): Para un $h$ general y un $k$ grande, la prueba del Teorema 1.4 se basa en la construcción de conjuntos $A$ como uniones disjuntas de componentes "densas" (que asemejan progresiones aritméticas) y componentes "dispersas" (que asemejan secuencias geométricas o conjuntos Sidon).
- Funciones Generatrices: Los autores definen una función generatriz $F_A(z) = \sum |nA|z^n$ . Demuestran que para las uniones disjuntas $A \sqcup B$ , la función generatriz se comporta de manera multiplicativa: $F_{A \sqcup B}(z) = F_A(z)F_B(z)$ .
- Conectividad de Intervalos: Al variar los parámetros dentro de estos conjuntos construidos (específicamente el tamaño de la parte densa y los exponentes en la parte dispersa), los autores definen una función $f$ que mapea estos parámetros a $|hA|$. Utilizan un lema (Lema 4.5) relativo a funciones no crecientes en rejillas discretas para probar que la imagen de esta función es un intervalo. Esto asegura que, al variar los parámetros, se alcanzan todos los valores enteros intermedios para $|hA|$.

Contribuciones Clave y Resultados

Caracterización de Valores Imposibles (Teorema 1.3): El artículo define un conjunto $\Delta_{h,k}$ que consiste en $\binom{h-1}{2}$ enteros específicos (dispuestos en $\min\{h,k\}-2$ intervalos) y demuestra que $R(h,k) \cap \Delta_{h,k} = \emptyset$ . Esto generaliza resultados previos de Tang–Xing y Schinina.
Completitud Asintótica (Teorema 1.4): Para cualquier $h \in \mathbb{N}$ fijo, existe una constante $k_h$ tal que si $k > k_h$ , el conjunto $R(h,k)$ es exactamente el intervalo $[hk - h + 1, \binom{h+k-1}{h}]$ excluyendo el conjunto $\Delta_{h,k}$ . Los autores proporcionan una cota explícita (aunque probablemente laxa) $k_h \leq 2^{20h^2}$ .
Solución Exacta para $h=3$ (Teorema 1.7): El artículo demuestra que para $h=3$ y $k > 2$ , $R(3,k) = \{3k-2\} \cup [3k, \binom{k+2}{3}]$ . Esto confirma que la única brecha en $R(3,k)$ es el único entero $3k-1$ , que corresponde al conjunto $\Delta_{3,k}$ .
Cota Polinómica para $N(h,k)$ : El artículo señala (en la Observación 1.8) que el $N$ mínimo tal que $R(h,k)$ puede ser realizado por subconjuntos de $[0,N]$ es polinómico en $k$ (específicamente $N(h,k) \leq k^{10h^3}$ ), un resultado optimizado con la asistencia de ChatGPT 5.5 Pro.

Significado y Reivindicaciones

El artículo afirma resolver los Problemas 8 y 9 de Nathanson para un $h$ fijo y un $k$ suficientemente grande. Establece que, para un $k$ grande, el conjunto de posibles tamaños de suma es "casi" un intervalo, faltando solo un conjunto pequeño y específico de valores determinados por la geometría de los parámetros.

Los autores enfatizan que sus pruebas son no constructivas; aunque garantizan la existencia de un conjunto $A$ para cada cardinalidad válida en el rango, no proporcionan una construcción explícita para un tamaño objetivo específico. En su lugar, dependen de argumentos de tipo continuidad para demostrar que el conjunto de tamaños alcanzables es un intervalo.

El artículo postula la Conjetura 1.6, sugiriendo que el resultado asintótico del Teorema 1.4 se cumple para todo $k > h$ , no solo para $k > k_h$ . Los autores reconocen que para $k < h-1$ , la conjetura falla debido a los resultados conocidos de Lev. El trabajo abre nuevas direcciones de investigación, incluyendo el control más preciso de las tuplas $(|A|, |2A|, \dots, |hA|)$ y la extensión de estos resultados a grupos con torsión o sumas restringidas.

La Gran Búsqueda de la Suma de Conjuntos

El Triángulo Prohibido

Llenando los Huecos (En su Mayoría)

El Caso Especial de Tres

¿Qué sigue siendo un Misterio?

Más como este