Irrationality of infinite series (Q2424137)

The paper deals with linear independence of infinite series over a given algebraic number field. The main result states the following. Let $\mathbb{K}$ be an algebraic number field and let $P_j(X),Q_j(X)\in\mathbb{K}[X]$, $j=1,\dots,R$, be polynomials with $\deg P_j<\deg Q_j$. Set $d=\frac{(\sum\deg Q_j)\deg\mathbb{K}}{\min(\deg Q_j-\deg P_j)}$. Let a nondecreasing sequence $\{a_n\}_{n=1}^\infty$ of positive integers satisfying \[ \limsup a_n^{1/(d+1)^n}=\infty \] and \[ \liminf\frac{\log a_n}{\log n}>1. \] Then the numbers $1$ and $\sum_{n=1}^\infty\frac{P_j{a_n}}{Q_j{a_n}}$, $j=1,\dots,R$, are linearly independent over $\mathbb{K}$ iff the functions $1$ and $\frac{P_j(X)}{Q_j(X)}$, $j=1,\dots,R$, are linearly independent over $\mathbb{K}$. \par The authors also present some related results on irrationality of series of rational numbers. \par (Notice that there are several typos in the statement of the main theorem. The authors write $\mathbb{K}(X)$ instead of $\mathbb{K}[X]$ and they write $\liminf\frac{\log a_n}{\log n}\ge1$ instead of $\liminf\frac{\log a_n}{\log n}>1$.)