arxiv: v1 [math.nt] 22 Jan 2019

Transcription

1 Factors of some truncated basic hypergeometric series Victor J W Guo School of Mathematical Sciences, Huaiyin Normal University, Huai an , Jiangsu People s Republic of China jwguo@hytceducn arxiv: v1 [mathnt] 22 Jan 2019 Abstract We prove that certain basic hypergeometric series truncated at k = n 1 have the factor Φ n (q) 2, where Φ n (q) is the n-th cyclotomic polynomial This confirms two recent conjectures of the author and Zudilin We also put forward some conjectures on q-congruences modulo Φ n (q) 2 Keywords: supercongruence; basic hypergeometric series; cyclotomic polynomials; q- binomial theorem 2010 Mathematics Subject Classifications: 33D15; 11A07; 11F33 1 Introduction Rodriguez-Villegas [9] discovered numerically some remarkable supercongruences on truncated hypergeometric series related to a Calabi-Yau manifold The simplest supercongruence of Rodriguez-Villegas is: for any odd prime p, p 1 ( 2k k) 2 16 k ( 1) (p 1)/2 (mod p 2 ) (11) It has caught the interests of many authors (see [2,5,7,10 13]) For example, Guo and Zeng [5] proved a q-analogue of (11): p 1 (q;q 2 ) 2 k ( 1) (p 1)/2 q (1 p2 )/4 (mod [p] 2 ) for any odd prime p (12) Here and in what follows, (a;q) n = (1 a)(1 aq) (1 aq n 1 ) is the q-shifted factorial, and [n] = 1+q+ +q n 1 is the q-integer The q-congruence (12) has been further generalized by Guo, Pan, and Zhang [4], Ni and Pan [8], and Guo [3] A slight generalization of (12) can be stated as follows (see [3,8]): (q;q 2 ) 2 k ( 1) (n 1)/2 q (1 n2 )/4 (mod Φ n (q) 2 ) for positive odd n, where Φ n (q) is the n-th cyclotomic polynomial in q 1

2 Recently, the author and Zudilin [6, Conjecture 53] conjectured that, for d 3 and n 1 (mod d), (q;q d ) d k qdk (q d ;q d ) d k 0 (mod Φ n (q) 2 ) (13) They [6, Conjecture 54] also conjectured that, for n,d 2 and n 1 (mod d), (q 1 ;q d ) d k qdk (q d ;q d ) d k 0 (mod Φ n (q) 2 ) (14) In this paper, we shall confirm the above two conjectures It turns out that much more is true and we shall prove the following unified generalization of (13) and (14) Theorem 11 Let d 2 be an integer Let r d 2 be an integer such that gcd(r,d) = 1 Then, for all positive integers n with n r (mod d) and n d r, we have (q r ;q d ) d k qdk (q d ;q d ) d k 0 (mod Φ n (q) 2 ) (15) It is clear that if d 3 and r = 1, then the congruence (15) reduces to (13), while if d 2 and r = 1, then the congruence (15) leads to (14) For d = 2 and r = 1, we have the following stronger result and conjecture Theorem 12 Let n > 1 be a positive odd integer Then (n+1)/2 (q 1 ;q 2 ) 2 k q2k (q 1 ;q 2 ) 2 k q2k 0 (mod [n]φ n (q)), (16) 0 (mod [n]φ n (q)) (17) Conjecture 13 The congruences (16) and (17) still hold modulo [n] 2 We shall also give some similar results, such as Theorem 14 Let n > 1 be a positive integer Then (q,q,q 4 ;q 6 ) k q 6k (q 6 ;q 6 ) 3 k (q 1,q 1,q 4 ;q 6 ) k q 6k (q 6 ;q 6 ) 3 k 0 (mod Φ n (q) 2 ) if n 5 (mod 6), (18) 0 (mod Φ n (q) 2 ) if n 1 (mod 6) (19) 2

