arxiv: v1 [math.nt] 1 Apr 2019

Transcription

1 ON TWO PROBLEMS OF HARDY AND MAHLER PATRICE PHILIPPON AND PURUSOTTAM RATH arxiv: v [math.nt] Apr 209 ABSTRACT. It is a classical result of Mahler that for any rational numer α > which is not an integer and any real 0 < c <, the set of positive integers n such that α n < c n is necessarily finite. Here for any real x, x denotes the distance from its nearest integer. The prolem of classifying all real algeraic numers greater than one exhiiting the aove phenomenon was suggested y Mahler. This was solved y a eautiful work of Corvaja and Zannier. On the other hand, for non-zero real numers λ and α with α >, Hardy aout a century ago asked In what circumstances can it e true that λα n 0 as n? This question is still open in general. In this note, we study its analogue in the context of the prolem of Mahler. We first compare and contrast with what is known vis-a-vis the original question of Hardy. We then suggest a numer of questions that arise as natural consequences of our investigation. Of these questions, we answer one and offer some insight into others.. INTRODUCTION Throughout the paper, N and N denote the set of non-negative integers and positive integers respectively. Further for any real x, x denotes its distance from its nearest integer. In other words, x := min{ x m : m Z}. The growth of the sequence (3/2) n is intricately linked to the famous Waring s prolem. For a positive integer k, let g(k) denote the minimum numer s such that every positive integer is expressile as a sum of s k-th powers of elements in N. It is known that for k 6, g(k) = 2 k + [(3/2) k ] 2 if (3/2) k (3/4) k. This was the motivation for Mahler [0] in 957 to prove that for any α Q \ Z, α >, and any real 0 < c <, the set of n N such that α n < c n is finite. Mahler uses Ridout s theorem which is a p-adic extension of the famous theorem of Roth that algeraic irrationals have irrationality measure two. 200 Mathematics Suject Classification. J87, R06. Key words and phrases. Distriution of powers mod, Suspace theorem.

2 2 PATRICE PHILIPPON AND PURUSOTTAM RATH Mahler ends his paper suggesting that it would e of some interest to know which algeraic numers have the same property as the non integral rationals, that is to characterise real algeraic numers α > such that for any real 0 < c <, the set of n N such that α n < c n is finite. This was answered completely y Corvaja and Zannier [3] who proved the following: Theorem. ( Corvaja and Zannier ) Let α > e a real algeraic numer. Then for some 0 < c <, α n < c n for infinitely many n N if and only if there exists a positive integer s such that α s is a PV numer. In particular, α is an algeraic integer. We recall that a PV numer (for Pisot-Vijayaraghavan numer) is a real algeraic integer α such that: α > ; all its other conjugates (over Q) have asolute values strictly less than. On the other hand, for non-zero real numers λ and α with α >, Hardy [7] aout a century ago asked In what circumstances can it e true that λα n 0 as n? This question is still open in general. However, when α is further assumed to e algeraic, then the question is easier and can e settled as was shown y Hardy himself. More precisely, one has ( Theorem A in [7]): Theorem 2. ( Hardy ) Let α > e an algeraic real numer and λ e a non-zero real numer. Suppose that λα n 0 as n. Then α is a PV numer, hence an algeraic integer. Further in this case, λ necessarily lies in Q(α) and hence is algeraic. In this note, we consider the analogue of this question in the context of the prolem of Mahler. More precisely, consider the sets and H := {(λ, α) R (, ) : λα n 0 as n } M := {(λ, α) R (, ) : 0 < c < such that λα n < c n for infinitely many n N}. The goal of our work is to compare and contrast these two sets lying in R 2. Sometimes we refer to these sets as the Hardy set and the Mahler set respectively. To start with, we note that it is known that the set H is countale. See for instance, the pretty ook of Salem [2, Chap., 4]. On the other hand, the set M is uncountale. In fact, for any sequence (ɛ n ) n N in {0, } not identically 0, set λ = n=0 ɛn, then (λ, 0) lies in M. 0 n!

3 MAHLER 3 We also note that Corvaja and Zannier in their paper construct a transcendental real numer α > such that (, α) lies in M. Further, it follows from a work of Bugeaud and Duickas [2] that there are uncountaly many α > such that (, α) lies in M. In this context, one has the following folklore conjecture, which proposes an answer to Hardy s question. Conjecture 3. If (λ, α) H, then α is a PV numer and λ lies in Q(α). Clearly, this no longer holds for the set M as there are transcendental numers α > such that (, α) lie in M. More interestingly, even if (λ, α) M with α algeraic, it does not imply that λ is algeraic. For instance, as remarked efore, (λ, 0) M with λ the Liouville numer n=. This is 0 n! in contrast to Theorem 2. Remark 4. More generally, when α > is an integer and λ is a non zero real numer, (λ, α) M if and only if for some ε > 0, the sequence of digits of the expansion of λ in ase α contains infinitely many locks of the form x n x n+[εn] consisting only of zeros or only of (α ) s. These oservations give rise to a numer of questions. Questions:. What can e said aout (λ, α) M where oth λ and α are assumed to e algeraic? Can one have a theorem similar to Theorem 2 in this case? 2. Is it possile to derive some diophantine characterisation of transcendental numers λ such that (λ, α) M for some algeraic α? 3. Is it true that (, α) H implies that (, α) M? This is a consequence of the following. 4. Is it true that H M? 5. What is the Hausdorff dimension of the set M? As introduced in [3], a pseudo-pv numer is an algeraic numer α C such that: α >, all its other conjugates have asolute values strictly less than ; T r Q(α)/Q (α) Z. Note that a pseudo-pv numer is necessarily real; a positive pseudo-pv numer which is an algeraic integer is simply a usual PV numer. Here is our first theorem. Theorem 5. Let λ and α e algeraic numers such that (λ, α) M. Then there exists a positive integer s such that α s is a PV numer and hence an algeraic integer. Furthermore for any h N, there are infinitely many n N such that λα n lies in Q(α h ), is a pseudo-pv numer whose trace is non-zero and λα n < c n for some 0 < c <.

4 4 PATRICE PHILIPPON AND PURUSOTTAM RATH Proof of this theorem uilds upon the techniques developed y Corvaja and Zannier. We also need to prove some further diophantine results on ehaviour of powers of Salem numers (Proposition 6) proof of which requires the p-adic suspace theorem. Recall that a Salem numer is a real algeraic integer α such that α >, all its other conjugates have asolute values at most ; at least one conjugate has asolute value equal to. The distriution of exponential sequences ( α n ) n N is rather mysterious and the few cases where one has some information is when α is an algeraic integer and T r k/q (α n ), with k = Q(α), is close to the nearest integer of α n. This motivates the study of algeraic numers α such that T r k/q (α n ) Z for n lying in suitale susets I of N. It is not difficult to see that if T r k/q (α n ) is an integer for all n N, α is an algeraic integer. For, the complementary module L of the lattice L generated y, α,, α d is a finitely generated Z-module and the hypothesis aove implies that L contains the ring Z[α]. Hence α is necessarily an algeraic integer. On the other hand, one has the following nice result of Bart de Smit [4]. Theorem 6. (Bart de Smit ) Let α e an algeraic numer of degree d such that T r k/q (α i ) is an integer for all natural numers i with i d + d log 2 d. Then α is an algeraic integer. The example α = 2 shows that the aove ound is optimal. On the other hand, a minor modification of the works of Corvaja and Zannier yields the following: Theorem 7. Let α e an algeraic numer such that T r k/q (α n ) is a non-zero integer for infinitely many n N. Then α is necessarily an algeraic integer. This is an immediate consequence of Lemma 4 in Section 2. Note that in the aove theorem, the hypothesis that T r k/q (α n ) is non zero is necessary. For α = 2 satisfies T r(α n ) = 0 for all odd n. However, the example of α = 2 is not generic. More precisely, if α is a real algeraic numer such that T r k/q (α n ) = 0 for infinitely many n N, then α is not necessarily the root of a rational numer. Here is an example. Example 8. The roots of the polynomial X 4 6X are the real algeraic numers ± ± 5 2. In particular, the splitting field of this polynomial is real and has only two roots of unity ±. Set α = the largest root, we check α / Q(α 2 ) and T r Q(α)/Q (α 2m+ ) = 0 for m N. However, α is not a root of a rational numer. In this context, we have the following theorem.

5 MAHLER 5 Theorem 9. Let α e a real, positive algeraic numer, h e the order of the torsion group of the splitting field of the minimal polynomial of α. Then, T r Q(α)/Q (α n ) = 0 for infinitely many n N if and only if α does not elong to the field Q(α h ). We also derive the following theorem which works for more general algeraic numers. Theorem 0. Let α e a nonzero algeraic numer, h e the order of the torsion group of the splitting field of the minimal polynomial of α and ζ a primitive h-th root of unity. Then, T r Q(α,ζ)/Q(ζ) (α n ) = 0 for infinitely many n N if and only if α does not elong to the field Q(α h, ζ). Proof of these results are given in the penultimate section ( Section 4 ) of the paper. The final theme of the paper which constitutes the last section of our work is devoted to a more careful study of the algeraic elements in the Hardy and Mahler sets. For instance, we give the following more refined description of the pairs of algeraic numers in the Hardy set H. Theorem. The elements of the set H Q 2 precisely consists of all the pairs (λ, α) where α is a PV numer and λ P α(α) Z [ α, α] with Pα Z[X] the minimal polynomial of α over Z. As for algeraic elements in the Mahler set M, we can show the following. Theorem 2. We have (λ, α) M Q 2 if and only if there exists integers s and 0 t < s such that α s is a PV numer and λ elongs to α t P α s (α s ) Z [ α s, ] α with s Pα s Z[X] the minimal polynomial of α s over Z. Remark 3. The aove theorems allow us to derive a result (see Corollary 3) which is in the direction of the fourth question. Namely, we show that H Q 2 M, which reduces the fourth question to Conjecture INTERMEDIATE RESULTS We fix the notion of height of a non-zero algeraic numer which we shall e working with. For any numer field K, let M K e the set of all inequivalent places of K. The corresponding asolute values v are normalized so that [K:Q] [Kv:Qv] v extends the usual archimedean or p-adic asolute value of Q. Thus, the product formula for α K reads v M K α v = and the height H(α), defined as H(α) := max {, α v }, v M K is unamiguous and does not depend on the choice of K containing α. Similarly, for an integer n > and a non zero vector α = (α,, α n ) K n, we set H(α) := max { α v,, α n v }. v M K We will need the following lemma, which extends and improves [3, Lemma 4]:

