A note on Roth's theorem (Q2641335)

The author proves a quantitative version of a \(p\)-adic generalization of Roth's theorem which was earlier stated without proof by Silverman in a less precise form. Let \(K\) be an algebraic number field endowed with a complete set of inequivalent multiplicative absolute values \(\{|\,\cdot\, |_ v: v\in M_ K\}\) satisfying the product formula \(\prod_{v}| x|_ v=1\) for \(x\in K^*\). Define the height \(H(x)=\prod_{v}\max (1,| x|_ v)\). Let \(S\) be a finite subset of \(M_ K\) containing all infinite places and choose for each \(v\in S\) an extension of \(|\,\cdot\, |_ v\) to the algebraic closure \(\overline K\) of \(K\). Let \(\alpha_ v\in \overline K\) for \(v\in S\). Denote by \(r\) the cardinality of the smallest \(\text{Gal}(\overline K/K)\)-invariant subset of \(\overline K\) containing \(\alpha_ v\) for \(v\in S\) and by \(s\) the cardinality of \(S\). Further, let \(\mu >2\), \(M\geq 1\) be constants and put \(\zeta =\min \left((\mu -2)/4,3/\sqrt{7}\right)\), \(n=[36\zeta^{-2}\log r]+1\), \(c_ 1=(n-1)(1+\log (5rn(2n)!)/\log (1+\zeta))\), \(c_ 2= (5 \log 2)(2n)!/\zeta)\). Then there are at most \(4^ sc_ 1\) elements \(x\in K\) satisfying both \[ \prod_{v\in S}| x-\alpha_ v|_ v \leq MH(x)^{-\mu}\text{ and } H(x)\geq (\max_{v\in S}(H(\alpha_ v),M,e))^{c_ 2},\quad e=2.7182...\,. \] The proof is similar to that of a result of \textit{E. Bombieri} and \textit{A. J. van der Poorten} [J. Aust. Math. Soc., Ser. A 45, 233--248 (1988; Zbl 0664.10017)]. It uses the version of Roth's lemma proved by \textit{H. Esnault} and \textit{E. Viehweg} [Invent. Math. 78, 445--490 (1984; Zbl 0532.10020)].