Some new \(q\)-congruences on double sums (Q2211162): Difference between revisions

The authors write in their introduction: ``It was in 1914 that Ramanujan discovered a family of formulas for \(\frac{1}{\pi}\). These formulas lead to Ramanujan-type superconguences or the \(p\)-adic analogues.'' The following is the author's abstract: ``Swisher confirmed an interesting congruence for any odd prime $p$, \[ \sum^{(p-1)/2}_{k=0} (-1)^k (6k + 1) \frac{(\frac{1}{2}) \frac{3}{k}}{k!^3 8^k} \sum^k_{j=1} \left(\frac{1}{(2 j -1)^2}-\frac{1}{16 j^2} \right) \equiv 0 \pmod p,\] which was conjectured by Long. Recently, its \(q\)-analogue was proved by Gu and Guo. Inspired by their work, we obtain a new similar \(q\)-congruence modulo \(\phi_n(q)\) and two \(q\)-supercongruences modulo \(\phi_n(q)^2\) on double basic hypergeometric sums, where \(\phi_n(q)\) is the \(n\)-th cyclotomic polynomial.''