Applications of a transcendence criterion for reciprocal sums of binary linear recurrences (Q487126)

Let \(r\) be a positive integer such that \(r\geq 2\), \(\{R_n\}_{n=1}^\infty\) be a special linear recurrence and \(\mathbb K\) be an algebraic number field. Let \(\{a_n\}_{n=1}^\infty\) and \(\{b_n\}_{n=1}^\infty\) be two sequences such that \(a_n,b_n\in\mathbb K\) for all positive integers \(n\). Assume that \(\log (\max (\mid \overline{a_n}\mid , den(a_n)))=o(r^n)\) and \(\log (\max (\mid \overline{b_n}\mid , \operatorname{den}(a_n)))=o(r^n)\) where \(\mid \overline x\mid\) and \(\operatorname{den}(x)\) is the maximum of absolute value of conjugates of \(x\) and the least positive integer such that the number \(\operatorname{den}(x)x\) is algebraic integer, respectively. Then, the author proves when the number \(\sum_{n=1}^\infty \frac{a_n}{R_{r^n}+b_n}\) is algebraic. If \(m\) and \(L\) are a positive integers with \(m\geq 2\) then he also proves some criteria for the function \[ f(z_1,\dots ,z_m)=\sum_{n=1}^\infty\frac{\sum_{1\leq \sum_{s=1}^m\lambda_s \leq L, \lambda_1,\dots ,\lambda_m\in\{ 0,1,\dots ,L\}}e_{n,\lambda_1,\dots ,\lambda_m}\prod_{k=1}^mz_k^{\lambda_kr^n}}{\sum_{1\leq \sum_{s=1}^m\lambda_s \leq L, \lambda_1,\dots ,\lambda_m\in\{ 0,1,\dots ,L\}}f_{n,\lambda_1,\dots ,\lambda_m}\prod_{k=1}^mz_k^{\lambda_kr^n}} \] to be rational.