Fractal Sumset Properties

Derong Kong,Zhiqiang Wang

DOI: https://doi.org/10.1007/s10474-024-01421-2

2024-06-04

Abstract:In this paper we introduce two notions of fractal sumset properties. A compact set $K\subset\mathbb{R}^d$ is said to have the Hausdorff sumset property (HSP) if for any $\ell\in\mathbb{N}_{\ge 2}$ there exist compact sets $K_1, K_2,\ldots, K_\ell$ such that $K_1+K_2+\cdots+K_\ell\subset K$ and $\dim_H K_i=\dim_H K$ for all $1\le i\le \ell$. Analogously, if we replace the Hausdorff dimension by the packing dimension in the definition of HSP, then the compact set $K\subset\mathbb{R}^d$ is said to have the packing sumset property (PSP). We show that the HSP fails for certain homogeneous self-similar sets satisfying the strong separation condition, while the PSP holds for all homogeneous self-similar sets in $\mathbb{R}^d$.

Classical Analysis and ODEs

What problem does this paper attempt to address?

The problem this paper attempts to address is the sumset properties of fractal sets. Specifically, the authors introduce two new concepts: Hausdorff Sumset Property (HSP) and Packing Sumset Property (PSP), and study these properties in self-similar sets.

### Main Issues:
1. **Hausdorff Sumset Property (HSP)**:
- A compact set \( K \subset \mathbb{R}^d \) is said to have the Hausdorff Sumset Property (HSP) if for any \( \ell \in \mathbb{N}_{\geq 2} \), there exist compact sets \( K_1, K_2, \ldots, K_\ell \subset \mathbb{R}^d \) such that \( K_1 + K_2 + \cdots + K_\ell \subset K \) and \( \dim_H K_i = \dim_H K \) holds for all \( 1 \leq i \leq \ell \).
- The paper proves that certain homogeneous self-similar sets satisfying the Strong Separation Condition (SSC) do not have the HSP-2 property, and therefore do not have the HSP property.

2. **Packing Sumset Property (PSP)**:
- Similarly, if the Hausdorff dimension is replaced by the packing dimension, then \( K \) is said to have the Packing Sumset Property (PSP).
- The paper proves that all homogeneous self-similar sets have the PSP property.

3. **Positive Dimension Sumset Property (PDSP)**:
- A compact set \( K \subset \mathbb{R}^d \) is said to have the Positive Dimension Sumset Property (PDSP) if \( \dim_H K > 0 \), and for any \( \ell \in \mathbb{N}_{\geq 2} \), there exist compact sets \( K_1, K_2, \ldots, K_\ell \subset \mathbb{R}^d \) such that \( K_1 + K_2 + \cdots + K_\ell \subset K \) and \( \dim_H K_i > 0 \) holds for all \( 1 \leq i \leq \ell \).
- The paper proves that all homogeneous self-similar sets and self-similar sets in \( \mathbb{R} \) or \( \mathbb{R}^2 \) have the PDSP property.

### Main Results:
- **Theorem 1.1**: If a homogeneous self-similar set \( K \subset \mathbb{R}^d \) is generated by an IFS \( \Phi = \{f_b(x) = \rho Ox + b : b \in D\} \) and the corresponding IFS \( \Psi = \{g_b(x) = \rho Ox + b : b \in D - D\} \) satisfies the Strong Separation Condition (SSC), then there exists a constant \( \beta < \dim_H K \) such that for any two non-empty sets \( K_1, K_2 \subset \mathbb{R}^d \) satisfying \( K_1 + K_2 \subset K \), we have \( \dim_H K_1 + \dim_H K_2 \leq 2\beta \). Therefore, \( K \) does not have the HSP-2 property, nor does it have the HSP property.
- **Theorem 1.2**: If \( K \subset \mathbb{R}^d \) is a homogeneous self-similar set, then \( K \) has the PSP property.
- **Theorem 1.3**: If \( K \) is a \(