Related papers: Some supercongruences arising from symbolic summat…
By using the Rodriguez-Villegas-Mortenson supercongruences, we prove four supercongruences on sums involving binomial coefficients, which were originally conjectured by Sun. We also confirm a related conjecture of Guo on integer-valued…
In this paper, we prove two congruences on the double sums of the super Catalan numbers (named by Gessel), which were recently conjectured by Apagodu.
We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by…
By employing certain extended classical summation theorems, several surprising \pi and other formulae are displayed.
From Carlitz's identity, we deduce two new $q$-supercongruences modulo the square of a cyclotomic polynomial, which were originally conjectured by Guo. These results establish new $q$-analogues of a supercongruence of Sun.
Motivated by the works of Andrews-Merca and Guo-Zeng, we establish some truncated identities of Gauss by using some summation formulas from the works of Zhi-Guo Liu. These give three new expansions for partial sums of Gauss' triangular…
In recent years, Z.-W. Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double…
We confirm a conjectural supercongruence involving Catalan numbers, which is one of the 100 selected open conjectures on congruences of Sun. The proof makes use of hypergeometric series identities and symbolic summation method.
We offer some summation formulas that appear to have great utility in probability theory. The proofs require some recent results from analysis that have thus far been applied to basic hypergeometric functions.
The Kaneko--Zagier conjecture describes a correspondence between finite multiple zeta values and symmetric multiple zeta values. Its refined version has been established by Jarossay, Rosen and Ono--Seki--Yamamoto. In this paper, we…
In this paper, we establish the following two congruences: \begin{gather*} \sum_{k=0}^{(p+1)/2}(3k-1)\frac{\left(-\frac{1}{2}\right)_k^2\left(\frac{1}{2}\right)_k4^k}{k!^3}\equiv…
In examining the relationship between the number of points over $\mathbb{F}_p$ on certain Calabi-Yau manifolds and hypergeometric series which correspond to a particular period of the manifold, Rodriguez-Villegas identified 22 possible…
Let $p$ be an odd prime. In this paper, by using the well-known Karlsson-Minton summation formula, we mainly prove two supercongruences as variants of a supercongruence of Deines-Fuselier-Long-Swisher-Tu, which confirm some recent…
We prove three more general supercongruences between truncated hypergeometric series and $p$-adic Gamma function from which some known supercongruences follow. A supercongruence conjectured by Rodriguez-Villegas and proved by E. Mortenson…
In terms of the derivative operator and three hypergeometric series identities, several interesting summation formulas involving generalized harmonic numbers are established.
We give a proof of two identities involving binomial sums at infinity conjectured by Z-W Sun. In order to prove these identities, we use a recently presented method i.e. we view the series as specializations of generating series and derive…
In this note, we confirm two conjectural supercongruences on double sums of binomial coefficients due to El Bachraoui.
Some examples of naturally arising multisum $q$-series which turn out to have representations as fermionic single sums are presented. The resulting identities are proved using transformation formulas from the theory of basic hypergeometric…
Guo and Zudilin [Adv. Math. 346 (2019), 329--358] introduced a new method called `creative microscoping', to prove many $q$-supercongruences in a unified way. In this paper, we apply this method and Watson's ${}_8\phi_7$ transformation…
In this note, we prove two supercongruences involving Almkvist--Zudilin sequences, which were originally conjectured by Z.-H. Sun.