Approximation of values of algebraic elements over the ring of power sums (Q6159580): Difference between revisions

Let \(d\) be a positive integer and let \(\mathcal{P}\) be the set of power sums whose characteristic roots belong to \(\mathbb Z\) and whose coefficients belong to \(\mathbb Q\). Set \(f(x_0,\dots ,x_d,y)=\sum_{j=0}^d x_jy^j\) where \(x_0,\dots ,x_d\in\mathcal{P}\). Assume that \(a_n\) is a solution of \(y\) in \(f(x_0,\dots ,x_d,y)=0\). Under special conditions the authors prove that there exists \(k\geq 2\) such that for all \(\varepsilon >0\) with \(\varepsilon <\frac 1{2k}\) we have: For all but finitely many values of \(n\) and for \(p,q\in\mathbb Z\) with \(0<q<e^{n\varepsilon}\) it holds \(|a_n-\frac pq| >\frac 1{q^ke^{n\varepsilon}}\). In addition for \(d=1\) they prove a little bit better result.