Related papers: Hypergeometric rational approximations to $\zeta(4…
In this paper we present some new upper bounds of the Cusa-Huygens and the Huygens approximations. Bounds are obtained in the forms of some polynomial and some rational functions.
We construct a new scheme of approximation of any multivalued algebraic function $f(z)$ by a sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ of rational functions. The latter sequence is generated by a recurrence relation which is completely…
In this small note, we provide an elementary proof of the fact that infinitely many odd zeta values are irrational. For the first time, this celebrated theorem been proven by Rivoal and Ball--Rivoal. The original proof uses highly…
A reasonably complete theory of the approximation of an irrational by rational fractions whose numerators and denominators lie in prescribed arithmetic progressions is developed in this paper. Results are both, on the one hand, from a…
Ratios of D-finite sequences and their limits -- known as Ap\'ery limits -- have driven much of the work on irrationality proofs since Ap\'ery's 1979 breakthrough proof of the irrationality of $\zeta(3)$. We extend ratios of D-finite…
We survey recent developments on rationality problems for algebraic varieties, with a particular emphasis on cycle-theoretic and combinatorial methods and their applications to hypersurfaces.
We study the incomplete Mellin transformation of the fractional part and the related log-sine function when composed by an affine complex map. We evaluate the corresponding integral in two different ways which yields equalities with series…
By systematically applying ten inequivalent two-part relations between hypergeometric sums 3F2(1) to the published database of all such sums, 66 new sums are obtained. Many results extracted from the literature are shown to be special cases…
Rational approximations of generalized hypergeometric functions ${}_pF_q$ of type $(n+k,k)$ are constructed by the Drummond and factorial Levin-type sequence transformations. We derive recurrence relations for these rational approximations…
We revisit Beukers' modular-form proof of the irrationality of $\zeta(3)$ from the point of view of the auxiliary weight two modular form. For the Fricke group $\Gamma_0(6)^\star$, we show that Beukers' choice is not isolated: it belongs to…
In this paper, we focus on a q-analogue of the Riemann zeta function at positive integers, which can be written for s\in\N^* by \zeta_q(s)=\sum_{k\geq 1}q^k\sum_{d|k}d^{s-1}. We give a new lower bound for the dimension of the vector space…
We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite…
We develop a theoretical study of non-terminating hypergeometric summations with one free parameter. Composing various methods in complex and asymptotic analysis, geometry and arithmetic of certain transcendental curves and rational…
In this paper, we present an improved explicit subconvexity result for the Riemann zeta function $\zeta\left( s\right)$ along the critical line $s=1/2+it$, given by Hiary, Patel and Yang in 2024. This new bound is derived by combining a…
We provide new examples of integrable rational maps in four dimensions with two rational invariants, which have unexpected geometric properties, as for example orbits confined to non algebraic varieties, and fall outside classes studied by…
The method of rational function certification for proving terminating hypergeometric identities is extended from single sums or integrals to multi-integral/sums and ``$q$'' integral/sums.
We develop ladders that reduce $\zeta(n):=\sum_{k>0}k^{-n}$, for $n=3,5,7,9,11$, and $\beta(n):=\sum_{k\ge0}(-1)^k(2k+1)^{-n}$, for $n=2,4,6$, to convergent polylogarithms and products of powers of $\pi$ and $\log2$. Rapid computability…
The beta integral is applied to accelerate the hypergeometric function $2 F 1\left\{1, B; C ; w\right\}$ to derive new infinite series for constants such as $\pi$ and values of the gamma function. A compendium of new infinite series is…
This paper will be replaced later by a revised version.
Let $F(x)$ be an analytical, real valued function defined on a compact domain $\mathcal {B}\subset\mathbb{R}$. We prove that the problem of establishing the irrationality of $F(x)$ evaluated at $x_0\in \mathcal{B}$ can be stated with…