Mulțimea sumelor este conceptul de combinatorie aditivă , corespunzătoare sumei Minkowski de mulțimi finite .
Fie orice grup și să fie mulțimi finite. Atunci suma lor este setul
Pentru un set, setul său de sume se numește . Sumele multiple sunt prescurtate [1]
În mod similar, setul de diferențe , setul de produse , setul de coeficienti și altele asemenea sunt definite pentru orice operație. De exemplu, setul de produse este definit după cum urmează [2] :
Valoarea se numește constantă de dublare [3] , iar mulțimile pentru care este mărginită se spune că au o dublare mică [4] . În legătură cu teorema produsului sumă , se consideră adesea mulțimi cu dublare multiplicativă mică , adică pentru care valoarea este limitată [5] .
Puterea mulțimii de sume este legată de energia aditivă prin inegalitatea [6] , deci cea din urmă este adesea folosită pentru estimarea acesteia.
Teorema lui Freiman consideră mărimea ca un indicator al structurii unei mulțimi (dacă constanta de dublare este limitată, atunci structura este similară cu o progresie aritmetică generalizată ). [7] [8]
Teorema sumă-produs raportează dimensiunea mulțimii de sume și a mulțimii de produse. Ipoteza principală spune că pentru . [9] Combinația de însumare și produs într-o singură expresie a condus la apariția combinatoriei aritmetice .
Studiem influența aplicării element cu element a unei funcții convexe la mulțimi însumabile asupra mărimii mulțimii de sume. Pentru secvențele convexe , limitele inferioare ale și sunt cunoscute . [10] Mai general, pentru o funcție convexă și o mulțime, problema de estimare și unele similare sunt uneori considerate ca o generalizare a teoremei produsului sumă, deoarece și deci , iar funcția este convexă. [unsprezece]
Inegalitatea Plünnecke-Rouge afirmă că creșterea (creșterea în mărime față de seturile însumabile) a sumelor multiple nu depășește, în medie (în raport cu ), cu mult creșterea lui .
Inegalitatea triunghiului Rouge raportează dimensiunile pentru orice mulțimi și arată că dimensiunea normalizată a diferenței de mulțimi poate fi considerată ca o pseudometrică care reflectă apropierea structurii acestor mulțimi. [12]
Una dintre întrebările fundamentale ale combinatoriei aditive este: ce structură pot sau ar trebui să aibă seturile de sume. De la începutul anului 2020, nu se cunoaște un algoritm netrivial de rapid care să determine dacă un anumit set mare poate fi reprezentat ca sau . Cu toate acestea, sunt cunoscute unele rezultate parțiale privind structura mulțimilor de sume.
De exemplu, seturile de sume de numere reale nu pot avea o dublare multiplicativă mică, adică dacă , atunci pentru unii . [13] Și în grupul de reziduuri modulo un prim există doar mulțimi care pot fi reprezentate ca . [14] [15]
Se știe că dacă sunt mulțimi dense de numere naturale, atunci conține progresii aritmetice lungi . [16] Cu toate acestea, sunt cunoscute exemple de seturi dense cu o limită superioară puternică pe lungimea unor astfel de progresii. [17] [18]