Powers of subsets in free groups. (Q2880047)

It is proved by \textit{M.-C. Chang}, [J. Inst. Math. Jussieu 7, No. 1, 1-25 (2008; Zbl 1167.20328)], that there exist constants \(c,\delta>0\) such that \(|A^3|>c\cdot |A|^{1+\delta}\) for any subset \(A\) of the group \(\text{SL}_2(\mathbb C)\) not contained in any virtually Abelian subgroup. The latter estimation result is improved by \textit{A. A. Razborov}, [A product theorem in free groups, preprint (2007), \url{http://www.mi.ras.ru/~razborov/free_group.pdf}] in a special case: there exists a constant \(c>0\) such that \(|A\cdot A\cdot A|\geq\frac{|A|^2}{(\log|A|)^c}\) for any finite subset \(A\) of a free group not contained in any cyclic subgroup.NEWLINENEWLINE The main result of the paper under review is the following: Theorem 1. There exist constants \(c_n>0\) such that for any finite subset \(A\) of a free group not contained in any cyclic subgroup we have \(|A^n|\geq c_n\cdot |A|^{[(n+1)/2]}\) for all positive integers \(n\).