arxiv: v1 [math.nt] 26 Nov 2015

Transcription

1 arxiv: v1 [math.nt] 26 Nov 2015 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS: AN EXTENSION OF RESULTS BY MAHLER AND CORVAJA-ZANNIER AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN Abstract. For every complex number x, let x Z := min{ x m : m Z}. Let K be a number field, let k N, and let α 1,...,α k be non-zero algebraic numbers. In this paper, we completely solve the problem of the existence of θ (0,1) such that there are infinitely many tuples (n,q 1,...,q k ) satisfying q 1 α n q kα n k Z < θ n where n N and q 1,...,q k K having small logarithmic height compared to n. In the special case when q 1,...,q k have the form q i = qc i for fixed c 1,...,c k, our work yields results on algebraic approximations of c 1 α n c kα n k of the form m with m Z and q K q (where q has small logarithmic height compared to n). Various results on linear recurrence sequences also follow as an immediate consequence. The case k = 1 and q 1 is essentially a rational integer was obtained by Corvaja and Zannier and settled a long-standing question of Mahler. The use of the Subspace Theorem based on work of Corvaja-Zannier together with several modifications play an important role in the proof of our results. 1. Introduction Throughout this paper, let N denote the set of positive integers and fix an embedding from Q to C. For every complex number x, let x Z denote the distance to the nearest integer: x Z := min{ x m : m Z}. In 1957, Mahler [Mah57] used Roth s theorem (or more precisely, Ridout s nonarchimedean version of Roth s theorem) to prove that for α Q \ Z satisfying α > 1 and for θ (0,1), there are only finitely many n N such that α n Z < θ n. Consequently, the number g(k) in Waring s Problem satisfies: (3 ) k g(k) = 2 k except for possibly finitely many k. Mahler also asked for which algebraic numbers α the above conclusion remains valid. In 2004, by ingenious applications of the Subspace Theorem, Corvaja and Zannier obtained the following answer to Mahler s question [CZ04, Theorem 1]: Date: 26 November, Mathematics Subject Classification. Primary: 11J68, 11J87. Secondary: 11B37, 11R06. Key words and phrases. algebraic approximations, linear combinations of powers, linear recurrence sequences, Subspace Theorem. 1

2 2 AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN Theorem 1.1 (Corvaja-Zannier). Let α > 1 be a real algebraic number. Assume that for some θ (0,1), there are infinitely many n N such that α n Z < θ n. Then there is d N such that α d is a Pisot number. Note that a Pisot number is a real algebraic integer greater than 1 while all the other conjugates have modulus less than 1. By considering the trace of α dn for n N, it is clear that the conclusion of Theorem 1.1 is optimal. Moreover, the condition that α is algebraic is necessary as illustrated in an example constructed by Corvaja and Zannier [CZ04, Appendix]. By regarding {α n : n N} as a very special instance of linear recurrence sequences, it is natural to ask for an extension of Theorem 1.1 to an arbitrary linear recurrence sequence of the form {Q 1 (n)α n Q k (n)α n k : n N} where α i Q and Q i (x) Q[x]\{0} for 1 i k. Without loss of generality, we can assume that α i 1 for 1 i k. In fact, we will solve this problem for the more general sequence of the form q 1 α n q kα n k where q 1,...,q k are non-zero algebraic numbers having small logarithmic height compared to n. Let G Q be the absolute Galois group of Q and let µ be the group of roots of unity. We have: Definition 1.2. The tuple of non-zero algebraic numbers (α 1,...,α k ) is called non-degenerate if α i α j / µ for 1 i j k. This definition does not rule out the possibility that some α i is a root of unity. When working with sums of the form q 1 α n q kα n k, we can assume that (α 1,...,α k )is non-degeneratewithout lossofgenerality. Indeed, suppose α k = ζ α k 1 is an m-th root of unity. For 0 r m 1, we restrict to n N congruent to r modulo m, and write n = r + mñ. Then the sum q 1 α r 1 (αm 1 )ñ + q 2 α r 2 (αm 2 )ñ +...+(q k 1 +ζ r q k )α r k 1 (αm k 1 )ñ is equal to and has less terms than the original sum q 1 α n q kα n k. The following definition generalizes the notion of Pisot numbers: Definition 1.3. Let (β 1,...,β k ) be a tuple of of distinct non-zero algebraic numbers. Write: B := {β Q \{β 1,...,β k } : β = σ(β i ) for some σ G Q and 1 i k}. Then the tuple (β 1,...,β k ) is called pseudo-pisot if β i + i=1 β B for every β B. Moreover, if β i is an algebraic integer for 1 i k then the tuple (β 1,...,β k ) is called Pisot. k β Z and β < 1 Note that when k = 1, our definition of being pseudo-pisot here is slightly different from Corvaja-Zannier [CZ04, p. 176] since we do not require that β i > 1 for 1 i k. Such generality is necessary in order to deal with the condition α i 1 with the possibility of an equality. Let h denote the absolute logarithmic Weil height (see [BG06] or Section 2). By f(n) a sublinear function, we mean a function f : N (0, ) satisfying lim n n = 0. Let K be a number field, our main result is the following:

