Congruences for generalized Frobenius partitions with 4 colors (Q2275446)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Congruences for generalized Frobenius partitions with 4 colors
scientific article

    Statements

    Congruences for generalized Frobenius partitions with 4 colors (English)
    0 references
    0 references
    0 references
    9 August 2011
    0 references
    \textit{G. E. Andrews} [``Generalized Frobenius partitions,'' Mem. Am. Math. Soc. 301 (1984; Zbl 0544.10010)] gave the generating function of \(c\phi_k(n)\) as follows: \[ \sum_{n=0}^\infty c\phi_k(n)q^n = \frac{1}{(q;q)_\infty ^k} \sum_{m_1,\ldots,m_{k-1}=-\infty}^\infty q^{(m_1^2+\cdots+m_{k-1}^2)/2+(m_1+\cdots+m_{k-1})^2/2}, \] where \(|q|<1\) and \((a;q)_\infty=\prod_{n=0}^\infty (1-aq^{n})\). He also proved the congruence \(c\phi_2(5n+3)\equiv 0\pmod 5\). In this paper, by using matrix techniques, the authors prove that \[ \sum_{n=0}^\infty c\phi_4(n)q^n = \frac{\varphi^3(q^2)+12q\varphi(q^2)\psi^2(q^4)}{(q;q)_\infty ^4}, \] where \[ \varphi(q) = \sum_{n=-\infty}^\infty q^{n^2}, \quad\text{and}\quad \psi(q) = \sum_{n=0}^\infty q^{n(n+1)/2}. \] Then they establish the following congruences \[ \begin{aligned} c\phi_4(2n+1) &\equiv 0\pmod{4^2},\\ c\phi_4(4n+3) &\equiv 0\pmod{4^4},\\ c\phi_4(4n+2) &\equiv 0\pmod{4}. \end{aligned} \] A similar formula for the generating function of \(c\phi_5(n)\) is also given. Moreover, the authors consider the following generating function \[ \begin{multlined} \sum_{n=0}^\infty {\overline{c\phi}}_4(n)q^n = \\ \frac{4}{(q;q)_\infty ^4} \sum_{m_1,\ldots,m_{3}=-\infty}^\infty q^{3m_1^2+2m_2^2+3m_3^2+2m_1m_2+2m_2m_3+4m_3m_1-3m_1-2m_2-3m_3+1}, \end{multlined} \] and prove that \[ \begin{aligned} {\overline{c\phi}}_4(2n) &\equiv 0\pmod{4^3},\\ {\overline{c\phi}}_4(4n) &\equiv {\overline{c\phi}}_4(4n+3) \equiv 0\pmod{4^4}. \end{aligned} \]
    0 references
    0 references
    partitions
    0 references
    Frobenius partitions
    0 references
    partition congruences
    0 references
    integer matrix exact covering system
    0 references
    0 references