Some Numeric Hypergeometric Supercongruences

Ling Long

DOI: https://doi.org/10.48550/arXiv.1812.07560

2019-04-19

Abstract:In this article, we list a few hypergeometric supercongruence conjectures based on two evaluation formulas of Whipple and numeric data computed using Magma and Sagemath.

Number Theory

What problem does this paper attempt to address?

Hypergeometric evaluation identities and supercongruences

Ling Long

DOI: https://doi.org/10.48550/arXiv.0912.0197

2010-12-16

Abstract:In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular, we prove a conjecture of van Hamme.

Number Theory
Two supercongruences involving truncated hypergeometric series

Wei Xia,Chen Wang

2023-07-19

Abstract:In this paper, we mainly establish two supercongruences involving truncated hypergeometric series by using some hypergeometric transformation formulas. The first supercongruence confirms a recent conjecture of the second author. The second supercongruence confirms a conjecture of Guo, Liu and Schlosser partially, and gives a parametric extension of a supercongruence of Long and Ramakrishna.

Number Theory,Combinatorics
Some $q$-supercongruences for multiple basic hypergeometric series

Chuanan Wei

2024-08-14

Abstract:In terms of several summation and transformation formulas for basic hypergeometric series, two forms of the Chinese remainder theorem for coprime polynomials, the creative microscoping method introduced by Guo and Zudilin, Guo and Li's lemma, and El Bachraoui's lemma, we establish some $q$-supercongruences for multiple basic hypergeometric series modulo the fifth and sixth powers of a cyclotomic polynomial. In detail, we generalize Guo and Li's two $q$-supercongruences for double basic hypergeometric series, which are related to $q$-analogues of Van Hamme's (C.2) supercongruence and Long's supercongruence, respectively. In addition, we also present two conclusions for double and triple hypergeometric series associated with Van Hamme's (D.2) supercongruence.

Combinatorics
Supercongruences satisfied by coefficients of 2F1 hypergeometric series

Heng Huat Chan,Aristides Kontogeorgis,Christian Krattenthaler,Robert Osburn

DOI: https://doi.org/10.48550/arXiv.0912.0620

2009-12-03

Abstract:Recently, Chan, Cooper and Sica conjectured two congruences for coefficients of classical 2F1 hypergeometric series which also arise from power series expansions of modular forms in terms of modular functions. We prove these two congruences using combinatorial properties of the coefficients.

Number Theory,Combinatorics
Some parametric q-supercongruences from a summation of Gasper and Rahman

Haihong He,Xiaoxia Wang

DOI: https://doi.org/10.1090/proc/16923

IF: 0.9709

2024-09-26

Proceedings of the American Mathematical Society

Abstract:By employing a quadratic summation formula due to Gasper and Rahman [Basic hypergeometric series, 2nd ed, vol. 96, Cambridge University Press, Cambridge, 2004] and the creative microscoping method developed by Guo and Zudilin [Adv. Math. 346 (2019), pp. 329–358], we establish some new parametric q q -supercongruences, the corresponding supercongruences of which can be deemed the variants of Van Hamme's (J.2) and (L.2) supercongruences. Moreover, we obtain three families of Ramanujan-type formulas on π \pi and propose a challenging conjecture.

mathematics, applied
Supercongruences arising from a ${}_7F_6$ hypergeometric transformation formula

Chen Wang

2023-06-05

Abstract:Using a ${}_7F_6$ hypergeometric transformation formula, we prove two supercongruences. In particular, one of these supercongruences confirms a recent conjecture of Guo, Liu and Schlosser, and gives an extension of a supercongruence of Long and Ramakrishna.

Number Theory,Combinatorics
Further Generalizations of the (A.2) and (H.2) Supercongruences of Van Hamme

Hanfei Song,Chun Wang

DOI: https://doi.org/10.1007/s00025-024-02175-7

2024-04-30

Results in Mathematics

Abstract:In this paper, in view of the transformation formulas for basic hypergeometric series and the creative microscoping method introduced by Guo and Zudilin, we establish new q -analogues of Van Hamme's (A.2) and (H.2) supercongruences with two parameters

mathematics, applied
Super Congruence on Harmonic Sums

Peng Yang,Tianxin Cai

DOI: https://doi.org/10.1142/s1793042117501433

2017-01-01

International Journal of Number Theory

