Congruences modulo powers of 2 for \(t\)-colored overpartitions (Q2172336)

An overpartition of a positive integer \(n\) is a partitions of \(n\) where the first occurrence of parts of each size may be overlined. For their number \(\overline{p}(n)\), \[ \sum_{n=0}^{\infty} \overline{p}(n)q^n=\prod_{n=1}^{\infty}\frac {1+q^n}{1-q^n}, \quad |q|<1 \] (see [\textit{S. Corteel} and \textit{J. Lovejoy}, Trans. Amer. Math. Soc. 356, No. 4, 1623--1635 (2004; Zbl 1040.11072)]). Let \(\overline{p}_{-t}(n)\) denote the number of \(t\)-coloured overpartitions of \(n\): \[ \sum_{n=0}^{\infty} \overline{p}_{-t}(n)q^n=\prod_{n=1}^{\infty}\frac {(1+q^n)^t}{(1-q^n)^t}, \quad |q|<1. \] Many authors investigated congruence properties modulo small powers of 2 for \(\overline{p}_{-1}(n)=\overline{p}(n)\), \(\overline{p}_{-2}(n)\), and \(\overline {p}_{-3}(n)\) (see [\textit{W. Y. C. Chen} et al., Ramanujan J. 40, 311--322 (2016; Zbl 1355.11101); \textit{B. Kim}, Integers 8, A38 (2008; Zbl 1210.11108); Discrete Math. 309, No. 8, 2528--2532 (2009; Zbl 1228.05046); \textit{K. Mahlburg}, Discrete Math. 286, No. 3, 263--267 (2004; Zbl 1114.11083); \textit{D. M. Keister} et al., Integers 9, No. 2, A17, 181--190 (2009; Zbl 1190.11056); \textit{L. Q. Wang}, Acta Math. Sin. (Engl. Ser.) 33, No. 1, 37--50 (2017; Zbl 1358.11118)]). In the paper under review the authors establish several infinite families of congruences modulo 16 and 32 for \(\overline{p}_{-t}(n)\) with \(t\)=5, 7, 11, and 13. E. g., they prove that, for nonnegative integers \(n\) and \(\alpha\), \(\overline{p}_{-5}(8n+7)\equiv 0 \mod 32,\) \(\overline{p}_{-7}(8n+5)\equiv 0 \mod 32,\) \(\overline{p}_{-7}(8n+6)\equiv 0 \mod 32,\) \(\overline{p}_{-7}(8\cdot 3^{2\alpha +3}n+17\cdot3^{2\alpha +2})\equiv 0 \mod 32,\) \(\overline{p}_{-11}(8n+6)\equiv 0 \mod 16,\) \(\overline{p}_{-11}(8n+5)\equiv 0 \mod 32,\) \(\overline{p}_{-11}(8n+7)\equiv 0 \mod 32,\) \(\overline{p}_{-11}(8\cdot 3^{2\alpha +4}n+11\cdot 3^{2\alpha +3})\equiv 0 \mod 32,\) \(\overline{p}_{-13}(8n+7)\equiv 0 \mod 32,\) \(\overline{p}_{-13}(72\cdot 5^{2\alpha +3}n+219\cdot 5^{2\alpha +2})\equiv 0 \mod 32.\)