Abstract
We provide several new q-congruences for truncated basic hypergeometric series with the base being an even power of q. Our results mainly concern congruences modulo the square or the cube of a cyclotomic polynomial and complement corresponding ones of an earlier paper containing q-congruences for truncated basic hypergeometric series with the base being an odd power of q. We also give a number of related conjectures including q-congruences modulo the fifth power of a cyclotomic polynomial and a congruence for a truncated ordinary hypergeometric series modulo the seventh power of a prime greater than 3.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In his first letter to Hardy from 1913, Ramanujan announced that (cf. [2, p. 25, Equation (2)])
along with similar hypergeometric identities. Here \((a)_n=a(a+1)\cdots (a+n-1)\) denotes the Pochhammer symbol. He did not provide proofs. This identity was eventually proved by Hardy in [19, p. 495].
In 1997, Van Hamme [32] proposed 13 interesting p-adic analogues ofRamanujan-type formulas for \(1/\pi \) [26], such as
where p is an odd prime and \(\Gamma _p\) is the p-adic gamma function [22]. Van Hamme [32] himself proved three of them. Nowadays all of the 13 supercongruences have been confirmed by different techniques (see [20, 21, 23, 25, 30]). For some informative background on Ramanujan-type supercongruences, we refer the reader to Zudilin’s paper [35]. During the past few years, congruences and supercongruences have been generalized to the q-world by many authors (see, for example, [6,7,8,9,10,11,12,13,14,15,16,17,18, 24, 27, 31]). As explained in [18], q-supercongruences are closely related to studying the asymptotic behaviour of q-series at roots of unity.
Recently, the authors [15, Theorems 1 and 2] proved that for odd \(d\geqslant 5\),
and for odd \(d\geqslant 3\) and \(n>1\),
Here and throughout the paper, we adopt the standard q-notation: For an indeterminate q, let
be the q-shifted factorial. For convenience, we compactly write
for a product of q-shifted factorials. Moreover,
denotes the q-integer, which can be defined by \([n]=(q^n-1)/(q-1)\) to hold for any integer n, including negative n, which in particular gives \([-1]=-1/q\) (which is needed in the \(k=0\) terms of (1.6) and (1.8) and at other places in this paper). Furthermore, \(\Phi _n(q)\) denotes the nth cyclotomic polynomial in q, which may be defined as
where \(\zeta \) is an nth primitive root of unity.
In this paper, we shall prove results similar to (1.3) and (1.4) for even d. The first result concerns the case \(d=2\).
Theorem 1
Let n be an odd integer greater than 1. Then
Theorem 2
Let \(d\geqslant 4\) be an even integer and let n be a positive integer with \(n\equiv -1\pmod {d}\). Then
Theorem 3
Let \(d\geqslant 4\) be an even integer and let \(n>1\) be an integer with \(n\equiv 1\pmod {d}\). Then
Although neither (1.7) nor (1.8) holds modulo \(\Phi _n(q)^3\) in general, we have the following common refinement of (1.3) and (1.7).
Theorem 4
Let \(d\geqslant 4\) be an integer and let n be a positive integer with \(n\equiv -1\pmod {d}\). Then
Let \(n=p\) be an odd prime and \(d=p+1\) in (1.9). Then letting \(q\rightarrow 1\), we are led to
Note that Sun [28, Theorem 1.2] proved that for any prime \(p>3\)
which also holds modulo \(p^3\) for \(p=3\). Substituting (1.11) into (1.10), we arrive at the following conclusion.
Corollary 5
Let p be an odd prime. Then
This result is actually a special case of
that was conjectured by Sun and was subsequently proved by Gao [5] in her master thesis. See the discussion around Equation (1.3) in Wang’s paper [33] where (1.12) is further generalized to a congruence modolo \(p^6\) for \(p>5\) that involves Bernoulli numbers. In Sect. 5 we propose an extension of Corollary 5 which contains additional factors in the summand (see Conjecture 1).
The paper is organized as follows. We shall prove Theorem 1 in Sect. 2 based on two q-series identities. Theorems 2 and 3 will be proved by giving a common generalization of them in Sect. 3. To accomplish this we shall make a careful use of Andrews’ multiseries generalization of the Watson transformation [1, Theorem 4] (which was already used in [12] to prove some q-analogues of Calkin’s congruence [3], and which was also applied in [15] for proving some analogous results involving the base being odd powers of q). We shall prove Theorem 4 by using a certain anti-symmetry of the k-th summand on the left-hand side of (1.9) in Sect. 4. Finally, in Sect. 5 we give some concluding remarks and state some open problems. These include some conjectural q-congruences modulo the fifth power of a cyclotomic polynomial and congruences for truncated ordinary hypergeometric series, one of them, see (5.7), modulo the seventh power of a prime greater than 3.
We would like to thank the two anonymous referees for their comments. We especially thank the second referee for her or his detailed list of constructive suggestions for improvement of the paper.
2 Proof of Theorem 1
It is easy to prove by induction on n that
Since \(q^n\equiv 1\pmod {\Phi _n(q)}\), the proof of (1.5) then follows from the fact
for odd n and \((-q;q)_{n-1}\equiv 1\pmod {\Phi _n(q)}\) (see, for example, [8, Equation (2.3)]).
Similarly, we can prove by induction that
The proof of (1.6) then follows from that of (1.5) and the following relation
We point out that, using the congruence \((-q;q)_{(n-1)/2}^2\equiv q^{(n^2-1)/8}\pmod {\Phi _n(q)}\) for odd n (see, for example, [8, Lemma 2.1]), we can prove the following similar congruences: for any odd positive integer \(n>1\),
The details of the proof are left to the interested reader.
3 Proof of Theorems 2 and 3
We shall first prove the following unified generalization of Theorems 2 and 3 for \(d=4\).
Theorem 6
Let r be an odd integer. Let \(n>1\) be an odd integer with \(n\equiv -r\pmod {4}\) and \(n\geqslant \max \{r,4-r\}\). Then
Proof
Let \(\alpha \), j and r be integers. It is easy to see that
and \(1-q^{\alpha n}\equiv 0\pmod {\Phi _n(q)}\), and so
It follows that
It is clear that \(3n\equiv r\pmod {4}\). Therefore, by (3.2) and the \(q\mapsto q^4\), \(a\mapsto q^r\), \(b\mapsto q^r\), \(c\mapsto q^{r+3n}\), \(n\mapsto (3n-r)/4\) instance of the terminating \({}_6\phi _5\) summation (see [4, Appendix (II.21)]):
where the basic hypergeometric series \(_{r+1}\phi _r\) (see [4]) is defined as
modulo \(\Phi _n(q)^2\), the left-hand side of (3.1) is congruent to
Note that \((3n-r)/4\leqslant n-1\) by the condition \(n\geqslant 4-r\). It is clear that \((q^{r+4};q^4)_{(3n-r)/4}\) has the factor \(1-q^{3n}\), and \((q^{4-r-3n};q^4)_{(3n-r)/4}\) has the factor \((1-q^{-2n})\) since \((3n-r)/4\geqslant (n+r)/4\) by the condition \(n\geqslant r\). Therefore the numerator on the right-hand side of (3.3) is divisible by \(\Phi _n(q)^2\), while the denominator is relatively prime to \(\Phi _n(q)\). This completes the proof. \(\square \)
We need the following lemma in our proof of Theorems 2 and 3 for \(d\geqslant 6\).
Lemma 1
Let \(d\geqslant 5\) be an integer and let r be an integer with \(\gcd (d,r)=1\). Let \(n=ad-r\geqslant r\) with \(a\geqslant 1\). Suppose that \(2r+kd\equiv 0\pmod {n}\) for some \(k>0\). Then \(k\geqslant a(d-4)/2\).
Proof
Since \(\gcd (d,r)=1\), we have \(\gcd (n,d)=1\) for \(n=ad-r\). Noticing that
we conclude that \((k+2a)d\equiv 0\pmod {n}\). It follows that \(k+2a\) is a multiple of n and so \(k+2a\geqslant n\), i.e.,
By the condition \(ad-r\geqslant r\) in the lemma, we get \(r\leqslant ad/2\). Substituting this into the above inequality, we obtain the desired result. \(\square \)
We now give a common generalization of Theorems 2 and 3.
Theorem 7
Let \(d\geqslant 4\) be an even integer and let r be an integer with \(\gcd (d,r)=1\). Let \(n>1\) be an integer with \(n\equiv -r\pmod {d}\) and \(n\geqslant \max \{r,d-r\}\). Then
Proof
The \(d=4\) case is just Theorem 6. We now suppose that \(d\geqslant 6\). The proof of this case is intrinsically the same as that of Theorem 6. Here we need to use a complicated transformation formula due to Andrews [1, Theorem 4]:
which is a multiseries generalization of Watson’s \(_8\phi _7\) transformation formula (see [4, Appendix (III.18)]):
It is easy to see that \((d-1)n\equiv r\pmod {d}\). Hence, by (3.2), modulo \(\Phi _n(q)^2\), the left-hand side of (3.4) is congruent to
where we have used the fact \((dn-n-r)/d\leqslant n-1\) by the condition \(n\geqslant d-r\). Furthermore, by the \(q\mapsto q^d\), \(a\mapsto q^r\), \(b_i\mapsto q^r\), \(c_i\mapsto q^r\), for \(1\leqslant i\leqslant m-1\), \(b_m\mapsto q^r\), \(c_m\mapsto q^{r+(d-1)n}\), \(N\mapsto ((d-1)n-r)/d\) case of Andrews’ transformation (3.5), the above summation can be written as
where \(m=(d-2)/2\).
It is easy to see that \((q^{d+r};q^d)_{(dn-n-r)/d}\) contains the factor \(1-q^{(d-1)n}\). Similarly, \((q^{d+n-dn-r};q^d)_{(dn-n-r)/d}\) contains the factor \(1-q^{(2-d)n}\) since \((dn-n-r)/d\geqslant (n+r)/d\) by the conditions \(d\geqslant 6\) and \(n\geqslant r\). Thus, the expression \((q^{d+r},q^{d+n-dn-r};q^d)_{(dn-n-r)/d}\) in the fraction before the multiple summation is divisible by \(\Phi _n(q)^2\).
Note that the non-zero terms in the multiple summation of (3.7) are just those indexed by \((l_1,\ldots ,l_{m-1})\) with \(l_1+\dots +l_{m-1}\leqslant (dn-n-r)/d\leqslant n-1\) because of the factor \((q^{r-(d-1)n};q^d)_{l_1+\dots +l_{m-1}}\) in the numerator. This immediately implies that all the other q-factorials in the denominator of the multiple summation of (3.7) do not contain factors of the form \(1-q^{\alpha n}\) (and are therefore relatively prime to \(\Phi _n(q)\)), except for \((q^{2r};q^d)_{l_1+\dots +l_{m-1}}\). If \(n=d-r\), then it is clear that at least one \((q^{d-r};q^d)_{l_i}\) contains the factor \(1-q^n\) \(l_1+\dots +l_{m-1}>0\). We now assume that \(n\geqslant 2d-r\) and so \(n>\max \{d,r\}\) in this case. Thus, if \((q^{2r};q^d)_{l_1+\dots +l_{dm-1}}\) has a factor \(1-q^{kn}\), then the number k is unique since \(l_1+\dots +l_{m-1}\leqslant n-1\) and \(\gcd (n,d)=1\). Moreover, if such a k exists, then we must have \(k\geqslant a(d-4)/2\) by Lemma 1, where \(n=ad-r\). It follows that \(l_1+\dots +l_{m-1}\geqslant k\) and at least one \(l_i\) is greater than or equal to \(k/(m-1)=2k/(d-4)\geqslant a\) and so \((q^{d-r};q^d)_{l_i}\) contains the factor \(1-q^n\) in this case. This proves that the denominator of the reduced form of the multiple summation of (3.7) is always relatively prime to \(\Phi _n(q)\), which completes the proof of (3.4). \(\square \)
4 Proof of Theorem 4
We shall prove
which is equivalent to
because \((q;q^d)_k\) has the factor \(1-q^{dn-n}\) and is therefore divisible by \(\Phi _{dn-n}(q)\) for \((dn-n-1)/d<k\leqslant n-1\), while \((q^d;q^d)_k\) is coprime with \(\Phi _{dn-n}(q)\) for these k.
Since \(q^{dn-n}\equiv 1\pmod {\Phi _{dn-n}(q)}\), we have
Furthermore, for \(0\leqslant k\leqslant (dn-n-1)/d\), we have
Taking the most left- and right-hand sides of this congruence to the power d, it follows, using \(q^{dn-n}\equiv 1\pmod {\Phi _{dn-n}(q)}\), that for \(0\leqslant k\leqslant (dn-n-1)/d\) there holds
It is easy to check that \((-1)^{dn-n}q^{\frac{(dn-n)(dn-n-3)}{2}}\equiv -1\pmod {\Phi _{dn-n}(q)}\) whenever \(dn-n\) is odd or even. This proves that the k-th and \(((dn-n-1)/d-k)\)-th terms of the left-hand side of (4.1) cancel each other modulo \(\Phi _{dn-n}(q)\) and therefore (4.1) holds. Equivalently, (1.9) holds modulo \(\Phi _{dn-n}(q)\). Moreover, by (1.3) and (1.7), one sees that (1.9) also holds modulo \(\Phi _{n}(q)^2\) for \(d\geqslant 4\). The proof then follows from the fact \(\Phi _{n}(q)^2\) and \(\Phi _{dn-n}(q)\) are relatively prime polynomials.
5 Concluding Remarks and Open Problems
Having establishing (q-)congruences for truncated (basic) hypergeometric series, one can wonder what their ‘archimedian’ analogues are, i.e. whether the infinite sums from \(k=0\) to \(\infty \) have known evaluations, just as (1.1) is such an archimedian analogue for (1.2).
In many cases of our results, especially when dealing with arbitrary exponents d, we are not aware of explicit evaluations in the archimedian case. However for small d we can easily find corresponding evaluations by suitably specializing known summations for (basic) hypergeometric series, such as Rogers’ nonterminating \(_6\phi _5\) summation (cf. [4, Appendix (II.20)]),
where \(|aq/bcd|<1\) for convergence.
Indeed, by replacing q by \(q^4\), and letting \(a=b=c=d=q^r\), we obtain from (5.1), after multiplying both sides by [r], the following identity:
valid for \(r<2\). In the last equation we have rewritten the product using the q-Gamma function
defined for \(0<q<1\) (cf. [4, Section 1.10]). For \(r\le 1\) being an odd integer, we have thus just established an archimedian analogue of Theorem 6.
Now, since \(\lim _{q\rightarrow 1^-}\Gamma _q(x)=\Gamma (x)\), we obtain that in the \(q\rightarrow 1^-\) limit (5.2) becomes
where we have used the well-known reflection formula for the Gamma function. It is now immediate that for \(r=1\) we get (1.1) while for \(r=-1\) we get the similarly attractive evaluation
Many other identities involving \(\pi \) can similarly be obtained. At this place, in passing, we would like to point out that by replacing q by \(q^2\) in (5.1) and putting \(a=q^2\), \(b=c=d=q\) one readily obtains
which, as recently noted by Sun [29, Equation (1.3)] (who derived this identity by completely different means) is easily seen to be a q-analogue of Euler’s identity
used to prove his famous evaluation \(\zeta (2)=\pi ^2/6\). See [34] for recent new samples of expansions involving \(\pi \), obtained by suitably specializing q-series identities.
We turn to discussing whether some of the results obtained in the paper can be further strengthened. We have proved Theorems 2 and 3 by establishing a common generalization of them, namely Theorem 7. However, we are unable to prove a similar common generalization of (1.3) and (1.4). Numerical calculation for \(q=1\) suggests that there are no congruences for the left-hand side of (3.4) with odd \(d\geqslant 5\) that would hold in general (in particular, the case \(d=5\) and \(r=3\) appears to be such a counterexample).
Nevertheless, we would like to give the following result being similar to Theorem 7.
Theorem 8
Let \(d\geqslant 5\) be an odd integer and let r be an even integer with \(\gcd (d,r)=1\). Let \(n>1\) be an odd integer with \(n\equiv -r\pmod {d}\) and \(n\geqslant \max \{r,d-r\}\). Then
The proof of Theorem 8 is similar to that of Theorem 7. In this case we need to apply Andrews’ transformation (3.5) with \(m=(d-1)/2\), \(q\rightarrow q^{2d}\), \(a=q^{2r}\), \(b_1=q^{d+r}\), \(b_2=\cdots =b_{m}=q^{2r}\), \(c_1=\cdots =c_{m-1}=q^{2r}\), \(c_m={q^{2r+2(d-1)n}}\) and \(N=((d-1)n-r)/d\). The details of the proof are omitted here.
We can also prove the following refinement of (1.4) and (1.8). However, we are unable to deduce any interesting conclusion similar to (1.10) from this result by letting \(q\rightarrow 1\).
Theorem 9
Let \(d\geqslant 3\) be an integer and let \(n>1\) be an integer with \(n\equiv 1\pmod {d}\). Then
We would like to propose the following three conjectures which are similar to Corollary 5.
Conjecture 1
Let r be a positive integer and let p be a prime with \(p>2r+1\). Then
Conjecture 2
Let \(p>3\) be a prime. Then
More generally, if \(p>3\) is a prime and r a positive integer, then
Conjecture 3
Let \(p>3\) be a prime. Then
More generally, if \(p>3\) is a prime and r a positive integer, then
Conjectures 2 and 3 are quite remarkable as they concern supercongruences modulo high prime powers. We now give two partial q-analogues of (5.7) as follows.
Conjecture 4
Let n be an integer greater than 1. Then
Conjecture 5
Let p be a prime. Then
It is clear that the \(q\rightarrow 1\) case of (5.11) reduces to (5.7) modulo \(p^6\). We would like to emphasize that (5.11), while still conjectural, appears to be the first example of a basic hypergeometric supercongruence in the existing literature, that in the limit \(q\rightarrow 1\) reduces to a supercongruence (for a hypergeometric series being truncated after a number of terms that is linear in p) modulo \(p^6\).
Finally, we give a partial and a complete q-analogue of (5.9) as follows.
Conjecture 6
Let n be an integer greater than 1. Then
Conjecture 7
Let p be a prime. Then
It is clear that the \(q\rightarrow 1\) case of (5.12) reduces to the modulo \(p^5\) congruence in (5.9).
References
Andrews, G.E.: Problems and prospects for basic hypergeometric functions, In: Askey, R.A. (ed.) Theory and Application for Basic Hypergeometric Functions, Mathematics Research Center, University of Wisconsin, Publ. No. 35, pp. 191–224. Academic Press, New York (1975)
Berndt, B.C., Rankin, R.A.: Ramanujan, Letters and Commentary, History of Mathematics, vol. 9. American Mathematical Society, Providence (1995)
Calkin, N.J.: Factors of sums of powers of binomial coefficients. Acta Arith. 86, 17–26 (1998)
Gasper, G., Rahman, M.: Basic Hypergeometric Series. Encyclopedia of Mathematics and Its Applications, vol. 96, 2nd edn. Cambridge University Press, Cambridge (2004)
Gao, Q.: Proofs of some conjectures on congruences, Master dissertation, Nanjing University (2011)
Gorodetsky, O.: \(q\)-Congruences, with applications to supercongruences and the cyclic sieving phenomenon. Int. J. Number Theory 15, 1919–1968 (2019)
Guo, V.J.W.: A \(q\)-analogue of a Ramanujan-type supercongruence involving central binomial coefficients. J. Math. Anal. Appl. 458, 590–600 (2018)
Guo, V.J.W.: A \(q\)-analogue of the (I.2) supercongruence of Van Hamme. Int. J. Number Theory 15, 29–36 (2019)
Guo, V.J.W.: Common \(q\)-analogues of some different supercongruences. Results Math. 74, 131 (2019)
Guo, V.J.W.: A \(q\)-analogue of a curious supercongruence of Guillera and Zudilin. J. Differ. Equ. Appl. 25, 342–350 (2019)
Guo, V.J.W.: Some \(q\)-congruences with parameters. Acta Arith. 190, 381–393 (2019)
Guo, V.J.W., Jouhet, F., Zeng, J.: Factors of alternating sums of products of binomial and \(q\)-binomial coefficients. Acta Arith. 127, 17–31 (2007)
Guo, V.J.W., Liu, J.-C.: \(q\)-Analogues of two Ramanujan-type formulas for \(1/\pi \). J. Differ. Equ. Appl. 24, 1368–1373 (2018)
Guo, V.J.W., Pan, H., Zhang, Y.: The Rodriguez–Villegas type congruences for truncated \(q\)-hypergeometric functions. J. Number Theory 174, 358–368 (2017)
Guo, V.J.W., Schlosser, M.J.: Some new \(q\)-congruences for truncated basic hypergeometric series. Symmetry 11(2), 268 (2019)
Guo, V.J.W., Schlosser, M.J.: Proof of a basic hypergeometric supercongruence modulo the fifth power of a cyclotomic polynomial. J. Differ. Equ. Appl. 25, 921–929 (2019)
Guo, V.J.W., Schlosser, M.J.: Some \(q\)-supercongruences from transformation formulas for basic hypergeometric series, preprint (2018). arXiv:1812.06324
Guo, V.J.W., Zudilin, W.: A \(q\)-microscope for supercongruences. Adv. Math. 346, 329–358 (2019)
Hardy, G.H.: A chapter from Ramanujan’s note-book. Proc. Camb. Philos. Soc. 21(2), 492–503 (1923)
Long, L.: Hypergeometric evaluation identities and supercongruences. Pac. J. Math. 249(2), 405–418 (2011)
McCarthy, D., Osburn, R.: A \(p\)-adic analogue of a formula of Ramanujan. Arch. Math. (Basel) 91(6), 492–504 (2008)
Morita, Y.: A \(p\)-adic supercongruence of the \(\Gamma \) function. J. Fac. Sci. Univ. Tokyo 22, 255–266 (1975)
Mortenson, E.: A \(p\)-adic supercongruence conjecture of van Hamme. Proc. Am. Math. Soc. 136(12), 4321–4328 (2008)
Ni, H.-X., Pan, H.: On a conjectured \(q\)-congruence of Guo and Zeng. Int. J. Number Theory 14, 1699–1707 (2018)
Osburn, R., Zudilin, W.: On the (K.2) supercongruence of Van Hamme. J. Math. Anal. Appl. 433, 706–711 (2016)
Ramanujan, S.: Modular equations and approximations to \(\pi \). Q. J. Math. Oxf. Ser. 2(45), 350–372 (1914)
Straub, A.: Supercongruences for polynomial analogs of the Apéry numbers. Proc. Am. Math. Soc. 147, 1023–1036 (2019)
Sun, Z.-W.: Supercongruences motivated by \(e\). J. Number Theory 147, 326–341 (2015)
Sun, Z.-W.: Two \(q\)-analogues of Euler’s formula \(\zeta (2)=\pi ^2/6\). Colloq. Math. 158, 313–320 (2019)
Swisher, H.: On the supercongruence conjectures of van Hamme. Res. Math. Sci. 2, 18 (2015)
Tauraso, R.: Some \(q\)-analogs of congruences for central binomial sums. Colloq. Math. 133, 133–143 (2013)
Van Hamme, L.: Some conjectures concerning partial sums of generalized hypergeometric series. \(p\)-Adic Functional Analysis (Nijmegen 1996), Lecture Notes in Pure and Applied Mathematics, vol. 192, pp. 223–236. Dekker, New York (1997)
Wang, C.: On some conjectural hypergeometric congruences. Colloq. Math. accepted
Wei, C.: \(q\)-Analogues of several \(\pi \)-formulas. Proc. Am. Math. Soc. to appear. https://doi.org/10.1090/proc/14664
Zudilin, W.: Ramanujan-type supercongruences. J. Number Theory 129(8), 1848–1857 (2009)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author was partially supported by the National Natural Science Foundation of China (Grant 11771175).The second author was partially supported by FWF Austrian Science Fund Grant P 32305.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Guo, V.J.W., Schlosser, M.J. Some New q-Congruences for Truncated Basic Hypergeometric Series: Even Powers. Results Math 75, 1 (2020). https://doi.org/10.1007/s00025-019-1126-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-019-1126-4
Keywords
- Basic hypergeometric series
- supercongruences
- q-congruences
- cyclotomic polynomial
- Andrews’ transformation