Related papers: An elementary proof of Apery's theorem

Some rapidly convergent formulae for special values of the Riemann zeta function are given. We obtain a generating function formula for zeta(4n+3) which generalizes Apery's series for zeta(3), and appears to give the best possible series…

In this paper, we will apply the ideas from the mirror symmetry of Calabi-Yau threefolds to study the modular forms and one-parameter family of K3 surfaces found by Beukers and Peters, which provide enlightenment to the two mysterious…

A famous theorem of Zudilin states that at least one of the Riemann zeta values $\zeta(5), \zeta(7), \zeta(9), \zeta(11)$ is irrational. In this paper, we establish the $p$-adic analogue of Zudilin's theorem. As a weaker form of our result,…

The knowledge on irrationality of p-adic zeta values has recently progressed. The irrationality of zeta_2(2), \zeta_2(3) and of a few other p-adic series of Dirichlet was obtained by F. Calegari. F. Beukers gave a more elementary proof of…

Following Apery's proof of the irrationality of zeta(3), Beukers found an elegant reinterpretation of Apery's arguments using modular forms. We show how Beukers arguments can be adapted to a p-adic setting. In this context, 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 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…

Based on a modified version of Abramov-Petkov\v{s}ek reduction, a new algorithm to compute minimal telescopers for bivariate hypergeometric terms was developed last year. We investigate further in this paper and present a new argument for…

In the 1980s, Koecher and, independently, Leshchiner found an elegant formula for the generating function of odd zeta values. In this short note, we derive a $q$-analogue of this formula, which provides a $q$-version of the accelerated…

In this paper we deduce a lower bound for the rank of a family of $p$ vectors in $\R^k$ (considered as a vector space over the rationals) from the existence of a sequence of linear forms on $\R^p$, with integer coefficients, which are small…

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 show how to convert the generating series of interpolated multiple zeta values, or multiple $t$ values, with repeating blocks of length 1 into hypergeometric series. Then we invoke creative telescoping on their generating functions, in…

In this article we shall survey some recent progress on the study of Ap\'ery-like sums which are multiple variable generalizations of the two sums Ap\'ery used in his famous proof of the irrationality of $\zeta(2)$ and $\zeta(3)$. We only…

In this note, infinite series involving Fibonacci and Lucas numbers are derived by employing formulae similar to that which Roger Ap\'ery utilized in his seminal paper proving the irrationality of $\zeta(3)$.

For any prime $p$ and $\varepsilon>0$ we prove that for any sufficiently large positive odd integer $s$ at least $(c_p-\varepsilon) \sqrt{\frac{s}{\log s}}$ of the $p$-adic zeta values $\zeta_p(3),\zeta_p(5),\dots,\zeta_p(s)$ are…

The author proposed an elementary derivation of the formula of Yu.V. Nesterenko expansion in continued fraction of a number 2*$\zeta(3)$.

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 note, using an idea from \cite{Amo-Carrillo-Sanchez} we derive some new series representations involving $\zeta(2n)$ and Euler numbers. Using a well-known series representation for the Clausen function, we also provide some new…

Beuker's [2] considers the following integral $$ \int_{0}^{1}\int_{0}^{1} \frac{-\log xy}{1-xy} P_n(x)P_n(y)\ dx dy$$If $d_n=\text{LCM}(1,2,...,n)$, then $$ 0<\frac{|A_n+B_n\zeta(3)|}{d_n^3}<2(\sqrt{2}-1)^{4n} \zeta(3) $$ for some…

Using WZ forms, Apery-style proofs of the irrationality of the q-analogues of the Harmonic seires and Ln(2) are given. For the q-analogue of Ln(2), this method of proof produces an improved irrationality measure.