Combinatorics of linear iterated function systems with overlaps

Abstract

Let ${\mathbf{p}}_0,...,{\mathbf{p}}_{m-1}$ be points in ${\mathbb{R}}^d$, and let $\{f_j{\}}_{j=0}^{m-1}$ be a one-parameter family of similitudes of ${\mathbb{R}}^d$: $$f_j(\mathbf{x})=\lambda \mathbf{x}+(1-\lambda ){\mathbf{p}}_j,j=0,...,m-1,$$ where $\lambda \in (0,1)$ is our parameter. Then, as is well known, there exists a unique self-similar attractor $S_{\lambda }$ satisfying $S_{\lambda }={\bigcup }_{j=0}^{m-1}{f}_j(S_{\lambda })$. Each $\mathbf{x}\in S_{\lambda }$ has at least one address $(i_1,i_2,...)\in {\prod }_1^{\infty }\{0,1,...,m-1\}$, i.e., ${\lim }_n{f}_{i_1}{f}_{i_2}...f_{i_n}(0)=\mathbf{x}$. We show that for $\lambda$ sufficiently close to 1, each $\mathbf{x}\in S_{\lambda }\setminus \{{\mathbf{p}}_0,...,{\mathbf{p}}_{m-1}\}$ has $2^{{\aleph }_0}$ different addresses. If $\lambda$ is not too close to 1, then we can still have an overlap, but there exist $\mathbf{x}$'s which have a unique address. However, we prove that almost every $\mathbf{x}\in S_{\lambda }$ has $2^{{\aleph }_0}$ addresses, provided $S_{\lambda }$ contains no holes and at least one proper overlap. We apply these results to the case of expansions with deleted digits. Furthermore, we give sharp sufficient conditions for the Open Set Condition to fail and for the attractor to have no holes. These results are generalisations of the corresponding one-dimensional results, however most proofs are different.

Accepted for publication in Nonlinearity

References in corpus (1)

• Golden gaskets: variations on the Sierpiński sieve

Cited by in corpus (16)

• Hausdorff dimension of unique beta expansions
• Intersections of homogeneous Cantor sets and beta-expansions
• On intrinsic and extrinsic rational approximation to Cantor sets
• On a family of self-affine sets: topology, uniqueness, simultaneous expansions
• Two-dimensional self-affine sets with interior points, and the set of uniqueness
• Unique expansions and intersections of Cantor sets
• Generalised golden ratios over integer alphabets
• Relative bifurcation sets and the local dimension of univoque bases
• Entropy, topological transitivity, and dimensional properties of unique $q$-expansions
• Bifurcation sets arising from non-integer base expansions
• Autonomous choices among deterministic evolution-laws as source of uncertainty
• Critical base for the unique codings of fat Sierpinski gasket
• Growth rate for beta-expansions
• On the cardinality and complexity of the set of codings for self-similar sets with positive Lebesgue measure
• On the complexity of the set of codings for self-similar sets and a variation on the construction of Champernowne
• Intersections of Siepinski gasket with its translation