English

The Minkowski sum of linear Cantor sets

Classical Analysis and ODEs 2022-10-20 v2 Dynamical Systems Number Theory

Abstract

Let CC be the classical middle third Cantor set. It is well known that C+C=[0,2]C+C = [0,2] (Steinhaus, 1917). (Here ++ denotes the Minkowski sum.) Let UU be the set of z[0,2]z \in [0,2] which have a unique representation as z=x+yz = x + y with x,yCx, y \in C (the set of uniqueness). It isn't difficult to show that dimHU=log(2)/log(3)\dim_H U = \log(2) / \log(3) and UU essentially looks like 2C2C. Assuming 0,n1A{0,1,,n1}0,n-1 \in A \subset \{0,1,\dots,n-1\}, define CA=CA,nC_A = C_{A,n} as the linear Cantor set which the attractor of the iterated function system {x(x+a)/n:aA}. \{ x \mapsto (x + a) / n: a \in A \}. We consider various properties of such linear Cantor sets. Our main focus will be on the structure of CA,n+CA,nC_{A,n}+C_{A,n} depending on nn and AA as well as the properties of the set of uniqueness UAU_A.

Keywords

Cite

@article{arxiv.2210.07671,
  title  = {The Minkowski sum of linear Cantor sets},
  author = {Kevin G. Hare and Nikita Sidorov},
  journal= {arXiv preprint arXiv:2210.07671},
  year   = {2022}
}

Comments

Added some additional relevant references. Emphasized that almost all z \in C_A + C_A have a continuum of representations as z = x + y with x, y \in C_A. Added the observation that dim_H(U_A) < 1 for trivial reasons

R2 v1 2026-06-28T03:38:08.300Z