Related papers: Irrationality of certain p-adic periods for small …
In this note, I develop step-by-step proofs of irrationality for $\,\zeta{(2)}\,$ and $\,\zeta{(3)}$. Though the proofs follow closely those based upon unit-square integrals proposed originally by Beukers, I introduce some modifications…
We give a proof of the irrationality of the $p$-adic zeta-values $\zeta_p(k)$ for $p=2,3$ and $k=2,3$. Such results were recently obtained by F.Calegari as an application of overconvergent $p$-adic modular forms. In this paper we present an…
There are only aleph-zero rational numbers, while there are 2 to the power aleph-zero real numbers. Hence the probability that a randomly chosen real number would be rational is 0. Yet proving rigorously that any specific, natural, real…
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…
An important component of Ap\'ery's proof that $\zeta (3)$ is irrational involves representing $\zeta (3)$ as the limit of the quotient of two rational solutions to a three-term recurrence. We present various approaches to such Ap\'ery…
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…
In 1978, Apery has given sequences of rational approximations to $\zeta(2)$ and $\zeta(3)$ yielding the irrationality of each of these numbers. One of the key ingredient of Apery's proof are second-order difference equations with polynomial…
In this note we evaluate multiple integrals that play a crucial role in the theory of irrationality of zeta function
In the course of the proof of the irrationality of zeta(2) R. Apery introduced numbers b_n = \sum_{k=0}^n {n \choose k}^2{n+k \choose k}. Stienstra and Beukers showed that for the prime p > 3 Apery numbers satisfy congruence b((p-1)/2) =…
By modifying Beukers' proof of Apery's theorem that zeta(3) is irrational, we derive criteria for irrationality of Euler's constant, gamma. For n > 0, we define a double integral I(n) and a positive integer S(n), and prove that if d(n) =…
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…
For each of the $15$ known sporadic Ap\'ery-like sequences, we prove congruences modulo $p^2$ that are natural extensions of the Lucas congruences modulo $p$. This extends a result of Gessel for the numbers used by Ap\'ery in his proof of…
It is well-known that the Ap\'ery sequences which arise in the irrationality proofs for $\zeta(2)$ and $\zeta(3)$ satisfy many intriguing arithmetic properties and are related to the $p$th Fourier coefficients of modular forms. In this…
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…
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…
Let $k\geq 1$ be a small fixed integer. The rational approximations $\left |p/q-\pi^{k} \right |>1/q^{\mu(\pi^k)}$ of the irrational number $\pi^{k}$ are bounded away from zero. A general result for the irrationality exponent $\mu(\pi^k)$…
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…
This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant. This result was first presented by Ap\'ery in 1978, and the proof we have…