A note on linear forms in two logarithms: the argument of an algebraic power
arXiv:1906.00419
Abstract
In this note, we shall give an improved lower bound for the argument of a power of a given algebraic number which has absolute value one but is not a root of unity.
9 pages, refined and clarified some estimates, uploaded PARI-GP script, v3: corrected constants, v4: link to the latest script