Related papers: Some transcendence results from a harmless irratio…
Neither the Euler-Mascheroni constant, $\gamma=0.577215...$, nor the Euler-Gompertz constant, $\delta=0.596347...$, is currently known to be irrational. However, it has been proved that at least one of them is transcendental. The two…
A numeral system is an infinite sequence of different closed normal $\lambda$-terms intended to code the integers in $\lambda$-calculus. H. Barendregt has shown that if we can represent, for a numeral system, the functions : Successor,…
One of the many remarkable properties of the Ap\'ery numbers $A (n)$, introduced in Ap\'ery's proof of the irrationality of $\zeta (3)$, is that they satisfy the two-term supercongruences \begin{equation*} A (p^r m) \equiv A (p^{r - 1} m)…
We prove the irrationality of the classical Dirichlet L-value $L(2,\chi_{-3})$. The argument applies a new kind of arithmetic holonomy bound to a well-known construction of Zagier. In fact our work also establishes the $\mathbf{Q}$-linear…
Transcendental numbers play an important role in many areas of science. This paper contains a short survey on transcendental numbers and some relations among them. New inequalities for transcendental numbers are stated in Section 2 and…
In this paper, we study the growth of transcendental entire solutions of linear difference equations \begin{equation} P_m(z)\Delta^mf(z)+\cdots+P_1(z)\Delta f(z)+P_0(z)f(z)=0,\tag{+} \end{equation} where $P_j(z)$ are polynomials for…
Let $F(z)$ be a $k$-regular series in $\mathbb{Z}[[z]]$ and $b$ be an integer with $b\ge2$. Bell, Bugeaud and Coons [BelBC] proved that $F(\frac{1}{b})$ is either rational or transcendental. In [Mi], we introduce a generalized $k$-regular…
We demonstrate how to extend formulae for the Lerch transcendent function, $\Phi(e^z,k,b)$, and the polylogarithm, $\mathrm{Li}_{k}(e^{z})$, that only hold at the positive integers to the right half of the complex $k$-plane, that is,…
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…
A 1-period is a complex number given by the integral of a univariate algebraic function, where all data involved -- the integrand and the domain of integration -- are defined over algebraic numbers. We give an algorithm that, given a finite…
Given two permutable entire functions $f$ and $g,$ we establish vital relationship between escaping sets of entire functions $f, g$ and their composition. We provide some families of transcendental entire functions for which Eremenko's…
In this paper we refine Ball-Rivoal's theorem by proving that for any odd integer $a$ sufficiently large in terms of $\epsilon>0$, there exist $[ \frac{(1-\epsilon)\log a}{1+\log 2}]$ odd integers $s$ between 3 and $a$, with distance at…
We prove the second author's "denominator conjecture" [40] concerning the common denominators of coefficients of certain linear forms in zeta values. These forms were recently constructed to obtain lower bounds for the dimension of the…
We classify transcendental entire functions that are compositions of a polynomial and the exponential for which all singular values escape on disjoint rays. The construction involves an iteration procedure on an infinite-dimensional…
Using Schmidt's Subspace Theorem, this paper improves and extends an existing transcendence result for sequences of algebraic numbers. The theorems thus produced correspond to a central theorem on the irrationality of sequences due to…
We consider series of the form $$ \frac{p}{q} +\sum_{j=2}^\infty \frac{1}{x_j}, $$ where $x_1=q$ and the integer sequence $(x_n)$ satisfies a certain non-autonomous recurrence of second order, which entails that $x_n|x_{n+1}$ for $n\geq 1$.…
We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is…
Transfinite set theory including the axiom of choice supplies the following basic theorems: (1) Mappings between infinite sets can always be completed, such that at least one of the sets is exhausted. (2) The real numbers can be well…
In this paper we obtain estimates for certain transcendence measures of an entire function $f$. Using these estimates, we prove Bernstein, doubling and Markov inequalities for a polynomial $P(z,w)$ in ${\Bbb C}^2$ along the graph of $f$.…
Let $F_1=1,F_2=1,\ldots$ be the Fibonacci sequence. Motivated by the identity $\displaystyle\sum_{k=0}^{\infty}\frac{1}{F_{2^k}}=\frac{7-\sqrt{5}}{2}$, Erd\"os and Graham asked whether $\displaystyle\sum_{k=1}^{\infty}\frac{1}{F_{n_k}}$ is…