Explicit lower bounds for liner forms in two logarithms (Q2433583)

The author considers a linear form in the logarithms of algebraic numbers \[ \Lambda = b_1 \log \alpha_1 - b_2 \log \alpha_2 \not=0, \] where \( b_1\) and \(b_2\) are rational integers and \(\alpha_1\), \( \alpha_2 \) are non-zero algebraic numbers. Let \(B=\max\{b_1,b_2 \}\), and let \(\log A_1\), \( \log A_2\) be upper bounds for the absolute logarithmic heights of \(\alpha_1\)and \( \alpha_2\), respectively, and put \(D=[\mathbb Q(\alpha_1, \alpha_2):\mathbb Q]\). Then it is known that essentially, \[ \log | \Lambda| > - C_1 D^4 \log A_1 \cdot \log A_2 \cdot \log B \] and \[ \log | \Lambda| > - C_2 D^4 \log A_1 \cdot \log A_2 \cdot (\log B)^2. \] The first estimate is obtained by the Gel'fond-Baker method, while the second is based on Schneider's method. In 1995, \textit{M. Laurent, M. Mignotte} and \textit{Y. Nesterenko} [ J. Number Theory 55, No. 2, 285--321 (1995; Zbl 0843.11036)] obtained an estimate of the second type with \(C_2\approx 30\). Here the author proves the best known estimate of the first type, namely \(C_1\approx 5\times 10^4\) (instead of \(10^8\)).