Proof of a supercongruence conjecture of (F.3) of Swisher using the WZ-method

Abstract: For a non-negative integer $m$, let $S(m)$ denote the sum given by $$S(m):=\sum_{n=0}<sup>{m}\frac{(-1)<sup>n(8n+1)}{n!<sup>3}\left(\frac{1}{4}\right)_n<sup>3.$$ Using the powerful WZ-method, for a prime $p\equiv 3$ $($mod $4)$ and an odd integer $r&gt;1$, we here deduce a supercongruence relation for $S\left(\frac{p<sup>r-3}{4}\right)$ in terms of values of $p$-adic gamma function. As a consequence, we prove one of the supercongruence conjectures of (F.3) posed by Swisher. This is the first attempt to prove supercongruences for a sum truncated at $\frac{p<sup>r-(d-1)}{d}$ when $p^r\equiv -1$ $($mod $d)$.