3 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS 3 Theorem 1.4. Let k N, let (α 1,...,α k ) be a non-degenerate tuple of algebraic numbers satisfying α i 1 for 1 i k, and let f be a sublinear function. Assume that for some θ (0,1), the set M of (n,q 1,...,q k ) N (K ) k satisfying: k q i α n i < θ n and max h(q i) < f(n) 1 i k Z i=1 is infinite. For all but finitely many (n,q 1,...,q k ) M, the following hold: (i) The tuple (q 1 α n 1,...,q k α n k ) is pseudo-pisot. (ii) α i is an algebraic integer for 1 i k. (iii) For σ G Q and 1 i,j k, σ(q i α n i ) = q jα n j if and only if σ(α i) µ. α j (iv) For σ G Q and 1 i k, if σ(α i) α j / µ for 1 j k then σ(α i ) < 1. When k = 1, properties (i) and (ii) recover the conclusion in Theorem 1.1. As is the case with the Corvaja-Zannier theorem, it is not difficult to see that properties (i)-(iv) above are sufficient. In fact q 1 α n q kα n k is a subsum of an integervalued trace and, according to properties (iii) and (iv), any term that does not appear in this subsum must have the form σ(q i α n i ) with σ(α i) < 1. Now since h(σ(q i )) < f(n) = o(n), we have that σ(q i α n i ) < θn for some θ (0,1) when n is k sufficiently large. This explains why we have q i α n i < θ n. Z Remark 1.5. As mentioned before, the condition α i 1 for 1 i k is nonessential. Indeed if, say, α i < 1 then q i α n i < θn for every θ ( α i,1) when n is sufficiently large. This follows from the condition that q i = e o(n). Then we can simply consider the smaller subsum without the term q i α n i. If α i is a root of unity then (by choosing j = i), Property (iii) implies that for all but finitely many (n,q 1,...,q k ) M, σ(q i α n i ) = q iα n i for every σ which means q i α n i Q. For every polynomial Q(x) Q[x] and σ G Q, let σ(q) be the polynomial obtained by applying σ to the coefficients of Q. For every rational function R(x) Q(x), write R(x) = Q 1(x) Q 2 (x), then we define σ(r) = σ(q 1). This is independent of σ(q 2 ) the choices of (Q 1,Q 2 ). We have the following immediate consequences: Corollary 1.6. Let k N and let (α 1,...,α k ) be as in Theorem 1.4. Let a n := R 1 (n)α n R k (n)α n k for n N where R 1(x),...,R k (x) Q(x)\{0}. Assume that for some θ (0,1), the set M θ = {n N : a n Z < θ n } is infinite. Then the following hold: (i) α i is an algebraic integer for 1 i k. (ii) For σ G Q and 1 i k, if σ(α i) α j / µ for 1 j k then σ(α i ) < 1. (iii) For σ G Q and 1 i,j k, if σ(α i) µ then the rational function R j ( α ) j σ(r i ) n R j is constant and σ(r i ) = σ(αi ) for all but finitely many n M θ. α j For an arbitrary linear recurrence sequence, we obtain the following result in the style of the classical Skolem-Mahler-Lech theorem. i=1

4 4 AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN Corollary 1.7. Let (a n ) n N be an arbitrary linear recurrence sequence over Q. Assume that for some θ (0,1), the set M θ as defined in Corollary 1.6 is infinite. Then there is θ 0 (0,1) such that for every θ (θ 0,1), the set M θ is the union of a finite set and finitely many arithmetic progressions. The Subspace Theorem obtained by Schmidt and extended by Schlickewei and Evertse (see [Sch72], [ES02], [BG06, Chapter 7] and the references there) plays a crucial role in the proof of our results. Our applications of the Subspace Theorem are based on the paper [CZ04] together with several modifications. We conclude this introduction with a brief comparison to the compelling results of [CZ04]. The paper of Corvaja-Zannier settles the case k = 1 and q 1 is of the form qδ where q Z and δ is a fixed algebraic number. In this paper, we investigate an arbitrary sum (k 1) and allow the q i s to be in an arbitrary number field. While the key construction of linear forms in [CZ04, Lemma 3] is rather neat, the construction in this paper is a bit more complicated due to the extra generality noted above and so requires some technical modifications (see Section 3). Acknowledgments. We wish to thank Professor Pietro Corvaja for useful comments. The third author is grateful to Professor Umberto Zannier for useful conversations at the Mathematical Sciences Research Institute in March The first author is partially supported by NSERC and the third author is partially supported by a UBC-PIMS fellowship. 2. Some classical applications of the Subspace Theorem Let M Q = MQ M0 Q where M0 Q is the set of p-adic valuations and M Q is the singleton consisting of the usual archimedean valuation. More generally, for every number field K, write M K = MK M0 K where M K is the set of archimedean places and MK 0 is the set of finite places. For every w M K, let K w denote the completion of K with respect to w and denote d(w) = [K w : Q v ] where v is the restriction of w to Q. Following [BG06, Chapter 1], for every w M K restricting to v on Q, we normalize w as follows: x w = N Kw/Q v (x) 1/[K:Q] v. Let m N, for every vector x = (x 0,...,x m ) K m+1 \ {0}, let x denote the corresponding point in P m (K). For every w M K, denote x w := max x i w. 0 i m For P P m ( Q), let K be a number field such that P = x for some x K m+1 \{0} and define: H(P) = x w. w M K Define h(p) = log(h(p)). For α K, write H(α) := H([α : 1]) and write h(α) := log(h(α)). Now we present the celebrated Subspace Theorem. The readers are referred to [BG06, Chapter 7] and the references there for more details. Theorem 2.1. Let n N, let K be a number field, and let S M K be finite. For every v S, let L v0,...,l vn be linearly independent linear forms in the variables X 0,...,X n with K-algebraic coefficients in K v. For every ǫ > 0, the solutions

