El conjunto de sumas es el concepto de combinatoria aditiva , correspondiente a la suma de Minkowski de conjuntos finitos .
Sea cualquier grupo y sean conjuntos finitos. Entonces su suma es el conjunto
Para un conjunto, su conjunto de sumas se llama . Las sumas múltiples se abrevian [1]
De manera similar, el conjunto de diferencias , el conjunto de productos , el conjunto de cocientes y similares se definen para cualquier operación. Por ejemplo, el conjunto de productos se define de la siguiente manera [2] :
El valor se denomina constante de duplicación [3] , y se dice que los conjuntos para los que está acotado tienen una pequeña duplicación [4] . En relación con el teorema de la suma del producto , a menudo se consideran conjuntos con pequeñas duplicaciones multiplicativas , es decir, cuyo valor es limitado [5] .
La potencia del conjunto de sumas está relacionada con la energía aditiva por la desigualdad [6] , por lo que esta última suele utilizarse para estimarla.
El teorema de Freiman considera el tamaño como un indicador de la estructuración de un conjunto (si la constante de duplicación es limitada, entonces la estructura es similar a una progresión aritmética generalizada ). [7] [8]
El teorema suma-producto relaciona el tamaño del conjunto de sumas y el conjunto de productos. La hipótesis principal dice que para . [9] La combinación de sumatoria y producto en una sola expresión condujo al surgimiento de la combinatoria aritmética .
Estudiamos la influencia de la aplicación elemento por elemento de una función convexa a conjuntos sumables sobre el tamaño del conjunto de sumas. Para sucesiones convexas , los límites inferiores de y son conocidos . [10] Más generalmente, para una función convexa y un conjunto, el problema de estimación y algunos similares a veces se consideran como una generalización del teorema de la suma del producto, ya que y por lo tanto , y la función es convexa. [once]
La desigualdad de Plünnecke-Rouge establece que el crecimiento (aumento de tamaño con respecto a los conjuntos sumables) de sumas múltiples no supera, en promedio (en relación con ), mucho más que el crecimiento de .
La desigualdad del triángulo de Rouge relaciona los tamaños de cualquier conjunto y muestra que el tamaño normalizado de la diferencia de conjuntos se puede considerar como una pseudométrica que refleja la cercanía de la estructura de estos conjuntos. [12]
Una de las cuestiones fundamentales de la combinatoria aditiva es: qué estructura pueden o deben tener los conjuntos de sumas. A principios de 2020, no se conoce ningún algoritmo que no sea trivialmente rápido para determinar si un conjunto grande dado se puede representar como o . Sin embargo, se conocen algunos resultados parciales sobre la estructura de los conjuntos de suma.
Por ejemplo, los conjuntos de sumas de números reales no pueden tener pequeñas duplicaciones multiplicativas, es decir, si , entonces para algunos . [13] Y en el grupo de residuos módulo a primo solo hay conjuntos que se pueden representar como . [14] [15]
Se sabe que si son conjuntos densos de números naturales, entonces contiene progresiones aritméticas largas . [16] Sin embargo, se conocen ejemplos de conjuntos densos con un fuerte límite superior en la longitud de tales progresiones. [17] [18]