Abstract:Wang and Cai established the following harmonic congruence for odd prime and positive integer [Formula: see text]: [Formula: see text] where [Formula: see text] denote the set of positive integers which are prime to [Formula: see text]. In this paper, the authors generalize it into super congruence for odd prime [Formula: see text] and positive integer [Formula: see text]: [Formula: see text] where [Formula: see text] [Formula: see text] [Formula: see text] and [Formula: see text] are positive integers such that [Formula: see text]
Super congruences and Euler numbers

Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11425-011-4302-x

2011-01-01

Science China Mathematics

Abstract:Let p > 3 be a prime. A p -adic congruence is called a super congruence if it happens to hold modulo some higher power of p . The topic of super congruences is related to many fields including Gauss and Jacobi sums and hypergeometric series. We prove that ∑_k = 0^p - 1( _k^2k)/2^k ≡( - 1)^( p - 1)/ . - 2 - p^2 E_p - 3( p^3 ), ∑_k = 1^( p - 1)/ . - 2( _k^2k)/k≡( - 1)^( p + 1)/ . - 28/3pE_p - 3( p^2 ), ∑_k = 0^( p - 1)/ . - 2( _k^2k)^2 /16^k ≡( - 1)^( p - 1)/ . - 2 + p^2 E_p - 3( p^3 ), where E 0 , E 1 , E 2 , ... are Euler numbers. Our new approach is of combinatorial nature. We also formulate many conjectures concerning super congruences and relate most of them to Euler numbers or Bernoulli numbers. Motivated by our investigation of super congruences, we also raise a conjecture on 7 new series for π 2 , π −2 and the constant K: = ∑_k = 1^∞( k3)/ . -k^2 (with (−) the Jacobi symbol), two of which are ∑_k = 1^∞( 10k - 3)8^k /k^3 ( _k^2k)^2 ( _k^3k) = π ^2 /2 and ∑_k = 1^∞( 15k - 4)( - 27)^k - 1/k^3 ( _k^2k)^2 ( _k^3k) = K.
$q$-Supercongruences from Gasper and Rahman's summation formula

Chuanan Wei

DOI: https://doi.org/10.48550/arXiv.2111.07595

2021-11-15

Abstract:In 2017, He [Proc. Amer. Math. Soc. 145 (2017), 501--508] established two spuercongruences on truncated hypergeometric series and further proposed two related conjectures. Subsequently, Liu [Results Math. 72 (2017), 2057--2066] extended He's formulas and confirmed the second conjecture. However, the first conjecture is still open up to now. With the help of the creative microscoping method and the Chinese remainder theorem for coprime polynomials, we derive several $q$-supercongruences modulo the fourth and fifth powers of a cyclotomic polynomial from Gasper and Rahman's summation formula for basic hypergeometric series. As conclusions, He's first conjecture is confirmed and a more general form of He's second conjecture is proved.

Combinatorics
Proof of Some Conjectural Hypergeometric Supercongruences Via Curious Identities

Chen Wang,Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.jmaa.2021.125575

IF: 1.417

2021-01-01

Journal of Mathematical Analysis and Applications