3 We shall prove Theorems 11 and 14 by using the creative microscoping method developed by the author and Zudilin [6] That is to say, to prove a q-supercongruence modulo Φ n (q) 2, it is more convenient to establish its generalization with an additional parameter a so that the generalized congruence holds modulo (1 aq n )(a q n ) The difference here is that we shall add the parameter a in quite a different way for the proof of Theorem 11 The proof of Theorem 12 is based on Theorem 11 and borrows some idea from [6] for proving congruences modulo [n] We shall give more similar congruences modulo Φ n (q) 2 in Section 5 and propose some related open problems in the last section 2 Proof of Theorem 11 We first establish the following parametric generalization of Theorem 11 Theorem 21 Let d,r,n be given as in the conditions of Theorem 11 Then, modulo (1 aq n )(a q n ), (a d 1 q r,a d 3 q r,,a 2 q r ;q d ) k (a 1 d q r,a 3 d q r,,a 2 q r ;q d ) k (q r ;q d ) k q dk (a d 2 q d,a d 4 q d,,aq d ;q d ) k (a 2 d q d,a 4 d q d,,a 1 q d ;q d ) k (q d ;q d ) k 0 (21) if d is odd, and if d is even (a d 1 q r,a d 3 q r,,aq r ;q d ) k (a 1 d q r,a 3 d q r,,a 1 q r ;q d ) k q dk (a d 2 q d,a d 4 q d,,q d ;q d ) k (a 2 d q d,a 4 d q d,,q d ;q d ) k 0 (22) Proof Since gcd(r,d) = 1 and n r (mod d), we have gcd(d,n) = 1 and so the numbers d,2d,(n 1)d are all not divisible by n This means that the denominators of the left-hand sides of (21) and (22) do not contain the factor 1 aq n nor 1 a 1 q n Hence, for a = q n or a = q n, the left-hand side of (21) can be written as dn n r d (q r (d 1)n,q r (d 3)n,,q r 2n ;q d ) k (q (d 1)n+r,q (d 3)n+r,,q 2n+r ;q d ) k (q r ;q d ) k q dk (q d (d 2)n,q d (d 4)n,,q d n ;q d ) k (q (d 2)n+d,q (d 4)n+d,,q n+d ;q d ) k (q d ;q d ) k, (23) where we have used the fact that (q r (d 1)n ;q d ) k = 0 for k > (dn n r)/d, and by the conditions there holds 0 < (dn n r)/d n 1 Let [ ] [ ] n n (q;q) n = = k k (q;q) k (q;q) n k q be the q-binomial coefficient It is easy to see that [ ] (q r (d 1)n ;q d ) k q dk (dn n r)/d = ( 1) k q d(k 2)+(n+r dn+d)k, (24) (q d ;q d ) k k q d 3

