On the structures of generating iterated function systems of Cantor sets (Q1034083)

Let \(\Phi=\{\phi_j\}_{1\leq j\leq N}\) be an IFS in \(\mathbb R^d\), and \(F_\Phi\subset\mathbb R^d\) the attractor of \(\Phi\). The following question is rather fundamental and difficult, and is open for a long time in fractal geometry: is it possible to express \(F_\Phi\) as the attractor of another IFS? The close relative question is: if \(\Psi=\{\psi_j\}_{1\leq j\leq M}\) be another IFS such that \(F_\Phi=F_\Psi\), what are the relations between these two IFS. For studying the problem above, the authors introduce the notions of generating IFSs, minimal generating IFS, logarithmic commensurability, They study in details the semi-group of homogeneous generating IFSs of a Cantor set in \(\mathbb R\) under the open set condition. They prove that if \(\dim_HF<1\), then all generating IFSs must have logarithmically commensurable contraction factors. From this result, the authors derive a structure theorem for the semi-group of generating IFSs under open set condition. These results are essentially the first step of studies in this direction. The authors give also some non-trivial examples in the paper.