Related papers: Some 3-adic congruences for binomial sums

In this paper, we show that certain sums of generalized $m$-gonal numbers represent every positive integer if and only if they represent every positive integer up to an explicit bound $C_m$, verifying a conjecture of Sun for sufficiently…

We present some new linear, quadratic, cubic and quartic binomial Fibonacci, Lucas and Fibonacci--Lucas summation identities.

Let $p$ be an odd prime and let $x$ be a $p$-adic integer. In this paper, we establish supercongruences for $$ \sum_{k=0}^{p-1}\frac{\binom{x}{k}\binom{x+k}{k}(-4)^k}{(dk+1)\binom{2k}{k}}\pmod{p^2} $$ and $$…

We mainly show a supercongruence for a truncated series with cubes of Catalan numbers which extends a result by Zhi-Wei Sun.

We show various supercongruences for truncated series which involve central binomial coefficients and harmonic numbers. The corresponding infinite series are also evaluated.

It is shown that for any prime $p$ and any natural numbers $\ell, m,$ and $s$ such that $0<s<p$, the three following congruences \begin{align*}\sum_{i\ge \ell+1}(-1)^{m-i} {m \choose i}{m+s-1+i(p-1) \choose m+s-1+\ell(p-1)} &\equiv 0 \bmod…

By examining asymptotic behavior of certain infinite basic ($q$-) hypergeometric sums at roots of unity (that is, at a "$q$-microscopic" level) we prove polynomial congruences for their truncations. The latter reduce to non-trivial…

Hou and Liu developed a telescoping method to prove the congruence of partial sums of P-recursive sequences. We release the requirement on the telescoper and utilize the congruence of the sequence. With this approach, we are able to confirm…

In this paper, we present several new congruences on the $q$-trinomial coefficients introduced by Andrews and Baxter. A new congruence on sums of central $q$-binomial coefficients is also established.

We classify connected sums of three-dimensional lens spaces which smoothly bound rational homology balls. We use this result to determine the order of each lens space in the group of rational homology 3-spheres up to rational homology…

In this paper, we mainly prove a congruence conjecture of Z.-W. Sun \cite{Sjnt}: Let $p>5$ be a prime. Then $$ \sum_{k=(p+1)/2}^{p-1}\frac{\binom{2k}k^2}{k16^k}\equiv-\frac{21}2H_{p-1}\pmod{p^4}, $$ where $H_n$ denotes the $n$-th harmonic…

In this paper, we will prove Zhi-Wei Sun's four conjectural identities on Ap\'{e}ry-like sums involving Lucas sequences and harmonic numbers by using a few results of Davydychev--Kalmykov.

We give a short proof of the well-known Knuth's old sum and provide some generalizations. Our approach utilizes the binomial theorem and integration formulas derived using the Beta function. Several new polynomial identities and…

We give a new proof of a_4\phi_3 summation due to G.E. Andrews and confirm another_4\phi_3 summation conjectured by him recently. Some variations of these two_4\phi_3 summations are also given.

This paper highlights three known identities, each of which involves sums over alternating sign matrices. While proofs of all three are known, the only known derivations are as corollaries of difficult results. The simplicity and natural…

The polynomials $d_n(x)$ are defined by \begin{align*} d_n(x) &= \sum_{k=0}^n{n\choose k}{x\choose k}2^k. \end{align*} We prove that, for any prime $p$, the following congruences hold modulo $p$: \begin{align*}…

We show that the notion of ribbon rational homology cobordism yields a partial order on the set of aspherical $3$-manifolds, thus supporting a conjecture formulated by Daemi, Lidman, Vela-Vick and Wong. Our proof is built on Agol's recent…

We confirm a conjecture of Sun on the expansions of $n(m^k-1)/(m-1)$ in base $m$.

The Franel numbers are defined by $ f_n=\sum_{k=0}^n {n\choose k}^3. $ Motivated by the recent work of Z.-W. Sun on Franel numbers, we prove that \begin{align*} \sum_{k=0}^{n-1}(3k+1)(-16)^{n-k-1} {2k\choose k} f_k &\equiv…

Recently Z.W.Sun found over hundred conjectured formulas for 1/pi. Many of them were proved by H.H.Chan, J.Wan andW.Zudilin (see [3], [8] in the paper). Here we show that several other formulas in [6] are simple transformations of known…