Skip to main content
Log in

Abstract

We prove some q-supercongruences for certain truncated basic hypergeometric series by making use of Andrews’ multiseries generalization of the Watson transformation, the creative microscoping method, and the Chinese remainder theorem for coprime polynomials. More precisely, we confirm Conjectures 5.2 and 5.3 in Guo (Adv Appl Math 116:Art. 102016, 2020). As a conclusion, we also prove Conjecture 4.3 in Guo (Integral Transforms Spec Funct 28:888–899, 2017) which may be deemed a generalization of the (C.2) supercongruence of Van Hamme.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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, Publications No. 35, pp. 191–224. Academic Press, New York (1975)

    Google Scholar 

  2. Bauer, G.: Von den coefficienten der Reihen von Kugelfunctionen einer variabeln. J. Reine Angew. Math. 56, 101–121 (1859)

    MathSciNet  Google Scholar 

  3. 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)

    Google Scholar 

  4. Berndt, B.: Ramanujan’s Notebooks. Part IV. Springer, New York (1994)

    Book  Google Scholar 

  5. Gasper, G., Rahman, M.: Basic Hypergeometric Series, 2nd Edition, Encyclopedia of Mathematics and Its Applications, vol. 96. Cambridge University Press, Cambridge (2004)

    Google Scholar 

  6. Gorodetsky, O.: \(q\)-Congruences, with applications to supercongruences and the cyclic sieving phenomenon. Int. J. Numb. Theory 15, 1919–1968 (2019)

    Article  MathSciNet  Google Scholar 

  7. Gu, CY., Guo, V.J.W. Two \(q\)-congruences from Carlitz’s formula. Period. Math. Hung. (2020). https://doi.org/10.1007/s10998-020-00341-2

  8. Guo, V.J.W.: A \(q\)-analogue of the (A.2) supercongruence of Van Hamme for primes \(p\equiv 1~(\text{ mod }\,4)\). Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 114, Art. 123 (2020)

    Article  Google Scholar 

  9. Guo, V.J.W.: Some generalizations of a supercongruence of van Hamme. Integral Transforms Spec. Funct. 28, 888–899 (2017)

    Article  MathSciNet  Google Scholar 

  10. Guo, V.J.W.: Common \(q\)-analogues of some different supercongruences. Results Math. 74, Art 131 (2019)

    Article  MathSciNet  Google Scholar 

  11. Guo, V.J.W.: Proof of some \(q\)-supercongruences modulo the fourth power of a cyclotomic polynomial. Results Math. 75, Art. 77 (2020)

    Article  MathSciNet  Google Scholar 

  12. Guo, V.J.W.: Proof of a generalization of the (B.2) supercongruence of Van Hamme through a \(q\)-microscope. Adv. Appl. Math. 116, Art. 102016 (2020)

    Article  MathSciNet  Google Scholar 

  13. Guo, V.J.W.: \(q\)-Supercongruences modulo the fourth power of a cyclotomic polynomial via creative microscoping. Adv. Appl. Math. 120, Art. 102078 (2020)

    Article  MathSciNet  Google Scholar 

  14. Guo, V.J.W., Liu, J.-C.: Some congruences related to a congruence of Van Hamme. Integral Transforms Spec. Funct. 31, 221–231 (2020)

    Article  MathSciNet  Google Scholar 

  15. Guo, V.J.W., Schlosser, M.J.: Some \(q\)-supercongruences from transformation formulas for basic hypergeometric series. Constr. Approx. (in press). https://doi.org/10.1007/s00365-020-09524-z

  16. 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). https://doi.org/10.1007/s11856-020-2081-1

  17. Guo, V.J.W., Wang, S.-D.: Some congruences involving fourth powers of central \(q\)-binomial coefficients. Proc. R. Soc. Edinburgh Sect. A 150, 1127–1138 (2020)

    Article  MathSciNet  Google Scholar 

  18. Guo, V.J.W., Zudilin, W.: A \(q\)-microscope for supercongruences. Adv. Math. 346, 329–358 (2019)

    Article  MathSciNet  Google Scholar 

  19. Guo, V.J.W., Zudilin, W.: Dwork-type supercongruences through a creative \(q\)-microscope. J. Combin. Theory Ser. A 178, Art. 105362 (2021)

    Article  MathSciNet  Google Scholar 

  20. Hou, Q.-H., Mu, Y.-P., Zeilberger, D.: Polynomial reduction and supercongruences. J. Symbol. Comput. 103, 127–140 (2021)

    Article  MathSciNet  Google Scholar 

  21. 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, Art. 190 (2020)

    Article  MathSciNet  Google Scholar 

  22. Liu, J.-C.: Semi-automated proof of supercongruences on partial sums of hypergeometric series. J. Symbol. Comput. 93, 221–229 (2019)

    Article  MathSciNet  Google Scholar 

  23. Liu, J.-C., Petrov, F.: Congruences on sums of \(q\)-binomial coefficients. Adv. Appl. Math. 116, Art. 102003 (2020)

    Article  MathSciNet  Google Scholar 

  24. Long, L.: Hypergeometric evaluation identities and supercongruences. Pac. J. Math. 249, 405–418 (2011)

    Article  MathSciNet  Google Scholar 

  25. Mortenson, E.: A \(p\)-adic supercongruence conjecture of van Hamme. Proc. Am. Math. Soc. 136, 4321–4328 (2008)

    Article  MathSciNet  Google Scholar 

  26. Ni, H.-X., Pan, H.: Some symmetric \(q\)-congruences modulo the square of a cyclotomic polynomial. J. Math. Anal. Appl. 481, Art. 123372 (2020)

    Article  MathSciNet  Google Scholar 

  27. Straub, A.: Supercongruences for polynomial analogs of the Apéry numbers. Proc. Am. Math. Soc. 147, 1023–1036 (2019)

    Article  Google Scholar 

  28. Sun, Z.-W.: A refinement of a congruence result by van Hamme and Mortenson. Ill. J. Math. 56, 967–979 (2012)

    MathSciNet  MATH  Google Scholar 

  29. Tauraso, R.: Some \(q\)-analogs of congruences for central binomial sums. Colloq. Math. 133, 133–143 (2013)

    Article  MathSciNet  Google Scholar 

  30. Van Hamme, L.: Some conjectures concerning partial sums of generalized hypergeometric series. \(p\)-Adic Functional Analysis (Nijmegen, 1996), Lecture Notes in Pure and Applications Mathematics, vol. 192, pp. 223–236. Dekker, New York (1997)

    Google Scholar 

  31. Wang, S.-D.: Some supercongruences involving \({2k\atopwithdelims ()k}^4\). J. Differ. Equ. Appl. 24, 1375–1383 (2018)

    Article  Google Scholar 

  32. Wang, X., Yu, M.: Some new \(q\)-congruences on double sums. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 115, Art 9 (2021)

  33. Wang, X., Yue, M.: Some \(q\)-supercongruences from Watson’s \(_8\phi _7\) transformation formula. Results Math. 75, Art. 71 (2020)

    Article  Google Scholar 

  34. Wang, X., Yue, M.: A \(q\)-analogue of the (A.2) supercongruence of Van Hamme for any prime \(p\equiv 3~(\text{ mod } 4)\). Int. J. Number Theory 16, 1325–1335 (2020)

    Article  MathSciNet  Google Scholar 

  35. Wilf, H.S., Zeilberger, D.: An algorithmic proof theory for hypergeometric (ordinary and “\(q\)”) multisum/integral identities. Invent. Math. 108, 575–633 (1992)

    Article  MathSciNet  Google Scholar 

  36. Zudilin, W.: Ramanujan-type supercongruences. J. Number Theory 129, 1848–1857 (2009)

    Article  MathSciNet  Google Scholar 

  37. Zudilin, W.: Congruences for \(q\)-binomial coefficients. Ann. Combin. 23, 1123–1135 (2019)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work was partially supported by the National Natural Science Foundation of China (grant 11771175).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Victor J. W. Guo.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Guo, V.J.W. Proof of a generalization of the (C.2) supercongruence of Van Hamme. RACSAM 115, 45 (2021). https://doi.org/10.1007/s13398-020-00991-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s13398-020-00991-4

Keywords

Mathematics Subject Classification

Navigation