Proof of two conjectures of Guo and of Tang (Q6616002)

By employing the method of creative microscoping devised by Guo and Zudilin together with Gasper and Rahman's quadratic summation, the authors proved the following conjecture of Tang.\N\NConjecture 1. Let \(d >1\) be a positive odd integer, \(r=(d +1)/2\) and \(n\) a positive integer satisfying \(n\equiv-1 \pmod{2d}\). Then \N\[\N\sum_{k=0}^{\frac{(2n+2-d)(d-1)}{2d}}[3dk+r]\frac{\left(q^r;q^{2d}\right)_k\left(q^r,q^r,q^{d-r};q^d\right)_k}{\left(q^d;q^d\right)_k\left(q^{2d},q^{2d},q^{d+2r};q^{2d}\right)_k}q^{\frac{dk(k+1)}2}\equiv0\pmod{\phi_n(q)^4}, \N\]\Nwhere \(\phi_n(q)=\prod_{1\leq k\leq n, \gcd(n,k)=1}(q-\zeta^k)\) is the \(n\)-th cyclotomic polynomial with \(\zeta\) representing an \(n\)-th primitive root of unity.\N\NUtilizing Rahman's quadratic transformation, the authors confirmed the following conjecture of Guo.\N\NConjecture 2. Let \(n \equiv 5 \pmod 8\) be a positive integer and ean indeterminate. Then \N\[\N\sum_{k=0}^{\frac{3n+1}8}[12k-1]\frac{\left(q^{-1},e,q^3/e;q^8\right)_k\left(q;q^4\right)_k^3}{\left(q^4,e,q^3/e;q^4\right)_k\left(q^6;q^8\right)_k^3}q^{4k}\equiv0\pmod{\phi_n(q)^4}. \N\]