Related papers: q-Apery Irrationality Proofs by q-WZ Pairs
Guillera and Zudilin proved three "divergent" Ramanujan-type supercongruences by means of the Wilf-Zeilberger algorithmic technique. In this paper, we prove $q$-analogues of two of them via the $q$-WZ method. Additionally, we give…
We prove the irrationality of the classical Dirichlet L-value $L(2,\chi_{-3})$. The argument applies a new kind of arithmetic holonomy bound to a well-known construction of Zagier. In fact our work also establishes the $\mathbf{Q}$-linear…
We give a proof of the inconsistency of PM arithmetic, classical set theory and related systems, incidentally exposing an error in Goedel's own proof of Goedel's Theorems. The inconsistency proof, that formulae of the form R and ~R occur as…
The main result of this work is to present the complete list of Uq(sl2)-symmetries of quantum plane. For that, the structure of quantum plane automorphisms is used. Our idea in classifying the above symmetries is in introducing some special…
A general technique for proving the irrationality of the zeta constants $\zeta(s)$ for odd $s = 2n + 1 \geq 3$ from the known irrationality of the beta constants $L(2n+1)$ is developed in this note. The results on the irrationality of the…
We provide combinatorial proofs of some of the q-series identities considered by Andrews, Jimenez-Urroz and Ono [q-series identities and values of certain $L$-functions. Duke Math. J. 108 (2001), no. 3, 395--419].
We define two finite q-analogs of certain multiple harmonic series with an arbitrary number of free parameters, and prove identities for these q-analogs, expressing them in terms of multiply nested sums involving the Gaussian binomial…
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…
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…
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 show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for…
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) =…
The Ap\'ery polynomials and in particular their asymptotic behavior play an essential role in the understanding of the irrationality of \zeta(3). In this paper, we present a method to study the asymptotic behavior of the sequence of the…
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…
One of the many remarkable properties of the Ap\'ery numbers $A (n)$, introduced in Ap\'ery's proof of the irrationality of $\zeta (3)$, is that they satisfy the two-term supercongruences \begin{equation*} A (p^r m) \equiv A (p^{r - 1} m)…
In the proof of the irrationality of $\zeta(3)$ and $\zeta(2)$, Ap\'ery defined two integer sequences through $3$-term recurrences, which are known as the famous Ap\'ery numbers. Zagier, Almkvist--Zudilin and Cooper successively introduced…
The known WZ-proofs for Ramanujan-type series related to $1/\pi$ gave us the insight to develop a new proof strategy based on the WZ-method. Using this approach we are able to find more generalizations and discover first WZ-proofs for…
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 show how the theory of linear forms in two logarithms allows one to get effective irrationality measures for $n$-th roots of rational numbers ${a \over b}$, when $a$ is very close to $b$. We give a $p$-adic analogue of this result under…
The applicability or terminating condition for the ordinary case of Zeilberger's algorithm was recently obtained by Abramov. For the $q$-analogue, the question of whether a bivariate $q$-hypergeometric term has a $qZ$-pair remains open. Le…