The shape of the dust-likeness locus of self-similar sets (Q481124)

The authors study the deformation space \(ND(n)\) of normalised contractive holomorphic linear iterated function systems \(I\) generated by \(n\) contracting similarities \(S_{i}: {\mathbb C} \to {\mathbb C}\) of the form \(S_{1}(z):= \lambda_{1}z, S_{2}(z):= \lambda_{2}(z-1) +1, S_{3}(z):= \lambda_{3}(z)(z-\alpha_{3})+\alpha_{3}, \dots, S_{n}(z):= \lambda_{n}(z)(z-\alpha_{n})+\alpha_{n}\). Emphasis is put on the set \(DL(n)\) consisting of those systems in \(ND(n)\) for which the associated fractal set is dust-like. The first main result is the following theorem, where \(d_{T}(I_{1},I_{2})\) denotes the Teichmüller distance between two systems \(I_{1}, I_{2} \in DL(n)\), given by the infimum of the logarithm of the maximal dilation among all quasiconformal maps of \({\mathbb C}\) which preserve the markings of \(I_{1}\) and \( I_{2}\). Theorem. The Teichmüller distance \(d_{T}\) on \(DL(n)\) is complete. In particular, \(DL(n)\) coincides with the quasiconformal deformation space of a contractive holomorphic linear iterated function space in \(DL(n)\). The paper continues by looking at particular slices \(Sl(2, \omega_{1},\omega_{2})\) in \(DL(2)\), consisting of all iterated function systems \(I(r,s, \omega_{1} ,\omega_{2})=\langle S_{1}, S_{2}\rangle\), given for \(r,s>0\) and \(\omega_{i}^{4}=1\), by \(S_{1}(z):=r \omega_{1} z\) and \(S_{2}(z):=s \omega_{1} (z-1)+1\). Here, the main result is stated in the following theorem. Theorem. {\parindent=6mm \begin{itemize}\item[(1)] If \(\omega_{i} \in \{\pm 1\}\), then \( Sl(2, \omega_{1},\omega_{2}) =\{ I(r,s, \omega_{1} ,\omega_{2}) \in ND(2): r+s<1\}.\) \item[(2)] If \(\omega_{1}\in \{\pm i\}\) and \(\omega_{2}\) is real, then \( Sl(2, \omega_{1},\omega_{2}) =\{ I(r,s, \omega_{1} ,\omega_{2}) \in ND(2): r^{2}+s<1\}.\) \item[(3)] If \(\omega_{i} \in \{\pm i\}\), then \( Sl(2, \omega_{1},\omega_{2}) =\{ I(r,s, \omega_{1} ,\omega_{2} ) \in ND(2): r^{2}+rs<1, s^{2} + rs <1\}.\) \end{itemize}}