Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier
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,q1,…,qk) satisfying ∥q1α1n+…+qkαkn∥Z<θn where n∈N and q1,…,qk∈K∗ having small logarithmic height compared to n. In the special case when q1,…,qk have the form qi=qci for fixed c1,…,ck, our work yields results on algebraic approximations of c1α1n+…+ckαkn of the form qm with m∈Z and q∈K∗ (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 q1 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.