6 6 PATRICE PHILIPPON AND PURUSOTTAM RATH Lemma 4. Let λ and α e algeraic numers. Let k := Q(λ, α) and suppose that the trace T r k/q (λα n ) is a non-zero integer for infinitely many n. Then α is necessarily an algeraic integer. Proof. The proof follows from that of [3, Lemma 4] with some minor modifications. We just need to work with the field k = Q(λ, α). Finally, an extra argument ensures that α cannot e the root of a (non-integral) rational numer and hence must e an algeraic integer. Let K e the Galois closure of the extension k/q and h the order of the torsion group of K. Let I N e the set of exponents such that T r k/q (λα n ) is a non-zero integer. Since I is infinite, there exists an integer c {0,..., h } and an infinite set J N such that c + hm I for all m J. Let d = [Q(α h ) : Q]. We first deal with the case d =. Then α h = a where a and are co-prime integers. We can write ( a ) m T r k/q (λα c+hm ) = T r k/q (λα c ). For m J we have c + hm I, thus T r k/q (λα c+hm ) is a non-zero integer y hypothesis and T r k/q (λα c ) is a fixed rational numer. The aove equality implies, as m tends to infinity in J, = and α is an algeraic integer (in fact a root of a rational integer). In the case d >, let σ,..., σ d e a complete set of representatives of Gal(K/Q) modulo the sugroup fixing Q(α h ). For i =,..., d, let T i e a complete set of representatives of Gal(K/Q) modulo the sugroup fixing k that coincides with σ i modulo the sugroup fixing Q(α h ). In particular, T T d is a complete set of representatives of Gal(K/Q) modulo the sugroup fixing k and we can write T r k/q (λα c+hm ) = d τ(λα c ) σ i (α hm ) = A σ (α hm ) + + A d σ d (α hm ), τ Ti i= where we have set A i = τ T i τ(λα c ). We now proceed y contradiction, assuming α v > for some finite place v of k. For m J we have c + hm I, thus T r k/q (λα c+hm ) is a non-zero integer y hypothesis, and the coefficients A i cannot e all zero. Furthermore, for ε < and m J sufficiently large we have A σ (α hm ) + + A d σ d (α hm ) v = T r k/q (λα c+hm ) v < α hm v H(α hm ) ε. log α v log H(α) Applying Lemma of [3] with Ξ = {α hm ; m J} and S a suitale Galois set of places of K such that α is an S-unit, we otain a non-trivial equation satisfied y infinitely many m J a σ (α h ) m + + a d σ d (α h ) m = 0, a i K. We may then apply Skolem-Mahler-Lech s theorem [4, Corollary 7.2, page 93] which entails that σ i (α h ) σ j (α h ) = ( ) σi (α) h σ j (α)

7 MAHLER 7 is a root of unity for two distinct indices i j. But this ratio must then e ecause σ i(α) σ j (α) is a root of unity in K and h is the exponent of the torsion group of K. This implies that σ i and σ j coincide on Q(α h ), contradicting their definition. This contradiction shows that α v for all finite place v of k, hence α is an algeraic integer. We note that in the aove theorem, a priori there need not e any relation etween the algeraic numers λ and α. In particular, λ need not e in Q(α). Finally, we note the following theorem which we shall need. This is a special case of a deep theorem of Corvaja and Zannier ( [3], see Main Theorem ). Theorem 5. Let Γ e a finitely generated sugroup of Q, λ Q and ɛ > 0 e real. Suppose that the following diophantine inequality 0 < λu < H(u) ɛ has infinitely many solutions u Γ with λu >. Then all ut finitely many such λu are pseudo-pv numers. 3. PROOF OF THEOREM 5 Proof of Theorem 5 rests on the following intermediate results. Proposition 6. Let α,..., α r e non-zero algeraic numers of modulus and λ,..., λ r e nonzero algeraic numers. For ε > 0, assume that there exists an infinite set I N such that for all n I, λ α n + + λ rα n r is a real numer and λ α n + + λ r α n r < e εn. Then there exists algeraic numers A 0, A,..., A r not all zero such that for infinitely many n I, one has A 0 + A α n + + A r α n r = 0. Proof. We egin y noting that if one of the α,..., α r is a root of unity, the conclusion holds. So we may assume that none of the α,..., α r is a root of unity. Let N n denote the integer closest to λ α n + +λ rα n r and oserve that N n λ + + λ r takes only finitely many values. Thus, there exists an infinite suset J I and an integer λ 0 such that λ 0 + λ α n + + λ rα n r = λ α n + + λ rα n r < e εn for n J. Set α 0 =. Let K C e a Galois numer field containing λ,..., λ r, α,..., α r and S a finite set of asolute values of K, containing all the archimedean ones and such that α,..., α r are S-units. Let v 0 e the (archimedean) asolute value given y the given inclusion of K in C. If λ 0 0 we set i 0 = 0 and otherwise i 0 =. We set L v0,i 0 (x) = λ 0 x λ r x r

8 8 PATRICE PHILIPPON AND PURUSOTTAM RATH with x = (x 0,..., x r ) and for (v, i) S {0,..., r}, (v, i) (v 0, i 0 ), L v,i (x) = x i. Oserve that for each v the forms L v,0,..., L v,r are linearly independent. Then, with α n = (α n 0,..., αn r ) and α v = max( α 0 v,..., α r v ), we have r L v,i (α n ) v α n v v S i=0 = L v 0,i 0 (α n ) v0 α i0 n v 0 r i=0 v S α i n v α n v = L v 0,i 0 (α n ) α i0 n H(α) n(r+), since v S α i v = y the product formula, and v S α v = H(α) ecause the components of α are S-units. For n J we further have L v0,i 0 (α n ) = λ α n + + λ rα n r < e εn and we oserve that α i0 = in any case, thus r v S i=0 L v,i (α n ) v α n v < H(α n ) r ε/ log H(α). The p-adic suspace theorem [3, Chap. V, Thm. D, page 78] then ensures that for all n J the point (α n 0 : : αn r ) P n (K) lies in the union of finitely many proper suspaces of P n (K). One of these must contain infinitely many points (α n 0 : : αn r ) for n J and one of its equations can e written as A 0 x A r x r = 0 with A 0,..., A r K not all zero. Lemma 7. Let α e a pseudo-pv or a Salem numer and let α = α,..., α d e its conjugates. For all A 0, A,..., A d Q, not all zero, there are only finitely many n N such that A 0 + A α n + + A d α n d = 0. Proof. The result is clear if A = = A d = 0, since then the hypothesis is A 0 0. Otherwise, applying an automorphism σ of Q over Q sending some α i with A i 0 to α, we get an equation α n = σ(a 0 /A i ) σ(a j /A i )σ(α j ) n. j d j i But the σ(a j /A i ) are independent of n and the σ(α j ), j i, are the conjugates of α distinct from α, thus of asolute value ounded y. Since α >, the asolute value α n of the left-hand side goes to infinity with n whereas that of the right-hand side remains ounded. Therefore, the equality A 0 + A α n + + A dαd n = 0 can hold only for n ounded. We now have all the ingredients to prove Theorem 5.

