Dimension growth for iterated sumsets (Q2332864)

Given a set \(F\subseteq \mathbb{R}^d\), the iterated sumset \(nF\) is defined by \[ n F := F + F + \cdots + F = \{a_1 + a_2 + \cdots + a_n : a_i\in F, \forall\,i\in \{1, \ldots, n\}\}. \] The authors study the dimension of such iterated sumsets. In particular, they prove the following two theorems. Theorem. Let \(F_1, F_2\subseteq \mathbb{R}\) with \(0 < \overline{\dim}_B F_1, \underline{\dim_B} F_2 < 1\). If either \(\dim_A F_1 < 1\) or \(\dim_L F_2 > 0\), then \(\overline{\dim}_B F_1 < \overline{\dim}_B (F_1+F_2)\). Here, \(\underline{\dim}_B, \overline{\dim}_B\) denotes the upper, respectively, lower box dimension, and \(\dim_A\) and \(\dim_L\) the Assouad, respectively, the lower dimension of a set. Theorem. Let \(F\subseteq \mathbb{R}\). If \(\dim_L F > 0\), then \(\lim\limits_{n\to\infty} \dim_L nF = 1\). In particular, if \(F\) is closed or even \(F\) has closed subsets with positive lower dimension, then \(\lim\limits_{n\to\infty} \dim_H nF = 1\), where \(\dim_H\) denotes the Hausdorff dimension. Several corollaries related to these results are also presented.