Linear independence of values of \(G\)-functions (Q2178259)

Let \(R\) be a positive real number, \(\mathbb K\) be a number field and \(\alpha\in\mathbb K\) with \(0<\vert \alpha\vert <R\). Set \(F(z)=\sum_{k=0}^\infty A_kz^k\) with radius \(R\) and where \(A_k\in\mathbb K\) for all non-negative integers \(k\). For any integers \(n\geq 1\) and \(s\geq 0\) set \(F_{n,s}(z)=\sum_{k=0}^\infty \frac{A_k}{(n+k)^s}z^{k+n}\). For any non-negative integer \(S\) set \(\Phi_{\alpha ,S}\) the \(\mathbb K\)-vector space spanned by the numbers \(F_{n,s}(\alpha)\) for \(n\geq 1\) and \(0\leq s\leq S\). Let \(\mu\) be a non-negative integer. Assume that \(L=\sum_{j=0}^\mu P_j(z)(d/dz)^j\in\overline{\mathbb Q}[z,d/dz]\) such that \(LF(z)=0\) and \(L\) is of minimal order for \(F\). Denote by \(\delta\) the degree of \(L\) and \(\omega >0\) the multiplicity of \(0\) as a singularity of \(L\). Set \(l=\delta -\omega\) and \(l_0=\max(l,t_1,\dots ,t_\nu)\) where \(t_1,\dots ,t_\nu\) are the integer exponents of \(L\) at \(\infty\). Suppose that \(F\) is not polynomial. Then the authors prove that there exists an effective constant \(C(F)>0\) such that for any \(\beta\in\mathbb K\) with \(0<\vert\beta\vert <R\) we have \[\frac{1+o(1)}{[\mathbb K:\mathbb Q]C(F)}\log(S)\leq \dim_{\mathbb K}\Phi_{\beta ,S}\leq l_0S+\mu. \] The second inequality holds for all \(S\geq 0\) while in the first one, \(o(1)\) is for \(S\to\infty\).