Algebraic independence of the values of power series and their derivatives generated by linear recurrences (Q2683802)

Let \(n\geq 2\), \(p_1,\dots ,p_n\) be integers such that \(\sum_{k=1}^np_k\geq 0\) and \(p_1>-p_2>\dots >-p_n>1\). Let \(b_1,\dots ,b_n\) be integers such that \(b_1>0\) and \(b_2,\dots ,b_n\) not all equal zero. Then the authors prove that each of the infinite set \[ \{ (\sum_{k=0}^\infty \alpha^{k+\sum_{j=1}^nb_jp_j^k})^{(l)};\ l\in\mathbb Z_{\geq 0}, \ \alpha\in\mathbb {\overline Q}, \ 0<\mid\alpha\mid <1\} \] \[ \{ (\sum_{k=0}^\infty \alpha^{-k+\sum_{j=1}^nb_jp_j^k})^{(l)};\ l\in\mathbb Z_{\geq 0}, \ \alpha\in\mathbb {\overline Q}, \ 0<\mid\alpha\mid <1\} \] is algebraically independent. They also prove that if \(d\) is a positive integer then each of the infinite set \[ \{ (\sum_{k=0}^\infty \alpha^{k+d^k})^{(l)};\ l\in\mathbb Z_{\geq 0}, \ \alpha\in\mathbb {\overline Q}, \ 0<\mid\alpha\mid <1\} \] \[ \{ (\sum_{k=0}^\infty \alpha^{-k+d^k})^{(l)};\ l\in\mathbb Z_{\geq 0}, \ \alpha\in\mathbb {\overline Q}, \ 0<\mid\alpha\mid <1\} \] is algebraically independent. The proofs are in the spirit of Mahler.