## A $$q$$-microscope for supercongruences.(English)Zbl 1464.11028

Summary: By examining asymptotic behavior of certain infinite basic ($$q$$-) hypergeometric sums at roots of unity (that is, at a ‘$$q$$-microscopic’ level) we prove polynomial congruences for their truncations. The latter reduce to non-trivial (super)congruences for truncated ordinary hypergeometric sums, which have been observed numerically and proven rarely. A typical example includes derivation, from a $$q$$-analogue of Ramanujan’s formula $\sum_{n = 0}^\infty \frac{\binom{4n}{2n}\binom{2n}{n}^2}{2^{8n} 3^{2n}}(8n + 1) = \frac{2 \sqrt{3}}{\pi},$ of the two supercongruences \begin{aligned} & S(p - 1) \equiv p\left(\frac{- 3}{p}\right)\pmod{p^3} \text{ and} \\ & S\left(\frac{p - 1}{2}\right) \equiv p\left(\frac{- 3}{p}\right)\pmod{p^3}, \end{aligned} valid for all primes $$p > 3$$, where $$S(N)$$ denotes the truncation of the infinite sum at the $$N$$-th place and $$(\frac{- 3}{\cdot})$$ stands for the quadratic character modulo 3.

### MSC:

 11B65 Binomial coefficients; factorials; $$q$$-identities 11A07 Congruences; primitive roots; residue systems 11Y60 Evaluation of number-theoretic constants 33C20 Generalized hypergeometric series, $${}_pF_q$$ 33D15 Basic hypergeometric functions in one variable, $${}_r\phi_s$$
Full Text:

