arXiv++ Combinatorics

We study arithmetical aspects of Ito-Sadahiro number systems with negative base. We show that the bases $-β<-1$, where $β$ is zero of $x^3-mx^2-mx-m,\ m\in\mathbb N,$ possess the so-called finiteness property. For the Tribonacci base $-γ,$ zero of $x^3-x^2-x-1$, we present an effective algorithm for addition and subtraction. In particular, we present a finite state transducer performing these operations. As a consequence of the structure of the transducer, we determine the maximal number of fractional digits arising from addition or subtraction of two $(-γ)$-integers.

In this paper we study the expansions of real numbers in positive and negative real base as introduced by Rényi, and Ito & Sadahiro, respectively. In particular, we compare the sets $\mathbb{Z}_β^+$ and $\mathbb{Z}_{-β}$ of nonnegative $β$-integers and $(-β)$-integers. We describe all bases $(\pmβ)$ for which $\mathbb{Z}_β^+$ and $\mathbb{Z}_{-β}$ can be coded by infinite words which are fixed points of conjugated morphisms, and consequently have the same language. Moreover, we prove that this happens precisely for $β$ with another interesting property, namely that any integer linear combination of non-negative powers of the base $-β$ with coefficients in $\{0,1,\dots,\lfloorβ\rfloor\}$ is a $(-β)$-integer, although the corresponding sequence of digits is forbidden as a $(-β)$-integer.