The Rodriguez-Villegas type congruences for truncated q-hypergeometric functions

Victor J. W. Guo,Hao Pan,Yong Zhang

DOI: https://doi.org/10.48550/arXiv.1507.03107

2015-07-11

Abstract:We prove some Rodriguez-Villegas type congruences for truncated q-hypergeometric functions.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the Rodriguez - Villegas - type congruences of truncated q - hypergeometric functions. Specifically, the authors aim to prove some congruence conjectures about truncated q - hypergeometric functions proposed by Guo and Zeng.

### Background Introduction

1. **Truncated Hypergeometric Function**:
It is defined as:
\[
{}_2F_1\left[\begin{array}{c}
x_1, x_2 \\
y_1
\end{array} \middle| z \right]_n = \sum_{k = 0}^{n - 1}\frac{(x_1)_k(x_2)_k}{(y_1)_k k!}z^k
\]
where \((x)_k=x(x + 1)\cdots(x + k - 1)\) if \(k\geq1\), and \((x)_0 = 1\).

2. **Rodriguez - Villegas's Conjecture**:
Rodriguez - Villegas conjectured some congruence relations of truncated hypergeometric functions modulo \(p^2\) and \(p^3\). For example, for any prime number \(p\geq5\), we have:
\[
{}_2F_1\left[\begin{array}{c}
\frac{1}{2},\frac{1}{2} \\
1
\end{array} \middle| 1 \right]_p\equiv\left(\frac{- 1}{p}\right)\pmod{p^2}
\]
\[
{}_2F_1\left[\begin{array}{c}
\frac{1}{3},\frac{2}{3} \\
1
\end{array} \middle| 1 \right]_p\equiv\left(\frac{-3}{p}\right)\pmod{p^2}
\]
\[
{}_2F_1\left[\begin{array}{c}
\frac{1}{4},\frac{3}{4} \\
1
\end{array} \middle| 1 \right]_p\equiv\left(\frac{-2}{p}\right)\pmod{p^2}
\]
\[
{}_2F_1\left[\begin{array}{c}
\frac{1}{6},\frac{5}{6} \\
1
\end{array} \middle| 1 \right]_p\equiv\left(\frac{-1}{p}\right)\pmod{p^2}
\]

3. **Generalized Form**:
Sun generalized the above congruence relations into a unified form:
\[
{}_2F_1\left[\begin{array}{c}
\alpha,1-\alpha \\
1
\end{array} \middle| 1 \right]_p\equiv(-1)^{\langle-\alpha\rangle_p}\pmod{p^2}
\]
where \(\alpha\) is a rational number whose denominator is coprime to \(p\), and \(\langle x\rangle_p\) represents the integer in the set \(\{0,1,\ldots,p - 1\}\) such that \(x\equiv\langle x\rangle_p\pmod{p}\).

### q - Hypergeometric Function and Its Congruence Conjecture

Guo and Z