Related papers: Hyperg{\'e}om{\'e}trie et fonction z{\^e}ta de Rie…
Sorokin gave in 1996 a new proof that pi is transcendental. It is based on a simultaneous Pad\'e approximation problem involving certain multiple polylogarithms, which evaluated at the point 1 are multiple zeta values equal to powers of pi.…
We present a new `elementary' proof of the irrationality of $\zeta(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.
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…
The present paper is an evolution of the Mengoli's series to the set of rational numbers, which eventually will allow developing the summation, by limits, obtaining the value of zeta(2); problem which Mengoli himself was the first to…
We study a class of q-analogues of multiple zeta values given by certain formal q-series with rational coefficients. After introducing a notion of weight and depth for these q-analogues of multiple zeta values we present dimension…
Assuming an averaged form of Mertens' conjecture and that the ordinates of the non-trivial zeros of the Riemann zeta function are linearly independent over the rationals, we analyze the finer structure of the terms in a well-known formula…
This is revised version of my preprint: Max-Plank Institut fuer Mathematik, 2001, No 16.
Recently Shekhar Suman [arXiv: 2407.07121v6 [math.GM] 3 Aug 2024] made an attempt to prove the irrationality of $\zeta(5)$. But unfortunately the proof is not correct. In this note, we discuss the fallacy in the proof.
A Ramanujan-type formula involving the squares of odd zeta values is obtained. The crucial part in obtaining such a result is to conceive the correct analogue of the Eisenstein series involved in Ramanujan's formula for $\zeta(2m+1)$. The…
Julia Robinson has given a first-order definition of the rational integers Z in the rational numbers Q by a formula (\forall \exists \forall \exists)(F=0) where the \forall-quantifiers run over a total of 8 variables, and where F is a…
The choice of a homogeneous ideal in a polynomial ring defines a closed subscheme $Z$ in a projective space as well as an infinite sequence of cones over $Z$ in progressively higher dimension projective spaces. Recent work of Aluffi…
For every complex number $x$, let $\Vert x\Vert_{\mathbb{Z}}:=\min\{|x-m|:\ m\in\mathbb{Z}\}$. Let $K$ be a number field, let $k\in\mathbb{N}$, and let $\alpha_1,\ldots,\alpha_k$ be non-zero algebraic numbers. In this paper, we completely…
By extracting coefficients from Wilf-Zeilberger pairs with respect to auxiliary parameters, we discover many nontrivial hypergeometric series involving harmonic numbers. In particular, we obtain a rapidly convergent series for the depth-two…
By using the Wilf-Zeilberger method, we prove a novel finite combinatorial identity related to a bivariate generating function for $\zeta(2+r+2s)$ (an extension of a Bailey-Borwein-Bradley Apery-like formula for even zeta values). Such…
Milnor formulated a conjecture about rational linear independence of some special Hurwitz zeta values. The second and third authors along with Ram Murty studied this conjecture and suggested an extension of Milnor's conjecture. In this…
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…
We derive an expression for the value $\zeta_Q(3)$ of the spectral zeta function $\zeta_Q(s)$ studied by Ichinose and Wakayama for the non-commutative harmonic oscillator defined in the work of Parmeggiani and Wakayama using a Gaussian…
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…
For positive integers $i_1,...,i_k$ with $i_1 > 1$, we define the multiple $t$-value $t(i_1,...,i_k)$ as the sum of those terms in the usual infinite series for the multiple zeta value $\zeta(i_1,...,i_k)$ with odd denominators. Like the…
Rademacher symbols may be defined in terms of Dedekind sums, and give the value at zero of the zeta function associated to a narrow ideal class of a real quadratic field. Duke extended these symbols to give the zeta function values at all…