Related papers: Two Triple binomial sum supercongruences
We introduce the concepts of an amazing hypercube decomposition and a double shortcut for it, and use these new ideas to formulate a conjecture implying the Combinatorial Invariance Conjecture of the Kazhdan--Lusztig polynomials for the…
In this paper, we prove several supercongruences conjectured by Z.-W. Sun ten years ago via certain strange hypergeometric identities. For example, for any prime $p>3$, we show that…
Associate a unique numerical sequence called the modular signature with each positive integer, using modular residues of each integer under the prime numbers, and distinguishing between the core seed primes and non-core seed primes used to…
We define a new congruence relation on the set of integers, leading to a group similar to the multiplicative group of integers modulo $n$. It makes use of a symmetry almost omnipresent in modular multiplications and halves the number of…
Applying the $q$-Zeilberger algorithm, we establish a unified $q$-analogue of the (C.2) and (G.2) supercongruences of Van Hamme, which can be viewed as a refinement of several previously known results. As consequences, we obtain a…
We consider a family of polynomial analogs of the Ap\'ery numbers, which includes $q$-analogs of Krattenthaler--Rivoal--Zudilin and Zheng, and show that the supercongruences that Gessel and Mimura established for the Ap\'ery numbers…
We consider binomial and inverse binomial sums at infinity and rewrite them in terms of a small set of constants, such as powers of $\pi$ or $\log(2)$. In order to perform these simplifications, we view the series as specializations of…
Recently, B\'{e}nyi and the second author introduced two combinatorial interpretations for symmetrized poly-Bernoulli polynomials. In the present study, we construct bijections between these combinatorial objects. We also define various…
In this paper we present a novel algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from the theories of groups, automata, and inverse semigroups.…
Recently, Chen, Hou and Jin used both Abel's lemma on summation by parts and Zeilberger's algorithm to generate recurrence relations for definite summations. Meanwhile, they proposed the Abel-Gosper method to evaluate some indefinite sums…
We prove that a certain family of sums of products of three binomials has alternating behavior modulo a prime $p$. To accomplish this we rewrite these sums as signed sums of products of three binomials, the better to handle $p$, and we give…
We prove supercongruences modulo $p^2$ for values of truncated hypergeometric series at some special points. The parameters of the hypergeometric series are $d$ copies of $1/2$ and $d$ copies of $1$ for any integer $d\ge2$.
In $2012$, Guillera and Zudilin established the following two supercongruences involving truncated Ramanujan-type series: for any odd prime $p>2$, \begin{align*}…
We present some congruences modulo $p^{6-d}$ for sums of the type $\sum_{k=0}^{(p-3)/2}x^k{2k\choose k}/(2k+1)^d$, for $d=1,2,3$ where $p>5$ is a prime.
We use new bounds of double exponential sums with ratios of integers from prescribed intervals to get an asymptotic formula for the number of solutions to congruences $$ \sum_{j=1}^n a_j x_jy_j^{-1} \equiv a_0 \pmod p, $$ with variables…
In their study of a binomial sum related to Wolstenholme's theorem, Chamberland and Dilcher prove that the corresponding sequence modulo primes $p$ satisfies congruences that are analogous to Lucas' theorem for the binomial coefficients…
We investigate the group of points of the $3$-sphere modulo a prime, point out connections to other known groups and the Chebyshev polynomials, and show that there is an infinite series which converges if and only if there are finitely many…
In recent years, the congruence $$ \sum_{\substack{i+j+k=p\\ i,j,k>0}} \frac1{ijk} \equiv -2 B_{p-3} \pmod{p}, $$ first discovered by the last author have been generalized by either increasing the number of indices and considering the…
Euler's sum formula and its multi-variable and weighted generalizations form a large class of the identities of multiple zeta values. In this paper we prove a family of identities involving Bernoulli numbers and apply them to obtain…
Following the method of combinatorial telescoping for alternating sums given by Chen, Hou and Mu, we present a combinatorial telescoping approach to partition identities on sums of positive terms. By giving a classification of the…