Transcendence of some power series in function fields (Q6546701)

Let \(K\) be a field of characteristic \(0\) and let \(K_\infty=K((1/x))\) be a field of all Laurent series over \(K\) equipped with degree valuation \(|\cdot|_\infty\). Let \(f(T)=\sum_{n=0}^\infty \frac{b_n}{a_n}T^n\) be the power series with \(b_n,a_n\in K[x]\setminus \{ 0\}\) and \(|a_n|_\infty>1\) for all sufficiently large \(n\) such that \(A=\liminf_{n\to\infty} \frac {\deg(a_{n+1})}{\deg(a_n)}>1\) and \(B=\limsup_{n\to\infty} \frac {\deg(b_n)}{\deg(a_n)}<1\). Let \(\alpha\) be a \(K_\infty\)-Liouville number such that there exist sequences \((p_n),(q_n)\subset K[x]\setminus \{ 0\}\) with \(| q_n|_\infty >1\) and a sequence of real numbers \((w(n))\) with \(\lim_{n\to\infty}w(n)=\infty\), \(| \alpha -\frac{p_n}{q_n}|_\infty <\frac 1{| q_n|_\infty^{nw(n)}}\) and \(| a_n|_\infty^c<| q_n|_\infty^n<| a_n|_\infty^d\) hold for all sufficiently large \(n\), where \(c,d\in\mathbb R\) are such that \(\limsup_{n\to\infty} \frac {\deg(lcm(a_0,\dots ,a_n))}{\deg(a_n)}<c\leq d\). The authors prove that if \(A(1-B)>4d\) then \(f(\alpha)\in K(x)\) or a \(K_\infty\)-transcendental number.