Dimension growth for iterated sumsets

From MaRDI portal
Publication:2332864



Abstract: We study dimensions of sumsets and iterated sumsets and provide natural conditions which guarantee that a set FsubseteqmathbbR satisfies overlinedimextBF+F>overlinedimextBF or even dimextHnFo1. Our results apply to, for example, all uniformly perfect sets, which include Ahlfors-David regular sets. Our proofs rely on Hochman's inverse theorem for entropy and the Assouad and lower dimensions play a critical role. We give several applications of our results including an ErdH{o}s-Volkmann type theorem for semigroups and new lower bounds for the box dimensions of distance sets for sets with small dimension.


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.



Cites work









This page was built for publication: Dimension growth for iterated sumsets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2332864)