Arxiv:2009.08035V2 [Math.NT] 30 Sep 2020 O 12001279)

arXiv:2009.08035v2 [math.NT] 30 Sep 2020 o 12001279). No. transformation; where where ae aaua-yesre o 1 for series Ramanujan-type cated ture: n a ae hw ohl modulo hold [10, Hamme to Van shown by later proved was was and (1.1) supercongruence The symbol. htteClb-a hefl srltdt oua om,Alrna Ahlgren supercongruence: forms, (M.2) modular Hamme’s to Van confirmed related [11] is Kilbourn threefold Calabi-Yau the that h rtato sspotdb h ainlNtrlSineFou Science Natural National the by supported is author first The author. *Corresponding e od n phrases. and words Key 2010 n19,VnHme[0 rpsd1 ojcue ogune c congruences conjectured 13 proposed [10] Hamme Van 1997, In a > p ahmtc ujc Classification. Subject Mathematics yGoadSchlosser. and Guo two by prove to formula tion nfidwy nti ae,w pl hsmto n Watson’s and method this apply we paper, this In many way. prove unified to a microscoping’, ‘creative called method new Abstract. p TWO sthe is sapiead( and prime a is 3 q -Pfaff-Saalaschütz summation. η p (2 q t offiin fawih oua form modular 4 weight a of coefficient -th SPROGUNE RMWATSON’S FROM -SUPERCONGRUENCES u n uii Av ah 4 21) 2–5]itoue a introduced 329–358] (2019), 346 Math. [Adv. Zudilin and Guo z ) 4 η (4 ogune yltmcpolynomial; cyclotomic congruence; EXAN N IYA WANG* LI-YUAN AND NI HE-XIA z X k p ) =0 − 2 4 ( 1 TRANSFORMATION p := (4 X k − q =0 1) a sprogune,wihwr eetyconjectured recently were which -supercongruences, k 1. ) q / n 2 1) + n Y ∞ ( /π =1 Introduction = k 2 1 ! ) (1 4 o xml,h aetefloigconjec- following the made he example, For . p k 4 ( a k rmr 16;Scnay0A0 53,11A07. 05A30, 05A10, Secondary 11B65; Primary 4 2 1 ( − ≡ ! ) a 4 yLn 1] oevr pligtefact the applying Moreover, [14]. Long by k 4 1 q 1) + a ≡ 2 p n ) (mod p 4 (1 · · · (mod − ( a p q 3 4 + ) p n , 3 ) n q ) 4 , bnma offiin;Waston’s coefficient; -binomial q , q − sprogune in -supercongruences = )i h Pochhammer the is 1) dto fCia(Grant China of ndation e 8 2 φ πiz 7 transforma- . nenn trun- oncerning C2]himself (C.2)] dOo[1], Ono nd (1.2) (1.1) 2 HE-XIANIANDLI-YUANWANG

In 2011, Long [14] made use of Whipple’s 7F6 transformation formula to prove that (p 1)/2 (p 1)/2 − ( 1 )6 − ( 1 )4 (4k + 1) 2 ≡ p 2 k (mod p4) for p> 3, k!6 k!4 Xk=0 Xk=0 which can be written as (p 1)/2 − ( 1 )6 (4k + 1) 2 ≡ pa (mod p4) for p> 3 (1.3) k!6 p Xk=0 in light of the supercongruence (1.2). In 2016, Long and Ramakrishna [15, Theorem 2] established the following supercongruence:

