Mängden summor är begreppet additiv kombinatorik , motsvarande Minkowski-summan av finita mängder .
Låt vara vilken grupp som helst och vara ändliga mängder. Då är deras summa uppsättningen
För en uppsättning kallas dess uppsättning summor . Flera summor förkortas [1]
På samma sätt definieras uppsättningen av skillnader , uppsättningen produkter , uppsättningen kvoter och liknande för alla operationer. Till exempel är uppsättningen produkter definierad enligt följande [2] :
Värdet kallas för dubbleringskonstanten [3] , och de mängder som det är avgränsat för sägs ha en liten dubblering [4] . I samband med summaproduktsatsen betraktas ofta mängder med liten multiplikativ fördubbling , det vill säga för vilka värdet är begränsat [5] .
Kraften i mängden summor är relaterad till den additiva energin genom ojämlikheten [6] , så den senare används ofta för att uppskatta den.
Freimans teorem betraktar storlek som en indikator på struktureringen av en mängd (om dubbleringskonstanten är begränsad, liknar strukturen en generaliserad aritmetisk progression ). [7] [8]
Summaproduktsatsen relaterar storleken på mängden summor och mängden produkter. Huvudhypotesen säger att för . [9] Kombinationen av summering och produkt i ett uttryck ledde till uppkomsten av aritmetisk kombinatorik .
Vi studerar inverkan av element-för-element-tillämpning av en konvex funktion på summerbara mängder på storleken av mängden summor. För konvexa sekvenser är nedre gränser på och kända . [10] Mer allmänt, för en konvex funktion och en mängd, anses uppskattningsproblemet och några liknande ibland som en generalisering av summaproduktsatsen, eftersom och därför , och funktionen är konvex. [elva]
Plünnecke-Rouge-ojämlikheten säger att tillväxten (ökningen i storlek med avseende på summerbara uppsättningar) av flera summor i genomsnitt (i förhållande till ) inte avsevärt överstiger tillväxten av .
Den Rouge triangelolikheten relaterar storlekarna för alla uppsättningar och visar att den normaliserade storleken på skillnaden mellan uppsättningar kan betraktas som en pseudometrisk som återspeglar närheten av strukturen hos dessa uppsättningar. [12]
En av de grundläggande frågorna för additiv kombinatorik är: vilken struktur kan eller bör uppsättningar av summor ha. Från och med början av 2020 är ingen icke-trivialt snabb algoritm känd för att avgöra om en given stor uppsättning kan representeras som eller . Vissa delresultat om strukturen hos summamängder är dock kända.
Till exempel kan uppsättningar av summor av reella tal inte ha liten multiplikativ dubblering, det vill säga om , då för vissa . [13] Och i gruppen av rester modulo a primtal finns det bara mängder som kan representeras som . [14] [15]
Det är känt att om är täta uppsättningar av naturliga tal, då innehåller långa aritmetiska progressioner . [16] Ändå är exempel på täta uppsättningar med en stark övre gräns för längden av sådana progressioner kända. [17] [18]