arXiv++ Combinatorics

This paper considers holomorphic modular forms for $Γ_1(N)$ of integral weight of the form $$f^{(N)}_{\mathbf a}(τ) =q^{s} (q^{N};q^{N})_{\infty}^{a_0}\prod_{j=1}^{\lfloor N/2 \rfloor}(q^j,q^{N-j};q^N)_\infty^{a_j}, \quad \mathbf a = (a_1, \ldots, a_{\lfloor N/2 \rfloor}),$$ for fixed $a_0=2k \in 2 \Bbb Z_{\ge 0}$. We show that the number of relevant exponent vectors $\mathbf a$ is finite and characterize them in terms of the $\mathbb{Q}$-rational cuspidal divisor class group of $X_{1}(N)$. Effective procedures are given for counting the admissible exponents by enumerating the corresponding polytopes. This leads to formulas for the number of exponent vectors in terms of quasipolynomials in $k$.

Let $p \equiv 1 \pmod{4}$ be prime, let $m$ and $n$ be integers such that $p=m^2+n^2$, and let $b$ be a positive integer. Let $Q(z,q) = (z,q/z,q;q)_{\infty}(qz^2,q/z^2;q^2)_{\infty}$ denote the product appearing in the quintuple product identity. We derive explicit formulae for the $p$-dissection of $Q(q^{bm},q^p)Q(q^{bn},q^p)$, and determine sign patterns in length-$p$ arithmetic progressions of the Taylor series coefficients of the associated quotient $Q(q^{bm},q^{p})Q(q^{bn},q^p)/(q^p;q^p)_{\infty}^2$. Some combinatorial applications of the $p$-dissection formulae are also given.

We give Euler-like recursive formulas for the $t$-colored partition function when $t=2$ or $t=3,$ as well as for all $t$-regular partition functions. In particular, we derive an infinite family of ``triangular number" recurrences for the $3$-colored partition function. Our proofs are inspired by the recent work of Gomez, Ono, Saad, and Singh on the ordinary partition function and make extensive use of $q$-series identities for $(q;q)_{\infty}$ and $(q;q)_{\infty}^3.$

Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Apéry-like numbers. In this paper, we use Beukers' method to prove some conjectures of the first author concerning the congruences for $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k^3}{m^k}, \ \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k}, \ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k\binom{6k}{3k}}{m^k}, \ \sum_{n=0}^{p-1}\frac{V_n}{m^n},\ \sum_{n=0}^{p-1}\frac{T_n}{m^n},\ \sum_{n=0}^{p-1}\frac{D_n}{m^n} $$ and $\sum_{n=0}^{p-1}(-1)^nA_n$ modulo $p^3$, where $p$ is an odd prime representable by some suitable binary quadratic form, $m$ is an integer not divisible by $p$, $V_n=\sum_{k=0}^n\binom{2k}k^2\binom{2n-2k}{n-k}^2$, $T_n=\sum_{k=0}^n\binom nk^2\binom{2k}n^2$, $D_n=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2n-2k}{n-k}$ and $A_n$ is the Apéry number given by $A_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2$.