On periodic representations in non-Pisot bases

We study periodic expansions in positional number systems with a base β∈C,|β|>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta \in \mathbb {C},\ |\beta |>1$$\end{document}, and with coefficients in a finite set of digits A⊂C.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}\subset \mathbb {C}.$$\end{document} We are interested in determining those algebraic bases for which there exists A⊂Q(β),\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}\subset \mathbb {Q}(\beta ),$$\end{document} such that all elements of Q(β)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {Q}(\beta )$$\end{document} admit at least one eventually periodic representation with digits in A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}$$\end{document}. In this paper we prove a general result that guarantees the existence of such an A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}$$\end{document}. This result implies the existence of such an A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}$$\end{document} when β\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta $$\end{document} is a rational number or an algebraic integer with no conjugates of modulus 1. We also consider periodic representations of elements of Q(β)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {Q}(\beta )$$\end{document} for which the maximal power of the representation is proportional to the absolute value of the represented number, up to some universal constant. We prove that if every element of Q(β)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {Q}(\beta )$$\end{document} admits such a representation then β\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta $$\end{document} must be a Pisot number or a Salem number. This result generalises a well known result of Schmidt (Bull Lond Math Soc 12(4):269–278, 1980).


Introduction
We consider representations of numbers in a base β ∈ C, |β| > 1, using a finite alphabet of digits. When β is positive and real, the classical way to obtain representations is to apply the greedy algorithm and use the 'canonical' alphabet {a ∈ Z : 0 ≤ a < β}. A well known result of Schmidt [22] states that if β is a Pisot number then every positive element of the field Q(β) has eventually periodic greedy β-expansion, i.e. Per(β) : = {x ≥ 0 : x has eventually periodic greedy β-expansion} = Q(β) ∩ [0, +∞).
On the other hand, apart from Pisot numbers, only Salem numbers may have this property. However, there are no examples of Salem numbers of this type. Alternative ways of representing numbers in a real base (balanced system with symmetric alphabet, negative base, etc.) were considered in [2,17,18]. Corresponding analogues of Schmidt's result were shown to hold, see [10,13]. This emphasises the importance of Pisot numbers in the theory of number representations.
It is natural to wonder what happens if we relax the condition that the expansion in base β is generated by a specific algorithm and allow representations in a general alphabet A. We shall study the so called (β, A)-representations for β ∈ C, |β| > 1 and A ⊂ C finite, i.e. expressions of the form k≥−L a k β −k , a k ∈ A. In this article we focus on the set Per A (β) = x ∈ C : x has an eventually periodic (β, A)-representation and study the following question: Question Which bases β admit an alphabet A for which Per A (β) = Q(β)? Clearly, by Schmidt, any Pisot number β satisfies this property choosing A = {a ∈ Z : −β < a < β}. As we will show, it is satisfied also by complex Pisot bases and a broad class of non-Pisot and non-Salem numbers, in particular, all algebraic integers without a conjugate on the unit circle, see Corollary 26. Surprisingly, being an algebraic integer is not a necessary condition. For example, rational numbers have this property (Corollary 27). In Theorem 25, we provide a sufficient condition on the base β so that there exists an alphabet A allowing eventually periodic representations of every element of Q(β).
Although alphabets exist which yield eventually periodic representations for every element of Q(β) for very general bases, perhaps all algebraic β, Pisot and Salem numbers still play a crucial role in the study of our question. In fact, they are the only bases for which eventually periodic representations can satisfy a special property. Roughly speaking, the represented number is in its modulus proportional to the highest power of the base used, and moreover, the proportionality is uniform for every element of the field Q(β). We call such representations 'weak greedy', these ideas are expressed formally in Definition 13. This property of Pisot and Salem numbers may be seen as a strengthening of Schmidt's theorem; we state it as Theorem 18.

Representations of numbers
An algebraic number α is a zero of a non-zero polynomial f (x) ∈ Z[x]. The nonzero polynomial m(x) = a d x d + · · · + a 1 x + a 0 ∈ Z[x] of minimal degree such that m(α) = 0 and gcd(a d , . . . , a 0 ) = 1 is called the minimal polynomial of α. If the leading coefficient of the minimal polynomial satisfies a d = ±1, then α is called an algebraic integer. Galois conjugates of α are the roots of the minimal polynomial of α.
A very important role in the theory of numeration systems is played by Pisot and Salem numbers. Definition 1 1. A Pisot number is an algebraic integer β > 1 whose Galois conjugates are <1 in absolute value. 2. A complex Pisot number is an algebraic integer β ∈ C\R, |β| > 1 whose Galois conjugates except for the complex conjugate are < 1 in absolute value. 3. A Salem number is an algebraic integer β > 1 whose Galois conjugates are ≤1 in absolute value and at least on of them is equal to 1 in absolute value.

