arXiv subjects

Victor J. W. Guo

Publications and source records attributed to Victor J. W. Guo.

At least 19 recordsLinked to original sources

arXiv2025

Refinements of Van Hamme's (E.2) and (F.2) supercongruences and two supercongruences by Swisher

In 1997, Van Hamme proposed 13 supercongruences on truncated hypergeometric series. Van Hamme's (B.2) supercongruence was first confirmed by Mortenson and received a WZ proof by Zudilin later. In 2012, using the WZ method again, Sun extended Van Hamme's (B.2) supercongruence to the modulus $p^4$ case, where $p$ is an odd prime. In this paper, by using a more general WZ pair, we generalize Hamme's (E.2) and (F.2) supercongruences, as well as two supercongruences by Swisher, to the modulus $p^4$ case. Our generalizations of these supercongruences are related to Euler polynomials. We also put forward a relevant conjecture on $q$-congruences for further study.

math.NT↗

arXiv2023

Dwork-type $q$-congruences through the $q$-Lucas theorem

Employing the $q$-Lucas theorem and some known $q$-supercongruences, we give some Dwork-type $q$-congruences, confirming three conjectures in [J. Combin. Theory, Ser. A 178 (2021), Art.~105362]. As conclusions, we obtain the following supercongruences: for any prime $p\equiv 1\pmod{4}$ and positive integer $r$, \begin{align*} \sum_{k=0}^{(p^r-1)/2} \frac{(\frac{1}{2})_k^3}{k!^3} &\equiv -Γ_p(\tfrac{1}{4})^4 \sum_{k=0}^{(p^{r-1}-1)/2} \frac{(\frac{1}{2})_k^3}{k!^3} \pmod{p^{r+1}}, \\ \sum_{k=0}^{p^r-1} \frac{(\frac{1}{2})_k^3}{k!^3} &\equiv -Γ_p(\tfrac{1}{4})^4 \sum_{k=0}^{p^{r-1}-1} \frac{(\frac{1}{2})_k^3}{k!^3} \pmod{p^{r+1}}, \end{align*} where $Γ_p(x)$ stands for the $p$-adic Gamma function. The first one confirms a weaker form of Swisher's (H.3) conjecture for $p\equiv 1\pmod{4}$, which originally predicts that the supercongruence is true modulo $p^{3r}$.

math.NT↗

arXiv2022

Further $q$-supercongruences from a transformation of Rahman

