Dimension growth for iterated sumsets (Q2332864)

From MaRDI portal





scientific article; zbMATH DE number 7126315
Language Label Description Also known as
default for all languages
No label defined
    English
    Dimension growth for iterated sumsets
    scientific article; zbMATH DE number 7126315

      Statements

      Dimension growth for iterated sumsets (English)
      0 references
      0 references
      0 references
      0 references
      5 November 2019
      0 references
      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.
      0 references
      sumset
      0 references
      Assouad dimension
      0 references
      box dimension
      0 references
      Hausdorff dimension
      0 references
      distance set
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references