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.
We prove congruence relations modulo cyclotomic polynomials for multisums of $q$-factorial ratios, therefore generalizing many well-known $p$-Lucas congruences. Such congruences connect various classical generating series to their $q$-analogs. Using this, we prove a propagation phenomenon: when these generating series are algebraically independent, this is also the case for their $q$-analogs.
Let $Φ_n^{(k)}(x)$ be the $k$-th derivative of $n$-th cyclotomic polynomial. Extending a work of D.~H.~Lehmer, we show some curious congruences: $2Φ^{(3)}_n(1)$ is divisible by $ϕ(n)-2$ and $Φ^{(2k+1)}_n(1)$ is divisible by $ϕ(n)-2k$ for $k\ge 2$. The congruence stems from a general property of self-reciprocal polynomials.
Let p be any prime and a be a positive integer. For nonnegative integers l,n and an integer r, the normalized cyclotomic $ψ$-coefficient $${n,r}_{l,p^a}:=p^{-[(n-p^{a-1}-lp^a)/(p^{a-1}(p-1))]} \sum_{k=r(mod p^a)}(-1)^k{n \choose k}{{(k-r)/p^a} \choose l}$$ is known to be an integer. In this paper, we show that this coefficient behaves like binomial coefficients and satisfies some Lucas-type congruences. This implies that a congruence of Wan is often optimal, and two conjectures of Sun and Davis are true.
In terms of the creative microscoping method recently introduced by Guo and Zudilin and the Chinese remainder theorem for coprime polynomials, we establish a $q$-supercongruence with two parameters modulo $[n]Φ_n(q)^3$. Here $[n]=(1-q^n)/(1-q)$ and $Φ_n(q)$ is the $n$-th cyclotomic polynomial in $q$. In particular, we confirm a recent conjecture of Guo and give a complete $q$-analogue of Long's supercongruence. The latter is also a generalization of a recent $q$-supercongruence obtained by Guo and Schlosser.
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 supercon…
We present two new Ramanujan-type congruences modulo 5 for overpartition. We also give an affirmative answer to a conjecture of Dou and Lin, which includes four congruences modulo 25 for overpartition.
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.
It is well known that Ramanujan conjectured congruences modulo powers of 5, 7 and and 11 for the partition function. These were subsequently proved by Watson (1938) and Atkin (1967). In 2009 Choi, Kang, and Lovejoy proved congruences modulo powers of 5 for the crank parity function. The generating function for rank parity function is f(q), which is the first example of a mock theta function that Ramanujan mentioned in his last letter to Hardy. We prove congruences modulo powers of 5 for the rank parity function.
Motivated by a question of Lovejoy \cite{lovejoy}, we show that three-colored Frobenius partition function $\c3$ and related arithmetic fuction $\cc3$ vanish modulo some powers of 5 in certain arithmetic progressions.
Rosen M. gave a determinant formula for relative class numbers for the P-th cyclotomic function fields in the case of the monic irreducible polynomial P, which is regarded as an analogue of the classical Maillet determinant. In this paper, we will give a determinant formula for the relative congruence zeta functions for cyclotomic function fields. Our formula is regarded as a generalization of the determinant formula for the relative class number.
Let $b_\ell(n)$ be the number of $\ell$-regular partitions of $n$. Recently, Hou et al established several infinite families of congruences for $b_\ell(n)$ modulo $m$, where $(\ell,m)=(3,3),(6,3),(5,5),(10,5)$ and $(7,7)$. In this paper, by the vanishing property given by Hou et al, we show an infinite family of congruence for $b_{11}(n)$ modulo $11$. Moreover, for $\ell= 3, 13$ and $25$, we obtain three infinite families of congruences for $b_{\ell}(n)$ modulo $3, 5$ and $13$ by the theory of Hecke eigenforms.
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.
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…
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…
The Fishburn numbers $ξ(n)$ are defined by the formal power series \[ \sum_{n \geq 0} ξ(n) q^n = \sum_{n \geq 0} \prod_{j = 1}^n (1 - (1 - q)^j). \] Recently, G. Andrews and J. Sellers discovered congruences of the form $ξ(p m + j) \equiv 0$ modulo $p$, valid for all $m \geq 0$. These congruences have then been complemented and generalized to the case of $r$-Fishburn numbers by F. Garvan. In this note, we answer a question of Andrews and Sellers regarding an extension of these congruences to the case of prime powers. We show that, under a certain condition, all these congruences indeed extend …
Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence: $$\sum_{0<i_1<...<i_n<p}(i_1/3)(-1)^{i_1}/(i_1...i_n)=0 (mod p).$$
We compute the congruence class modulo 16 of the number of unique path partitions of $n$ (as defined by Olsson), thus generalising previous results by Bessenrodt, Olsson and Sellers [Ann. Combin. 13 (2013), 591-602].
By means of the $q$-Zeilberger algorithm, we prove a basic hypergeometric supercongruence modulo the fifth power of the cyclotomic polynomial $Φ_n(q)$. This result appears to be quite unique, as in the existing literature so far no basic hypergeometric supercongruences modulo a power greater than the fourth of a cyclotomic polynomial have been proved. We also establish a couple of related results, including a parametric supercongruence.
Let $p_r(n)$ denote the number of $r$-component multipartitions of $n$, and let $S_{γ,λ}$ be the space spanned by $η(24z)^γϕ(24z)$, where $η(z)$ is the Dedekind's eta function and $ϕ(z)$ is a holomorphic modular form in $M_λ({\rm SL}_2(\mathbb{Z}))$. In this paper, we show that the generating function of $p_r(\frac{m^k n +r}{24})$ with respect to $n$ is congruent to a function in the space $S_{γ,λ}$ modulo $m^k$. As special cases, this relation leads to many well known congruences including the Ramanujan congruences of $p(n)$ modulo $5,7,11$ and Gandhi's congruences of $p_2(n)$ modulo 5 and $p…
In this paper, a new $q$-supercongruence with two free parameters modulo the fourth power of a cyclotomic polynomial is obtained. Our main auxiliary tools are Watson's $_8ϕ_7$ transformation formula for basic hypergeometric series, the `creative microscoping' method recently introduced by Guo and Zudilin and the Chinese remainder theorem for coprime polynomials. By taking suitable parameter substitutions in the established $q$-supercongruence, some nice congruences involving the Bernoulli numbers are derived.
The notion of broken $k$-diamond partitions was introduced by Andrews and Paule. Let $Δ_k(n)$ denote the number of broken k-diamond partitions of $n$. They also posed three conjectures on the congruences of $Δ_2(n)$ modulo 2, 5 and 25. Hirschhorn and sellers proved the conjectures for modulo 2, and Chan proved cases of modulo 5. For the case of modulo 3, Radu and Sellers obtained an infinite family of congruences for $Δ_2(n)$. In this paper, we obtain two infinite families of congruences for $Δ_2(n)$ modulo 3 based on a formula of Radu and Sellers, the 3-dissection formula of the generating fu…
In this paper we prove some transformation formulae for congruences modulo a prime and deduce some congruences for Domb numbers and Almkvist-Zudilin numbers. We also pose some conjectures on congruences modulo prime powers.
We define a family of quaternary sequences over the residue class ring modulo $4$ of length $pq$, a product of two distinct odd primes, using the generalized cyclotomic classes modulo $pq$ and calculate the discrete Fourier transform (DFT) of the sequences. The DFT helps us to determine the exact values of linear complexity and the trace representation of the sequences.
Let $cϕ_{k}(n)$ be the number of $k$-colored generalized Frobenius partitions of $n$. We establish some infinite families of congruences for $cϕ_{3}(n)$ and $cϕ_{9}(n)$ modulo arbitrary powers of 3, which refine the results of Kolitsch. For example, for $k\ge 3$ and $n\ge 0$, we prove that \[cϕ_{3}\Big(3^{2k}n+\frac{7\cdot 3^{2k}+1}{8}\Big) \equiv 0 \pmod{3^{4k+5}}.\] We give two different proofs to the congruences satisfied by $cϕ_{9}(n)$. One of the proofs uses an relation between $cϕ_{9}(n)$ and $cϕ_{3}(n)$ due to Kolitsch, for which we provide a new proof in this paper.
Let $p$ be an odd prime, and let $m$ be an integer with $p\nmid m$. In this paper show that $$\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak\binom{-1-a}k}{m^k} \equiv 0\pmod p \quad\hbox{implies}\quad\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak \binom{-1-a}k}{m^k}\equiv 0\pmod {p^2}.$$
Recently, Andrews, Hirschhorn and Sellers have proven congruences modulo 3 for four types of partitions using elementary series manipulations. In this paper, we generalize their congruences using arithmetic properties of certain quadratic forms.
Congruences are found modulo powers of 5, 7 and 13 for Andrews' smallest parts partition function spt(n). These congruences are reminiscent of Ramanujan's partition congruences modulo powers of 5, 7 and 11. Recently, Ono proved explicit Ramanujan-type congruences for spt(n) modulo p for all primes p>3 which were conjectured earlier by the author. We extend Ono's method to handle the powers of 5, 7 and 13 congruences. We need the theory of weak Maass forms as well as certain classical modular equations for the Dedekind eta-function.
We determine the exact values of the linear complexity of 2p-periodic quaternary sequences over Z_4 (the residue class ring modulo 4) defined from the generalized cyclotomic classes modulo 2p in terms of the theory of of Galois rings of characteristic 4, where p is an odd prime. Compared to the case of quaternary sequences over the finite field of order 4, it is more dificult and complicated to consider the roots of polynomials in Z_4[X] due to the zero divisors in Z_4 and hence brings some interesting twists. We answer an open problem proposed by Kim, Hong and Song.
We study the properties of the odd Catalan numbers, C_n, modulo 2^k for k >= 2. We show that there exist only k - 1 different congruences of the odd Catalan numbers modulo 2^k. Moreover, these congruences can be obtained by C_{2^m - 1} (mod 2^k) for m = 1, 2, ..., k - 1.
Recently, Lin introduced two new partition functions PD$_t(n)$ and PDO$_t(n)$, which count the total number of tagged parts over all partitions of $n$ with designated summands and the total number of tagged parts over all partitions of $n$ with designated summands in which all parts are odd. Lin also proved some congruences modulo 3 and 9 for PD$_t(n)$ and PDO$_t(n)$, and conjectured some congruences modulo 8. Very recently, Adansie, Chern, and Xia found two new infinite families of congruences modulo 9 for PD$_t(n)$. In this paper, we prove the congruences modulo 8 conjectured by Lin and also…
Let $p_k(n)$ denote the number of $2$-color partitions of $n$ where one of the colors appears only in parts that are multiples of $k$. We will prove a conjecture of Ahmed, Baruah, and Dastidar on congruences modulo $5$ for $p_k(n)$. Moreover, we will present some new congruences modulo $7$ for $p_4(n)$.
In this work, we study the function $B_{s,t}(n)$, which counts the number of $(s,t)$-regular bipartitions of $n$. Recently, many authors proved infinite families of congruences modulo $11$ for $B_{3,11}(n)$, modulo $3$ for $B_{3,s}(n)$ and modulo $5$ for $B_{5,s}(n)$. Very recently, Kathiravan proved several infinite families of congruences modulo $11$, $13$ and $17$ for $B_{5,11}(n)$, $B_{5,13}(n)$ and $B_{81,17}(n)$. In this paper, we will prove infinite families of congruences modulo $5$ for $B_{2,15}(n)$, modulo $11$ for $B_{7,11}(n)$, modulo $11$ for $B_{27,11}(n)$ and modulo $17$ for $B_…
Let $B_{l,m}(n)$ denote the number of $(l,m)$-regular bipartitions of $n$. Recently, many authors proved several infinite families of congruences modulo $3$, $5$ and $11$ for $B_{l,m}(n)$. In this paper, using theta function identities to prove infinite families of congruences modulo $m$ for $(l,m)$-regular bipartitions, where $m\in\{7,3,11,13,17\}$.
We find and prove a class of congruences modulo 4 for Andrews' partition with certain ternary quadratic form. We also discuss distribution of $\overline{\mathcal{EO}}(n)$ and further prove that $\overline{\mathcal{EO}}(n)\equiv0\pmod4$ for almost all $n$. This study was inspired by similar congruences modulo 4 in the work by the second author and Garvan.
By finding the congruent relations between the generating function of the 5 dots bracelet partitions and that of the 5-regular partitions, we get some new congruences modulo 2 for the 5 dots bracelet partition function. Moreover, for a given prime $p$, we study the arithmetic properties modulo $p$ of the $k$ dots bracelet partitions.
This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials have a root in common in a sense that is defined. These techniques are applied to the study of congruences of modular forms and modular Galois representations modulo prime powers. Finally, some computational results with implications on the (non-)liftability of modular forms modulo prime powers and possible generalisations of level raising are presented.
Recently, Nayaka and Naika (2022) proved several congruences modulo $16$ and $32$ for $t$-colored overpartitions with $t=5,7,11$ and $13$. We extend their list using an algorithmic technique.
We introduce two new integer partition functions, both of which are the number of partition quadruples of $n$ with certain size restrictions. We prove both functions satisfy Ramanujan-type congruences modulo $3$, $5$, $7$, and $13$ by use of generalized Lambert series identities and $q$-series techniques.
In this paper we investigate congruence relationships of particular finite generalized harmonic numbers sums. We suggest more transparent and simpler method to analyse these sums and present several additional results for certain special cases.
The scaled inverse of a nonzero element $a(x)\in \mathbb{Z}[x]/f(x)$, where $f(x)$ is an irreducible polynomial over $\mathbb{Z}$, is the element $b(x)\in \mathbb{Z}[x]/f(x)$ such that $a(x)b(x)=c \pmod{f(x)}$ for the smallest possible positive integer scale $c$. In this paper, we investigate the scaled inverse of $(x^i-x^j)$ modulo cyclotomic polynomial of the form $Φ_{p^s}(x)$ or $Φ_{p^s q^t}(x)$, where $p, q$ are primes with $p<q$ and $s, t$ are positive integers. Our main results are that the coefficient size of the scaled inverse of $(x^i-x^j)$ is bounded by $p-1$ with the scale $p$ modul…
Inspired by recent congruences by Andersen with varying powers of 2 in the modulus for partition related functions, we extend the modulo 32760 congruences of the first author for the function spt(n). We show that a normalized form of the generating function of spt(n) is an eigenform modulo 32 for the Hecke operators T(l^2) for primes l >= 5 with l congruent to 1, 11, 17, 19 (mod 24), and an eigenform modulo 16 for l congruent to? 13, 23 (mod 24).
We establish the existence of congruences between a fixed endoscopic cuspidal automorphic representation $Π$ of $\mathrm{GSp}(4)$ of square-free conductor and stable cuspidal automorphic representations of the same level and weight modulo certain prime factors of the value at $1$ of the adjoint $L$-function of $Π$ normalized by a suitable period.