An analogue of Cobham's theorem for graph directed iterated function systems (Q2346036): Difference between revisions

The authors extend a result by \textit{D.-J. Feng} and \textit{Y. Wang} [Adv. Math. 222, No. 6, 1964--1981 (2009; Zbl 1184.28013)], which states that two homogeneous iterated function systems (IFSs) in \(\mathbb{R}\) with multiplicatively independent contraction factors have different attractors, to graph-directed IFSs in \(\mathbb{R}^n\) with contractions factors of the form \(\beta^{-1}\), \(\beta\in \mathbb N\). Employing this extension the authors not only proof a conjecture of Adamczewski and Bell but also establish a link to Büchi automata. This connection allows the characterization of subsets of \(\mathbb{R}^n\) whose representations in base \(\beta\in \mathbb{R}^+\) are recognized by Büchi automata in the case where \(\beta\) is a Pisot or Parry number.