Infinite families of congruences for \(\ell\)-regular partition functions (Q6098536)

From MaRDI portal
scientific article; zbMATH DE number 7695790
Language Label Description Also known as
English
Infinite families of congruences for \(\ell\)-regular partition functions
scientific article; zbMATH DE number 7695790

    Statements

    Infinite families of congruences for \(\ell\)-regular partition functions (English)
    0 references
    0 references
    14 June 2023
    0 references
    For \(\ell>1\), a partition of \(n\) is said to be \(\ell\)-regular if it has no summand divisible by \(\ell\). For their number \(b_{\ell}(n)\), \[ \sum_{n=0}^{\infty} b_{\ell}(n)q^n=\prod_{n=1}^{\infty}\frac {1-q^{n\ell}}{1-q^n}, \quad |q|<1. \] Several authors proved congruences for \(b_{\ell}(n)\). E.g., [\textit{G. E. Andrews} et al., Ramanujan J. 23, 169--181 (2010; Zbl 1218.05018); \textit{J. J. Webb}, Ramanujan J. 25, 49--56 (2011; Zbl 1252.11086); \textit{D. Furcy} and \textit{D. Penniston}, Ramanujan J. 27, 101--108 (2012; Zbl 1252.11083)] proved congruences for \(b_{\ell}(n)\) modulo 3; \textit{S.-P. Cui} and \textit{N. S. S. Gu}, Adv. Appl. Math. 51, 507--523 (2013; Zbl 1281.05013)] proved those for \(b_{\ell}(n)\) modulo 2. Consider the \(\ell\)-regular partitions of \(n\) into distinct parts. For their number \(b'_{\ell}(n)\), \[ \sum_{n=0}^{\infty} b'_{\ell}(n)q^n=\prod_{n=1}^{\infty}\frac {1+q^n}{1+q^{n\ell}}, \quad |q|<1. \] For \(b'_p(n)\), \textit{J. A. Sellers} [Ars Comb. 69, 143--146 (2003; Zbl 1073.05508)] obtained congruences modulo 2. In the paper under review the author proves some infinite families of new congruences for \(b_{\ell}(n)\) and \(b'_{\ell}(n)\) using modular forms. E.g., the author proves that, for every \(\alpha\ge 0\) and \(n\ge 0\), \(b_{49}(2^{3\alpha +4}n+3\cdot 2^{3\alpha +2}-2)\equiv 0 \bmod 2\), \(b'_{25}(2^{4\alpha +4}n+3\cdot 2^{4\alpha +2}+1)\equiv 0 \bmod 2\), \(b'_{41}(32n+23)\equiv 0 \bmod 2\), \(b'_{49}(2^{3\alpha +4}n+3\cdot 2^{3\alpha +2}+2)\equiv 0 \bmod 2\), \(b_{33}(16n+12)\equiv 0 \bmod 11\).
    0 references
    0 references
    regular partitions
    0 references
    congruences
    0 references
    Dedekind's eta-function
    0 references
    modular forms
    0 references
    0 references