A refinement of a congruence result by van Hamme and Mortenson

zbMATH Open1292.11040arXiv1011.1902MaRDI QIDQ2441071FDOQ2441071

Authors: Zhi-Wei Sun 

Publication date: 21 March 2014

Published in: Illinois Journal of Mathematics (Search for Journal in Brave)

Abstract: Let $p$ be an odd prime. In 2008 E. Mortenson proved van Hamme's following conjecture: ${\displaystyle }$sum_{k=0}^{(p-1)/2}(4k+1)�inom{-1/2}k^3equiv (-1)^{(p-1)/2}ppmod{p^3}.${\displaystyle }$ In this paper we show further that �egin{align*}sum_{k=0}^{p-1}(4k+1)�inom{-1/2}k^3equiv &sum_{k=0}^{(p-1)/2}(4k+1)�inom{-1/2}k^3 \equiv & (-1)^{(p-1)/2}p+p^3E_{p-3} pmod{p^4},end{align*}where $E_0,E_1,E_2,ldots$ are Euler numbers. We also prove that if $p>3$ then ${\displaystyle }$sum_{k=0}^{(p-1)/2}frac{20k+3}{(-2^{10})^k}�inom{4k}{k,k,k,k}equiv(-1)^{(p-1)/2}p(2^{p-1}+2-(2^{p-1}-1)^2)pmod{p^4}.${\displaystyle }$

Full work available at URL: https://arxiv.org/abs/1011.1902

Recommendations

• Some generalizations of a supercongruence of van Hamme
• Some congruences related to a congruence of Van Hamme
• On some congruences of certain binomial sums
• A new \(q\)-extension of the (H.2) congruence of Van Hamme for primes \(p\equiv 1\pmod{4}\)
• A $p$-adic supercongruence conjecture of van Hamme

Mathematics Subject Classification ID

Factorials, binomial coefficients, combinatorial functions (05A10) Congruences; primitive roots; residue systems (11A07) Bernoulli and Euler numbers and polynomials (11B68) Binomial coefficients; factorials; (q)-identities (11B65)

Cites Work

• Super congruences and Euler numbers
• Ramanujan's series for \(1/\pi \): a survey
• Eisenstein series and Ramanujan-type series for \(1 / \pi\)
• Hypergeometric evaluation identities and supercongruences
• A $p$-adic supercongruence conjecture of van Hamme
• On congruences related to central binomial coefficients
• Ramanujan-type supercongruences
• Congruences concerning Legendre polynomials
• On congruences involving Bernoulli numbers and the quotients of Fermat and Wilson
• Congruences for the second-order Catalan numbers

Cited In (23)

• Proof of a generalization of the (B.2) supercongruence of Van Hamme through a \(q\)-microscope
• How to generate all possible rational Wilf-Zeilberger pairs?
• On some congruences of certain binomial sums
• PROOF OF TWO CONJECTURES ON SUPERCONGRUENCES INVOLVING CENTRAL BINOMIAL COEFFICIENTS
• Proof of a supercongruence via the Wilf-Zeilberger method
• Proof of some congruences via the hypergeometric identities
• Curious \(q\)-analogues of two supercongruences modulo the third power of a prime
• Proof of a generalization of the (C.2) supercongruence of Van Hamme
• Proof of conjectures of Sun on double basic hypergeometric sums
• Proof of some supercongruences via the Wilf-Zeilberger method
• On two supercongruences of truncated hypergeometric series \({}_4 F_3\)
• Proof of Two Supercongruences of Truncated Hypergeometric Series 4F3
• Polynomial reduction and supercongruences
• Some congruences related to a congruence of Van Hamme
• Common \(q\)-analogues of some different supercongruences
• On Van Hamme's (A.2) and (H.2) supercongruences
• On the divisibility properties concerning sums of binomial coefficients
• \(q\)-analogues of some supercongruences related to Euler numbers
• Semi-automated proof of supercongruences on partial sums of hypergeometric series
• Comments on Y. O. Hamidoune's Paper ‘Adding Distinct Congruence Classes’
• Supercongruences motivated by some generalized Van Hamme type supercongruences
• Symbolic summation methods and hypergeometric supercongruences
• On an extension of a Van Hamme supercongruence

This page was built for publication: A refinement of a congruence result by van Hamme and Mortenson

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2441071)