Abstract: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∑k=0p−1(4k2k+1)(2kk)48k≡0(modp2), and∑k=0p−1(2kk)(3kk)24k≡{((2p−2)/3(p−1)/3)(modp2)ifp≡1(mod3),p/((2p+2)/3(p+1)/3)(modp2)ifp≡2(mod3). We also obtain some other results of such types.
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
Supercongruences arising from a 7 F 6 hypergeometric transformation formula

Chen Wang

DOI: https://doi.org/10.1515/forum-2023-0239

2024-01-12

Forum Mathematicum

Abstract:Using a F 6 7 hypergeometric transformation formula, we prove two supercongruences. In particular, one of these supercongruences confirms a recent conjecture of Guo, Liu and Schlosser, and gives an extension of a supercongruence of Long and Ramakrishna.

mathematics, applied
$q$-Supercongruences from squares of basic hypergeometric series

Victor J. W. Guo,Long Li

DOI: https://doi.org/10.48550/arXiv.2112.12076

2021-12-17

Abstract:We give some new $q$-supercongruences on truncated forms of squares of basic hypergeometric series. Most of them are modulo the cube of a cyclotomic polynomial, and two of them are modulo the fourth power of a cyclotomic polynomial. The main ingredients of our proofs are the creative microscoping method, a lemma of El Bachraoui, and the Chinese remainder theorem for coprime polynomials. We also propose several related conjectures for further study.

Number Theory
On Hypergeometrics 3F2(1) - A Review

Michael Milgram

DOI: https://doi.org/10.48550/arXiv.1011.4546

2010-11-20

Abstract:By systematically applying ten well-known and inequivalent two-part relations between hypergeometric sums 3F2(...|1) to the published database of all such sums, 62 new sums are obtained. The existing literature is summarized, and many purportedly novel results extracted from that literature are shown to be special cases of these new sums. The general problem of finding elements contiguous to Watson's, Dixon's and Whipple's theorems is reduced to a simple algorithm suitable for machine computation. Several errors in the literature are corrected or noted. The present paper both summarizes and extends a previous work on this subject.

Classical Analysis and ODEs,Mathematical Physics
Supercongruences involving Apéry-like numbers and Bernoulli numbers

Ji-Cai Liu

2024-05-15

Abstract:We establish supercongruences for two kinds of Apéry-like numbers, which involve Bernoulli numbers and Bernoulli polynomials. Conjectural supercongruences of the same type for another four kinds of Apéry-like numbers are also proposed.

Number Theory
Proof of two supercongruences of truncated hypergeometric series ${}_4F_3$

Guo-Shuai Mao

DOI: https://doi.org/10.1007/s10114-023-1152-8

2024-11-20

Abstract:In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{6n+1}{(-512)^n}\binom{2n}n^3&\equiv p\left(\frac{-2}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\pmod{p^4}, \end{align*} where $\left(\frac{\cdot}p\right)$ stands for the Legendre symbol, and $E_{n}$ is the $n$-th Euler number.

Number Theory,Combinatorics
Euler sums of generalized hyperharmonic numbers

Ce Xu

DOI: https://doi.org/10.48550/arXiv.1701.00391

2018-01-19

Abstract:The generalized hyperharmonic numbers $h_n^{(m)}(k)$ are defined by means of the multiple harmonic numbers. We show that the hyperharmonic numbers $h_n^{(m)}(k)$ satisfy certain recurrence relation which allow us to write them in terms of classical harmonic numbers. Moreover, we prove that the Euler-type sums with hyperharmonic numbers: \[S\left( {k,m;p} \right): = \sum\limits_{n = 1}^\infty {\frac{{h_n^{\left( m \right)}\left( k \right)}}{n^p}} \;\;\left(p\geq m+1,\ {k = 1,2,3} \right)\] can be expressed as a rational linear combination of products of Riemann zeta values and harmonic numbers. This is an extension of the results of Dil (2015) \cite{AD2015} and Mez$\ddot{o}$ (2010) \cite{M2010}. Some interesting new consequences and illustrative examples are considered.

Number Theory
Supercongruences using modular forms

Frits Beukers

2024-07-12

Abstract:Many generating series of combinatorially interesting numbers have the property that the sum of the terms of order $<p$ at some suitable point is congruent to a zero of a zeta-function modulo infinitely many primes $p$. Surprisingly, very often these congruences turn out to hold modulo $p^2$ or even $p^3$. We call such congruences supercongruences and in the past 15 years an abundance of them have been discovered. In this paper we show that a large proportion of them can be explained by the use of modular functions and forms.

Number Theory,Algebraic Geometry

Some Numeric Hypergeometric Supercongruences

Hypergeometric evaluation identities and supercongruences

Two supercongruences involving truncated hypergeometric series

Some $q$-supercongruences for multiple basic hypergeometric series

Supercongruences satisfied by coefficients of 2F1 hypergeometric series

Some parametric q-supercongruences from a summation of Gasper and Rahman

Supercongruences arising from a ${}_7F_6$ hypergeometric transformation formula

Further Generalizations of the (A.2) and (H.2) Supercongruences of Van Hamme

Super Congruence on Harmonic Sums

Super congruences and Euler numbers

$q$-Supercongruences from Gasper and Rahman's summation formula

Proof of Some Conjectural Hypergeometric Supercongruences Via Curious Identities

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Supercongruences arising from a 7 F 6 hypergeometric transformation formula

$q$-Supercongruences from squares of basic hypergeometric series

On Hypergeometrics 3F2(1) - A Review

Supercongruences involving Apéry-like numbers and Bernoulli numbers

Proof of two supercongruences of truncated hypergeometric series ${}_4F_3$

Euler sums of generalized hyperharmonic numbers

Supercongruences using modular forms