arXiv++ Combinatorics

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.

We confirm a conjectural supercongruence involving Catalan numbers, which is one of the 100 selected open conjectures on congruences of Sun. The proof makes use of hypergeometric series identities and symbolic summation method.

We develop an analytical method to prove congruences of the type $$ \sum_{k=0}^{(p^r-1)/d}A_kz^k \equiv ω(z)\sum_{k=0}^{(p^{r-1}-1)/d}A_kz^{pk} \pmod{p^{mr}\mathbb Z_p[[z]]} \quad \text{for}\; r=1,2,\dots, $$ for primes $p>2$ and fixed integers $m,d\ge1$, where $f(z)=\sum_{k=0}^\infty A_kz^k$ is an "arithmetic" hypergeometric series. Such congruences for $m=d=1$ were introduced by Dwork in 1969 as a tool for $p$-adic analytical continuation of $f(z)$. Our proofs of several Dwork-type congruences corresponding to $m\ge2$ (in other words, supercongruences) are based on constructing and proving their suitable $q$-analogues, which in turn have their own right for existence and potential for a $q$-deformation of modular forms and of cohomology groups of algebraic varieties. Our method follows the principles of creative microscoping introduced by us to tackle $r=1$ instances of such congruences; it is the first method capable of establishing the supercongruences of this type for general $r$.

Based on some combinatorial identities arising from symbolic summation, we extend two supercongruences on partial sums of hypergeometric series, which were originally conjectured by Guo and Schlosser and recently confirmed by Jana and Kalita.

Two new identities about Catalan numbers are treated with Zeilberger's algorithm and Watson's hypergeometric series evaluation.

In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{6n+1}{(-512)^n}\binom{2n}n^3&\equiv p\left(\frac{-2}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\pmod{p^4}, \end{align*} where $\left(\frac{\cdot}p\right)$ stands for the Legendre symbol, and $E_{n}$ is the $n$-th Euler number.

Let $Γ$ be a simple graph and $I_Γ(x)$ its multivariate independence polynomial. The main result of this paper is the characterization of chordal graphs as the only $Γ$ for which the power series expansion of $I_Γ^{-1}(x)$ is Horn hypergeometric.

In this paper, by applying a range of classic summation and transformation formulas for basic hypergeometric series, we obtain a three-term identity for partial theta functions. It extends the Andrews-Warnaar partial theta function identity, and also unifies several results on partial theta functions due to Ramanujan, Lovejoy and Kim. We also establish a two-term version of the extension, which can be used to derive identities for partial and false theta functions. Finally, we present a relation between the big $q$-Jacobi polynomials and the Andrews-Warnaar partial theta function identity.

In terms of the analytic continuation method, we prove three transformation formulas involving bilateral basic hypergeometric series. One of them is equivalent to Jouhet's result involving two $_8ψ_8$ series and two $_8φ_7$ series.

The quantum spectral curve equation associated to KP $τ$-functions of hypergeometric type serving as generating functions for rationally weighted Hurwitz numbers is solved by generalized hypergeometric series. The basis elements spanning the corresponding Sato Grassmannian element are shown to be Meijer $G$-functions, or their asymptotic series. Using their Mellin integral representation the $τ$-function, evaluated at the trace invariants of an externally coupled matrix, is expressed as a matrix integral.

In terms of the difference operators, we establish several curious transformation and summation formulas for basic hypergeometric series. When the parameters are specified, they produce $q$-analogues of Ramanujan's three series for 1/$π$ and other eleven nice $π$-formulas. Meanwhile, $q$-analogues of three beautiful series for $ζ(3)$ are also given in the same way.

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 prime greater than 3.

We present generalizations of the Newton-Raphson-Simpson method. Specifically, for a positive integer $m$ and the sequence of coefficients of a Taylor series of a function $f(z)$, we define an algorithm we denote by NRS($m$) which is a way to evaluate, in our terminology, a sum of $m$ formal zeros of $f(z)$. We prove that NRS(1) yields the familiar iterations of the Newton-Raphson-Simpson method. We also prove that NRS($m$) is way to evaluate certain $\mathscr{A}$-hypergeometric series defined by Sturmfels. In order to define these algorithms, we make use of combinatorial objects which we call trees with negative vertex degree.

Let $K_{(m,p)}$ denote the family of double twist knots where $2m-1$ and $2p$ are non-zero integers denoting the number of half-twists in each region. Using a result of Takata, we prove a formula for the colored Jones polynomial of $K_{(-m,-p)}$ and $K_{(-m,p)}$. The latter case leads to new families of $q$-hypergeometric series generalizing the Kontsevich-Zagier series. We also use Bailey pairs and formulas of Walsh to find cyclotomic-like expansions for the colored Jones polynomials of $K_{(m,p)}$ and $K_{(m,-p)}$.

We present an infinite family of Borwein type $+ - - $ conjectures. The expressions in the conjecture are related to multiple basic hypergeometric series with Macdonald polynomial argument.

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 fourth power of a cyclotomic polynomial.

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$.

There are many instances known when the Fourier coefficients of modular forms are congruent to partial sums of hypergeometric series. In our previous work arXiv:1803.01830, such partial sums are related to the radial asymptotics of infinite $q$-hypergeometric sums at roots of unity. Here we combine the two features to construct a hypergeometric $q$-deformation of two CM modular forms of weight 3 and discuss the corresponding $q$-congruences.

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}$.

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.