9 MAHLER 9 Proof of Theorem 5. Let λ and α e algeraic numers such that (λ, α) M. Thus there exists 0 < c < and infinitely many n N such that λα n < c n. If λα n = 0 for infinitely many n, then α is necessarily the root of an integer and also λα n Z \ {0} for infinitely many n. So we may assume that there are infinitely many n such that 0 < λα n < c n. Furthermore λα n > for n large enough, since α >. Denote J N the suset of n for which these inequalities hold. There exists ɛ > 0 such that 0 < λα n < H(α n ) ɛ for n J. Thus, y Theorem 5 with Γ the sugroup generated y α, λα n is a pseudo-pv numer for all n in J except for a possile finite suset. Let I J e the infinite suset such that λα n is a pseudo-pv numer for every n I. Since λα n tends to infinity whereas the asolute values of its other conjugates are ounded when n tends to infinity, we may as well define the suset I so that the trace of the pseudo-pv numer λα n is non zero for n I. Then y Lemma 4, α is necessarily an algeraic integer. Let h N and n I such that n = mh + i for 0 i < h and m > r log(h(λαi )) h log(α) with r = [Q(α h, λα i ) : Q(α h )]. The identity map on Q(α h ) gives rise to r different emeddings of Q(α h, λα i ) over Q(α h ) into Q. But, with our condition on m, the corresponding r emeddings of λα n have asolute values greater than. Since λα n is a pseudo-pv numer we deduce that r = and λα n Q(α h ) for n I. In particular, for h = we have λ Q(α). Assume a conjugate of α distinct from α has asolute value strictly greater than. Write α and λ Q(α ) the corresponding conjugates of α and λ Q(α). Since λα n is a pseudo-pv numer for n I, we must have λα n = λ α n for n I large enough. Forming the quotient of two such equalities for m, n I, m < n, we get α n m = α n m. Let s e the least common multiple of these exponents m n when α runs over all the conjugates of α of asolute value strictly greater than. Then α s has exactly one conjugate of asolute value strictly greater than. Since α is an algeraic integer, α s is either a PV or a Salem numer. Now suppose that s is an integer such that α s is a Salem numer. We have that there exists an ɛ > 0 and infinite set I N such that λα n < e εn for all n I. Then there exists i {0,..., s } such that λα ms+i < e ε(ms+i) for infinitely many m. By our earlier argument, we know that λα i Q(α s ) is a rational fraction r(α s ) in α s. Let α,..., α 2d e the conjugates of α s of modulus, that is all the conjugates except α s and α s, and λ j = r(α j ), j =,..., 2d, e the corresponding conjugates of λα i. If N m is the integer closest to λα ms+i and q N a denominator of λ, we write T r Q(α)/Q (qλα ms+i ) qn m qλ α ms qλ 2d α ms 2d < qe ε(ms+i) + q r(α s )α ms < e ε m

10 0 PATRICE PHILIPPON AND PURUSOTTAM RATH for some ε > 0 and m large enough. Thus, qλ α sm + + qλ 2d α sm 2d < e ε m for infinitely many m. By Proposition 6, there exists A 0,..., A 2d Q, not all zero, such that A 0 + A α sm + + A 2d α sm 2d = 0 for infinitely many m. But y Lemma 7, this is not possile since α s is a Salem numer. This completes the proof of Theorem PROOF OF THEOREMS 9 AND 0 For an algeraic numer α, let k = Q(α) and let d e the degree of α. We shall need the following lemma for the proof of Theorem 9. Lemma 8. Let α e a real, positive algeraic numer and a, h N, then the following three statements are equivalent: ) T r Q(α)/Q(α h )(α a ) = 0; 2) a is not divisile y [Q(α) : Q(α h )]. 3) α a / Q(α h ); Proof. Set L = Q(α h ) R and let h e the smallest positive integer such that α h L. Oviously h h and for any prime p dividing h, we have α h / L p. Otherwise α h /p, which is the only real, positive p-th root of α h, would elong to L, contradicting the minimality of h. Furthermore, if 4 h then α h / 4L 4, ecause 4 is not a fourth power in R. It then follows from [9, Chap.VI, 9, Theorem 9., page 297], that the polynomial X h α h is irreducile in L[X]. Now α is the only real, positive root and its conjugates over L are the numers αξ i, i = 0,..., h, where ξ is a primitive h -th root of unity. Thus, h is the degree of the extension Q(α)/L and for all a N we have h T r Q(α)/L (α a ) = α a ξ ai h α a if h a = 0 otherwise i=0 and T r Q(α)/L (α a ) = 0 if and only if a 0 (h ), proving that the statements and 2 are equivalent. Now, since α h L, the condition α a L is equivalent to α (h,a) L and y the minimality of h this happens if and only if (h, a) h, that is h a. This shows that the statements 2 and 3 are equivalent, ending the proof of the lemma. Here and later (m, n) denotes the gcd of m and n.

