Arithmetics in number systems with a negative base

AbstractWe study the numeration system with a negative base, introduced by Ito and Sadahiro. We focus on arithmetic operations in the sets Fin(−β) and Z−β of numbers having finite resp. integer (−β)-expansions. We show that Fin(−β) is trivial if β is smaller than the golden ratio 12(1+5). For β≥12(1+5) we prove that Fin(−β) is a ring, only if β is a Pisot or Salem number with no negative conjugates. We prove the conjecture of Ito and Sadahiro that Fin(−β) is a ring if β is a quadratic Pisot number with positive conjugate. For quadratic Pisot units, we determine the number of fractional digits that may appear when adding or multiplying two (−β)-integers