p 1 1 6 9 6 − −pΓp(1/3) (mod p ), if p ≡ 1 (mod 6), ( 3 )k (6k + 1) ≡ 4 (1.4) 6 p 9 6 k! (− Γp(1/3) (mod p ), if p ≡ 5 (mod 6), Xk=0 27 where Γp(x) is the p-adic Gamma function. Now all of Van Hamme’s conjectural supercongruences have been confirmed. We refer the reader to [18,19] for the history of the proofs of them. During the past few years, q-supercongruences have been widely investigated and a variety of techniques were involved. For more related results and the latest progress, see [3–9,12,13,16,17,20,21]. In particular, Guo and Schlosser [7, Theo- rem 4.1] proposed the following partial q-analogue of (1.3) and (1.4): for positive integers n and d with d ≥ 3 and gcd(n, d) = 1, n 1 − d d 4 (aq, q/a; q )k(q, q )k (2d 3)k − [2dk + 1] d d d d d 4 q (aq , q /a; q )k(q ; q )k Xk=0 2 0 (mod Φn(q) ), if n ≡ −1 (mod d), ≡ (1.5) (0 (mod Φn(q)), otherwise. Here and in what follows, we assume q to be fixed with 0 < |q| < 1. For a ∈ C, the q-shifted factorial [2] is defined by

n 1 (1 − x)(1 − xq) ··· (1 − xq − ), if n ≥ 1, (x; q)n = (1, if n =0, and the n-th cyclotomic polynomial is deﬁned as 2π√ 1 k Φn(q) := (q − e − · n ). 1 k n (n,k≤Y)=1≤ Also, we frequently use the shortened notation:

(a1,...,am; q)k =(a1; q)k ··· (am; q)k, k ∈ N ∪∞. TWO q-SUPERCONGRUENCES FROM WATSON’S TRANSFORMATION 3

The main purpose of this paper is to prove the following results, which were recently conjectured by Guo and Schlosser [7, Conjectures 4.2 and 5.11]. Theorem 1.1. Let n and d be positive integers with d ≥ 3 and gcd(n, d)=1. Then n 1 − d d 2 (aq,q/a,bq,q/b; q )k(q; q )k (2d 3)k − [2dk + 1] d d d d d d d 2 q (aq , q /a, bq , q /b; q )k(q ; q )k Xk=0 0 (mod [n]Φn(q)), if n ≡ −1 (mod d), ≡ (1.6) (0 (mod [n]), otherwise. Theorem 1.2. Let n> 1 and d > 3 be integers with gcd(n, d)=1. Then

n 1 − 1 1 1 1 d 1 d 2 (aq− , q− /a, bq− , q− /b; q )k(q− ; q )k (2d+3)k [2dk − 1] d d d d d d d 2 q (aq , q /a, bq , q /b; q )k(q ; q )k Xk=0 0 (mod [n]Φn(q)), if n ≡ 1 (mod d), ≡ (1.7) (0 (mod [n]), otherwise. It is clear that (1.6) is a two-parameters generation of (1.5). Following Gasper and Rahman [2], the r+1φr basic hypergeometric series is de- ﬁned by

∞ a1, a2,...,ar+1 (a1, a2,...,ar+1; q)k k r+1φr ; q, z := z . b1,...,br (q, b1,...,br; q)k Xk=0 In the proof of Theorems 1.1 and 1.2, we will make use of Waston’s 8φ7 transformation formula [2, Appendix (III.17)]:

1 1 a, qa 2 , −qa 2 , b, c, d, e, f a2q2 8φ7 1 1 ; q, a 2 , −a 2 , aq/b, aq/c, aq/d, aq/e, aq/f bcdef (aq, aq/de, aq/df, aq/ef; q) aq/bc, d, e, f = ∞ φ ; q, q , (aq/d, aq/e, aq/f, aq/def; q) 4 3 aq/b, aq/c, def/a ∞ (1.8) which is valid whenever the 8φ7 series converges and the 4φ3 series terminates.

2. Proof of Theorems 1.1 and 1.2 We need the following lemma, which was proved by Guo and Schlosser [6, Lemma 2.1]. 4 HE-XIANIANDLI-YUANWANG

Lemma 2.1. Let m, n and d be positive integers with m ≤ n − 1. Let r be an integer satisfying dm ≡ −r (mod n). Then, for 0 ≤ k ≤ m, we have r d r d (aq ; q )m k m 2k (aq ; q )k m(dm d+2r)/2+(d r)k − − − − d d ≡ (−a) d d q (mod Φn(q)). (q /a; q )m k (q /a; q )k − In order to prove Theorems 1.1 and 1.2, we also need to establish the following three-parametric q-congruences. Lemma 2.2. Let n and d be positive integers with gcd(n, d)=1. Let r be an integer and let a, b, c be indeterminates. Then m r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k − [2dk + r] d d d d d d d (cq ) ≡ 0 (mod [n]), (2.1) (aq , q /a, bq , q /b, cq , q ; q )k Xk=0 n 1 − r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k [2dk + r] d d d d d d d (cq − ) ≡ 0 (mod [n]), (2.2) (aq , q /a, bq , q /b, cq , q ; q )k Xk=0 where 0 ≤ m ≤ n − 1 and dm ≡ −r (mod n). Proof. It is easy to see that Lemma 2.2 is true for n =1or r = 0. We now suppose that n > 1 and r =6 0. By Lemma 2.1, for 0 ≤ k ≤ m, the k-th and (m − k)-th terms on the left-hand side of (2.3) cancel each other modulo Φn(q), i.e., r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )m k 2d 3r m k − − − [2d(m − k)+ r] d d d d d d d (cq ) (aq , q /a, bq , q /b, cq , q ; q )m k − r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k ≡ −[2dk + r] d d d d d d d (cq − ) (mod Φn(q)). (aq , q /a, bq , q /b, cq , q ; q )k

This proves that the q-congruence (2.1) is true modulo Φn(q). r d αn Furthermore, the q-factorial (q ; q )k has a factor of the form 1 − q for m < k ≤ n − 1, and so it is congruent to 0 modulo Φn(q) as dm ≡ −r (mod n). Note d d that (q ; q )k and Φn(q) are coprime for m 1. Let cq(k) be the k-th term on the left-hand side of (2.1), i.e., r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k − cq(k) = [2dk + r] d d d d d d d (cq ) . (aq , q /a, bq , q /b, cq , q ; q )k

The q-congruences (2.1) and (2.2) modulo Φn(q) with n 7→ s indicate that

m1 s 1 − cζ(k)= cζ (k)=0, Xk=0 Xk=0 TWO q-SUPERCONGRUENCES FROM WATSON’S TRANSFORMATION 5

where dm1 ≡ −r (mod s) and 0 ≤ m1 ≤ s − 1. Observe that c (ls + k) c (k) lim q = ζ . q ζ c (ls) [r] → q It follows that n 1 n/s 1 s 1 n/s 1 s 1 − − − 1 − − c (k)= c (ls + k)= c (ls) c (k)=0, ζ ζ [r] ζ ζ Xk=0 Xl=0 Xk=0 Xl=0 Xk=0 and m (m m1)/s 1 s 1 m1 1 − − − c (m − m ) c (k)= c (ls) c(k)+ ζ 1 c (k)=0, ζ [r] ζ [r] ζ Xk=0 Xl=0 Xk=0 Xk=0 n 1 m which imply that both k=0− cq(k) and k=0 cq(k) are congruent to 0 modulo Φs(q). The proof then follows the fact that s n,s>1 Φs(q) = [n]. P P| Theorem 2.3. Let a, b be indeterminatesQ and r = ±1. Let n and d be integers satisfying d ≥ 3 and n> 1, such that gcd(n, d)=1, and n ≡ −r (mod d). Then

M r r r r r r d (aq , q /a, bq , q /b, q , q ; q )k (2d 3r)k [2dk + r] d d d d d d d q − ≡ 0 (mod [n]Φn(q)), (2.3) (aq , q /a, bq , q /b, q , q ; q )k Xk=0 where M =(dn − n − r)/d or n − 1. Proof. Since n> 1 and r = ±1, we see that (dn − n − r)/d ≤ (dn − n + 1)/d ≤ n − 1. d r r r r r r dn+n Letting q → q and taking a = q , b = aq ,c = q /a,d = bq , e = q /b, f = q − in (1.8), we obtain

M r r r r r dn+n r d (aq , q /a, bq , q /b, q − , q ; q )k (2d 3r+dn n)k [2dk + r] d d d d d+dn n d d q − − (aq , q /a, bq , q /b, q − , q ; q )k Xk=0 r d r d M d r r r r dn+n d dk (q , q − ; q )(dn n r)/d (q − , bq , q /b, q − ; q )kq − − = [dn − n] d d d d d 2r dn+n d d . (q /b, bq ; q )(dn n r)/d (q /a, aq , q − , q ; q )k − − Xk=0 Namely,

On the other hand, by Lemma 2.2, the left-hand side of (2.4) is congruent to 0 modulo [n]. Moreover, [dn − n] is also congruent to 0 modulo Φn(q), and therefore dn n (2.4) also holds modulo Φn(q). Since the polynomials Φn(q) and c − q − are coprime, we have

M r r r r r r d (aq , q /a, bq , q /b, q /c,q ; q )k 2d 3r k − [2dk + r] d d d d d d d (cq ) (aq , q /a, bq , q /b, cq , q ; q )k k=0 X r d r d (q , q − ; q )(dn n r)/d − − ≡ [dn − n] d d d (q /b, bq ; q )(dn n r)/d − − M d r r r r d dk (q − , bq , q /b, q /c; q )kq dn n × d d 2r d d (mod (c − q − )Φn(q)), (2.5) (q /a, aq , q /c,q ; q )k Xk=0 x d For any integer x, let fk(x) be the least non-negative integer k such that (q ; q )k ≡ 0 (mod Φn(q)). Since n ≡ −r (mod d), we have fk(d − r)=(n + r)/d,fk(r) = (d(n + 1) − (n + r))/d,fk(d) = n, fk(2r)=(d(n + 1) − 2(n + r))/d. It is easy to see that

fk(d) ≥ fk(r)=(d(n + 1) − (n + r))/d > (dn − n − r)/d ≥ fk(2r) ≥ fk(d − r) for r = ±1 and d ≥ 3. Hence, when c → 1, the denominator of the reduced form of the k-th summand d r r r r d (q − , bq , q /b, q ; q )k dk d d 2r d d q (q /a, aq , q , q ; q )k in the 4φ3 summation is always relatively prime to Φn(q) for k ≥ 0. This proves 2 d r d that the congruences (2.3) hold modulo Φn(q) by noticing that (q − ; q )(dn n r)/d n n − − contains the factor 1 − q and q ≡ 1 (mod Φn(q)). Using Lemma 2.2 and 2 lcm(Φn(q) , [n]) = [n]Φn(q), the proof of the theorem is complete. Proof of Theorems 1.1 and 1.2 . Taking c = 1 in (2.1) and (2.2) and applying Lemma 2.2, we see that the q-congruences (1.6) and (1.7) hold modulo [n]. Fur- ther, the proof of the modulus [n]Φn(q) case of (1.6) and (1.7) then follows from Theorem 2.3.

Acknowledgment. We thank Professor Victor J. W. Guo for his helpful com- ments on this paper. References [1] S. Ahlgren and K. Ono, Gaussian hypergeometric series evaluation and Ap´ery number congruences, J. Reine Angew. Math. 518 (2000), 187–212. [2] G. Gasper, M. Rahman, Basic hypergeometric series, Second Edition, Encyclopedia of Math- ematics and Its Applications, Vol. 96, Cambridge University Press, 2004. [3] V.J.W. Guo, q-Supercongruences modulo the fourth power of a cyclotomic polynomial via creative microscoping, Adv. Appl. Math. 120 (2020) Art. 102078. TWO q-SUPERCONGRUENCES FROM WATSON’S TRANSFORMATION 7

[4] V.J.W. Guo, A q-analogue of the (A.2) supercongruence of Van Hamme for primes p ≡ 1 (mod 4), Rev. R. Acad. Cienc. Exactas F´ıs. Nat., Ser. A Mat. RACSAM 114 (2020), Art. 123. [5] V.J.W. Guo, A further q-analogue of Van Hamme’s (H.2) supercongruence for primes p ≡ 3 (mod 4), Int. J. Number Theory, to appear. [6] V.J.W. Guo and M.J. Schlosser, A new family of q-supercongruences modulo the fourth power of a cyclotomic polynomial, Results Math. 75 (2020), Art. 155. [7] V.J.W. Guo and M.J. Schlosser, Some q-supercongruences from transformation formulas for basic hypergeometric series, Constr. Approx., to appear. [8] V.J.W. Guo and M.J. Schlosser, A family of q-hypergeometric congruences modulo the fourth power of a cyclotomic polynomial, Israel J. Math., to appear. [9] V.J.W. Guo and W. Zudilin, A q-microscope for supercongruences, Adv. Math. 346 (2019), 329–358. [10] L. Van Hamme, Some conjectures concerning partial sums of generalized hypergeometric series, in: p-Adic Functional Analysis, Nijmegen, 1996, in: Lecture Notes in Pure and Appl. Math., vol. 192, Dekker, New York, 1997, pp. 223–236. [11] T. Kilbourn, An extension of the Apéry number supercongruence, Acta Arith. 123 (2006), 335–348. [12] L. Li and S.-D. Wang, Proof of a q-supercongruence conjectured by Guo and Schlosser, Rev. R. Acad. Cienc. Exactas Fs. Nat., Ser. A Mat. RACSAM, 114 (2020), Art. 190. [13] J.-C. Liu and F. Petrov, Congruences on sums of q-binomial coefficients, Adv. Appl. Math. 116 (2020), Art. 102003. [14] L. Long, Hypergeometric evaluation identities and supercongruences, Pacific J. Math. 249 (2011), 405–418. [15] L. Long and R. Ramakrishna, Some supercongruences occurring in truncated hypergeometric series, Adv. Math. 290 (2016), 773–808. [16] H.-X. Ni and H. Pan, Some symmetric q-congruences modulo the square of a cyclotomic polynomial, J. Math. Anal. Appl. 481 (2020), Art. 123372. [17] H.-X. Ni and H. Pan, Divisibility of some binomial sums, Acta Arith. 194 (2020), 367–381. [18] R. Osburn and W. Zudilin, On the (K.2) supercongruence of Van Hamme, J. Math. Anal. Appl., 433 (2016), 706-711. [19] H. Swisher, On the supercongruence conjectures of Van Hamme, Res. Math. Sci., 2 (2015), 1–21. [20] X. Wang and M. Yu, Some new q-congruences on double sums, Rev. R. Acad. Cienc. Exactas F´ıs. Nat., Ser. A Mat. RACSAM, to appear. [21] W. Zudilin, Congruences for q-binomial coefficients, Ann. Combin. 23 (2019), 1123–1135.

Department of Applied Mathematics, Nanjing Audit University, Nanjing 211815, People’s Republic of China E-mail address: [email protected] School of Physical and Mathematical Sciences, Nanjing Tech University , Nan- jing 211816, People’s Republic of China E-mail address: [email protected]