Sums in the grid (Q1356653)

Für \(k=2,3,\dots\) bedeutet \([k]^n= \{0,\dots,k-1\}^n\), also \([k]^n\subset\mathbb{Z}^n\), und mit \(A,B\subseteq[k]^n\) ist die Summe von \(A\) und \(B\) durch \(A+B:= \{a+b\in[k]^n; a\in A, b\in B\}\) erklärt. Das Hauptresultat dieser Arbeit ist es, eine bestmögliche untere Schranke für \(|A+ B|\) durch \(|A|\) und \(|B|\) zu geben; dabei wird für \(A\) (und entsprechend für \(B\)) angenommen, daß aus \(x= (x_1,\dots,x_n)\in A\) und \(y_i\leq x_i\) für alle \(i\) folgt \(y= (y_1,\dots,y_n)\in A\).