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.
Let $p$ be an odd prime and $r\geq 1$. Suppose that $α$ is a $p$-adic integer with $α\equiv2a\pmod p$ for some $1\leq a<(p+r)/(2r+1)$. We confirm a conjecture of Sun and prove that $${}_{2r+1}F_{2r}\bigg[\begin{matrix}α&α&\ldots&α\\ &1&\ldots&1\end{matrix}\bigg|\,1\bigg]_{p-1}\equiv0\pmod{p^2},$$ where the truncated hypergeometric series $$ {}_{q+1}F_{q}\bigg[\begin{matrix}x_0&x_1&\ldots&x_{q}\\ &y_1&\ldots&y_q\end{matrix}\bigg|\,z\bigg]_{n}:=\sum_{k=0}^n\frac{(x_0)_k(x_1)_k\cdots(x_q)_k}{(y_1)_k\cdot (y_q)_k}\cdot\frac{z^k}{k!}. $$
We establish four supercongruences between truncated ${}_3F_2$ hypergeometric series involving $p$-adic Gamma functions, which extend some of the Rodriguez-Villegas supercongruences.
In 2003, Rodriguez-Villegas conjectured four supercongruences on the truncated ${}_3F_2$ hypergeometric series for certain modular K3 surfaces, which were gradually proved by several authors. Motivated by some supercongruences on combinatorial numbers such as Apéry numbers and Domb numbers, we establish some new supercongruences on the truncated ${}_3F_2$ hypergeometric series, which extend the four Rodriguez-Villegas supercongruences.
We prove that certain basic hypergeometric series truncated at $k=n-1$ have the factor $Φ_n(q)^2$, where $Φ_n(q)$ is the $n$-th cyclotomic polynomial. This confirms two recent conjectures of the author and Zudilin. We also put forward some conjectures on $q$-congruences modulo $Φ_n(q)^2$.
The purpose of this note is to obtain some congruences modulo a power of a prime $p$ involving the truncated hypergeometric series $$\sum_{k=1}^{p-1} {(x)_k(1-x)_k\over (1)_k^2}\cdot{1\over k^a}$$ for $a=1$ and $a=2$. In the last section, the special case $x=1/2$ is considered.
Using an identity due to Gessel and Stanton and some properties of the $p$-adic Gamma function, we establish a $p$-adic supercongruence for truncated hypergeometric series ${}_7F_6$. From it we deduce some related supercongruences, which extend certain recent results and confirm a supercongruence conjecture.
Rodriguez-Villegas conjectured four supercongruences associated to certain elliptic curves, which were first confirmed by Mortenson by using the Gross-Koblitz formula. In this paper, we aim to prove four supercongruences between two truncated hypergeometric series ${}_2F_1$. This generalizes these four Rodriguez-Villegas supercongruences.
We provide several new $q$-congruences for truncated basic hypergeometric series with the base being an even power of $q$. Our results mainly concern congruences modulo the square or the cube of a cyclotomic polynomial and complement corresponding ones of an earlier paper containing $q$-congruences for truncated basic hypergeometric series with the base being an odd power of $q$. We also give a number of related conjectures including $q$-congruences modulo the fifth power of a cyclotomic polynomial and a congruence for a truncated ordinary hypergeometric series modulo the seventh power of a pr…
In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves.
We provide several new $q$-congruences for truncated basic hypergeometric series, mostly of arbitrary order. Our results include congruences modulo the square or the cube of a cyclotomic polynomial, and in some instances, parametric generalizations thereof. These are established by a variety of techniques including polynomial argument, creative microscoping (a method recently introduced by the first author in collaboration with Zudilin), Andrews' multiseries generalization of the Watson transformation, and induction. We also give a number of related conjectures including congruences modulo the…
In this paper, we mainly prove the following congruence conjectured by J.-C. Liu: $$ {}_6F_5\bigg[\begin{matrix}\frac{5}{4}&\frac{1}{2}&\frac{1}{2}&\frac{1}{2}&\frac{1}{2}&\frac{1}{2}\\&\frac{1}{4}&1&1&1&1\end{matrix}\bigg|\ -1\bigg]_{\frac{p-1}{2}}\equiv-\frac{p^3}{16}Γ_p\left(\frac{1}{4}\right)^4\pmod{p^5}, $$ where $p\geq5$ are primes with $p\equiv3\pmod{4}$.
In this paper, we prove some supercongruences concerning truncated hypergeometric series. For example, we show that for any prime $p>3$ and positive integer $r$, $$ \sum_{k=0}^{p^r-1}(3k+1)\frac{(\frac12)_k^3}{(1)_k^3}4^k\equiv p^r+\frac76p^{r+3}B_{p-3}\pmod{p^{r+4}} $$ and $$ \sum_{k=0}^{(p^r-1)/2}(4k+1)\frac{(\frac12)_k^4}{(1)_k^4}\equiv p^r+\frac76p^{r+3}B_{p-3}\pmod{p^{r+4}}, $$ where $(x)_k=x(x+1)\cdots(x+k-1)$ is the Pochhammer symbol and $B_0,B_1,B_2,\ldots$ are Bernoulli numbers. These two congruences confirm conjectures of Sun [Sci. China Math. 54 (2011), 2509--2535] and Guo [Adv. App…
Congruences of truncated sums of infinite series do not directly extend to congruences of the truncated sums of higher powers of these infinite series. Guo and Zudilin recently established a variety of supercongruences for truncated sums of certain basic hypergeometric series. In this note we extend some of these supercongruences to the truncated sums of the squares of the corresponding series.
We prove three more general supercongruences between truncated hypergeometric series and $p$-adic Gamma function from which some known supercongruences follow. A supercongruence conjectured by Rodriguez-Villegas and proved by E. Mortenson using the theory of finite field hypergeometric series follows from one of our more general supercongruences. We also prove a supercongruence for ${_7}F_6$ truncated hypergeometric series which is similar to a supercongruence proved by L. Long and R. Ramakrishna.
(Dieudonné and) Dwork's lemma gives a necessary and sufficient condition for an exponential of a formal power series $S(z)$ with coefficients in $Q_p$ to have coefficients in $Z_p$. We establish theorems on the $p$-adic valuation of the coefficients of the exponential of $S(z)$, assuming weaker conditions on the coefficients of $S(z)$ than in Dwork's lemma. As applications, we provide several results concerning lower bounds on the $p$-adic valuation of the number of permutation representations of finitely generated groups. In particular, we give fairly tight lower bounds in the case of an arbi…
Let $p$ be an odd prime and let $n$ be a positive integer. For any positive integer $α$ and $m\in\{1,2,3\}$, we have \begin{align*} \sum_{k=0}^{p^αn-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\equiv\bigg(\frac{m(m-4)}{p}\bigg)\sum_{k=0}^{p^{α-1}n-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\pmod{p^{2α}}, \end{align*} where $(x)_k=x(x+1)\cdots(x+k-1)$ and $\big(\frac{\cdot}{\cdot}\big)$ denotes the Legendre symbol. Also, when $m=4$, \begin{align*} \sum_{k=0}^{p^αn-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\equiv p\sum_{k=0}^{p^{α-1}n-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\pmod{p^{2α}}. \end{align*…
By using some hypergeometric series identities, we prove two supercongruences on truncated hypergeometric series, one of which is related to a modular Calabi--Yau threefold, and the other is regarded as $p$-adic analogue of an identity due to Ramanujan.
We consider natural polynomial truncations of hypergeometric power series defined over finite fields. For these truncations, we establish asymptotic upper bounds of order $O(p^{11/12})$ on the number of roots in the prime field $\mathbb{F}_p$. We discuss the correspondence to families of elliptic curves and K3 surfaces of certain such hypergeometric polynomials, for which sharp bounds are obtained in some cases. We include some computations to illustrate and supplement our results.
Let $n\geq 3$ be an integer and $p$ be a prime with $p\equiv 1\pmod{n}$. In this paper, we show that $${}_nF_{n-1}\bigg[\begin{matrix} \frac{n-1}{n}&\frac{n-1}{n}&\ldots&\frac{n-1}{n}\\ &1&\ldots&1\end{matrix}\bigg | \, 1\bigg]_{p-1}\equiv -Γ_p\bigg(\frac{1}{n}\bigg)^n\pmod{p^3}, $$ where the truncated hypergeometric series $$_nF_{n-1} \bigg[\begin{matrix} x_1&x_2&\ldots&x_n\\ &y_1&\cdots&y_{n-1}\end{matrix}\bigg | \, z\bigg]_m=\sum_{k=0}^{m}\frac{z^k}{k!}\prod_{j=0}^{k-1}\frac{(x_1+j)\cdots(x_{n}+j)}{(y_1+j)\cdots(y_{n-1}+j)} $$ and $Γ_p$ denotes the $p$-adic gamma function. This confirms a c…
In this paper, we define the truncated Bernoulli-Carlitz numbers and the truncated Cauchy-Carlitz numbers as analogues of hypergeometric Bernoulli numbers and hypergeometric Cauchy numbers, and as extensions of Bernoulli-Carlitz numbers and the Cauchy-Carlitz numbers. These numbers can be expressed explicitly in terms of incomplete Stirling-Carlitz numbers.
We establish some supercongruences for the truncated ${}_2F_1$ and ${}_3F_2$ hypergeometric series involving the $p$-adic Gamma functions. Some of these results extend the four Rodriguez-Villegas supercongruences on the truncated ${}_3F_2$ hypergeometric series. The corresponding conjectural supercongruences modulo $p^3$ are also proposed for further research.
For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We prove a number of such supercongruences by using classical hypergeometric transformation formulae. These formulae (see the appendix), most of which are decades or centuries old, allow us to write the terminating series as the ratio of products of of $Γ$-values. At this point sums have become quotients. Writing these $Γ$-quotients as $Γ_p$-quotients, we are …
We establish two binomial coefficient--generalized harmonic sum identities using the partial fraction decomposition method. These identities are a key ingredient in the proofs of numerous supercongruences. In particular, in other works of the author, they are used to establish modulo $p^k$ ($k>1$) congruences between truncated generalized hypergeometric series, and a function which extends Greene's hypergeometric function over finite fields to the $p$-adic setting. A specialization of one of these congruences is used to prove an outstanding conjecture of Rodriguez-Villegas which relates a trun…
We prove two supercongruences for specific truncated hypergeometric series. These include an uniparametric extension of a supercongruence that was recently established by Long and Ramakrishna. Our proofs involve special instances of various hypergeometric identities including Whipple's transformation and the Karlsson--Minton summation.
We define a function which extends Gaussian hypergeometric series to the $p$-adic setting. This new function allows results involving Gaussian hypergeometric series to be extended to a wider class of primes. We demonstrate this by providing various congruences between the function and truncated classical hypergeometric series. These congruences provide a framework for proving the supercongruence conjectures of Rodriguez-Villegas.
We give some new $q$-supercongruences on truncated forms of squares of basic hypergeometric series. Most of them are modulo the cube of a cyclotomic polynomial, and two of them are modulo the fourth power of a cyclotomic polynomial. The main ingredients of our proofs are the creative microscoping method, a lemma of El Bachraoui, and the Chinese remainder theorem for coprime polynomials. We also propose several related conjectures for further study.
We prove supercongruences modulo $p^2$ for values of truncated hypergeometric series at some special points. The parameters of the hypergeometric series are $d$ copies of $1/2$ and $d$ copies of $1$ for any integer $d\ge2$.
In examining the relationship between the number of points over $\mathbb{F}_p$ on certain Calabi-Yau manifolds and hypergeometric series which correspond to a particular period of the manifold, Rodriguez-Villegas identified 22 possible supercongruences. We provide a framework of congruences covering all 22 cases. Using this framework we prove one of the outstanding supercongruence conjectures between a special value of a truncated ordinary hypergeometric series and the $p$-th Fourier coefficient of a modular form. In the course of this work we also establish two new binomial coefficient-harmon…
In this paper, we confirm several conjectured congruences of Sun concerning the divisibility of binomial sums. For example, with help of a quadratic hypergeometric transformation, we prove that $$ \sum_{k=0}^{p-1}\binom{p-1}k\binom{2k}k^2\frac{P_k}{8^k}\equiv0\pmod{p^2} $$ for any prime $p\equiv 7\mod{8}$, where $P_k$ is the $k$-th Pell number. Further, we also propose three new congruences of the same type.
In examining the relationship between the number of points over $\mathbb{F}_p$ on certain Calabi-Yau manifolds and hypergeometric series which correspond to a particular period of the manifold, Rodriguez-Villegas identified numerically 22 possible supercongruences. We prove one of the outstanding supercongruence conjectures between a special value of a truncated generalized hypergeometric series and the $p$-th Fourier coefficient of a modular form.
Two $q$-supercongruences of truncated basic hypergeometric series containing two free parameters are established by employing specific identities for basic hypergeometric series. The results partly extend two $q$-supercongruences that were earlier conjectured by the same authors and involve $q$-supercongruences modulo the square and the cube of a cyclotomic polynomial. One of the newly proved $q$-supercongruences is even conjectured to hold modulo the fourth power of a cyclotomic polynomial.
In this paper, we prove supercongruence relations for truncated $N$-tuple sums of basic hypergeometric series. As an application, we give double, triple, and quadruple sum analogs of some Ramanujan-type supercongruences.
We study congruences involving truncated hypergeometric series of the form_rF_{r-1}(1/2,...,1/2;1,...,1;λ)_{(mp^s-1)/2} = \sum_{k=0}^{(mp^s-1)/2} ((1/2)_k/k!)^r λ^k where p is a prime and m, s, r are positive integers. These truncated hypergeometric series are related to the arithmetic of a family of algebraic varieties and exhibit Atkin and Swinnerton-Dyer type congruences. In particular, when r=3, they are related to K3 surfaces. For special values of λ, with s=1 and r=3, our congruences are stronger than what can be predicted by the theory of formal groups because of the presence of ellipti…
By examining asymptotic behavior of certain infinite basic ($q$-) hypergeometric sums at roots of unity (that is, at a "$q$-microscopic" level) we prove polynomial congruences for their truncations. The latter reduce to non-trivial (super)congruences for truncated ordinary hypergeometric sums, which have been observed numerically and proven rarely. A typical example includes derivation, from a $q$-analogue of Ramanujan's formula $$ \sum_{n=0}^\infty\frac{\binom{4n}{2n}{\binom{2n}{n}}^2}{2^{8n}3^{2n}}\,(8n+1) =\frac{2\sqrt{3}}π, $$ of the two supercongruences $$ S(p-1)\equiv p\biggl(\frac{-3}p\…
For any $m,n\in\mathbb{N}=\{0,1,2\ldots\}$, the truncated hypergeometric series ${}_{m+1}F_m$ is defined by $$ {}_{m+1}F_m\bigg[\begin{matrix}x_0&x_1&\ldots&x_m\\ &y_1&\ldots&y_m\end{matrix}\bigg|z\bigg]_n=\sum_{k=0}^n\frac{(x_0)_k(x_1)_k\cdots(x_m)_k}{(y_1)_k\cdots(y_m)_k}\cdot\frac{z^k}{k!}, $$ where $(x)_k=x(x+1)\cdots(x+k-1)$ is the Pochhammer symbol. Let $p$ be an odd prime. For $α,z\in\mathbb{Z}_p$ with $\langle -α\rangle_p\equiv0\pmod{2}$, where $\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$ for any $x\in\mathbb{Z}_p$, we mainly prove the following congruen…
