Linear Forms in two m-adic Logarithms and Applications to Diophantine Problems

Abstract

We give sharp, explicit estimates for linear forms in two logarithms, simultaneously for several non-Archimedean valuations. We present applications to explicit lower bounds for the fractional part of powers of rational numbers, and to the Diophantine equation (xn − 1)/(x − 1) = yq.