Employing a quadratic transformation formula of Rahman and the method of `creative microscoping' (introduced by the author and Zudilin in 2019), we provide some new $q$-supercongruences for truncated basic hypergeometric series. In particular, we confirm two recent conjectures of Liu and Wang. We also propose some related conjectures on supercongruences and $q$-supercongruences.

math.NT↗

arXiv2021

$q$-Supercongruences from squares of basic hypergeometric series

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.

math.NT↗

arXiv2021

Factors of certain sums involving central q-binomial coefficients

Recently, Ni and Pan proved a $q$-congruence on certain sums involving central $q$-binomial coefficients, which was conjectured by Guo. In this paper, we give a generalization of this $q$-congruence and confirm another $q$-congruence, also conjectured by Guo. Our proof uses Ni and Pan's technique and a simple $q$-congruence observed by Guo and Schlosser.

math.NT↗

arXiv2021

Some $q$-supercongruences modulo the square and cube of a cyclotomic polynomial

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.

math.NT↗

arXiv2020

An extension of a supercongruence of Long and Ramakrishna

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.

math.NT↗

arXiv2020

Dwork-type supercongruences through a creative $q$-microscope

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

math.NT↗

arXiv2020

$q$-Analogues of some supercongruences related to Euler numbers

Let $E_n$ be the $n$-th Euler number and $(a)_n=a(a+1)\cdots (a+n-1)$ the rising factorial. Let $p>3$ be a prime. In 2012, Sun proved the that $$ \sum^{(p-1)/2}_{k=0}(-1)^k(4k+1)\frac{(\frac{1}{2})_k^3}{k!^3} \equiv p(-1)^{(p-1)/2}+p^3E_{p-3} \pmod{p^4}, $$ which is a refinement of a famous supercongruence of Van Hamme. In 2016, Chen, Xie, and He established the following result: $$ \sum_{k=0}^{p-1}(-1)^k (3k+1)\frac{(\frac{1}{2})_k^3}{k!^3} 2^{3k} \equiv p(-1)^{(p-1)/2}+p^3E_{p-3} \pmod{p^4}, $$ which was originally conjectured by Sun. In this paper we give $q$-analogues of the above two supercongruences by employing the $q$-WZ method. As a conclusion, we provide a $q$-analogue of the following supercongruence of Sun: $$ \sum_{k=0}^{(p-1)/2}\frac{(\frac{1}{2})_k^2}{k!^2} \equiv (-1)^{(p-1)/2}+p^2 E_{p-3} \pmod{p^3}. $$

math.NT↗

arXiv2020

Basic and bibasic identities related to divisor functions

Using basic hypergeometric functions and partial fraction decomposition we give a new kind of generalization of identities due to Uchimura, Dilcher, Van Hamme, Prodinger, and Chen-Fu related to divisor functions. An identity relating Lambert series to Eulerian polynomials is also proved.

math.CO↗

arXiv2020

Some $q$-supercongruences from transformation formulas for basic hypergeometric series

Several new $q$-supercongruences are obtained using transformation formulas for basic hypergeometric series, together with various techniques such as suitably combining terms, and creative microscoping, a method recently developed by the first author in collaboration with Wadim Zudilin. More concretely, the results in this paper include $q$-analogues of supercongruences (referring to $p$-adic identities remaining valid for some higher power of $p$) established by Long, by Long and Ramakrishna, and several other $q$-supercongruences. The six basic hypergeometric transformation formulas which are made use of are Watson's transformation, a quadratic transformation of Rahman, a cubic transformation of Gasper and Rahman, a quartic transformation of Gasper and Rahman, a double series transformation of Ismail, Rahman and Suslov, and a new transformation formula for a nonterminating very-well-poised ${}_{12}ϕ_{11}$ series. Also, the nonterminating $q$-Dixon summation formula is used. A special case of the new ${}_{12}ϕ_{11}$ transformation formula is further utilized to obtain a generalization of Rogers' linearization formula for the continuous $q$-ultraspherical polynomials.

math.NT↗

arXiv2020

Some variations of a "divergent" Ramanujan-type $q$-supercongruence

Using the $q$-Wilf--Zeilberger method and a $q$-analogue of a "divergent" Ramanujan-type supercongruence, we give several $q$-supercongruences modulo the fourth power of a cyclotomic polynomial. One of them is a $q$-analogue of a supercongruence recently proved by Wang: for any prime $p>3$, $$ \sum_{k=0}^{p-1} (3k-1)\frac{(\frac{1}{2})_k (-\frac{1}{2})_k^2 }{k!^3}4^k\equiv p-2p^3 \pmod{p^4}, $$ where $(a)_k=a(a+1)\cdots (a+k-1)$ is the Pochhammer symbol.

math.NT↗

arXiv2020

On a conjecture related to integer-valued polynomials

Using the following $_4F_3$ transformation formula $$ \sum_{k=0}^{n}{-x-1\choose k}^2{x\choose n-k}^2=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}^2{x+k\choose 2k}, $$ which can be proved by Zeilberger's algorithm, we confirm some special cases of a recent conjecture of Z.-W. Sun on integer-valued polynomials.

math.NT↗

arXiv2020

A family of $q$-congruences modulo the square of a cyclotomic polynomial

Using Watson's terminating $_8ϕ_7$ transformation formula, we prove a family of $q$-congruences modulo the square of a cyclotomic polynomial, which were originally conjectured by the author and Zudilin [J. Math. Anal. Appl. 475 (2019), 1636--646]. As an application, we deduce two supercongruences modulo $p^4$ ($p$ is an odd prime) and their $q$-analogues. This also partially confirms a special case of Swisher's (H.3) conjecture.

math.NT↗

arXiv2019

Proof of a supercongruence conjectured by Sun through a $q$-microscope

Recently, Z.-W. Sun made the following conjecture: for any odd prime $p$ and odd integer $m$, $$ \frac{1}{m^2{m-1\choose (m-1)/2}}\Bigg(\sum_{k=0}^{(pm-1)/2}\frac{2k\choose k}{8^k} -\left(\frac{2}{p}\right)\sum_{k=0}^{(m-1)/2}\frac{2k\choose k}{8^k}\Bigg) \equiv 0\pmod{p^2}. $$ In this note, applying the "creative microscoping" method, introduced by the author and Zudilin, we confirm the above conjecture of Sun.

math.NT↗

arXiv2019

$q$-Supercongruences modulo the fourth power of a cyclotomic polynomial via creative microscoping

By applying Chinese remainder theorem for coprime polynomials and the "creative microscoping" method recently introduced by the author and Zudilin, we establish parametric generalizations of three $q$-supercongruences modulo the fourth power of a cyclotomic polynomial. The original $q$-supercongruences then follow from these parametric generalizations by taking the limits as the parameter tends to $1$ (l'Hôpital's rule is utilized here). In particular, we prove a complete $q$-analogue of the (J.2) supercongruence of Van Hamme and a complete $q$-analogue of a "divergent" Ramanujan-type supercongruence, thus confirming two recent conjectures of the author. We also put forward some related conjectures, including a $q$-supercongruence modulo the fifth power of a cyclotomic polynomial.

math.NT↗

arXiv2019

Some new $q$-congruences for truncated basic hypergeometric series: even powers

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.

math.NT↗

arXiv2019

A common $q$-analogue of two supercongruences

We give a $q$-congruence whose specializations $q=-1$ and $q=1$ correspond to supercongruences (B.2) and (H.2) on Van Hamme's 1997 list: $$ \sum_{k=0}^{(p-1)/2}(-1)^k(4k+1)A_k\equiv p(-1)^{(p-1)/2}\pmod{p^3} \quad\text{and}\quad \sum_{k=0}^{(p-1)/2}A_k\equiv a(p)\pmod{p^2}, $$ where $p>2$ is prime, $$ A_k=\prod_{j=0}^{k-1}\biggl(\frac{1/2+j}{1+j}\biggr)^3=\frac1{2^{6k}}{\binom{2k}k}^3 \quad\text{for}\ k=0,1,2,\dots, $$ and $a(p)$ is the $p$-th coefficient of (the weight 3 modular form) $q\prod_{j=1}^\infty(1-q^{4j})^6$. We complement our result with a general common $q$-congruence for related hypergeometric sums.

math.NT↗