arXiv++ Combinatorics

In this paper, we mainly establish two supercongruences involving truncated hypergeometric series by using some hypergeometric transformation formulas. The first supercongruence confirms a recent conjecture of the second author. The second supercongruence confirms a conjecture of Guo, Liu and Schlosser partially, and gives a parametric extension of a supercongruence of Long and Ramakrishna.

In this paper, we mainly establish a congruence for a sum involving Apéry numbers, which was conjectured by Z.-W. Sun. Namely, for any prime $p>3$ and positive odd integer $m$, we prove that there is a $p$-adic integer $c_m$ only depending on $m$ such that $$\sum_{k=0}^{p-1}(2k+1)^{m}(-1)^kA_k\equiv c_mp\left(\frac{p}{3}\right)\pmod{p^3},$$ where $A_k=\sum_{j=0}^{k}\binom{k}{j}^2\binom{k+j}{j}^2$ is the Apéry number and $(\frac{\cdot}{p})$ is the Legendre symbol.

Let $n$ be a positive integer, and define the rational function $S(x_1,\ldots,x_{2n})$ as the permanent of the matrix $[x_{j,k}]_{1\le j,k\le 2n}$, where $$x_{j,k}=\begin{cases}(x_j+x_k)/(x_j-x_k)&\text{if}\ j\not=k,\\1&\text{if}\ j=k.\end{cases}$$ We give an explicit formula for $S(x_1,\ldots,x_{2n})$ which has the following consequence: If one of the variables $x_1,\ldots,x_{2n}$ takes zero, then $S(x_1,\ldots,x_{2n})$ vanishes, i.e., $$\sum_{τ\in S_{2n}}\prod_{j=1\atop τ(j)\not=j}^{2n}\frac{x_j+x_{τ(j)}}{x_j-x_{τ(j)}}=0,$$ where we view an empty product $\prod_{i\in\emptyset}a_i$ as $1$. As an application, we show that if $ζ$ is a primitive $2n$-th root of unity then $$\sum_{τ\in S_{2n}}\prod_{j=1\atop τ(j)\not=j}^{2n}\frac{1+ζ^{j-τ(j)}}{1-ζ^{j-τ(j)}}=((2n-1)!!)^2$$ as conjectured by Z.-W. Sun.

In this paper, using the well-known Karlsson-Minton formula, we mainly establish two divisibility results concerning truncated hypergeometric series. Let $n>2$ and $q>0$ be integers with $2\mid n$ or $2\nmid q$. We show that $$\sum_{k=0}^{p-1}\frac{(q-\frac{p}{n})_k^n}{(1)_k^n}\equiv0\pmod{p^3} $$ and $$p^n\sum_{k=0}^{p-1}\frac{(1)_k^n}{(\frac{p}{n}-q+2)_k^n}\equiv0\pmod{p^3}$$ for any prime $p>\max\{n,(q-1)n+1\}$, where $(x)_k$ denotes the Pochhammer symbol defined by $$ (x)_k=\begin{cases}1,\quad &k=0,\\ x(x+1)\cdots(x+k-1),\quad &k>0.\end{cases}$$ Let $n\geq4$ be an even integer. Then for any prime $p$ with $p\equiv-1\pmod{n}$, the first congruence above implies that $$\sum_{k=0}^{p-1} \frac{(\frac{1}{n})_k^n}{(1)_k^n}\equiv0\pmod{p^3}. $$ This confirms a recent conjecture of Guo.