Definition 2
Let β ∈ C, |β| > 1, and let A ⊂ C be a finite set containing 0. An expression Suppose we are given a set and a mapping D : → A such that for every x ∈ Then the map x → T (x) is a transformation T : → which constructs a (β, A)representation for every x ∈ . This representation is of the form It is a simple observation that the coefficients a k are determined by the equation Moreover, every x ∈ n∈N β n has a (β, A)-representation of the form (1).
Example 3 Let us give several known examples of numeration systems based on the construction described above.

Akiyama and Scheicher
Currently, there is no canonical way of constructing representations for an arbitrary non-real base β. (β, A)-representation for special complex bases are studied in [16,19]. Nevertheless, Daróczy and Kátai [9], and then Thurston [23], proved that for any nonreal β ∈ C of modulus greater than 1, there exists a finite alphabet A ⊂ C such that every x ∈ C has a (β, A)-representation.
Theorem 4 [23] Given a base β ∈ C, |β| > 1, and a finite set A ⊂ C. Let be a bounded subset of C such that • 0 belongs to the interior of ; Then every x ∈ C has a (β, A)-representation of the form (1).

Remark 5 Theorem 4 provides a formula for the mapping
Such a ∈ A may not be unique, therefore we have a choice in how we define D.
For example, consider the (β, A)-representation of a non-zero x ∈ C obtained from Theorem 4. Its leading index L is found as the maximal integer such that x β L−1 / ∈ . Then we have The last inequality follows from the assumption that 0 is an interior point of . This gives the estimate (4).

Eventually periodic representations in Pisot bases
As we already mentioned, the question of the existence of an alphabet that allows Q(β) to have periodic expansions is already solved for real bases β such that |β| is a Pisot number, as a direct consequence of Schmidt's result. For negative base −β < −1 described in Example 3, an analogous result to the one of Schmidt was proved by Frougny and Lai in [13]. In this case, if β is Pisot, then all the elements of Q(β) admit periodic expansions with the alphabet {0, 1, . . . , β }.
Let us focus on a general case. The equality Per A (β) = Q(β) automatically implies that A ⊂ Q(β). We will now show that if every element of Q(β) can be represented by an eventually periodic sequence of digits from A ⊂ Q(β), then the same is true for a finite alphabet A ⊂ Z.

