Growth of sumsets in Abelian semigroups (Q1576306)

Let \(S\) be an Abelian semigroup. For any positive integer \(h\), the set of sums of \(h\) not necessarily distinct elements of \(A\) is called the sumset \(hA\). For \(A_1,\ldots,A_r,B\) nonempty subsets of \(S\) and \(h_1,\ldots,h_r\) nonnegative integers, consider the function (called the growth function): \(\gamma(h_1,\ldots,h_r)=\) cardinality of the sumset \(B+h_1A_1+\cdots+h_rA_r\), where \(B+h_1A_1+\cdots+h_rA_r\) is the set of elements in \(S\) of the form \(b+u_1+\cdots+u_r\) with \(b\in B\) and \(u_i\in h_iA_i\). In the paper, the author proves that there exists a polynomial \(p(z_1,\ldots,z_r)\) such that \(\gamma(h_1,\ldots,h_r)=p(h_1,\ldots,h_r)\) for \(\min(h_1,\ldots,h_r)\) large enough.