Related papers: Hypergeometric rational approximations to $\zeta(4…
We analyse a certain family of cellular integrals, which are period integrals on the moduli space $\mathcal{M}_{0,8}$ of curves of genus zero with eight marked points, and give rise to simultaneous rational approximations to $\zeta(3)$ and…
The idea to use classical hypergeometric series and, in particular, well-poised hypergeometric series in diophantine problems of the values of the polylogarithms has led to several novelties in number theory and neighbouring areas of…
In this note we evaluate multiple integrals that play a crucial role in the theory of irrationality of zeta function
It is known that the numbers which occur in Apery's proof of the irrationality of zeta(2) have many interesting congruence properties while the associated generating function satisfies a second order differential equation. We prove…
We prove integral representations of the approximation forms in zeta values constructed in arXiv:1801.09895 and arXiv:1803.08905.
We formalize a proof of the irrationality of $\zeta(3)$ in Lean 4, using Beukers' method. To support this, we extend the Lean mathematical library (Mathlib) by formalizing shifted Legendre polynomials and important results in analytic…
We give a combinatorial interpretation for the hypergeometric functions associated with tuples of rational numbers.
We elaborate on the expansion of hypergeometric functions about rational parameters, where we focus mainly on the integer and half-integer case. The strategy and the basic steps of a recently developed algorithm for the expansion about…
In this paper, Thue's Fundamentaltheorem is analysed. We show that it includes, and often strengthens, known effective irrationality measures obtained via the so-called hypergeometric method as well as showing that it can be applied to…
We systematically exploit a new generalized hypergeometric identity to obtain new hypergeometric summation formulas. As a consistency test, alternative proofs for some special cases are also provided. As a byproduct new summation formulas…
We obtain new inequalities for certain hypergeometric functions. Using these inequalities, we deduce estimates for the hyperbolic metric and the induced distance function on a certain canonical hyperbolic plane domain.
Roger Apery's seminal method for proving irrationality is "turned on its head" and taught to computers, enabling a one second redux of the original proof of zeta(3), and many new irrationality proofs of many new constants, alas, none of…
Recently, Sun [preprint, arXiv: 2210.07238v7] proposed two conjectural series for the mathematical constant $\zeta(4)$ and two conjectural series for the mathematical constant $\zeta(5)$. In terms of the operator method and two…
In this paper, we present a result on using algebraic conjugates to form a sequence of approximations to an algebraic number, and in this way obtain effective irrationality measures for related algebraic numbers. From this result, we are…
Defining a Beukers [1] like integral for $\zeta(5)$ as \begin{equation*} I_n:=\int_{(0,1)^5}\frac{(1-x_3)^n(1-x_4)^n P_n(x_1)P_n(x_2)}{1-(1-x_1x_2x_3x_4)x_5} \ dx_1dx_2dx_3dx_4dx_5 \end{equation*} we prove that for each $n\in\mathbb{N}$…
This paper investigates a new family of special functions referred to as hypergeometric zeta functions. Derived from the integral representation of the classical Riemann zeta function, hypergeometric zeta functions exhibit many properties…
We prove some new semi-finite forms of bilateral basic hypergeometric series. One of them yields in a direct limit Bailey's celebrated ${}_6\psi_6$ summation formula, answering a question recently raised by Chen and Fu ({\em Semi-Finite…
New formulas for approximation of zeta-constants were derived on the basis of a number-theoretic approach constructed for the irrationality proof of certain classical constants. Using these formulas it's possible to approximate certain…
The proof of the irrationality of Zeta(5) is a long standing open problem, but here only the case of Zeta(4) = (Pi^4)/90 is considered. The present paper suggests an approach for the irrationality of Zeta(4) along the lines of those known…
We review and derive transformation and summation formulas for bilateral basic hypergeometric series. Our study focuses on consequences of certain bilateral extensions of two important results by Bailey, namely a transformation for…