Some \(q\)-supercongruences from transformation formulas for basic hypergeometric series (Q2658526): Difference between revisions

The main achievements of this vast paper are the \(q\)-analogues of four supercongruences from, respectively: 1) \textit{L. Long} [Pac. J. Math. 249, No. 2, 405--418 (2011; Zbl 1215.33002)], here modulo \(p^3\) instead of the original modulo \(p^4\); 2) \textit{E. Mortenson} [Proc. Am. Math. Soc. 136, No. 12, 4321--4328 (2008; Zbl 1171.11061)]; 3) \textit{L. Long} and \textit{R. Ramakrishna} [Adv. Math. 290, 773--808 (2016; Zbl 1336.33018)], here in a simplified version; 4) \textit{V. J. W. Guo} and \textit{W. Zudilin} [Adv. Math. 346, 329--358 (2019; Zbl 1464.11028)], i.e., the same article where the creative microscoping method (CMM) was introduced. The authors remark the difference between the first pair of theorems (1-2), proved via the CMM, and the second pair (3-4), obtained in a similar, but not identical, way. As auxiliary results, the paper establishes many other \(q\)-congruences employing the hypergeometric formulas of \textit{G. Gasper} [Trans. Am. Math. Soc. 312, No. 1, 257--277 (1989; Zbl 0664.33010)], of \textit{G. Gasper} and \textit{M. Rahman} [Can. J. Math. 42, No. 1, 1--27 (1990; Zbl 0707.33009)], of \textit{M. Rahman} [Can. J. Math. 45, No. 2, 394--411 (1993; Zbl 0774.33012)], and some classic ones (Watson's \({}_8\phi _7\) transformation, \(q\)-Dixon sum, Sears-Slater's transformation), together with basic tools like the recurrence by induction, Fermat's Little Theorem, \(q\)-Chu-Vandermonde identity, and a wide variety of \(q\)-shifted factorials' properties. Inspired by a formula related to two \({}_{14}\phi _{13}\) series given by \textit{R. Langer} et al. [SIGMA, Symmetry Integrability Geom. Methods Appl. 5, Paper No. 55, 20 p. (2009; Zbl 1205.33027)], the authors find also a \({}_{12}\phi _{11}\) transformation supplied into two multiples of nonterminating \({}_4\phi _3\) series; they apply it to prove two new \(q\)-supercongruences and to generalize the linearization of the continuous \(q\)-ultraspherical polynomials provided by \textit{L. J. Rogers} [Proc. Lond. Math. Soc. 26, 15--32 (1895; JFM 26.0289.01)]. In addition to the Pochhammer symbols, the authors recall the \(n\)th cyclotomic polynomials, and the \(q\)-Catalan numbers studied by \textit{J. Fürlinger} and \textit{J. Hofbauer} [J. Comb. Theory, Ser. A 40, 248--264 (1985; Zbl 0581.05006)].