Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSome new $q$-congruences for truncated basic hypergeometric series
147
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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.
Ramanujan studied the analytic properties of many $q$-hypergeometric series. Of those, mock theta functions have been particularly intriguing, and by work of Zwegers, we now know how these curious $q$-series fit into the theory of automorphic forms. The analytic theory of partial theta functions however, which have $q$-expansions resembling modular theta functions, is not well understood. Here we consider families of $q$-hypergeometric series which converge in two disjoint domains. In one domain, we show that these series are often equal to one another, and define mock theta functions, including the classical mock theta functions of Ramanujan, as well as certain combinatorial generating functions, as special cases. In the other domain, we prove that these series are typically not equal to one another, but instead are related by partial theta functions.
We prove a two-parameter family of $q$-hypergeometric congruences modulo the fourth power of a cyclotomic polynomial. Crucial ingredients in our proof are George Andrews multiseries extension of the Watson transformation, and a Karlsson--Minton type summation for very-well-poised basic hypergeometric series due to George Gasper. The new family of $q$-congruences is then used to prove two conjectures posed earlier by the authors.
We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and KZ equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application we show that the simplest example of a $p$-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of the monodromy group.
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^kequiv p-2p^3 pmod{p^4}, $$ where $(a)_k=a(a+1)cdots (a+k-1)$ is the Pochhammer symbol.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
