Purely periodic expansions in systems with negative base (Q2448945)

Verff. betrachten Zahlensysteme mit negativer Basis, wie sie von \textit{S. Ito} und \textit{T. Sadahiro} [Integers 9, No. 3, 239--259, A22 (2009; Zbl 1191.11005)] definiert und auf ihre grundlegenden Eigenschaften untersucht wurden. Für reelle \(\beta>1\) ist dabei \(I_\beta\) das Intervall \([-\beta/(\beta+1),1/(\beta+1))\) und die \((-\beta)\)-Transformation \(T_{-\beta} \colon I_\beta\to I_\beta\) ist gegeben durch \[ T_{-\beta}(x)=-\beta x-\lfloor -\beta x+\beta/(\beta+1)\rfloor. \] Zuerst behandeln Verff. das Problem, ob es ein Intervall \(J\subset I_\beta\) mit \(0\in J\) gibt derart, dass jedes \(x\in\mathbb{Q}\cap J\) eine rein-periodische \((-\beta)\)-Entwicklung besitzt. An der Vorgehensweise im Fall positiver Basen orientiert beweisen sie: Eine notwendige Bedingung für die Existenz eines solchen \(J\) ist, dass \(\beta\) eine ganze algebraische Einheit ist, die entweder Pisot- oder Salem-Zahl ist. Als hinreichende Bedingung erweist sich hier: \(\beta\) ist Pisot-Einheit mit der Eigenschaft, dass \(\text{Fin}(-\beta)\), die Menge der endlichen \((-\beta)\)-Entwicklungen, mit \(\mathbb{Z}[\beta]\) zusammenfällt und der linke Endpunkt von \(I_\beta\) eine unendliche Entwicklung hat. Weiter wird der Fall quadratischer Pisot-Einheiten diskutiert, wobei das Intervall \(J\) bei positiver bzw. negativer Konjugierten (von \(\beta\)) gesondert beschrieben wird. Schließlich wird gezeigt, dass im Fall quadratischer \(\beta\) die Bedingung \(\text{Fin}(-\beta)=\mathbb{Z} [\beta]\) für die Existenz eines \(J\) wie oben nicht notwendig ist.