Let A ⊂ Q(β) be such that every element of Q(β) has a (β, A)-representation.
Then there exists an alphabet A ⊂ Z such that every element of Q(β) has a (β, A )-representation. 2. Let A ⊂ Q(β) be such that every element of Q(β) has an eventually periodic (β, A)-representation. Then there exists an alphabet A ⊂ Z such that every element of Q(β) has an eventually periodic (β, A )-representation. 3. Suppose there exists c > 0 such that every x ∈ Q(β) has a (β, A)-representation for which |x| ≥ c · |β| L where L is the leading index. Then there exists A ⊂ Z, c > 0 such that every x ∈ Q(β) has a (β, A )-representation for which |x| ≥ c · |β| L where L is the leading digit.
Proof Let A be as in item 1 of the lemma. Since each a ∈ A is an element of Q(β), we may express it in the form a = ( p 0 + p 1 β + · · · + p d−1 β d−1 )/Q, where p i ∈ Z, Q ∈ N, and d ∈ N. Note that d and Q do not depend on a. Let us take x ∈ Q(β) arbitrarily. By assumption, there exists a sequence (a k ) ∞ k=−L of digits in A such that Multiplying out the bracket, we see that x can be expressed as where each b k ∈ Z is the sum of at most d elements from the finite set { p therefore has a representation in base β and alphabet 1 Now take arbitrary y ∈ Q(β) and consider y/Q. Since y/Q ∈ Q(β), by the above Multiplying through by Q yields a (β, A )-representation y = k≥−L c k β −k . This proves item 1.
To prove item 2 we remark that in (5) the quantity b k depends only upon Thus, if every x ∈ Q(β) has an eventually periodic (β, A)-representation, then every x ∈ Q(β) has an eventually periodic (β, 1 Q A )-representation. Further, if x/Q has an eventually periodic (β, 1 Q A )-representation then x has an eventually periodic (β, A )representation. Since x is arbitrary, item 2 of our lemma holds.
To prove item 3 we begin by fixing x ∈ Q(β). Consider x/Q, suppose it has a (β, A)-representation with leading digit L which satisfies |x/Q| ≥ c · β L . By (5) we see that x/Q has a (β, 1 Q A )-representation with leading digit L . We remark that by (5), we have L ≤ L + d − 1. Multiplying through by Q we see that x has a (β, A )-representation with leading digit L . Using the inequalities |x/Q| ≥ c · |β| L and L ≤ L The parameter c has no dependence on x, so we may conclude item 3 from our lemma. Lemma 8 will often allow us to assume, without loss of generality, that an alphabet A satisfies A ⊂ Z.
First we show that negative Pisot and complex Pisot numbers admit an alphabet such that every element of the field Q(β) can be represented by an eventually periodic sequence. This is a generalization of one of the implications of the theorem of Schmidt [22].

Lemma 9
Let β or −β be a Pisot number, or let β be a complex Pisot number. Let A ⊂ Q(β) be a finite alphabet of digits. If an x ∈ Q(β) has a (β, A)-representation with leading index L, then it has an eventually periodic (β, A)-representation with leading index L.
Proof Let x ∈ Q(β) and let x = k≥−L a k β −k , a −L = 0. For n ≥ −L, define the sequence (T n ) n≥−L is bounded. Let β be a conjugate of β and let σ be the field isomorphism induced by β → σ (β) = β . If β is complex and β = β, then σ (T n ) n≥−L is bounded due to (6). For all other conjugates of β, consider Recall that β is an algebraic integer, and thus for any H > 0 the set . Obviously, also QT n ∈ Z[β] for every n ≥ −L. Therefore the elements of the sequence (T n ) n≥−L take only finitely many values. In particular, there exist indices n < n + l such that T n = T n+l . Thus Thus we have obtained an eventually periodic representation with the period l, the repeated string is a n+1 . . . a n+l .
We have seen in Remark 6 that for any complex base β with |β| > 1, one can find an alphabet so that every complex number can be represented. Moreover, by Remark 7, the (β, A)-representations satisfy property (4). Therefore, by Lemma 9, if β is a complex Pisot number, all elements of the field Q(β) have eventually periodic (β, A)-representations satisfying (4). This leads us to a partial answer to our original question.
Theorem 10 For a base β, which is Pisot, complex Pisot, or the negative of a Pisot number, one can find an alphabet A ⊂ Z so that every x ∈ Q(β) has eventually periodic (β, A)-representation.
However, Pisot and complex Pisot bases are not the only bases for which an eventually periodic (β, A)-representation of all elements of Q(β) can be found. 2 have eventually periodic representations in base γ = 5 and alphabet A, say The resulting representation of x in base β is also eventually periodic.
In the same way, one can construct eventually periodic representations of numbers in Q(β) in systems where β is any root of any Pisot or complex Pisot number.
By the assumption, every x i has an eventually periodic (γ , A)-representation. Obviously, one can write these representations in such a way that the period is common for every x i . The eventually periodic (β, A)representation of x can be found realizing that every power of γ can be written as γ k = β mk .

Weak greedy expansions
In Example 11 the representations of elements in Q( √ 5) were not obtained by any transformation of the type (2). It is natural to ask whether these representations also satisfy property (4), i.e. the modulus of x is proportional to the modulus of β L , where L is the leading index of the representation. The answer to such question is negative: One can always find sequences of rational integers (x (n) i tend to infinity. Therefore one cannot find a constant c > 0 so that property (4) holds in Example 11.
This leads us to the following definition.
k=−L were not a weak greedy (β, A)-representation for x with respect to c = 2 −1 · min{|a k |}, then we would have |x − a −L β L | > x. One might expect that a reasonable algorithm for generating (β, A)-representations would be one for which |x − a −L β L | < x, that is one for which after applying the first step of the algorithm, i.e. determining the first digit, one is left with a smaller number with which one has to construct a (β, A)-representation. This idea is the motivation behind Definition 13. Intuitively the quantity c describes how effectively an algorithm determines the leading digit.

Lemma 15
Let β ∈ R, |β| > 1, be an algebraic number. Assume that there exist m ∈ Z, m > 0 such that Q(β m ) = Q(β). Then one cannot find an alphabet A ⊂ Q(β) and a constant c > 0, so that every x ∈ Q(β) has an eventually periodic weak greedy (β, A)-representation with respect to c.
Proof We prove the lemma by contradiction. Suppose that β admits an alphabet A and a constant c > 0 so that every x ∈ Q(β) has an eventually periodic weak greedy (β, A)-representation with respect to c.
Denote γ = β m and take the eventually periodic (β, A)-representation of x (n) with the leading coefficient L n satisfying (4). Then The numbers A (n) m− j belong to Q(γ ) since the sequence of digits (a (n) mi+ j ) i≥−L n is eventually periodic. As x (n) → 0, the inequality (4) implies L n → −∞ and thus for every In particular, there exist d ∈ N, d ≥ 2, such that 1, β, . . . , β d−1 forms a basis for Q(β) over Q(γ ). This means that for k ≥ d, one can express β k as a linear combination of 1, β, . . . , β d−1 with coefficients in Q(γ ). We can therefore write for x (n) , where B However, the expression of x (n) in the form (7) is unique, therefore B 0 . This leads to contradiction, since by assumption, we have |x (n) 0 | → +∞.

Remark 16
One can extend the statement of Lemma 15 to complex bases β which do not generate imaginary quadratic fields. For β ∈ C\R, the set Z + Zβ is not dense in C. However, Z + Zβ + Zβ 2 is, if β is not quadratic. Therefore one finds a sequence The rest of the proof remains the same. Note that exclusion of non-real quadratic bases is not a problem: For such bases we know the answer for the question about weak greedy expansions. If β is an algebraic integer, then it is a complex Pisot number, and by Theorem 10 eventually periodic weak greedy expansions can be found. On the other hand, it will be shown in the following proposition, that algebraic non-integers do not possess this property.
Proof By Lemma 8 we may assume that A ⊂ Z. First we show that for any β there exists a strictly increasing sequence of integers (k n ) n≥0 such that lim n→∞ β k n β k n = 0.
By assumption, y n has an eventually periodic (β, A)-representation y n = k≥−l(y n ) a k β −k with leading index l(y n ) satisfying |y n | |β l(y n ) | ≥ c.
As a consequence, we have for the sequence of exponents Take n sufficiently large such that k n > l(y n ). We can derive that the integer N = β k n − y n has an eventually periodic (β, A)-representation of the form where z = s−1 i=0 b i β i , with b i ∈ A, r, s ∈ Z, r ≥ 0, and s is the period. Multiplying (10) by β r (β s − 1), we find that β is a zero of a polynomial where g ∈ Z[x] is such that deg(g) ≤ r + s + l(y n ) < r + s + k n . Since P is monic, β is an algebraic integer.

Theorem 18
Given β ∈ R, |β| > 1. Suppose there exists a finite alphabet A ⊂ Q(β) and a constant c > 0 such that every x ∈ Q(β) has an eventually periodic weak greedy (β, A)-representation with respect to c. Then |β| is a Pisot number or a Salem number.
To prove Theorem 18 we make use of the following result due to Ferguson [11].

Theorem 19
Suppose that the irreducible polynomial f (x) ∈ Z[x] has m roots, at least one real, on the circle |z| = r . Then f (x) = g(x m ) where g(x) has no more than one real root on any circle in C.

Proof of Theorem 18
By Proposition 17, if β satisfies the hypothesis of our theorem then it is an algebraic integer with conjugates β satisfying either |β | ≤ 1, or |β | = |β|. If all conjugates lie in the closed unit disc, then |β| is a Pisot or Salem number. Suppose that there exist a conjugate of β satisfying |β | = |β|. Then by Theorem 19, we have for the minimal polynomial of β that f (x) = g(x m ), where m ≥ 2 is the number of conjugates on the circle of radius |β|. Moreover, g has at most one real root on every circle in the complex plane. Thus β m = γ for γ some root of g, and since the degree of g is strictly smaller than the degree of f , we have Q(β) = Q(γ ). By Lemma 15 we may conclude that β does not allow weak greedy representations for any c.
Focusing on real bases and non-negative alphabets, Theorem 18 yields the following theorem which can be seen as a more direct generalization of the result of Schmidt. Proof For a positive real β > 1 and a non-negative alphabet, any representation of a positive number is weak greedy with respect to some c > 0. More precisely, if x ∈ Q(β) ∩ [0, ∞) has a (β, A)-representation, then one automatically has that x ≥ cβ L , where L is the leading digit in the (β, A)-representation and c is a constant depending on A. Therefore the assumptions of Theorem 18 are satisfied.

Numeration systems allowing parallel addition
In this section we show that when a base β and an alphabet A allow parallel addition of (β, A)-representations, then the question of finding eventually periodic representation of every element of Q(β) is simplified.

Definition 21
Let β ∈ C, |β| > 1, and A ⊂ C finite, 0 ∈ A. Denote B = A + A. We say that (β, A) allows parallel addition if there exist t, r ∈ N and : B t+r +1 → A such that Theorem 22 [12,14] Let β ∈ C, |β| > 1. It is clear that every element of Z can be written as a sum of finitely many elements of A. Then using parallel addition, one can easily derive the following statement.

Corollary 23
Let β ∈ C, |β| > 1, and let A ⊂ Z be a symmetric alphabet such that (β, A) allows parallel addition. Denote are closed under addition and subtraction; Example 24 Let us illustrate how the above corollary can be used to find an eventually periodic expansion of the number 1/5 in base β = 3 2 . This base is chosen as the most simple example of an algebraic non-integer base. The base β = 3 2 allows parallel addition algorithm in the alphabet A = {−2, . . . , 2}. Addition is done via conversion of digits in A + A back into the alphabet A. Note that the "for" loop in the following algorithm is supposed to be computed for all the indices j at the same time.
The approach to obtain eventually periodic expansion of 1 5 in base β = 3 2 , illustrated in the above example, is generalized in the following theorem.

Theorem 25
Let β ∈ C be an algebraic number of degree d, |β| > 1, and let

Then there exists a finite alphabet
Proof Consider a symmetric integer alphabet A which allows for β parallel addition. Every x ∈ Q(β) can be written in the form Thanks to items 4 and 5 from Corollary 23, it is sufficient to show that 1/q ∈ Per A (β) for every q ∈ N. For simplicity of notation, denote a d = a. Suppose first that q and a are coprime. Let A and b be defined as follows: As aβ d = a d−1 β d−1 + · · · + a 1 β + a 0 , we have the relation On the set {A k : k ∈ N}, define the relation ∼ as follows: A k ∼ A n if q divides every entry of the matrix A k − A n . Obviously, ∼ is an equivalence relation which partitions {A k : k ∈ N} into a finite number of equivalence classes. Therefore there exist indices Since for any index n we have Now recall that a is coprime to q, thus there exists n ∈ N such that a n − 1 ∈ qZ. For example, take n = ϕ(q), where ϕ is the Euler totient function. This implies that for any j ∈ N, we have a nj − 1 ∈ qZ. Setting s = ln, we obtain that Subtracting (13) from (12), we obtain for s = ln that

Relation (11) then implies
The components of the vector Z b all belong to Z[β]. Denoting its last component by z, we obtain from (14) that a s+m β m (β s − 1) = qz, whence we derive The assumptions of the theorem together with items 5, 2, and 3 of Corollary 23 imply that Moreover, 1 By item 4 of Corollary 23, relations (15), (16), and (17) imply that 1 q ∈ Per A (β), as desired.
It remains to consider the case when gcd(a, q) > 1. In this case q = rq, where gcd(a, q) = 1. According to the above, we have 1 q ∈ Per A (β). Moreover, a = ra for some a ∈ Z. Thus 1 r = a a . By the assumption 2 of the theorem and by items 3 and 5 of Corollary 23, we derive that 1 r ∈ Fin A (β). By 4 of Corollary 23, we have Corollary 26 Let β be an algebraic integer with no conjugate β in modulus equal to 1. Then there exists an alphabet A ⊂ Z such that Q(β) = Per A (β).
Proof For an algebraic integer, we have |a d | = 1.
Proof The minimal polynomial of β is qx − p, thus it is sufficient to verify that 1 q ∈ Z[ p q , q p ]. Since p and q are coprime, there exist x, y ∈ Z such that px + qy = 1 whence we have 1 Proposition 28 Let β, |β| > 1, be an algebraic number with minimal polynomial , gcd(a 0 , . . . , a d ) = 1, and let n ∈ N, n ≥ 2. Then 1/n ∈ Z[β, β −1 ] if and only if its prime factorization is n = 1≤k≤m p α k k , α k ≥ 1, where each p k divides a i for all i ∈ {0, . . . , d} but one (possibly different for each k).
Proof First assume that 1 n ∈ Z[β, β −1 ], in particular, that 1 n = w β k for some w ∈ Z[β] and k ∈ N. This is equivalent to β k − nw = 0, i.e. β is a root of the polynomial Consider a prime divisor p of n. Then all the coefficients of g(x) = b i x i but one are divisible by p.
c i x i , set j and k to be the minimal indices such that p a j and p c k . Then b j+k = l+r = j+k a l c r is not divisible by p. Now if we denote t and s the maximal indices for which p a t and p c s , we obtain that p a t+s and thus t + s = j + k from the uniqueness of the coefficient of g that is not divisible by p. The equality t = j, s = k follows from t ≥ j, s ≥ k.
To prove the opposite direction, we show that for every prime p dividing a i for all indices but some jth, the number 1 p has a finite expansion. The statement then follows from item 5 of Corollary 23, i.e. from the fact that Z[β, β −1 ] = Fin A (β). As a j is coprime to p, the equation a j x + py = 1 has a solution (x, y) ∈ Z 2 . We have 1 p = a j p −1 x + y. Since a j = −β − j 0≤i≤d,i = j a i β i , we obtain that

Comments
Representations of numbers in base β and alphabet A generated by various algorithms are extensively studied, mainly for their arithmetic properties. Most common example are the greedy expansions in base β > 1, which use the canonical alphabet {a ∈ Z : 0 ≤ a < β}. One considers the set Per(β) of numbers with eventually periodic greedy β-expansions [4,20,22]. The set Fin(β) of numbers whose greedy β-expansions have only finitely many non-zero digits Fin(β) = {x ≥ 0 : the greedy expansion of x is finite} has been studied for example in [1,15]. In [8], the set Z β of numbers whose greedy β-expansions use only non-negative powers of the base has been introduced. The subject of this paper is representations in base β ∈ C with digits in an alphabet A not necessarily issued out of a given algorithm. Instead of Per(β), Fin(β), we can consider Per A (β), Fin A (β) as defined in Corollary 23. Numbers with only nonnegative powers of β in their (β, A)-representation can be seen as polynomials in β with coefficients in A, i.e. they form the set A [β].
Comparison of the behaviour of these sets is surprising. While Z β is never closed under addition except for integer β > 1, Akiyama et al. [3] show that there exists a finite set A ⊂ Z such that A[β] = Z[β] if and only if β is an algebraic number such that β and its conjugates lie either all on the unit circle, or all outside the unit circle.
The so-called (F) property has been studied in [15]. They showed for the greedy β-expansions that the equality Fin(β) = Z[β, β −1 ] ∩ [0, +∞) forces β to be a Pisot number. On the other hand, allowing any representation, we can derive from [14] that there exists an alphabet A ⊂ Z such that Fin A (β) = Z[β, β −1 ] for any algebraic number β without a conjugate on the unit circle. It is not known whether this statement can be reversed.
Our main tool in showing that certain classes of numbers satisfy Per A (β) = Q(β) is parallel addition in the numeration system (β, A), only known to be possible for algebraic bases with no conjugate on the unit circle. Our computational experiments suggest that every such number β admits an alphabet A such that Per A (β) = Q(β).
It remains an open question whether this equality can hold for some algebraic number β having a conjugate of modulus one. It can be commented that Salem numbers belong to this class. Already when considering greedy β-expansions generated by the map x → βx mod 1, only very restricted results are known. Schmidt [22] conjectured, that for Salem numbers β, the orbit of any rational x ∈ [0, 1) is eventually periodic, which amounts to stating that equality Per(β) = Q(β) ∩ [0, +∞) holds. When trying to prove this conjecture, Boyd [5] has shown that for any Salem number β of degree 4 the orbit of 1 under the map x → βx mod 1 is eventually periodic. On the other hand, in [6] the same author provides data which put the Schmidt's conjecture in doubt.
However, even if Per(β) = Q(β) ∩ [0, +∞) were not true for Salem numbers β when considering the greedy β-expansions, one may still ask about possibility of finding an alphabet of digits A so that Per A (β) = Q(β) is valid.