On approximations of solutions of the equation \(P(z,\ln z) = 0\) by algebraic numbers (Q2211275)

Let \(d_1\) and \(d_2\) be positive integers. Let \(P(x,y)\in\mathbb Z[x,y]\) such that \(\deg_x =d_1\) and \(\deg_y =d_2\). Then, the authors prove that for every \(\varepsilon >0\) and \(r>0\), the inequality \[|P(\theta,\log\theta)| <\exp\Big(-(4+\varepsilon)d_1d_2\frac{\ln^2L(\theta)}{\ln\ln L(\theta)}\Big)\] has only finitely many solutions in algebraic \(\theta\) such that \(|\theta| <r\) and \(\deg\theta =o(\ln\ln L(\theta))\) as \(L(\theta)\to\infty\). Here, \(L(\theta)\) denotes the length of the algebraic number \(\theta\), this is the sum of the coefficients in absolute value of its minimal polynomial. The proof is in the spirit of Mahler.