Multe sume

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 11 mai 2018; verificările necesită 7 modificări .

Mulțimea sumelor  este conceptul de combinatorie aditivă , corespunzătoare sumei Minkowski de mulțimi finite .

Definiție

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]

Definiții înrudite

Î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] .

Proprietăți

Puterea mulțimii de sume este legată de energia aditivă prin inegalitatea [6] , deci cea din urmă este adesea folosită pentru estimarea acesteia.

Sumele unui set

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]

Sumele mai multor seturi

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]

Structura

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]

Vezi și

Literatură

Note

  1. Freiman, 1966 , p. 7-8
  2. Tao, Wu, 2006 , p. 54, p. 92
  3. Tao, Wu, 2006 , p. 57
  4. Tao, Wu, 2006 , p. 240
  5. Tao, Wu, 2006 , p. 188; Shkredov, 2013 , § 5
  6. Conform inegalității Cauci-Bunyakovsky , , unde  este numărul de reprezentări
  7. Freiman, 1966 .
  8. Această întrebare este adesea numită problema inversă a combinatoriei aditive (vezi, de exemplu, Freiman, 1966 , secțiunea 1.8, p. 19)
  9. Erdős, Szemeredi, 1983 ; Shakan, 2019
  10. Shkredov, Schoen, 2011 .
  11. Elekes, Nathanson, Ruzsa, 2000 .
  12. Tao, Wu, 2006 , p. 60
  13. Shkredov, Zhelezov, 2016 , consecința 2
  14. Alon, Granville, Ubis, 2010 .
  15. În timp ce numărul total de seturi din acest grup este evident
  16. Bourgain a demonstrat pentru prima dată acest lucru în Bourgain, 1990 . Cel mai bun rezultat pentru 2020 a fost obținut în Green, 2002 , și ulterior reproșat printr-o nouă metodă, mai generală, în Croot, Laba, Sisask, 2013
  17. Ruzsa, 1991 .
  18. O prezentare generală a rezultatelor pe această temă poate fi găsită în Croot, Ruzsa , Schoen, 2007