Criterion for the algebraic independence of values of hypergeometric \(E\)-functions (even case) (Q1282537)

Denote the hypergeometric \(E\)-function \[ \varphi(z)=\varphi_{\overline\lambda,\overline\nu}(z)=\sum^\infty_{n=0}{(\nu_ 1)_n\cdots(\nu_\ell)_n\over(\lambda_1+1)_n\cdots(\lambda_{t+\ell}+1)_n}\left({z \over t}\right)^{tn},\quad\ell\geq 0,\;t\geq 1, \] where \(\lambda_j,\nu_i\in\mathbb{Q}\), \(\lambda_j\neq-1,-2,\dots,j=1,\dots,t+\ell\), \(i=1,\dots,\ell\); \((\alpha)_n=\alpha(\alpha+1)\cdots(\alpha+n-1)\) \((n\in\mathbb{N})\), \((\alpha)_0=1\). For \((a_1,\dots,a_k)\) and \((b_1,\dots,b_k)\in\mathbb{C}^k\), \((a_1,\dots,a_k)\sim(b_1,\dots,b_k)\) means that there is a permutation \(\{i_1,\dots,i_k\}\) of \(\{1,\dots,k\}\) such that \(a_j-b_{i_j}\in\mathbb{Z}\), \(j=1,\dots,k\). The author proves the following theorem: If \(\ell=0\) and \(t=2r\), where \(r\in\mathbb{N}\) and gcd \((r,3)=1\), then the numbers \(\varphi(\alpha)\), \(\varphi'(\alpha),\dots,\varphi^{(t+\ell+1)}(\alpha)\), here \(\alpha\in\overline\mathbb{Q}\setminus\{0\}\), are algebraically independent over \(\mathbb{Q}\) if and only if the following two conditions hold: (i) there exist a divisor \(d\) of \(r\), \(1\leq d\leq r\), and numbers \(x_0,\dots,x_{r_1-1}\in\mathbb{Q}\), where \(r_1=r/d\), such that \((\lambda_1,\dots,\lambda_t)\sim((\gamma_j+k)/d\;(j=1,\dots,2r_1,\;k=0,1,\dots,d-1))\), where \[ (\gamma_1,\dots,\gamma_{2r_1})=(x_0,x_0+1/2,x_0+x_1,x_0-x_1,\dots,x_0+ x_{r_1-1},x_0-x_{r_1-1}); \] (ii) there is a \(j\in\{1,\dots,t\}\) such that \(\lambda_j\in\mathbb{N}\cup\{0\}\). The corresponding criterion for odd numbers was established by the author in his previous paper [Math. USSR, 56, 69, No. 1, 203-226 (1991); translation from Mat. Sb., 181, No. 2, 189-211 (1990; Zbl 0712.11044)]. For \(\ell>0\) a similar result is not yet obtained.