Higher convexity and iterated sum sets (Q2151174)

We shall use throughout the notation \(X<<Y\) to mean \(X\leq CY\) for some absolute constant \(C\). Writing \(X<<_k Y\) means there is a constant \(C_k\) which depends only on \(k\) such that \(X\leq C_kY\).\par Let \(f\) be a real function, whose first \(k\) derivatives are strictly monotone. Let \(A\) be a finite set of real numbers, such that \(\vert A+A\vert \leq K\vert A\vert \) for some number \(K\). The main result of the paper is that \(\vert 2^kf(A)-(2^k-1)f(A)\vert >>_k\vert A\vert ^{k+1-o(1)}/K^{O_k(1)}\). The paper contains many related results.