11 MAHLER Proof of Theorem 9. Let H e the splitting field of the minimal polynomial of α over Q. So h is the order of the torsion group of H. Set L = Q(α h ) and K = L(α) = Q(α) H. In one direction, assume that T r K/Q (α n ) = 0 for infinitely many n N. Since α K we have T r H/K (α n ) = [H : K]α n and, since N is the disjoint union of the congruence classes a+hn for a = 0,..., h, we deduce from the hypothesis that ) T r H/Q (α a+hm ) = T r K/Q (T r H/K (α a+hm ) = [H : K]T r K/Q (α a+hm ) = 0 for infinitely many m N and some 0 a < h. Let d = [L : Q] and τ,..., τ d e all the emeddings of L in H over Q. We express T r H/Q (α a+hm ) as the m-th term of a linear recurrence sequence: ) T r H/Q (α a+hm ) = T r L/Q (T r H/L (α a+hm ) = d ( τ i T rh/l (α a ) ) τ i (α h ) m, which vanishes for infinitely many m N. Oserve that the ratios τ i (α h )/τ j (α h ), i j, are not roots of unity, ecause eing roots of unity and h power in H they would e ut τ i τ j on L and we must have τ i (α h ) τ j (α h ). The Skolem-Mahler-Lech s theorem [4, Corollary 7.2, page 93] implies that T r H/L (α a ) = 0 and then T r K/L (α a ) = 0 ecause i= T r H/L (α a ) = T r K/L ( T rh/k (α a ) ) = [H : K]T r K/L (α a ). But then Lemma 8 ensures that α a / Q(α h ) and hence in particular α / Q(α h ). In the other direction, the same Lemma 8 shows that if α / Q(α h ), then T r K/L (α) = 0 and ) T r K/Q (α +hm ) = T r L/Q (α hm T r K/L (α) = 0 for all m N. This completes the proof. Remark 9. The condition α / Q(α h ) is also equivalent to α h / Q(α h ) h. We now prove the following variant of Lemma 8 which we shall require a little later. Lemma 20. Let α e a nonzero algeraic numer, a, h N and ζ a primitive h-th root of unity. Then α a / Q(α h, ζ) if and only if T r Q(α,ζ)/Q(α h,ζ)(α a ) = 0. Furthermore, T r Q(α)/Q (α a ) = 0 for all integer a not divisile y [Q(α, ζ) : Q(α h, ζ)]. Proof. Let L = Q(α h, ζ) and K = L(α), since α is a root of the polynomial X h α h L[X] the extension K/L is cyclic of degree h h, the conjugates of α over L are αξ i, i = 0,..., h, where ξ is a primitive h -th root of unity, and α h L, see [9, Chap.VI, 6, Theorem 6.2, page

12 2 PATRICE PHILIPPON AND PURUSOTTAM RATH 289]. Thus, for all a N we have h () T r K/L (α a ) = α a i=0 ξ ai h α a if h a = 0 otherwise and T r K/L (α a ) = 0 if and only if a 0 (h ). We oserve that h is the smallest positive integer such that α h L, otherwise another application of iidem would lead to a contradiction on the degree of the extension K/L. Now, since α h L, the condition α a L is equivalent to α (h,a) L and y the minimality of h this happens if and only if (h, a) h, that is h a. For the last statement, if a is not divisile y h then T r K/Q (α a ) = T r L/Q ( T rk/l (α a ) ) = 0, ecause T r K/L (α a ) = 0 y (). But, T r K/Q(α) (α a ) = [K : Q(α)]α a and we can further write T r Q(α)/Q (α a ) = [K : Q(α)] T r K/Q (α a ) = 0. We end with the proof of Theorem 0 which works for general algeraic numers. Proof of Theorem 0. Let H e the splitting field of the minimal polynomial of α over Q. So that h is the order of the torsion group of H and ζ is a primitive h-th root of unity. Set H 0 = Q(ζ), L = H 0 (α h ) and K = L(α) H. In one direction, assume T r K/H0 (α n ) = 0 for infinitely many n N. Since α K we have T r H/K (α n ) = [H : K]α n and we deduce from the hypothesis that ) T r H/H0 (α a+mh ) = T r K/H0 (T r H/K (α a+mh ) = [H : K]T r K/H0 (α a+mh ) = 0 for infinitely many m N and some 0 a < h. Let d = [L : H 0 ] and τ,..., τ d e all the emeddings of L in H over H 0. We express T r H/H0 (α a+mh ) as the m-th term of a linear recurrence sequence: ) T r H/H0 (α a+mh ) = T r L/H0 (T r H/L (α a+mh ) = d ( τ i T rh/l (α a ) ) τ i (α h ) m, which vanishes for infinitely many m N. Oserve that the ratios τ i (α h )/τ j (α h ), i j, are not roots of unity, ecause eing roots of unity and h power in H they would e, ut τ i τ j on L and, since τ i = τ j on H 0, we must have τ i (α h ) τ j (α h ). The Skolem-Mahler-Lech s theorem [4, Corollary 7.2, page 93] implies that T r H/L (α a ) = 0 and then T r K/L (α a ) = 0 ecause i= T r H/L (α a ) = T r K/L ( T rh/k (α a ) ) = [H : K]T r K/L (α a ). As efore, Lemma 20 ensures that α a / Q(α h, ζ) and, in particular, α / Q(α h, ζ).

13 MAHLER 3 In the other direction, Lemma 20 also shows that if α a / Q(α h, ζ), then T r K/L (α a ) = 0 and ) T r K/H0 (α a+mh ) = T r L/H0 (α mh T r K/L (α a ) = 0 for all m N. This completes the proof. 5. PERIODICITY AND DESCRIPTION OF THE SET H Q 2 Let α e an algeraic integer, P α Z[X] its minimal monic polynomial over Z and set k = Q(α). Recall from [8, Chap.III,, Cor. to Prop.2] that P α (α)z[α] is the complementary module Z[α] of Z[α], that is the set of elements y Q(α) such that T r k/q (yz[α]) Z. Indeed, without the assumption made in the aove cited Corollary, its proof shows the desired equality. Thus for λ P α (α)z [ α, α] and n large enough we have T rk/q (λα n ) Z. The following lemma can also e found in [6, Lemma 2] and [5, Lemma 2]. Lemma 2. Let α e an algeraic integer of degree d over Q, λ Z[α] and N, then the sequence (T r k/q (λα n ) mod ) n N is ultimately periodic and the period has length d. Proof. Let t n Z/Z e the class of T r k/q (λα n ) modulo and write P α (X) = X d + A d X d + + A 0 Z[X] the minimal monic polynomial of α over Z. Let A i denote the class of A i modulo. From T r k/q (P α (α)λα n ) = 0 we deduce (2) t n+d = A d t n+d A 0 t n for all n N. Since there are finitely many d-tuples of elements of Z/Z, at least one must appear twice as locks in the sequence (t n ) n N. Thus there exists natural numers m < n such that t m = t n,..., t m+d = t n+d. It follows inductively from (2) that t m+d = t n+d, t m+d+ = t n+d+,... and hence the ultimate periodicity of the sequence. The length of the period divides n m and since there are at most d distinct locks of d elements in Z/Z, we have that the period has length at most d. Remark 22. If the numer α is assumed to e a unit, then equation (2) enales one to deduce that the sequence (t n ) n N is purely periodic and in particular, if p denotes the length of the period, that t pn is the class of T r k/q (λ) modulo for all n N, see [5, Lemma 2]. Proposition 23. Let α e a PV numer of degree d over Q, λ 0 Z[α] and N. There exists an integer p d and 2 i,..., i p { /2 +,..., /2 } such that T r k/q (λ 0 α n ) i l () and λ 0α n i l < c n with l = n p n/p +, n large enough and some 0 < c <. 2 Here and after stands for the least integer larger or equal to and is the largest integer smaller or equal to (the integer part).

14 4 PATRICE PHILIPPON AND PURUSOTTAM RATH Proof. By Lemma 2, the sequence of classes t n Z/Z modulo of T r k/q (λ 0 α n ) is ultimately periodic, with period of length say p. We represent the elements of Z/Z y the integers /2 +,..., /2 so that the period of the sequence (t n ) n N gives integers i,..., i p lying in { /2 +,..., /2 } satisfying T r k/q (λ 0 α n ) i l () for l = n p n/p + and n large. We then oserve λ 0 α n T r k/q(λ 0 α n ) i l i l = λ 0 α n ( λ0 α n ) T r k/q < c n for some 0 < c <, ecause α is a PV numer. It follows that T r k/q(λ 0 α n ) i l is the integer closest to λ 0α n and λ 0α n = i l + O(c n ). Remark 24. Oserve that i is the residue modulo of T r k/q (λ 0 α n ) for all large n divisile y p. For any j Z, replacing λ 0 y λ 0 α j simply shifts the sequence (T r k/q (λ 0 α n )) n N y j steps to the left or right according to the sign of j. Thus, with the PV numer α and the integer N fixed, Proposition 23 associates to each λ 0 P α (α)z [ α, α], the integer p and the vector (i,..., i p ) (Z/Z) p. This map is a homomorphism of Z [ α, α] -modules if we define the action of α on (Z/Z) p as the cyclic permutation α (i,..., i p ) = (i 2,..., i p, i ). In particular, the integer p can e chosen independent of λ 0, although for some λ 0 a shorter period may exist. More generally for any λ Q(α), we choose to e the least positive integer such that λ 0 = λ P α (α)z [ α, α] and consider the integer p and vector (i,..., i p ) (Z/Z) p associated to λ. It follows from Proposition 23 that the fractions i,..., ip points of the sequence ( λα n ) n N. (lying in [0, 2 ]) are the limit Corollary 25. Let α e a PV numer and λ Q(α). Then, 0 is a limit point of the sequence ( λα n ) n N if and only if there exists an integer p N and l {,..., p} such that T r k/q (λα np+l ) Z for n N large enough or, equivalently, λ elongs to α l P α p (α p ) Z [ α p, ] α. p And 0 is the unique limit point of the sequence ( λα n ) n N if and only if λ [ P α (α)z α, α]. Proof. Assume 0 is a limit point of the sequence ( λα n ) n N. Write λ ( = f(α) with ) N and f(α)α f Z[X]. Set λ 0 = λ = f(α). Since 0 is a limit point of the sequence n, it follows that in Proposition 23 some i l must e 0 and the numers T r k/q (f(α)α np+l ) are divisile y or, equivalently, T r k/q (λα np+l ) Z, for n large enough. Thus λα n 0p+l P α p (α p ) Z[αp ] for some n 0 N. Conversely assume T r k/q (λα np+l ) Z. Since α is a PV numer and n is large enough, λα np+l is a large real numer whereas the sum of its conjugates is of asolute values < c n for some 0 < c <. The difference λα np+l = λα np+l T r k/q (λα np+l ) < c n tends to 0 as n goes to and thus 0 is a limit point of the sequence ( λα n ) n N. If 0 is the unique limit point of the sequence ( λα n ) n N, we must have p = and i = 0 in Proposition 23. Thus l = and λα n 0 elongs to the complementary module of Z[α], for some n N

15 MAHLER 5 n 0. Conversely if λ P α(α) Z [ α, α] (i.e. p = l = ), then T rk/q (λα n ) Z for all n large and the aove argument shows that it is the closest integer to λα n, since α is a PV numer. Then, λα n = λα n T r k/q (λα n ) < c n tends to 0 as n goes to. Corollary 26. Let (λ, α) H (R Q), then α is a PV numer, λ Q(α) and T r k/q (λα n ) Z for n large enough. Proof. For (λ, α) H (R Q), we know y Theorem 2 that α is a PV numer and λ Q(α). We may write λ = f(α) ( for some ) rational integer and f Z[X]. By Proposition 23, the limit f(α)α points of the sequence n are those rational numers among 0, /,..., /2 / for n N which the numerator is congruent to infinitely many T r k/q (f(α)α n ) modulo. But, (λ, α) eing in H, the sequence converges to 0. Thus, the only possile fraction is 0 and all the numers T r k/q (f(α)α n ) must e divisile y and so T r k/q (λα n ) Z, for n large enough. We need to introduce the following notation for the purpose of the next proposition. For any set S R we define S = { γ ; γ S} [0, /2]. Proposition 27. Let α e a Salem numer of degree d over Q, λ Z[α] and N. There exists an integer p d and i,..., i p { /2 +,..., /2 } such that T r k/q (λα n ) i l () for l = n p n/p + and any n N. Furthermore, let α = α, α = α 2, α 3,..., α d e the conjugates of α and λ l,,..., λ l,d e those of λα l for l {,..., p}. Then the set of limit points of each susequence ( λ αmp+l ) m N is L l, where L l = i l d j=3 λ l,j, i d l + j=3 λ l,j. Furthermore, an integer closest to λα n is congruent to i { /2 +,..., /2 } modulo for infinitely many n if and only if we have [ ] [ λα n i 0, 2 = 2, ] 2 or equivalently λα n [ 2i 2, 2i+ ] (, 2 for infinitely many n. In this case p l= L ) [ l 2i 2, 2i+ ] 2. Proof. The first part of the statement follows from Lemma 2 and Remark 22, which asserts that the sequence of classes t n Z/Z modulo of T r k/q (λα n ) is purely periodic, with period of length say p. We represent the elements of Z/Z y the integers /2 +,..., /2 so that the period of the sequence (t n ) n N gives i,..., i p { /2 +,..., /2 } satisfying T r k/q (λα n ) i l () for l = n p n/p + and n large. We have (3) λα mp+l = T r k/q (λα mp+l ) d j=3 λ l,j α mp j λ l,2 α mp 2. Let l {,..., p}, ρ L l and γ L l such that ρ = γ. Recall that the conjugates of α other than α and /α are of the form e ±2πiθ j, j =,..., (d 2)/2. Since, θ,..., θ (d 2)/2 are linearly independent over Z (see [2, page 32]), it follows from Kronecker s theorem ([2,

16 6 PATRICE PHILIPPON AND PURUSOTTAM RATH Appendix ( 8], see also [5, Lemma ]) that there exists an infinite suset I N such that the d ) sequence j=3 λ l,jα mp j converges to i l γ. Since λ l,2 α mp 2 tends to 0 as m goes to and m I T r k/q (λα mp+l ) i l (), we deduce from (3) λ αmp+l = i l d λ l,j αmp j λ l,2 αmp 2 = γ + ε m j=3 for m I and where (ε m ) m I converges to 0 as m I goes to. Thus the limit point of ( γ + ε m ) m I is γ = ρ. Conversely, y (3) each term of the series ( λ αmp+l ) m N can e rewritten ( γ m ) m N with γ m = i l d j=3 αmp 2 R, which satisfies γ m i l d j=3 λ l,j + λ l,2 α mp 2. λ l,j αmp j λ l,2 The integer closest to γ m can take only finitely many values. Thus, if a susequence ( γ m ) m I (I N infinite) converges to a limit ρ, some susequence (γ m ) m J (J I infinite) converges to a limit γ. This limit γ satisfies γ = ρ and γ i l d j=3 λ l,j, which shows ρ L l. If an integer closest to λα n is written N n +i, then λα n i N n 2 which entails λα n i 2. In the other direction, if the latter inequality holds, there exists an integer N n such that λα n i N n 2 which shows that N n + i is an integer closest to λα n. If λα n [ 2i 2, 2i+ ] 2 for infinitely many n, the sequence ( λα n ) n N has a limit point in [ 2i 2, 2i+ ] 2 which also elongs to p l= L l. The aove result naturally leads to the following prolem: Prolem: For a Salem numer α, characterise the algeraic numers λ Q(α) such that the sequence ( λα n ) is dense in [0, /2]. Remark 28. The distriution of the sequence of fractional parts of λα n / in [0, ] is otained from that of the difference with the nearest integer, y exchanging the suintervals [ /2, 0] and [0, /2], while the sequence ( α n / ) n N is the superposition of these two latter intervals head to tail. We remind the reader that for a Salem numer α, the sequence ( α n ) n N is dense, ut not uniformly distriuted in [0, /2]. In fact, when λ = and 2d 4 the length of each interval L l is at least and thus the sequence of fractional parts of α n / is dense in [0, ], as in [5, Theorem (i)]. Further, Proposition 27 together with Remark 22 also allows us to recover [5, Theorem (ii) and (iii)]. However, when > 2d 4 the ehaviour of the sequence ( α n / ) n N (as well as the sequence of fractional parts) strongly depends on the period i,..., i p, which is somewhat mysterious. We give elow two contrasting examples illustrating this phenomenon. Example 29. Figure shows the distriution of the numers λα n in the interval [0, /2] for n 2500, where α is the Salem numer root of the polynomial x 4 25x 3 + x 2 25x + and λ = /25. The period is 0, 2, 0, 2, 0, 4 of length p = 6. This gives the three intervals [0, 2/25], [0, 4/25] and [2/25, 6/25], which cover the whole set of limit points [0, 6/25], with special concentrations on the four values 0, 2/25, 4/25 and 6/25.

17 MAHLER FIGURE. Scattering of λα n for λ = /25 and α a Salem numer, n FIGURE 2. Scattering of λα n for λ = /29 and α a Salem numer, n Similar pictures are otained for λ = /24 and /26, ut in general the distriution of the numers λα n is dense in [0, /2] (although not uniformly), as in the next example. Example 30. Figure 2 shows the distriution of the numers λα n in the interval [0, /2] for n 2500, where α is again the Salem numer root of the polynomial x 4 25x 3 + x 2 25x + and λ = /29. The period involves all the 29 integers etween 4 and 4. This gives 5 intervals [0, 2/29], [0, 3/29], [(i 2)/29, (i + 2)/29], i = 2,..., 4, which cover the whole interval [0, /2], with several special concentrations. We refer to the interested reader the papers [] and [5] where other aspects of distriution of powers of Salem numers is studied. See also the papers [2] and [] where the set of limit points of the sequences { α n n } is investigated. We will now use these periodicity properties to prove Theorem which refines the conclusion of Hardy s Theorem 2. Proof of Theorem. When α is a PV numer and n is large enough, then λα n is a large real numer whereas the sum of its conjugates is of asolute values < c n for some 0 < c <. Hence we have

18 8 PATRICE PHILIPPON AND PURUSOTTAM RATH that the difference λα n T r k/q (λα n ) < c n tends to 0 as n. Further, if λα n elongs to the complementary module of Z[α] for n large enough, then T r k/q (λα n ) Z and hence (λ, α) H Q 2. In the other direction, it follows from Corollary 26 that if (λ, α) H Q 2, then α is a PV numer, λ Q(α) and λα n elongs to the complementary module of Z[α] for n large enough. This latter condition can e rewritten λ Z[α] [ ] α = [ P α (α)z α, α]. We now give the proof of Theorem 2 which is an analogus result for Mahler sets. Proof of Theorem 2. If (λ, α) M Q 2, then λα n < c n for infinitely many n. By Theorem 5, we know that α s 0 is a PV numer for some s 0 N. Also ecause (λ, α) M, there exists an integer 0 i < s 0 such that 0 is a limit point of the sequence ( λα ns0+i ). It follows from Corollary 25 that n N there exists integers l p such that λα i Z [ α ps ] 0, α s 0 (l ) P α ps 0 (αps 0 ) α ps 0. Setting s = ps0 and t = s 0 (l ) + i < ls 0 ps 0 = s proves the assertion, ecause α s = α ps 0 is again a PV numer. Conversely, if λα t P α s (α s ) Z [ α s, α s ], then for n large enough T rk/q (λα ns+t ) Z. But, since α s is a PV numer, λα ns+t = λα ns+t T r k/q (λα ns+t ) < c n for n large enough and thus (λ, α) M Q 2. For s N and real α >, let α /s denote the unique real numer β > such that β s = α. We now have the following corollary which is a result in the direction of the fourth question indicated in the introduction (see page 3). Corollary 3. The following are true. ) (λ, α) M Q 2 if and only if there exists s N and 0 t < s such that (λα t, α s ) H Q 2. 2) If (λ, α) H Q 2, then for all s N and 0 t < s, we have (λα t/s, α /s ) M Q 2. 3) For any s N, (λ, α) H if and only if (λα t, α s ) H for every 0 t < s. 4) For any s N, (λ, α) M if and only if there exists 0 t < s such that (λα t, α s ) M. Proof. Here is the proof of the aove statements. ) By Theorem 2, (λ, α) elongs to M Q 2 if and only if there exists integers 0 t < s such that α s is a PV numer and λα t P α s (α s ) Z [ α s, α s ], ut these are exactly the conditions in Theorem for (λα t, α s ) to elong to H Q 2. 2) It follows from the previous assertion. For (λ, α) H Q 2 and integers s, t with 0 t < s, let (µ, β) = (λα t/s, α /s ). Then (µβ t, β s ) = (λ, α). By the reverse implication in the aove proposition, we get (µ, β) M Q 2.

