Related papers: Values of E-functions are not Liouville numbers

E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic conditions, and which are also solutions of linear differential equations with rational functions coefficients. They were introduced by Siegel…

E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic conditions, and which are also solutions of linear differential equations with polynomial coefficients. They were introduced by Siegel in 1929…

In this article, we establish a Liouville-type inequality for polynomials evaluated at the values of arbitrary Siegel E-functions at non-zero algebraic points. Additionally, we provide a comparable result within the framework of Mahler M…

We solve a long standing problem in the theory of Siegel's $E$-functions, initiated by Lang for Bessel's function $J_0$ in the 60's and considered in full generality by G. Chudnovsky in the 80's: we prove that irrational values taken at…

Let $f$ be an $E$-function (in Siegel's sense) not of the form $e^{\beta z}$, $\beta \in \overline{\mathbb{Q}}$, and let $\log$ denote any fixed determination of the complex logarithm. We first prove that there exists a finite set $S(f)$…

Using Y.Andr\'e's result on differential equations staisfied by $E$-functions, we derive an improved version of the Siegel-Shidlovskii theorem. It gives a complete characterisation of algebraic relations over the algebraic numbers between…

$E$-functions were introduced by Siegel in 1929 to generalize Diophantine properties of the exponential function. After developments of Siegel's methods by Shidlovskii, Nesterenko and Andr\'e, Beukers proved in 2006 an optimal result on the…

We establish a Liouville-type inequality for the values, at a common nonzero algebraic point, of arbitrary Mahler Mq-functions. As an application, we prove that no such value is a Liouville number, or even a U -number. This solves a…

In this paper we follow the approach of Bertrand-Beukers (and of later work of Bertrand), based on differential Galois theory, to prove a very general version of Shidlovsky's lemma that applies to Pad{\'e} approximation problems at several…

The main purpose of this article is to provide new results on algebraic independence of values of Mahler functions and their generalizations. Simultaneously, we establish new measures of algebraic independence for these values. Among the…

Using tools from the Siegel-Shidlovskii theory of transcendental numbers, we prove that a nontrivial solution of the Airy equation, its derivative, and an antiderivative are algebraically independent over the field of rational functions.…

In [S\'eries Gevrey de type arithm\'etique I Th\'eor\'emes de puret\'e et de dualit\'e, Annals of Math. 151 (2000), 705--740], Andr\'e has introduced E-operators, a class of differential operators intimately related to E-functions, and…

In this second part, we study the Diophantine properties of values of arithmetic Gevrey series of non-zero order at algebraic points. We rely on the fact, proved in the first part, that the minimal differential operator (with polynomial…

In this paper, for a given Dirichlet character mod $N$ with $4\nmid N$, we give a lower bound of order $\sqrt{s/\log(s)}$ for the dimension of the $\mathbb{Q}(e^{2i\pi/N})$-vector space spanned by the values of its $L$-function at integers…

In this paper, we establish the linear independence of values of the $q$-analogue of the exponential function, $E_q(x)$ and its derivatives at specified algebraic arguments, when $q$ is a Pisot-Vijayraghavan number. We also deduce similar…

Let $L(s,\chi)$ be a fixed Dirichlet $L$-function. Given a vertical arithmetic progression of $T$ points on the line $\Re(s)=1/2$, we show that $\gg T \log T$ of them are not zeros of $L(s,\chi)$. This result provides some theoretical…

In this article, we show a new general linear independence criterion related to values of $G$-functions, including the linear independence of values at algebraic points of contiguous hypergeometric functions, which is not known before. Let…

We investigate the relations between the rings ${\bf E}$, ${\bf G}$ and ${\bf D}$ of values taken at algebraic points by arithmetic Gevrey series of order either $-1$ ($E$-functions), $0$ (analytic continuations of $G$-functions) or $1$…

We look at the values of two Dirichlet $L$-functions at the Riemann zeros (or a horizontal shift of them). Off the critical line we show that for a positive proportion of these points the pairs of values of the two $L$-functions are…

Siegel's $E$- and $G$-functions were defined in two conjecturally equivalent senses, strict and broad. By taking up and completing a sketch of Andr\'e, we state and prove the analogue in the broad sense of the Andr\'e-Chudnovsky-Katz…