New \(q\)-supercongruences from the Bailey transformation (Q2678290)

By virtue of a congruence modulo \(\Phi_{n}(q)\) (the \(n\)-th cyclotomic polynomial in \(q\)) due to \textit{V. J. W. Guo} and \textit{M. J. Schlosser} [Result. Math. 75, No. 4, Paper No. 155, 12 p. (2020; Zbl 1469.11032)], of the `creative microscoping' method provided by \textit{V. J. W. Guo} and \textit{W. Zudilin} [Adv. Math. 346, 329--358 (2019; Zbl 1464.11028)], and the Bailey's transformation formula for the basic hypergeometric series \({ }_{4} \phi_{3}\) (illustrated, e.g., by \textit{G. E. Andrews} [Adv. Math. 53, No. 1, 55--74 (1984; Zbl 0539.33002)]), the paper proves the following supercongruence modulo \(\Phi_{n}(-q)^{3}\Phi_{n}(q)^{2}\), \begin{align*} & \sum_{k=0}^{(n-r) / d}(-1)^{k} \frac{\left(1+q^{2 d k+r}\right)\left(q^{2 r} ; q^{2 d}\right)_{k}^{3}}{\left(1+q^{r}\right)\left(q^{2 d} ; q^{2 d}\right)_{k}^{3}} q^{d k^{2}+2 k(d-r)} \ \equiv(-1)^{(n-r) / d} \frac{[n]_{q^{2}}}{[r]_{q^{2}}} q^{(n-r)(n+r-d) / d}\\ & \sum_{k=0}^{(n-r) / d} \frac{\left(q^{2 r} ; q^{2 d}\right)_{k}^{2}\left(q^{d} ; q^{2 d}\right)_{k}}{\left(q^{2 d}, q^{d+r}, q^{2 d+r} ; q^{2 d}\right)_{k}} q^{2 k(d-r)}, \end{align*} where \(n\) is a positive odd integer, \(d\) is a positive integer coprime with \(n\), \(r\) is an integer with \(n-dn+d \leq r \leq n\) and \(n \equiv r \pmod d\). As corollary, the authors establish some Ramanujan-type supercongruences, such as \begin{align*} \sum_{k=0}^{(p-1) / 3}(6 k+1) \frac{\left(\frac{1}{3}\right)_{k}^{3}}{k !^{3}} \equiv p \sum_{k=0}^{(p-1) / 3} \frac{\left(\frac{1}{3}\right)_{k}^{2}}{k !\left(\frac{2}{3}\right)_{k}} \pmod {p^3}, \\ \sum_{k=0}^{(p-1) / 4}(-1)^{k}(8 k+1) \frac{\left(\frac{1}{4}\right)_{k}^{3}}{k !^{3}} \equiv(-1)^{(p-1) / 4} p \pmod {p^3}, \end{align*} related, respectively, to (E.2) and (F.2) by \textit {L. van Hamme} [Lect. Notes Pure Appl. Math. 192, 223--236 (1997; Zbl 0895.11051)], and the following \[ \sum_{k=0}^{(p-1) / d}(-1)^{k}(2 d k+1) \frac{(1 / d)_{k}^{3}}{k !^{3}} \equiv(-1)^{(p-1) / d} p \pmod {p^3}, \] that is connected to the works of both \textit{H. Swisher} [Res. Math. Sci. 2, Paper No. 18, 21 p. (2015; Zbl 1337.33005)] and \textit{V. J. W. Guo} [Ramanujan J. 49, No. 3, 531--544 (2019; Zbl 1468.11065)]. As auxiliary result, the authors supply an extension of two \(q\)-supercongruences from \textit{V. J. W. Guo} [Period. Math. Hung. 85, No. 2, 328--335 (2022; Zbl 07644668)].