19 MAHLER 9 3) This follows from the definition of H since for s N, each of the following s susequences ( λα ms+t ) m N, 0 t < s converges to 0 if and only if the sequence ( λα n ) n N converges to 0. 4) For any s N and (λ, α) M, there exists an integer 0 t < s such that λα ms+t < c m for infinitely many m N and thus (λα t, α s ) M. Reciprocally, if there exists an integer 0 t < s such that (λα t, α s ) M, then λα ms+t < c m for infinitely many m N and hence (λ, α) M. Acknowledgments. This work was initiated during the visits of the second author to University of Paris VI and the first at IMSc. Both authors are grateful for the support under the MODULI program as well as the Indo-French Program for Mathematics (elonging to CNRS) which facilitated these visits. REFERENCES [] S. Akiyama and Y. Tanigawa, Salem numers and uniform distriution modulo, Pul. Math. Derecen 64 (2004), no. 3-4, [2] Y. Bugeaud and A. Duickas, On a prolem of Mahler and Szekeres on approximation y roots of integers. Michigan Math. J. 56 (2008), no. 3, [3] P. Corvaja and U. Zannier, On the rational approximations to the powers of an algeraic numer: solution of two prolems of Mahler and Mendès France, Acta Math. 93 (2004), no. 2, [4] B. de Smit, Algeraic numers with integral power traces, J. Numer Theory 45 (993), no., 2-6. [5] C. Doche, M. Mendès France and J.J. Ruch, Equidistriution modulo and Salem numers, Funct. Approx. Comment. Math. 39 (2008), part 2, [6] A. Duickas, Integer parts of powers of Pisot and Salem numers, Arch. Math. 79 (2002), [7] G. H. Hardy, A prolem of Diophantine approximation, J. Indian Math. Soc., (99), [8] S. Lang, Algeraic Numer Theory, Graduate Texts in Math. 0, Spinger, New York (986). [9] S. Lang, Algera, Revised Third Edition, Graduate Texts in Math. 2, Spinger, New York (2005). [0] K. Mahler, On the fractional parts of the powers of a rational numer, II, Mathematika 4 (957), [] K. Mahler and G. Szekeres, On the approximation of real numers y roots of integers, Acta Arith. 2 (967), [2] R. Salem, Algeraic numers and Fourier analysis, D. C. Heath and Co., Boston, Mass. (963). [3] W. M. Schmidt, Diophantine Approximations and Diophantine Equations, Lecture Notes in Math. 467, Springer (99). [4] W. M. Schmidt, Linear Recurrence Sequences in Diophantine Approximation, Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 28 - July 6, 2000, F. Amoroso & U. Zannier eds, Lecture Notes in Math. 89, Springer (2003), [5] T. Zaimi, On integer and fractional parts of powers of Salem numers, Arch. Math. 87 (2006),

20 20 PATRICE PHILIPPON AND PURUSOTTAM RATH [Patrice Philippon] Institut de Mathématiques de Jussieu, UMR 7586 du CNRS, 4, place Jussieu, PARIS Cedex 05, France. [Purusottam Rath] Chennai Mathematical Institute, Plot No H, SIPCOT IT Park, Padur PO, Siruseri 60303, Tamil Nadu, India.