Abstract:The partition function $ p_{[1^c\ell^d]}(n)$ can be defined using the generating function, \[\sum_{n=0}^{\infty}p_{[1^c{\ell}^d]}(n)q^n=\prod_{n=1}^{\infty}\dfrac{1}{(1-q^n)^c(1-q^{\ell n})^d}.\] In \cite{P}, we proved infinite family of congruences for this partition function for $\ell=11$. In this paper, we extend the ideas that we have used in \cite{P} to prove infinite families of congruences for the partition function $p_{[1^c\ell^d]}(n)$ modulo powers of $\ell$ for any integers $c$ and $d$, for primes $5\leq \ell\leq 17$. This generalizes Atkin, Gordon and Hughes' congruences for powers of the partition function. The proofs use an explicit basis for the vector space of modular functions of the congruence subgroup $\Gamma_0(\ell)$. Finally we used these congruences to prove congruences and incongruences of the generalized Frobenius $\ell$-color partitions, $\ell-$regular partitions and $\ell-$core partitions for $\ell=5,7,11,13$ and $17$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the congruence properties of a class of Eta - quotients and their applications. Specifically, the author extends the methods used in previous work to prove that for the partition function \(p[1^c \ell^d](n)\) in a specific form, there exist infinitely many families of congruences modulo powers of \(\ell\), where \(\ell\) is a prime number and \(5\leqslant\ell\leqslant17\). This generalizes the congruence results of Atkin, Gordon and Hughes on powers of partition functions.
### Specific problem description
1. **Definition of partition function**:
The partition function \(p[1^c \ell^d](n)\) can be defined by the generating function as follows:
\[
\sum_{n = 0}^{\infty}p[1^c \ell^d](n)q^n=\prod_{n = 1}^{\infty}\frac{1}{(1 - q^n)^c(1 - q^{\ell n})^d}
\]
2. **Proof of congruence relations**:
The author's goal is to prove that for \(\ell = 5,7,13,17\), for any integers \(c\) and \(d\), and for any positive integer \(r\), there exist congruence relations:
\[
p[1^c \ell^d](\ell^r m + n_r)\equiv0\pmod{\ell^{A_r}}
\]
where \(24n_r\equiv(c+\ell d)\pmod{\ell^r}\), and \(A_r\) depends only on \(c\) and \(d\) and can be explicitly calculated.
3. **Application to other types of partition functions**:
The author also uses these congruence relations to prove the congruence and non - congruence properties of \(\ell\)-colored generalized Frobenius partitions, \(\ell\)-regular partitions and \(\ell\)-core partitions, where \(\ell = 5,7,11,13,17\).
### Main contributions
- **Generalization of existing results**: Generalize the previous results for \(\ell = 11\) to other prime numbers \(\ell = 5,7,13,17\).
- **New congruence and non - congruence results**: Not only prove new congruence relations, but also explore non - congruence relations, which is an interesting research direction in recent years.
- **Application to generalized partition functions**: Apply the results to other types of partition functions such as \(k\)-colored generalized Frobenius partitions, further verifying the wide applicability of these congruence relations.
In short, the main goal of this paper is to prove and apply a series of new congruence relations by extending and improving existing methods, thereby deepening the understanding of partition functions and related concepts.