4 (q r (d 3)n ;q d ) k (q d (d 2)n ;q d ) k = (qd (d 2)n+dk ;q d ) (n+r d)/d (q d (d 2)n ;q d ) (n+r d)/d, (25) (q r (d 5)n ;q d ) k (q d (d 4)n ;q d ) k = (qd (d 4)n+dk ;q d ) (n+r d)/d (q d (d 4)n ;q d ) (n+r d)/d, (26) (q r 2n ;q d ) k (q d 3n ;q d ) k = (qd 3n+dk ;q d ) (n+r d)/d (q d 3n ;q d ) (n+r d)/d, (27) and (q (d 1)n+r ;q d ) k (q (d 2)n+d ;q d ) k = (q(d 2)n+dk+d ;q d ) (n+r d)/d (q (d 2)n+d ;q d ) (n+r d)/d, (28) (q (d 3)n+r ;q d ) k (q (d 4)n+d ;q d ) k = (q(d 4)n+dk+d ;q d ) (n+r d)/d (q (d 4)n+d ;q d ) (n+r d)/d, (29) (q 2n+r ;q d ) k (q n+d ;q d ) k = (q2n+dk+d ;q d ) (n+r d)/d (q n+d ;q d ) (n+r d)/d, (210) (q r ;q d ) k (q d n ;q d ) k = (qd n+dk ;q d ) (n+r d)/d (q d n ;q d ) (n+r d)/d (211) Noticing that the right-hand sides of (25) (211) are all polynomials in q dk of degree (n+r d)/d, and ( ) ( ) ( ) k (dn n r)/d k (dn n r)/d d +(n+r dn+d)k = d d, we can write (23) as dn n r d ( 1) k q d((dn n r)/d k 2 ) [ ] (dn n r)/d k q d P(q dk ), (212) where P(q dk ) is a polynomial in q dk of degree (n+r d)(d 1)/d = (dn n r)/d (d r 1) (dn n r)/d 1 Recall that the finite form of the q-binomial theorem (see, for example, [1, p 36]) can be written as n [ ] n ( 1) k q 2) (k z k = (z;q) n k 4

5 Letting z = q j and replacing k with n k in the above equation, we obtain n [ ] n ( 1) k q (n k 2 )+jk = 0 for 0 j n 1 (213) k This immediately implies that (23) = (212) = 0 Namely, the congruence (21) holds Along the same lines, we can prove the congruence (22) Proof of Theorem 11 Note that Φ n (q) is a factor of 1 q m if and only if n divides m It follows that the limits of the denominators of (21) and (22) as a 1 are relatively prime to Φ n (q), since n is coprime with d On the other hand, the limit of (1 aq n )(a q n ) as a 1 has the factor Φ n (q) 2 Thus, the congruence (15) follows from the limiting case a 1 of (21) and (22) 3 Proof of Theorem 12 Letting d = 2 and r = 1 in (15), we see that, for odd n > 1, (n+1)/2 (q 1 ;q 2 ) 2 k q2k (q 1 ;q 2 ) 2 k q2k 0 (mod Φ n (q) 2 ), (31) 0 (mod Φ n (q) 2 ), (32) because (q 1 ;q 2 ) k 0 (mod Φ n (q)) for (n+1)/2 < k n 1 We now let ζ 1 be an n-th root of unity, not necessarily primitive In other words, ζ is a primitive root of unity of odd degree d n If c q (k) denotes the k-th term on the left-hand side of (31), ie, c q (k) = (q 1 ;q 2 ) 2 k q2k The congruences (31) and (32) with n = d imply that (d+1)/2 d 1 c ζ (k) = c ζ (k) = 0 Observe that We get c ζ (k) = c ζ (ld+k) c ζ (ld) n/d 1 l=0 = lim q ζ c q (ld+k) c q (ld) d 1 c ζ (ld+k) = n/d 1 l=0 = c ζ (k) d 1 c ζ (ld) c ζ (k) = 0, 5

6 and (n+1)/2 c ζ (k) = (n/d 3)/2 l=0 d 1 c ζ (ld) c ζ (k)+ (d+1)/2 c ζ ((n d)/2+k) = 0, which mean that the sums n 1 c q(k) and (n+1)/2 c q (k) are both divisible by the cyclotomic polynomial Φ d (q) As this is true for arbitrary divisor d > 1 of n, we conclude that these two sums are both divisible by Φ d (q) = [n] d n, d>1 Namely, the congruences (31) and (32) are also true modulo [n] The proof then follows from gcd([n],φ n (q) 2 ) = [n]φ n (q) 4 Proof of Theorem 14 The proof is similar to that of Theorem 11 We first prove the following result (a 5 q,q/a 5,q 4 ;q 6 ) k q 6k (a 4 q 6,q 6 /a 4,q 6 ;q 6 ) k 0 (mod (1 aq n )(a q n )) if n 5 (mod 6) (41) The r = 1 and d = 6 case of (24) gives [ ] (q 1 5n ;q 6 ) k q 6k (5n 1)/6 = ( 1) k q 6((5n 1)/6 k (q 6 ;q 6 2 ) 6( (5n 1)/6 2 ) ) k k q 6 Moreover, we have It follows that (q 1 5n,q 5n+1,q 4 ;q 6 ) k q 6k (q 6 4n,q 4n+6,q 6 ;q 6 ) k [ (5n 1)/6 = ( 1) k k (q 5n+1 ;q 6 ) k (q 4n+6 ;q 6 ) k = (q4n+6k+6 ;q 6 ) (n 5)/6 (q 4n+6 ;q 6 ) (n 5)/6, (q 4 ;q 6 ) k (q 6 4n ;q 6 ) k = (q6 4n+6k ;q 6 ) (2n 1)/3 (q 6 4n ;q 6 ) (2n 1)/3 ] q 6((5n 1)/6 k 2 ) 6( (5n 1)/6 2 ) (q4n+6k+6 ;q 6 ) (n 5)/6 (q 6 4n+6k ;q 6 ) (2n 1)/3 q (q 4n+6 ;q 6 ) 6 (n 5)/6 (q 6 4n ;q 6 ) (2n 1)/3 (42) Since (q 4n+6k+6 ;q 6 ) (n 5)/6 (q 6 4n+6k ;q 6 ) (2n 1)/3 is apolynomial inq 6k ofdegree (5n 7)/6 < (5n 1)/6, by the identity (213), we see that the right-hand side of (42) vanishes This 6

7 proves that the left-hand side of (41) is equal to 0 for a = q n or a = q n That is, the congruence (41) holds Finally, letting a 1 in (41), we are led to (18) Similarly we can prove (19) Here we merely give its parametric generalization: (a 5 /q,q 1 /a 5,q 4 ;q 6 ) k q 6k (a 4 q 6,q 6 /a 4,q 6 ;q 6 ) k 0 (mod (1 aq n )(a q n )) if n 1 (mod 6) 5 More congruences modulo Φ n (q) 2 It seems that there are many more similar congruences modulo Φ n (q) 2 Here we give some such results Theorem 51 Let n be a positive integer Then (q,q,q 7 ;q 9 ) k q 9k (q 2,q 2,q 5 ;q 9 ) k q 9k (q 4,q 4,q;q 9 ) k q 9k 0 (mod Φ n (q) 2 ) if n 2,8 (mod 9), 0 (mod Φ n (q) 2 ) if n 4,7 (mod 9), 0 (mod Φ n (q) 2 ) if n 5,8 (mod 9) Proof The proof is similar to that of Theorem 14 Here we just give the parametric generalizations of these congruences Modulo (1 aq n )(a q n ), for r = 1,2,4, we have (a 5 q r,q r /a 5,q 9 2r ;q 9 ) k q 9k (aq 9,q 9 /a,q 9 ;q 9 ) k 0 if n 2r (mod 9), (a 8 q r,q r /a 8,q 9 2r ;q 9 ) k q 9k (a 7 q 9,q 9 /a 7,q 9 ;q 9 ) k 0 if n r (mod 9) Theorem 52 Let n > 9 be a positive integer Then (q 1,q 1,q 7 ;q 9 ) k q 9k (q 2,q 2,q 5 ;q 9 ) k q 9k (q 4,q 4,q 1 ;q 9 ) k q 9k 0 (mod Φ n (q) 2 ) if n 5 (mod 9), 0 (mod Φ n (q) 2 ) if n 2,5 (mod 9), 0 (mod Φ n (q) 2 ) if n 2 (mod 9) 7

8 Proof This time the parametric generalizations of these congruences are as follows Modulo (1 aq n )(a q n ), (a 7 q 1,q 1 /a 7,q 7 ;q 9 ) k q 9k (a 5 q 9,q 9 /a 5,q 9 ;q 9 ) k 0 if n 5 (mod 9), (a 8 q 2,q 2 /a 8,q 5 ;q 9 ) k q 9k (a 7 q 9,q 9 /a 7,q 9 ;q 9 ) k 0 if n 2 (mod 9) and n > 9, (a 5 q 2,q 2 /a 5,q 5 ;q 9 ) k q 9k (aq 9,q 9 /a,q 9 ;q 9 ) k 0 if n 5 (mod 9) and n > 9, (a 7 q 4,q 4 /a 7,q 1 ;q 9 ) k q 9k (a 5 q 9,q 9 /a 5,q 9 ;q 9 ) k 0 if n 2 (mod 9) and n > 9 6 Concluding remarks and open problems In this section we propose several conjectures for further study Not like before, there is no symmetry in the following two conjectures It seems difficult to find the corresponding parametric generalizations Conjecture 61 Let n be a positive integer with n 4,7 (mod 9) Then (q,q 2,q 6 ;q 9 ) k q 9k 0 (mod Φ n (q) 2 ) Conjecture 62 Let n be a positive integer with n 5 (mod 9) Then (q 1,q 2,q 6 ;q 9 ) k q 9k 0 (mod Φ n (q) 2 ) There are many similar conjectures Let n > 1 be a positive integer For any rational number x whose denominator is coprime with n, let x n denote the least non-negative residue of x modulo n We would like to propose the following two conjectures Conjecture 63 Let n be a positive integer with n 2 (mod 3), and let m be a positive integer with gcd(m,n) = 1 If r is an integer satisfying 0 < r 3m n 2n 1, then 3 (q m ;q 3m ) k (q r ;q 3m ) k (q 2m r ;q 3m ) k q 3mk (q 3m ;q 3m ) 3 k 0 (mod Φ n (q) 2 ) 8

9 Conjecture 64 Let n > 1 be a positive integer with n 1 (mod 3), and let m be a positive integer with gcd(m,n) = 1 If r is an integer satisfying 0 < r 3m n 2n 5, then 3 (q m ;q 3m ) k (q r ;q 3m ) k (q 2m r ;q 3m ) k q 3mk (q 3m ;q 3m ) 3 k 0 (mod Φ n (q) 2 ) Letting d = 3, r = 1 and q q m in Theorem 11, and noticing that Φ n (q) is a factor of Φ n (q m ) for gcd(m,n) = 1, we see that Conjectures 63 and 64 are true for r = m and r = m, respectively Acknowledgments The author was partially supported by the National Natural Science Foundation of China (grant ) References [1] GE Andrews, The theory of partitions, Cambridge University Press, Cambridge, 1998 [2] KK Chan, L Long, and VV Zudilin, A supercongruence motivated by the Legendre family of elliptic curves, Mat Zametki 88 (2010), ; translation in Math Notes 88 (2010), [3] VJW Guo, Some q-congruences with parameters, Acta Arith, to appear; arxiv: [4] VJW Guo, H Pan, Y Zhang, The Rodriguez-Villegas type congruences for truncated q-hypergeometric functions, J Number Theory 174 (2017), [5] VJW Guo, J Zeng, Some q-analogues of supercongruences of Rodriguez-Villegas, J Number Theory 145 (2014), [6] VJW Guo, W Zudilin, A q-microscope for supercongruences, preprint, March 2018, arxiv: [7] E Mortenson, A supercongruence conjecture of Rodriguez-Villegas for a certain truncated hypergeometric function, J Number Theory 99 (2003), [8] H-X Ni, H Pan, On a conjectured q-congruence of Guo and Zeng, Int J Number Theory 14 (2018), [9] F Rodriguez-Villegas, Hypergeometric families of Calabi Yau manifolds, in: Calabi-Yau Varieties and Mirror Symmetry (Toronto, ON, 2001), Fields Inst Commun, 38, Amer Math Soc, Providence, RI, 2003, pp [10] Z-H Sun, Congruences concerning Legendre polynomials, Proc Amer Math Soc 139 (2011), [11] Z-W Sun, Super congruences and Euler numbers, Sci China Math 54 (2011), [12] R Tauraso, An elementary proof of a Rodriguez-Villegas supercongruence, preprint, 2009, arxiv: v1 [13] R Tauraso, Supercongruences for a truncated hypergeometric series, Integers 12 (2012), #A45 [14] W Zudilin, Ramanujan-type supercongruences, J Number Theory 129 (2009),