### References:

 [1] Andrews, G. E., On the q-analog of Kummer’s theorem and applications, Duke Math. J., 40, 525-528, (1973) · Zbl 0266.33003 [2] Andrews, G. E., Applications of basic hypergeometric functions, SIAM Rev., 16, 441-484, (1974) · Zbl 0299.33004 [3] Désarménien, J., Un analogue des congruences de Kummer pour les q-nombres d’Euler, European J. Combin., 3, 19-28, (1982) · Zbl 0485.05006 [4] Folsom, A.; Ono, K.; Rhoades, R. C., Mock theta functions and quantum modular forms, Forum Math. Pi, 1, (2013), 27 pp · Zbl 1294.11083 [5] Gasper, G.; Rahman, M., Basic Hypergeometric Series, Encyclopedia Math. Appl., vol. 96, (2004), Cambridge Univ. Press: Cambridge Univ. Press Cambridge · Zbl 1129.33005 [6] Guillera, J., Generators of some Ramanujan formulas, Ramanujan J., 11, 41-48, (2006) · Zbl 1109.33029 [7] Guillera, J.; Zudilin, W., “Divergent” Ramanujan-type supercongruences, Proc. Amer. Math. Soc., 140, 765-777, (2012) · Zbl 1276.11027 [8] Guo, V. J.W., A q-analogue of a Ramanujan-type supercongruence involving central binomial coefficients, J. Math. Anal. Appl., 458, 590-600, (2018) · Zbl 1373.05025 [9] Guo, V. J.W., A q-analogue of the (L.2) supercongruence of Van Hamme, J. Math. Anal. Appl., 466, 749-761, (2018) · Zbl 1405.33021 [10] Guo, V. J.W., A q-analogue of the (J.2) supercongruence of Van Hamme, J. Math. Anal. Appl., 466, 776-788, (2018) · Zbl 1390.05028 [11] Guo, V. J.W., q-Analogues of two “divergent” Ramanujan-type supercongruences, (February 2018), 18 pp [12] Guo, V. J.W., q-Analogues of the (E.2) and (F.2) supercongruences of Van Hamme, Ramanujan J., (2019), in press [13] Guo, V. J.W., Proof of a q-congruence conjectured by Tauraso, Int. J. Number Theory, (2019), in press [14] Guo, V. J.W.; Liu, J.-C., q-Analogues of two Ramanujan-type formulas for $$1 / \pi$$, J. Difference Equ. Appl., 24, 1368-1373, (2018) · Zbl 1444.11036 [15] Guo, V. J.W.; Wang, S.-D., Factors of sums and alternating sums of products of q-binomial coefficients and powers of q-integers, Taiwanese J. Math., 23, 11-27, (2019) [16] Guo, V. J.W.; Wang, S.-D., Some congruences involving fourth powers of central q-binomial coefficients, Proc. Roy. Soc. Edinburgh Sect. A, (2019), in press [17] Guo, V. J.W.; Zeng, J., Some q-analogues of supercongruences of Rodriguez-Villegas, J. Number Theory, 145, 301-316, (2014) · Zbl 1315.11015 [18] Guo, V. J.W.; Zeng, J., Some q-supercongruences for truncated basic hypergeometric series, Acta Arith., 171, 309-326, (2015) · Zbl 1338.11024 [19] Guo, V. J.W.; Zudilin, W., Ramanujan-type formulae for $$1 / \pi$$: q-analogues, Integral Transforms Spec. Funct., 29, 505-513, (2018) · Zbl 1436.11024 [20] He, B., Some congruences on truncated hypergeometric series, Proc. Amer. Math. Soc., 143, 5173-5180, (2015) · Zbl 1395.11010 [21] Kilbourn, T., An extension of the Apéry number supercongruence, Acta Arith., 123, 335-348, (2006) · Zbl 1170.11008 [22] Long, L., Hypergeometric evaluation identities and supercongruences, Pacific J. Math., 249, 405-418, (2011) · Zbl 1215.33002 [23] Long, L.; Tu, F.-T.; Yui, N.; Zudilin, W., Supercongruences for rigid hypergeometric Calabi-Yau threefolds, (May 2017), 33 pp [24] McCarthy, D.; Osburn, R., A p-adic analogue of a formula of Ramanujan, Arch. Math. (Basel), 91, 6, 492-504, (2008) · Zbl 1175.33004 [25] Mortenson, E., A p-adic supercongruence conjecture of Van Hamme, Proc. Amer. Math. Soc., 136, 4321-4328, (2008) · Zbl 1171.11061 [26] Olive, G., Generalized powers, Amer. Math. Monthly, 72, 619-627, (1965) · Zbl 0215.07003 [27] Osburn, R.; Zudilin, W., On the (K.2) supercongruence of Van Hamme, J. Math. Anal. Appl., 433, 706-711, (2016) · Zbl 1400.11062 [28] Rahman, M., Some quadratic and cubic summation formulas for basic hypergeometric series, Canad. J. Math., 45, 394-411, (1993) · Zbl 0774.33012 [29] Ramanujan, S., Modular equations and approximations to π, Quart. J. Math. Oxford Ser. (2). (Hardy, G. H.; Aiyar, P. V.S.; Wilson, B. M., Collected Papers of Srinivasa Ramanujan, (1927), Cambridge University Press: Cambridge University Press Cambridge), 45, 23-39, (1914), Reprinted · JFM 45.1249.01 [30] Sun, Z.-W., Super congruences and Euler numbers, Sci. China Math., 54, 2509-2535, (2011) · Zbl 1256.11011 [31] Swisher, H., On the supercongruence conjectures of Van Hamme, Res. Math. Sci., 2, (2015) · Zbl 1337.33005 [32] Van Hamme, L., Some conjectures concerning partial sums of generalized hypergeometric series, (p-Adic Functional Analysis. p-Adic Functional Analysis, Nijmegen, 1996. p-Adic Functional Analysis. p-Adic Functional Analysis, Nijmegen, 1996, Lecture Notes in Pure Appl. Math., vol. 192, (1997), Dekker: Dekker New York), 223-236 · Zbl 0895.11051 [33] Zagier, D., Quantum modular forms, (Quanta of Maths. Quanta of Maths, Clay Math. Proc., vol. 11, (2010), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 659-675 · Zbl 1294.11084 [34] Zudilin, W., Ramanujan-type supercongruences, J. Number Theory, 129, 1848-1857, (2009) · Zbl 1231.11147
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.