Values of \(E\)-functions are not Liouville numbers (Q6122615)

Let \(\mathbb K\) be a number field of degree \(d\) over \(\mathbb Q\), \(z_0\in\mathbb K\) and \(\underline f=\ ^t(f_1,\dots ,f_N)\) be a vector of \(E\)-functions with coefficients in \(\mathbb K\) and such that \({\underline f}^{'}=A\underline f\) for some \(A{\in\mathcal M}_N(\mathbb K(z))\). Then the authors prove that for any \(\varepsilon >0\) there exists \(c=(\varepsilon, \mathbb K, z_0, f_1,\dots ,f_N)>0\) with following property. For any \(\lambda_1,\dots ,\lambda_N\) integers in \(\mathbb K\) if \(\Lambda =\lambda_1f_1(z_0)+\dots +\lambda_Nf_N(z_0)\not= 0\) then \(\mid\Lambda\mid > c(\max_{1\leq j\leq N} \mid\overline{\lambda_j}\mid)^{-dN^d+1-\varepsilon}\) where \(\mid \overline{\alpha}\mid\) is the maximum of the moduli of \(\alpha\) all its Galois conjugates over \(\mathbb Q\). Let \(\mathbb K\) be a subfield of \(\overline{\mathbb Q}\). Let \(\mathbf E\) be a ring of all values at algebraic points of \(E\)-functions and \(\mathbf E_{\mathbb K}\) be the subring of \(\mathbf E\) which consists of evaluations \(f(1)\) where \(f\) is an \(E\)-function with coefficients in \(\mathbb K\). Then the authors also prove that the elements of \(\mathbf E_{\mathbb K}\) are linearly independent over \(\mathbb Q\) iff they are linearly independent over \(\mathbb K\).