5 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS 5 x K n+1 \{0} of the inequality: n L vj (x) v H( x) n 1 ǫ x v v S j=0 are contained in finitely many hyperplanes of K n+1. Variants of the following applications of the Subspace Theorem are well-known. We include the proofs due to the lack of an immediate reference. Proposition 2.2. Let (α 1,...,α k ) be a non-degenerate tuple of non-zero algebraic numbers, let f be a sublinear function, and let K be a number field. Then there are only finitely many tuples (n,b 1,...,b k ) N (K ) k satisfying: b 1 α n b kα n k = 0 and max 1 i k h(b i) < f(n). Proof. Assume there is a counter-example given by (K,f,k,α 1,...,α k ) where k is minimal. This implies that there are infinitely many such tuples (n,b 1,...,b k ). By the height inequality on the b i s and the Northcott property, we must have that n is unbounded in any infinite collection of such tuples. By extending K if necessary, we can choose a finite subset S of M K containing MK such that α i is an S-unit for 1 ( i ) k. We will prove that k 3; obviously k > 1. If k = 2, we have n b 1 α2 =. By non-degeneracy, h(α 2 /α 1 ) > 0 while h(b 1 /b 2 ) < 2f(n) = o(n) b 2 α 1 which gives a contradiction when n is sufficiently large. Write x = (x 1,...,x k 1 ) := (b 1 α n 1,...,b k 1 α n k 1 ). For v S, choose i(v) with 1 i(v) k 1 such that x v = x i(v) v. There are (k 1) S possibilities for the choices of the i(v) s, hence we may assume that some fixed choice is used for infinitely many tuples (n,b 1,...,b k ), from now on we will focus on these tuples only. For v S and 1 j k 1, define: L vj (X 1,...,X k 1 ) = { Xj if j i(v) X X k 1 if j = i(v) Since the α i s are S-units, by the product formula, we have: k b j α n k 1 j v ( ) k L vj (x) v v S k (1) = ( ) x k x v H(b j ). v S v v S x v v S Again, using the fact that the α i s are S-units, we have: H( x) H( x) (2) x v = v S max b. k 1 j v 1 j k 1 H(b j ) (3) From (1) and (2), we have: k 1 v S v/ S L vj (x) v x v k H( x) k H(b j ) k+1.

6 6 AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN Write C = H([α 1 :... : α k 1 ]) then C > 1 thanks to non-degeneracy of (α 1,...,α k 1 ). We have: (4) H([α n 1 :... : α n k 1 ]) H([b1 1 :... : b 1 k 1 ]) H( x) = H([b 1α n 1 :... : b k 1 α n k 1]) H([α n 1 :... : α n k 1])H([b 1 :... : b k 1 ]) which implies k (5) C n H(b j ) Since 1 k H( x) C n H(b j ). k H(b j ) e kf(n) = e o(n), inequalities (3) and (5) give that for every ǫ (0,1/2) we have: k 1 v S L vj (x) v x v H( x) k+ǫ H( x) k+1 ǫ when n is sufficiently large. Hence Theorem 2.1 gives that there exist a subset {i 1,...,i l } of {1,...,k 1} and c i1,...,c il K such that: c i1 b i1 α n i c il b il α n i l = 0 for infinitely many tuples (n,b i1,...,b il ). By modifying the sublinear function f, the infinitely many tuples (n,c i1 b i1,...,c il b il ) yield that there is a counter-example with parameter l k 1 < k, contradicting the minimality of k. The next result is a slight modification of [CZ04, Lemma 1]: Proposition 2.3. Let k N, let K be a number field, let S be a finite subset of M K containing MK, and let λ 1,...,λ k be non-zero elements of K. Fix w S and ǫ > 0. Let S be an infinite set of solutions (u 1,...,u k,b 1,...,b k ) of the inequality: k k λ j b j u j max{ b 1 u 1 w,..., b k u k w }( H(b j )) k 1 ǫ H([u 1 :... : u k : 1]) ǫ w where u j is an S-unit and b j K for 1 j k. Then there exists a non-trivial linear relation of the form c 1 b 1 u c k b k u k = 0 where c i K for 1 i k satisfied by infinitely many elements of S. Proof. When k = 1, the given inequality together with the Northcott property imply that the set S must be finite. Hence we may assume k 2. We now apply the Subspace Theorem as in the proof of [CZ04, Lemma 1]. Without loss of generality and by replacing S by an infinite subset, we may assume: b 1 u 1 w = max{ b 1 u 1 w,..., b k u k w } for every (u 1,...,u k,b 1,...,b k ) S. For v S and 1 j k, if (v,j) (w,1) define L vj (X 1,...,X k ) = X j ; define L w1 (X 1,...,X k ) = λ 1 X λ k X k. Write

7 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS 7 x = (b 1 u 1,...,b k u k ), we have: k b j u j v ) k k L vj (x) v v S k = j b j u j w( x v x v S v b 1 u 1 w λ v S (6) ( k H(b j))( k H(b j)) k 1 ǫ H([u 1 :... : u k : 1]) ǫ ( ) k x v As in the proof of Proposition 2.2, we have: v S (6), we have: (7) k v S L vj (x) v x v v S k H( x) k H(b j ) x v ǫ H( x) k H(b. Together with j) H([u 1 :... : u k : 1]) ǫ. k k Using H( x) H([u 1 :... : u k ]) H(b j ) H([u 1 :... : u k : 1]) H(b j ), we obtain: k v S Theorem 2.1 yields the desired conclusion. L vj (x) v x v H( x) k ǫ. 3. The Key Technical Results Toward the Proof of Theorem 1.4 The main technical results obtained in this section playacrucial role in the proof of Theorem 1.4. We define an equivalence relation on Q as follows: α β if α thereisσ G Q suchthat µ. LetK beanumberfieldandwrited = [K : Q]. σ(β) We have the following: Lemma 3.1. Let {γ 1,...,γ d } be a basis of K over Q. There exist constants C 1 and d C 2 depending only on the γ i s such that for every q K we can write q = b i γ i where b i Q satisfying h(b i ) C 1 h(q)+c 2 for 1 i d. Proof. We can solve for the coefficients b i s using the discriminant of the given basis and the Galois conjugates of q and the γ i s to obtain the desired height inequality A common setup. The notation and assumptions given in this subsection will appear many times. Let K, k, (α 1,...,α k ), and f be as in Theorem 1.4; in particular (α 1,...,α k ) is non-degenerate. Assume there is θ (0,1) such that the set M defined as in Theorem 1.4 is infinite. Let M 0 be an infinite subset of M. By the given inequality on max 1 i k h(q i) and the Northcott property, we observe that there are only finitely many elements of M where n is bounded. The tuple (α 1,...,α k ) is said to satisfy Property (P1) if the following holds: i=1

8 8 AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN (P1) For every m N and 1 i k, [Q(α i ) : Q] = [Q(α m i words, if β α i is Galois conjugate to α i then β α i / µ. ) : Q]. In other The tuple (α 1,...,α k ) is said to satisfy Property (P2) if the following holds: (P2) For 1 i,j k if α i α j then α i is Galois conjugate to α j. Lateron, wewillusethefactthatthesepropertiesholdwhenwereplace(α 1,...,α k ) by (α m 1,...,αm k ) for some sufficiently large integer m. We have: Lemma 3.2. If (α 1,...,α k ) satisfies both Properties (P1) and (P2) then the following holds. For 1 i,j k, if β is Galois conjugate to α i, γ is Galois conjugate to α j, and β γ µ then β = γ. Proof. We must have α i α j, hence Property (P2) implies that α i is Galois conjugate to α j. Hence we can write β = σ(α i ) and γ = τ(α i ) for some σ,τ G Q. Since β γ µ, we have τ 1 σ(α i ) µ. Property (P1) gives τ 1 σ(α i ) = α i. Hence β = σ(α i ) = τ(α i ) = γ. α i For the rest of this subsection, assume that (α 1,...,α k ) satisfies both Properties (P1) and (P2). By extending K, we may choose a finite subset S of M K containing MK such that α i is an S-unit for 1 i k. Now we partition {α 1,...,α k } into s subsetswhosecardinalitiesaredenotedbym 1,...,m s accordingtothesequivalence classes with respect to. From now on, we relabel our notation as α i,1,...,α i,mi where {α i,1,...,α i,mi } for 1 i s are the sets in the resulting partition. The q 1,...,q k are also relabelled as q i,1,...,q i,mi for 1 i s accordingly. So the original sum k q i α n i is now denoted as i=1 m i i=1 q i,j α n i,j. We will also denote the tuple (n,q 1,...,q k ) by (n,q i,j ) i,j. Write d = [K : Q] and let {γ 1,...,γ d } be a basis of K over Q. By Property (P2), for 1 i s, the elements α i,1,...,α i,mi are Galois conjugate to each other and we let d i m i denote the number of all possible Galois conjugates. We now denote all the other Galois conjugates that do not appear in {α i,1,...,α i,mi } as α i,mi+1,...,α i,di. Let L/Q be the Galois closure of K/Q. For every σ Gal(L/Q), for 1 i s, let σ i be the permutation on {1,...,d i } corresponding to the action of σ on {α i,1,...,α i,di }. In other words, σ(α i,j ) = α i,σi(j) for 1 j d i The Key Technical Results. Let K, k, (α 1,...,α k ), f, θ, M, M 0, S, L, d, andthe basis{γ 1,...,γ d } be asin Subsection3.1; in particular(α 1,...,α k ) satisfies both (P1) and (P2) and each α i is an S-unit. Relabel the α i s and q i s as α i,j and q i,j for 1 i s and 1 j m i, and let d 1,...,d s and α i,j for m i < j d i as before. Remark 3.3. Let x be a complex number. When the fractional part of the real part of x is 1, there are two integers having the closest distance to x. To be precise, we 2 define the closest integer to x to be the smallest integer p such that x p = x Z. Proposition 3.4. There exists an infinite subset M 1 of M 0 such that the following holds. For every (n,q i,j ) i,j = (n,q 1,...,q k ) M 1, let p denote the closest integer

9 to ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS 9 k q i α n i = i=1 m i d i q i,j α n i,j. We can write p = η i,j α n i,j with the following i=1 i=1 properties: (i) η i,j L and h(η i,j ) = o(n) for 1 i s and 1 j d i. (ii) For every σ Gal(L/Q) and 1 i s, let σ i denote the induced permutation on {1,...,d i } as in Subsection 3.1. We have σ(η i,j ) = η i,σi(j) for 1 i s and 1 j d i. (iii) q i,j = η i,j for 1 i s and 1 j m i. (iv) Let B be the set of β such that β / {q i,j α n i,j : 1 i s, 1 j m i} and β is Galois conjugate to q i,j α n i,j for some 1 i s and 1 j m i. Then the elements η i,j α n i,j for 1 i s and m i < j d i are distinct and are exactly all the elements of B. Proof. For every v M L, fix σ v Gal(L/Q) such that v corresponds to the (real or complex) embedding σ 1 v. In other words, for every α L, we have: α v = σ 1 v (α) d(v)/[l:q]. For 1 i s and for v ML, let σ v,i be the induced permutation on {1,...,d i } as in Subsection 3.1 which means σ v (α i,j ) = α i,σv,i(j). For (n,q i,j ) i,j M 0, for 1 i s and 1 j m i, write: d q i,j = b i,j,l γ l l=1 where b i,j,l Q. Let p be the closest integer to m i m i d q i,j α n i,j = γ l b i,j,l α n i,j. Since (8) v M L i=1 i=1 l=1 d(v) = [L : Q] and by the definition of M, we have: m i d θ n > γ l b i,j,l α n i,j p i=1 l=1 = m i d γ l b i,j,l α n i,j p v M L i=1 l=1 = m i d σ v (γ l )b i,j,l α n i,σ v,i(j) p. v v M L i=1 l=1 d(v) [L:Q] Let I be the set of quadruples (i,j 1,j 2,l) satisfying the following: 1 i s, 1 j 1 m i, 1 j 2 d i, and 1 l d. For each (n,q i,j ) i,j M 0, we associate a vector y := y(n,q i,j ) i,j whose components are indexed by I and defined to be y (i,j1,j 2,l) = b i,j1,lα n i,j 2 for (i,j 1,j 2,l) I. For v ML and a = (i,j 1,j 2,l) I, define { σv (γ δ v,a = l ) if σ v,i (j 1 ) = j 2. 0 if σ v,i (j 1 ) j 2 Inequality (8) can be rewritten as: (9) δ v,a y a p < θ n. v M L a I v

10 10 AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN Among all infinite subsets of M 0, let M 0 be such that the vector space over L generated by the set {y(n,q i,j ) i,j : (n,q i,j ) i,j M 0} has minimal dimension. Let V denote this vector space and let r = dim L (V). By applying Gaussian elimination to a system of linear equations defining V, we obtain a subset I of I consisting of r elements together with scalars c a,b L for a I \ I and b I such that V is given by the linear system: Y a = c a,b Y b for a I \ I. b I Therefore y a = c a,b y b for a I \ I. Consequently, for every v ML, we b I can write δ v,a y a = c v,b y b where the c v,b s for b I depend only on I, a I b I I, v, the δ v,a s, and the c a,b s. Inequality (9) is rewritten as: (10) c v,b y b p < θ n. b I v M L We are ready to apply the Subspace Theorem as follows. The vector of variables X consists of X 0 and X b for b I. Let S be the set of places of L lying above S. For w S the collection L w of I +1 = r+1 linear forms, whose members are denoted L w,0 (X) and L w,b (X) for b I, is defined as follows: If w M 0 L, define L w,0(x) = X 0 and L w,b (X) = X b. If w M L, define L w,b(x) = X b and define: L w,0 (X) = b I c w,b X b X 0. Clearly, the linear forms in L w are linearly independent for every w S. For (n,q i,j ) i,j M 0, we define the vector x whose coordinates are denoted as x 0 and x b for b I as follows: x 0 = p and x b = y b. For 1 i s and 1 j m i, since H(q i,j ) < e f(n) = e o(n), we have q i,j = e o(n) and H(b i,j,l ) = e o(n) for 1 l d by Lemma 3.1. By (8), we have: m i p q i,j α n i,j +1 Cn 3 i=1 for some constant C 3 depending only on K, the α i,j s, and the sublinear function f. Hence there is a constant C 4 depending only on K, S, f, the α i,j s, and the γ l s such that: (11) H( x) < C n 4. Let B = max{h(b i,j,l ) : 1 i s,1 j d i,1 l d} = e o(n) and N = d(d d s ) which is the number of triples (i,j,l). By inequality (10), the v

11 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS 11 product formula (applied to the S-units α i,j s), and the integrality of p, we have: ( ) r 1 L(x) w θ n B I (12) x ( ) = I w w S L L w +1 θn B r x w. w S x w w S As in the proof of Proposition 2.2, we have: x w = H( x) w S w/ S x w H( x) B N. Together with (12), we have: L(x) w (13) θ n B r+n(r+1) H( x) r 1. x w w S L L w From θ (0,1), B = e o(n), together with (11) and (13), there is ǫ > 0 such that: L(x) w < H( x) r 1 ǫ x w w S L L w when n is sufficiently large. By Theorem 2.1, there exists a non-trivial linear relation: a 0 X 0 + b I a b X b = 0 satisfied by infinitely many (n,q i,j ) i,j M 0 where a 0,a b L. In other words, there is an infinite subset M 2 of M 0 such that: (14) a 0 p+ a b y b = 0 b I holds for every (n,q i,j ) i,j M 2. We claim that a 0 0. Indeed, if we have a 0 = 0, the nontrivial linear relation a b y b = 0 implies b I that the vector space over L generated by {y(n,q i,j ) i,j : (n,q i,j ) i,j M 2 } has dimension at most r 1. This violates the minimality of r. Therefore, we can write p = a b y b. By the definition of y b and the fact a 0 b I that h(b i,j,l ) = o(n) for every (i,j,l), we can write: (15) p = d i η i,j α n i,j i=1 with η i,j L satisfying h(η i,j ) = o(n) for every (i,j). Thus we can achieve property (i) in the proposition. For 1 i s and m i < j d i, we define q i,j = 0 formally. Then for every (n,q i,j ) i,j M 2, we have: d i (16) (q i,j η i,j )α n i,j = m i q i,j α n i,j p < θn i=1 i=1

12 12 AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN and (17) p = d i σ(η i,j )α n i,σ = d i i(j) i=1 i=1 σ(η i,σ 1 i (j) )αn i,j for σ Gal(L/Q). Here we note that σi 1 is the inverse of the permutation σ i on {1,...,d i } which is also the permutation induced from σ 1. From (15) and (17), we have: d i (18) (η i,j σ(η i,σ 1 i (j) ))αn i,j = 0 for σ Gal(L/Q). i=1 For σ Gal(L/Q), 1 i s, 1 j d i, let M 2 (σ,i,j) denote the set of (n,q i,j ) i,j M 2 such that η i,j σ(η i,σ 1 i (j)) 0. By Lemma 3.2 and Proposition 2.2, the set M 2 (σ,i,j) is finite. Hence there is a subset M 2 of M 2 such that M 2 \ M 2 is finite and η i,j = σ(η i,σ 1 i (j)) for every i, j, and σ for every (n,q i,j ) i,j M 2. This gives property (ii). For 1 i s, 1 j m i, let M 2 (i,j) be the set of (n,q i,j) i,j M 2 such that q i,j η i,j 0. We claim that M 2(i,j) is finite. Assume otherwise that some M 2 (i,j ) is infinite. Then there is a fixed set P such that: P = {(i,j) : 1 i s,1 j d i,q i,j η i,j 0} for infinitely many (n,q i,j ) i,j M 2 (i,j ). In particular (i,j ) P. Inequality (16) gives: (19) (q i,j η i,j )α n i,j < θn (i,j) P for infinitely many (n,q i,j ) i,j M 2(i,j ). We have (q i,j η i,j )αn i,j q i,j η i,j since α i,j 1. For (i,j) P and δ (0,1), from H(1/(q i,j η i,j )) = H(q i,j η i,j ) = e o(n), we have that q i,j η i,j > δ n when n is sufficiently large. From (19), we can apply Proposition 2.3 to have a non-trivial linear relation among the (q i,j η i,j )α n i,j for (i,j) P for infinitely many (n,q i,j) i,j M 2 (i,j ). Proposition 2.2 and Lemma 3.2 now yield a contradiction. Hence M 2 (i,j) is finite for every 1 i s and 1 j m i. Therefore there is a subset M 2 of M 2 such that M 2 \ M 2 is finite and q i,j = η i,j for 1 i s and 1 j m i for every (n,q i,j ) i,j M 2. This gives property (iii). From the choice of M 2 and M 2, we have that η i,j 0 for every 1 i s and 1 j d i. Now if η i1,j 1 α n i 1,j 1 = η i2,j 2 α n i 2,j 2 for some (i 1,j 1 ) (i 2,j 2 ) then H(α i1,j 1 /α i2,j 2 ) n = H(η i1,j 1 /η i2,j 2 ) = e o(n) which gives a contradiction as n is sufficiently large thanks to Lemma 3.2. Hence there is a subset M 1 of M 2 such that M 2 \M 1 is finite and the η i,j α n i,j s are distinct for every (n,q i,j) i,j M 1. Given (n,q i,j ) M 1, let B be the set defined in Property (iv) of the proposition. For 1 i s and m i < j d i, there is σ Gal(L/Q) such that σ(α i,1 ) = α i,j ; consequently σ i (1) = j. We have: σ(q i,1 α n i,1) = σ(η i,1 )α n i,j = η i,j α n i,j. Hence η i,j α n i,j B. Conversely if β B, write β = σ(q i,j α n i,j ) for some 1 i s, 1 j m i and σ Gal(L/Q). Then β = η i,σi(j)α n i,σ i(j). By the definition of B, we must have m i < σ i (j) d i.

13 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS 13 Therefore the set M 1 satisfies all the required properties (i)-(iv). This finishes the proof of the proposition. 4. Proof of Theorem 1.4 Let K, (α 1,...,α k ), f, θ, and M be as in Theorem 1.4. By extending K, we may assume that there is a finite subset S of M K containing MK such that α i is an S-unit for 1 i k. For every m N, for 0 r m 1, replacing (α 1,...,α {( k ) by (α m 1,...,α m k ) and replacing {(n,q 1,...,q k ) M : } n r mod m} n r by m,q 1α r 1,...,q kα r k : (n,q 1,...,q r ) M : n r mod m if necessary, we may assume that (α 1,...,α k ) satisfies Properties (P1) and (P2) defined in Subsection 3.1. Let the notation s, m 1,...,m s, α i,j, and q i,j for 1 i s and 1 j m i be as in Subsection 3.1. Then let d 1,...,d s and α i,j for 1 i s and m i < j d i be as in Subsection 3.1. Let L be the Galois closure of K and let S be the set of places of L lying above S Proof of Property (i) of Theorem 1.4. Assume there is an infinite subset M 0 of M such that (q 1 α n 1,...,q k α n k ) is not pseudo-pisot for every (n,q 1,...,q k ) M 0. Let M 1 be an infinite subset of M 0 satisfying the conclusion of Proposition 3.4. Hence for every (n,q i,j ) i,j M 1, let p denote the closest integer to m i d i q i,j α n i,j then we can write p = η i,j α n i,j where the η i,j s satisfy the i=1 i=1 properties given in Proposition 3.4. Hence: d i (20) η i,j α n i,j = m i q i,j α n i,j p < θn. i=1 j=m i+1 i=1 By Lemma 3.2, Proposition 2.3, Proposition 2.2, and the fact that H(η i,j ) = e o(n), we have: max{ η i,j α n i,j : 1 i s,m i +1 j d i } < 1. for all but finitely many (n,q i,j ) i,j M 1. By Property (iv) in Proposition 3.4, we have that (q i,j α n i,j : 1 i s,1 j m i) is a pseudo-pisot tuple for all but finitely many (n,q i,j ) i,j M 1. This contradicts the choice of M Proof of Property (ii) of Theorem 1.4. Without loss of generality, assume that α 1,1 is not an algebraic integer and we will arrive at a contradiction. There is a non-archimedean place w S such that α 1,1 w > 1. We now let M 0 = M. Let M 1 be an infinite subset of M 0 satisfying the conclusion of Proposition 3.4. Hence d i for every (n,q i,j ) i,j M 1, we can write p = η i,j α n i,j where the η i,j s satisfy i=1 the properties given in Proposition 3.4 (hence η i,j 0 for every (i,j)). We have: d i (21) η i,j α n i,j = p w 1. w i=1

14 14 AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN From H(1/η 1,1 ) = H(η 1,1 ) = e o(n), we have that for every δ (0,1), η 1,1 w > δ n when n is sufficiently large. In particular, for every 1 < Ω < α 1,1 w, we have: (22) max{ η i,j α n i,j w : 1 i s,1 j d i } η 1,1 α n 1,1 w Ω n. when n is sufficiently large. Since H(η i,j ) = e o(n), from inequalities (21), and (22), we can apply Proposition 2.3 (with an appropriate ǫ) to conclude that the η i,j α n i,j s satisfy a non-trivial linear relation for infinitely many (n,q i,j) i,j M 1. Proposition 2.2 and Lemma 3.2 yield a contradiction Proof of Property (iii) of Theorem 1.4. From H(q i,j ) = e o(n), we have that for sufficiently large n, for 1 i 1,i 2 s, 1 j 1 m i1, and 1 j 2 m j2 if σ(q i1,j 1 α n i 1,j 1 ) = q i2,j 2 α n i 2,j 2 then σ(α i1,j 1 )/α i2,j 2 µ. For the conversestatement, it sufficesto provethe followingclaim: fix σ Gal(L/Q), (i 1,j 1 ), and (i 2,j 2 ), then for all but finitely many (n,q i,j ) i,j M, if σ(α i1,j 1 )/α i2,j 2 µ then σ(q i1,j 1 α n i 1,j 1 ) = q i2,j 2 α n i 2,j 2. We prove this claim by contradiction: assume there is an infinite subset M 0 violating the conclusion of the claim. By Lemma 3.2, we necessarily have that σ(α i1,j 1 ) = α i2,j 2 and indeed i 1 = i 2 := i (otherwise, there is no such σ and the claim is vacuously true). Hence σ i (j 1 ) = j 2. As before, let M 1 be an infinite d i subset of M 0 as in Proposition 3.4, then p = η i,j α n i,j. By Proposition 3.4, we have: i=1 σ(q i,j 1 α n i,j 1 ) = σ(η i,j 1 )α n i,j 2 = η i,j 2 α n i,j 2 = q i,j 2 α n i,j 2, contradicting the fact that M 0 does not satisfy the claim Proof of Property (iv) of Theorem 1.4. We need to prove that α i,j < 1 for 1 i s and m i < j d i. In fact, we will prove the stronger inequality that α i,j θ for 1 i s and m i < j d i. Assume α i,j > θ for some 1 i s and m i < j d i. Let M 0 = M and let M 1 be an infinite subset of M 0 satisfying Proposition 3.4. As before, for every (n,q i,j ) i,j M 1, we have: (23) Write N = d i i=1 j=m i+1 η i,j α n i,j = m i q i,j α n i,j p < θn. i=1 (d i m i ). Let x be the vector whose last coordinate is 1 and other i=1 coordinates are the α n i,j. Then there is a constant C 5 depending only on the α i,j s such that H( x) C5. n Choose ǫ > 0 sufficiently small such that θ < α i,j C ǫ 5. Since H(1/η i,j ) = eo(n), for every δ (0,1), we have η i,j > δn when n is sufficiently large. Together with the property H(η i,j ) = e o(n), we have: θ n < max{ η i,j α n i,j : 1 i s,m i < j d i } H(η i,j ) i,j N 1 ǫ H( x) ǫ. Together with inequality (23), Proposition 2.3, Proposition 2.2, and Lemma 3.2, we obtain a contradiction.

15 ALGEBRAIC APPROXIMATIONS TO LINEAR COMBINATIONS OF POWERS Proof of Corollary 1.6 and Corollary Proof of Corollary 1.6. Parts (i) and (ii) follow immediately from Theorem 1.4. In fact, for part (ii), we actually have that σ(α i ) θ thanks to the arguments in Subsection 4.4. For part (iii), by using Theorem 1.4, we have that σ(r i (n)α n i ) = R j(n)α n j for all but finitely many n M θ. This immediately implies part (iii) Proof of Corollary 1.7. As explained before, we may assume that the linear recurrence sequence a n = Q 1 (n)α n Q k (n)α n k is non-degenerate and α i 1 for 1 i k. For every m N and 0 r m 1, by restricting to n r modulo m, we may replace (α 1,...,α k ) by (α m 1,...,αm k ). Hence we may assume that (α 1,...,α k ) satisfies Properties (P1) and (P2) in Subsection 3.1. Let s and m 1,...,m s be as before. We also relabel the α i s and Q i s as α i,j and Q i,j for 1 i s and 1 j m i as in Subsection 3.1. Corollary 1.6 gives that for every σ G Q, 1 i s, and 1 j 1,j 2 m i, if σ(α i,j1 ) = α i,j2 then σ(q i,j1 ) = Q i,j2. In particular, we have Q i,j Q(α i,j )[x] for every 1 i s and 1 j m i. Let d 1,...,d s and α i,j for m i < j d i be as in Subsection 3.1. We can now define the polynomials Q i,j for 1 i s and m i < j d i as follows: pick any σ G Q such that σ(α i,1 ) = α i,j, then define Q i,j = σ(q i,1 ). Therefore the linear recurrence sequence: b n := d i Q i,j (n)α n i,j = a n + i=1 d i i=1 j=m i+1 Q i,j (n)α n i,j is invariant under G Q. Let D N such that the coefficients of DQ i,j are algebraic integers for all i,j. Since the α i,j s are algebraic integers by Corollary 1.6, we have Db n Z for every n N. Let θ 0 = max{ α i,j : 1 i s,m i < j d i }. We have that θ 0 < 1 by Corollary 1.6 (in fact, we even have θ 0 θ by the proof of Corollary 1.6). Let θ (θ 0,1). When n is sufficiently large, the inequality a n Z < θ n is equivalent to the condition that b n Z which is, in turn, equivalent to Db n 0 modulo D. The set of such n s is the union of a finite set and finitely many arithmetic progressions. References [BG06] E. Bombieri and W. Gubler, Heights in Diophantine geometry, New Mathematical Monographs, vol. 4, Cambridge University Press, Cambridge, [CZ04] P. Corvaja and U. Zannier, On the rational approximations to the powers of an algebraic number: Solution of two problems of Mahler and Mendès France, Acta Math. 193 (2004), [ES02] J.-H. Evertse and H. P. Schlickewei, A quantitative version of the Absolute Subspace Theorem, J. Reine Angew Math. 548 (2002), [Mah57] K. Mahler, On the fractional parts of the powers of a rational number (II), Mathematika 4 (1957), [Sch72] W. M. Schmidt, Norm form equations, Ann. of Math. (2) 96 (1972),

16 16 AVINASH KULKARNI, NIKI MYRTO MAVRAKI, AND KHOA D. NGUYEN Avinash Kulkarni, Department of Mathematics, Simon Fraser University, Burnaby, BC V5A 1S6, Canada address: Niki Myrto Mavraki, Department of Mathematics, University of British Columbia, Vancouver, BC V6T 1Z2, Canada address: URL: Khoa D. Nguyen, Department of Mathematics, University of British Columbia, And Pacific Institute for The Mathematical Sciences, Vancouver, BC V6T 1Z2, Canada address: URL: