Abstract
Two q-supercongruences of truncated basic hypergeometric series containing two free parameters are established by employing specific identities for basic hypergeometric series. The results partly extend two q-supercongruences that were earlier conjectured by the same authors and involve q-supercongruences modulo the square and the cube of a cyclotomic polynomial. One of the newly proved q-supercongruences is even conjectured to hold modulo the fourth power of a cyclotomic polynomial.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 1914, Ramanujan [25] listed a number of representations of \(1/\pi \), including
where \((a)_n=a(a+1)\cdots (a+n-1)\) denotes the Pochhammer symbol. Ramanujan’s formulas gained unprecedented popularity in the 1980’s when they were discovered to provide fast algorithms for calculating decimal digits of \(\pi \). See, for instance, the monograph [2] by the Borwein brothers.
In 1997, Van Hamme [29] conjectured 13 intriguing p-adic analogues of Ramanujan-type formulas, such as
where \(p>3\) is a prime. Van Hamme himself supplied proofs for three of them. Supercongruences like (1.2) are called Ramanujan-type supercongruences (see [33]). The proof of the supercongruence (1.2) was first given by Long [22]. As of today, all of Van Hamme’s 13 supercongruences have been confirmed by various techniques (see [24, 28]).
In recent years, q-congruences and q-supercongruences have been established by different authors (see, for example, [5,6,7,8,9,10,11,12,13, 15,16,17,18,19,20,21, 23, 27, 30,31,32, 34]). In particular, the present authors [9] proved that, for any odd integer \(d\geqslant 5\),
Here and in what follows, we adopt the standard q-notation: \([n]=1+q+\cdots +q^{n-1}\) is the q-integer; \((a;q)_n=(1-a)(1-aq)\cdots (1-aq^{n-1})\) is the q-shifted factorial, with the compact notation \((a_1,a_2,\ldots ,a_m;q)_n=(a_1;q)_n (a_2;q)_n\cdots (a_m;q)_n\) used for their products; and \(\Phi _n(q)\) denotes the n-th cyclotomic polynomial in q, which may be defined as
where \(\zeta \) is an n-th primitive root of unity.
We should point out that the q-congruence (1.3) does not hold for \(d=3\). The present authors [9] also established the following companion of (1.3): for any odd integer \(d\geqslant 3\) and integer \(n>1\),
They also proposed the following conjectures [9, Conjectures 1 and 2], which are generalizations of (1.3) and (1.4).
Conjecture 1
Let \(d\geqslant 5\) be an odd integer. Then
Conjecture 2
Let \(d\geqslant 5\) be an odd integer and let \(n>1\). Then
q-Supercongruences such as those above (modulo a third and even fourth power of a cyclotomic polynomial) are rather special. In fact, concrete results for truncated basic hypergeometric sums being congruent to 0 modulo a high power of a cyclotomic polynomial are very rare. See [8, 10,11,12, 14, 18] for recent papers featuring such results. The main goal of this paper is to add two complete two-parameter families of q-supercongruences to the list of such q-supercongruences (see Theorems 1 and 2).
We shall prove that the respective first cases of Conjectures 1 and 2 are true by establishing the following more general result.
Theorem 1
Let d and r be odd integers satisfying \(d\geqslant 3\), \(r\leqslant d-4\) (in particular, r may be negative) and \(\gcd (d,r)=1\). Let n be an integer such that \(n\geqslant d-r\) and \(n\equiv -r\pmod {d}\). Then
where \(M=(dn-n-r)/d\) or \(n-1\).
We shall also prove the following q-supercongruences.
Theorem 2
Let d and r be odd integers satisfying \(d\geqslant 3\), \(r\leqslant d-4\) (in particular, r may be negative) and \(\gcd (d,r)=1\). Let n be an integer such that \(n\geqslant (d-r)/2\) and \(n\equiv -r/2\pmod {d}\). Then
where \(M=(dn-2n-r)/d\) or \(n-1\).
The following generalization of the respective second cases of Conjectures 1 and 2 should be true.
Conjecture 3
The q-supercongruence (1.6) holds modulo \([n]\Phi _{n}(q)^3\) for \(d\geqslant 5\).
We shall prove Theorems 1 and 2 in Sections 2 and 3, respectively, by making use of Andrews’ multiseries extension (2.2) of the Watson transformation [1, Theorem 4], along with Gasper’s very-well-poised Karlsson–Minton type summation [3, Eq. (5.13)]. It should be pointed out that Andrews’ transformation plays an important part in combinatorics and number theory (see [7] and the introduction of [12] for more such examples).
2 Proof of Theorem 1
We need a simple q-congruence modulo \(\Phi _n(q)^2\), which was already used in [10, 12].
Lemma 1
Let \(\alpha \), r be integers and n a positive integer. Then
We will further utilize a powerful transformation formula due to Andrews [1, Theorem 4], which may be stated as follows:
This transformation is a multiseries generalization of Watson’s \(_8\phi _7\) transformation formula (listed in [4, Appendix (III.18)]; cf. [4, Chapter 1] for the notation of a basic hypergeometric \(_r\phi _s\) series we are using),
to which it reduces for \(m=2\).
Next, we require a very-well-poised Karlsson–Minton type summation due to Gasper [3, Eq. (5.13)] (see also [4, Ex. 2.33 (i)]):
where \(n_1,\dots ,n_m\) are non-negative integers, \(\nu =n_1+\cdots +n_m\), and the convergence condition \(|q^{1-\nu }/d|<1\) is required if the series does not terminate. We point out that an elliptic extension of the terminating \(d=q^{-\nu }\) case of (2.4) can be found in [26, Eq. (1.7)].
In particular, we note that for \(d=bq\) the right-hand side of (2.4) vanishes. Putting in addition \(b=q^{-N}\) we get the following terminating summation formula:
which is valid for \(N>\nu =n_1+\cdots +n_m\).
A suitable combination of (2.2) and (2.5) yields the following multi-series summation formula, derived in [12, Lemma 2] (whose proof we nevertheless give here, to make the paper self-contained):
Lemma 2
Let \(m\geqslant 2\). Let q, a and \(e_1,\dots ,e_{m+1}\) be arbitrary parameters with \(e_{m+1}=e_1\), and let \(n_1,\dots ,n_m\) and N be non-negative integers such that \(N>n_1+\cdots +n_m\). Then
Proof
By specializing the parameters in the multi-sum transformation (2.2) by \(b_i\mapsto aq^{n_i+1}/e_i\), \(c_i\mapsto e_{i+1}\), for \(1\le i\le m\) (where \(e_{m+1}=e_1\)), and dividing both sides of the identity by the prefactor of the multi-sum, we obtain that the series on the right-hand side of (2.6) equals
with \(\nu =n_1+\cdots +n_m\). Now the last sum vanishes by the special case of Gasper’s summation stated in (2.5). \(\square \)
Using [11, Lemma 2.1], we can prove the following result which is similar to [11, Lemma 2.2].
Lemma 3
Let d, n be positive integers with \(\gcd (d,n)=1\). Let r be an integer. Then
where \(0\leqslant m\leqslant n-1\) and \(dm\equiv -r\pmod {n}\).
We have collected enough ingredients which enables us to prove Theorem 1.
Proof of Theorem 1
The q-congruence (1.5) modulo [n] follows from Lemma 3 immediately. In what follows, we shall prove the modulus \(\Phi _n(q)^3\) case of (1.5).
For \(M=(dn-n-r)/d\), the left-hand side of (1.5) can be written as the following multiple of a terminating \(_{d+5}\phi _{d+4}\) series:
Here, the \(q^r,\ldots ,q^r\) in the numerator means \(d-1\) instances of \(q^r\), and similarly, the \(q^d,\ldots ,q^d\) in the denominator means \(d-1\) instances of \(q^d\). By Andrews’ transformation (2.2), we may rewrite the above expression as
where \(m=(d+1)/2\).
It is easy to see that the q-shifted factorial \((q^{d+r};q^d)_{(dn-n-r)/d}\) contains the factor \(1-q^{(d-1)n}\) which is a multiple of \(1-q^n\). Moreover, since none of \((r-d)/2\), \((d+r)/2\) and \((d+r)/2+dn-n-r-d\) are multiples of n, the q-shifted factorials
have the same number (0 or 1) of factors of the form \(1-q^{\alpha n}\) (\(\alpha \in \mathbb {Z}\)). Besides, the q-shifted factorial \((q^{r-(d-1)n};q^d)_{(dn-n-r)/d}\) is relatively prime to \(\Phi _n(q)\). Thus we conclude that the fraction before the multi-sum in (2.7) is congruent to 0 modulo \(\Phi _n(q)\).
Note that the non-zero terms in the multi-summation in (2.7) are those indexed by \((j_1,\ldots ,j_{m-1})\) that satisfy the inequality \(j_1+\dots +j_{m-1}\leqslant (dn-n-r)/d\) because the factor \((q^{r-(d-1)n};q^d)_{j_1+\dots +j_{m-1}}\) appears in the numerator. None of the factors appearing in the denominator of the multi-sum of (2.7) contain a factor of the form \(1-q^{\alpha n}\) (and are therefore relatively prime to \(\Phi _n(q)\)), except for \((q^{(3d+r)/2};q^d)_{j_1+\dots +j_{m-1}}\) when
Since
the denominator of the above fraction contains a factor of the form \(1-q^{\alpha n}\) if and only if \(j_1+\dots +j_{m-1}=(dn-d-n-r)/(2d)\) (in this case, the denominator contains the factor \(1-q^{(d-1)n/2}\)). Writing \(n=ad-r\) (with \(a\geqslant 1\)), we have \(j_1+\dots +j_{m-1}=a(d-1)/2-(r+1)/2\). Noticing that \(m-1=(d-1)/2\) and \(r\leqslant d-4\), there must exist an i such that \(j_i\geqslant a\). Then \((q^{d-r};q^d)_{j_i}\) has the factor \(1-q^{d-r+d(a-1)}=1-q^n\) which is divisible by \(\Phi _n(q)\). Hence the denominator of the reduced form of the multi-sum in (2.7) is relatively prime to \(\Phi _n(q)\). It remains to show that the multi-sum in (2.7), without the previous fraction, is congruent to 0 modulo \(\Phi _n(q)^2\).
By repeated applications of Lemma 1, the multi-sum in (2.7) (without the previous fraction), modulo \(\Phi _n(q)^2\), is congruent to
where \(m=(d+1)/2\). However, this sum vanishes in light of the \(m=(d+1)/2\), \(q\mapsto q^d\), \(a= q^r\), \(e_1=q^{(d+r)/2}\), \(e_m=q^{r-(2m-2)n}\), \(e_i= q^{r-(m+i-2)n}\), \(n_1=(dn-d+n+r)/(2d)\), \(n_m=0\), \(n_i= (n+r-d)/d\), \(2\leqslant i\leqslant m-1\), \(N=(dn-n-r)/d\) case of Lemma 2. (It is easy to verify that \(N-n_1-\cdots -n_m=d(d-r-2)/2>0\).) This proves that (1.5) holds modulo \(\Phi _n(q)^3\) for \(M=(dn-n-r)/d\).
Since \((q^r;q^d)_k/(q^d;q^d)_k\) is congruent to 0 modulo \(\Phi _n(q)\) for \((dn-n-r)/d<k\leqslant n-1\), we conclude that (1.5) also holds modulo \(\Phi _n(q)^3\) for \(M=n-1\). \(\square \)
3 Proof of Theorem 2
We first give a simple lemma on a property of certain arithmetic progressions.
Lemma 4
Let d and r be odd integers satisfying \(d\geqslant 3\), \(r\leqslant d-4\) and \(\gcd (d,r)=1\). Let n be an integer such that \(n\geqslant (d-r)/2\) and \(n\equiv -r/2\pmod {d}\). Then there are no multiples of n in the arithmetic progression
Proof
By the condition \(\gcd (d,r)=1\), we have \(\gcd ((d+r)/2,(d-r)/2)=1\). Suppose that
for some integers a and b with \(a\geqslant 0\). Then \((d+r)/2+ad> (r-d)/2\geqslant -n\) and so \(b\geqslant 0\). Since \(n\equiv (d-r)/2\pmod {d}\), we deduce from (3.2) that \(b\equiv -1\pmod {d}\) and thereby \(b\geqslant d-1\). But we have
thus implying that no number in the arithmetic progression (3.1) is a multiple of n. \(\square \)
Proof of Theorem 2
As before, the q-congruence (1.6) modulo [n] can be deduced from Lemma 3. It remains to prove the modulus \(\Phi _n(q)^2\) case of (1.6).
For \(M=(dn-2n-r)/d\), the left-hand side of (1.6) can be written as the following multiple of a terminating \(_{d+5}\phi _{d+4}\) series (this time we changed the position of \(q^{(d+r)/2}\)):
Here, the \(q^r,\ldots ,q^r\) in the numerator stands for \(d-1\) instances of \(q^r\), and similarly, the \(q^d,\ldots ,q^d\) in the denominator stands for \(d-1\) instances of \(q^d\). By Andrews’ transformation (2.2), we may rewrite the above expression as
where \(m=(d+1)/2\).
It is easily seen that the q-shifted factorial \((q^{d+r};q^d)_{(dn-2n-r)/d}\) has the factor \(1-q^{(d-2)n}\) which is a multiple of \(1-q^n\). Clearly, the q-shifted factorial \((q^{-(d-2)n};q^d)_{(dn-2n-r)/d}\) has the factor \(1-q^{-(d-1)n}\) (again being a multiple of \(1-q^n\)) since \((dn-2n-r)/d\geqslant 1\) holds according to the conditions \(d\geqslant 3\), \(r\leqslant d-4\), and \(n\geqslant (d-r)/2\). This indicates that the q-factorial \((q^{d+r},q^{-(d-2)n};q^d)_{(dn-2n-r)/d}\) in the numerator of the fraction before the multi-sum in (3.3) is divisible by \(\Phi _n(q)^2\). Further, it is not difficult to see that the q-factorial \((q^d,q^{r-(d-2)n};q^d)_{(dn-2n-r)/d}\) in the denominator is relatively prime to \(\Phi _n(q)\).
Like the proof of Theorem 1, the non-zero terms in the multi-sum in (3.3) are those indexed by \((j_1,\ldots ,j_{m-1})\) satisfying the inequality \(j_1+\dots +j_{m-1}\leqslant (dn-2n-r)/d\) because of the appearance of the factor \((q^{r-(d-2)n};q^d)_{j_1+\dots +j_{m-1}}\) in the numerator. By Lemma 4, the q-shifted factorial \((q^{(d+r)/2},q^d)_{j_1}\) in the denominator does not contain a factor of the form \(1-q^{\alpha n}\) for \(j_1\leqslant (dn-2n-r)/d\) (and are therefore relatively prime to \(\Phi _n(q)\)). In addition, none of the other factors appearing in the denominator of the multi-sum of (3.3) contain a factor of the form \(1-q^{\alpha n}\), except for \((q^{d+r};q^d)_{j_1+\dots +j_{m-1}}\) when \(j_1+\dots +j_{m-1}=(dn-2n-r)/d\) (in this case the denominator contains the factor \(1-q^{(d-2)n}\)).
Letting \(n=ad+(d-r)/2\) (with \(a\geqslant 0\)), we get \(j_1+\dots +j_{m-1}=a(d-2)+(d-r)/2-1\). If \(j_1\geqslant a+1\), then \((q^{(d-r)/2};q^d)_{j_1}\) contains the factor \(1-q^{(d-r)/2+ad}=1-q^n\). If \(j_1\leqslant a\), then \(j_2+\dots +j_{m-1}\geqslant a(d-3)+(d-r)/2-1\). Since \(m-2=(d-3)/2\), \(d\geqslant 3\), and \(r\leqslant d-4\), there must be an i with \(2\leqslant i\leqslant m-1\) and \(j_i\geqslant 2a+1\). Then \((q^{d-r};q^d)_{j_i}\) contains the factor \(1-q^{d-r+2ad}=1-q^{2n}\) which is a multiple of \(\Phi _n(q)\). Therefore, the denominator of the reduced form of the multi-sum in (3.3) is relatively prime to \(\Phi _n(q)\). This proves that (3.3) is congruent to 0 modulo \(\Phi _n(q)^2\).
For \(M=n-1\), since \((q^r;q^d)_k/(q^d;q^d)_k\) is congruent to 0 modulo \(\Phi _n(q)\) for \((dn-2n-r)/d<k\leqslant n-1\), we conclude that (1.6) is also true modulo \(\Phi _n(q)^2\) in this case. \(\square \)
References
Andrews, G.E.: Problems and prospects for basic hypergeometric functions. In: Askey, R.A. (ed.) Theory and Application for Basic Hypergeometric Functions, Math. Res. Center, Univ. Wisconsin, Publ. No. 35, pp. 191–224. Academic Press, New York (1975)
Borwein, J.M., Borwein, P.B.: Pi and the AGM. Canadian Mathematical Society Series of Monographs and Advanced Texts, vol. 4. Wiley, New York (1998)
Gasper, G.: Elementary derivations of summation and transformation formulas for \(q\)-series. In: Ismail, M.E.H., Masson, D.R., Rahman, M. (eds.) Special Functions, \(q\)-Series and Related Topics, vol. 14, pp. 55–70. American Mathematical Society, Providence (1997). Fields Inst. Commun.
Gasper, G., Rahman, M.: Basic Hypergeometric Series, second edition, Encyclopedia of Mathematics and Its Applications 96. Cambridge University Press, Cambridge (2004)
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.: Proof of some \(q\)-supercongruences modulo the fourth power of a cyclotomic polynomial. Results Math. 75, 77 (2020)
Guo, V.J.W.: Proof of a generalization of the (C.2) supercongruence of Van Hamme. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 115, 45 (2021)
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(7), 921–929 (2019)
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.: Some new \(q\)-congruences for truncated basic hypergeometric series: even powers. Results Math. 75, 1 (2020)
Guo, V.J.W., Schlosser, M.J.: A new family of \(q\)-supercongruences modulo the fourth power of a cyclotomic polynomial. Results Math. 75, 155 (2020)
Guo, V.J.W., Schlosser, M.J.: A family of \(q\)-hypergeometric congruences modulo the fourth power of a cyclotomic polynomial. Israel J. Math. 240, 821–835 (2020)
Guo, V.J.W., Schlosser, M.J.: Some \(q\)-supercongruences from transformation formulas for basic hypergeometric series. Constr. Approx. 53, 155–200 (2021)
Guo, V.J.W., Wang, S.-D.: Some congruences involving fourth powers of central \(q\)-binomial coefficients. Proc. R. Soc. Edinburgh Sect. A 150(3), 1127–1138 (2020)
Guo, V.J.W., Zudilin, W.: A \(q\)-microscope for supercongruences. Adv. Math. 346, 329–358 (2019)
Guo, V.J.W., Zudilin, W.: Dwork-type supercongruences through a creative \(q\)-microscope. J. Combin. Theory Ser. A 178, 105362 (2021)
Li, L.: Some \(q\)-supercongruences for truncated forms of squares of basic hypergeometric series. J. Differ. Equ. Appl. 27, 16–25 (2021)
Li, L., Wang, S.-D.: Proof of a \(q\)-supercongruence conjectured by Guo and Schlosser. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 114, 190 (2020)
Liu, J.-C.: On a congruence involving \(q\)-Catalan numbers. C. R. Math. Acad. Sci. Paris 358, 211–215 (2020)
Liu, J.-C., Huang, Z.-Y.: A truncated identity of Euler and related \(q\)-congruences. Bull. Aust. Math. Soc. 102, 353–359 (2020)
Liu, J.-C., Petrov, F.: Congruences on sums of \(q\)-binomial coefficients. Adv. Appl. Math. 116, 102003 (2020)
Long, L.: Hypergeometric evaluation identities and supercongruences. Pacific J. Math. 249, 405–418 (2011)
Ni, H.-X., Pan, H.: Divisibility of some binomial sums. Acta Arith. 194, 367–381 (2020)
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 \). Quart. J. Math. Oxford Ser. (2) 45, 350–372 (1914)
Rosengren, H., Schlosser, M.J.: On Warnaar’s elliptic matrix inversion and Karlsson-Minton-type elliptic hypergeometric series. J. Comput. Appl. Math. 178, 377–391 (2005)
Straub, A.: Supercongruences for polynomial analogs of the Apéry numbers. Proc. Am. Math. Soc. 147, 1023–1036 (2019)
Swisher, H.: On the supercongruence conjectures of van Hamme. Res. Math. Sci. 2, 18 (2015)
Van Hamme, L.: Some conjectures concerning partial sums of generalized hypergeometric series. \(p\)-Adic Functional Analysis, (Nijmegen, 1996), Lecture Notes in Pure and Appl. Math., vol. 192, pp. 223–236. Dekker, New York (1997)
Wang, X., Yu, M.: Some new \(q\)-congruences on double sums. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 115, 9 (2021)
Wang, X., Yue, M.: Some \(q\)-supercongruences from Watson’s \(_8\phi _7\) transformation formula. Results Math. 75, 71 (2020)
Wang, X., Yue, M.: A \(q\)-analogue of a Dwork-type supercongruence. Bull. Aust. Math. Soc. 103, 303–310 (2021)
Zudilin, W.: Ramanujan-type supercongruences. J. Number Theory 129(8), 1848–1857 (2009)
Zudilin, W.: Congruences for \(q\)-binomial coefficients. Ann. Combin. 23, 1123–1135 (2019)
Funding
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.
V. J. W. Guo: The first author was partially supported by the National Natural Science Foundation of China (Grant 11771175). M. J. Schlosser: The second author was partially supported by FWF Austrian Science Fund Grant P32305.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Guo, V.J.W., Schlosser, M.J. Some q-supercongruences modulo the square and cube of a cyclotomic polynomial. RACSAM 115, 132 (2021). https://doi.org/10.1007/s13398-021-01070-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-021-01070-y
Keywords
- Basic hypergeometric series
- Supercongruences
- q-congruences
- Cyclotomic polynomial
- Andrews’ transformation
- Gasper’s summation