Congruences for an arithmetic function from 3-colored Frobenius partitions

Laizhong Song,Xinhua Xiong

DOI: https://doi.org/10.48550/arXiv.1003.0509

2010-04-27

Abstract:Let $a(n)$ defined by $\sum_{n=1}^{\infty}a(n)q^n := \prod_{n=1}^{\infty}\frac{1}{(1-q^{3n})(1-q^n)^3}.$ In this note, we prove that for every non-negative integer $n$, a(15n+6) \equiv 0\pmod{5}, a(15n+12) \equiv 0\pmod{5}. As a corollary, we obtained some results of Ono

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the congruence properties of an arithmetic function \(a(n)\) defined by 3 - color Frobenius partition. Specifically, the author has proven that for every non - negative integer \(n\), the following congruence relations hold:

\[
a(15n + 6)\equiv0\pmod{5}
\]
\[
a(15n + 12)\equiv0\pmod{5}
\]

Furthermore, as a corollary of this result, the author has also obtained some results of Ono [9], namely:

\[
c\varphi_3(45n+7)\equiv0\pmod{5}
\]
\[
c\varphi_3(45n + 22)\equiv0\pmod{5}
\]
\[
c\varphi_3(45n+37)\equiv0\pmod{5}
\]

where \(c\varphi_3(n)\) represents the number of 3 - color Frobenius partitions of \(n\).

### Main content and methods

1. **Definition and background**:
- The arithmetic function \(a(n)\) is defined as:
\[
\sum_{n = 1}^{\infty}a(n)q^n:=\prod_{n = 1}^{\infty}\frac{1}{(1 - q^{3n})(1 - q^n)^3}
\]
- The Euler partition function \(p(n)\) is given as:
\[
\sum_{n=0}^{\infty}p(n)q^n=\prod_{n = 1}^{\infty}\frac{1}{1 - q^n}
\]

2. **Main theorems and their proofs**:
- **Theorem 1.1**: For every non - negative integer \(n\), we have:
\[
a(15n+6)\equiv0\pmod{5}
\]
\[
a(15n + 12)\equiv0\pmod{5}
\]
- **Theorem 1.2**: As a corollary, we obtain:
\[
c\varphi_3(45n+7)\equiv0\pmod{5}
\]
\[
c\varphi_3(45n + 22)\equiv0\pmod{5}
\]
\[
c\varphi_3(45n+37)\equiv0\pmod{5}
\]

3. **Preliminary knowledge**:
- Basic definitions and properties of modular forms.
- Dedekind Eta function:
\[
\eta(z):=q^{\frac{1}{24}}\prod_{n = 1}^{\infty}(1 - q^n)
\]
- Definition and properties of Eta - product.
- Some lemmas about modular forms, such as Lemma 2.1, Lemma 2.2 and Lemma 2.3.

4. **Proof process**:
- Construct the modular form \(f(z)\) and use lemmas for verification.
- Use Sturm's criterion to verify the congruence relations.

Through these steps, the author has successfully proven the above congruence relations and extended previous research results, especially the work of Ono.