On 5-regular bipartitions with even parts distinct (Q2283802)

The bipartition function \(b(n)\) defined by \[\sum_{n=0}^\infty b(n)q^n = \frac{(q^4;q^4)^2_\infty(q^5;q^5)^2_\infty}{(q;q)^2_\infty(q^{20};q^{20})^2_\infty}\] is the number of \(5\)-regular bipartitions of \(n\) with even parts distinct. By employing standard \(q\)-techniques and induction, the authors provide 62 infinite families of congruences modulo powers of \(2\) for \(b(n)\). For example, \[ b(16\cdot 3^{2\alpha+1}\cdot 5^{2\beta+1}\cdot n + 62\cdot 3^{2\alpha}\cdot 5^{2\beta}+1 )\equiv 0 \pmod {16} \] and \[ \sum_{n=0}^\infty b(16\cdot 3^{2\alpha}\cdot 5^{2\beta}\cdot n + 14\cdot 3^{2\alpha}\cdot 5^{2\beta}+1) q^n \equiv 8 (q^2;q^2)^3_\infty (q^5;q^5)^3_\infty \pmod {16}, \] where \(\alpha, \beta \geq 0\).