Euler-type recurrences for $t$-color and $t$-regular partition functions

Tapas Bhowmik,Wei-Lun Tsai,Dongxi Ye

2024-12-19

Abstract:We give Euler-like recursive formulas for the $t$-colored partition function when $t=2$ or $t=3,$ as well as for all $t$-regular partition functions. In particular, we derive an infinite family of ``triangular number" recurrences for the $3$-colored partition function. Our proofs are inspired by the recent work of Gomez, Ono, Saad, and Singh on the ordinary partition function and make extensive use of $q$-series identities for $(q;q)_{\infty}$ and $(q;q)_{\infty}^3.$

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to provide forms similar to Euler's recurrence formula for the t - colored partition function and the t - regular partition function. Specifically:

1. **Recurrence formulas for 2 - colored and 3 - colored partition functions**: The author gives Euler - type recurrence formulas for the t - colored partition function when \(t = 2\) and \(t = 3\). In particular, for the 3 - colored partition function, the author derives a family of "triangular number" recurrence relations.

2. **Recurrence formula for t - regular partition function**: The author also provides Euler - type recurrence formulas for all t - regular partition functions.

### Specific problem description

#### 1. 2 - colored and 3 - colored partition functions
For the 2 - colored partition function \(p_2(n)\), the author derives the following recurrence formula:
\[
p_2(n) =
\begin{cases}
(-1)^j+\sum_{k\in\mathbb{Z}_{\geq1}}(-1)^{k + 1}(2k + 1)p_2(n - T_k)&\text{if }n = w_j\\
\sum_{k\in\mathbb{Z}_{\geq1}}(-1)^{k + 1}(2k + 1)p_2(n - T_k)&\text{otherwise}
\end{cases}
\]
where \(T_j=\frac{j^2 + j}{2}\) is the \(j\) - th triangular number, and \(w_j=\frac{3j^2 + j}{2}\) is the \(j\) - th pentagonal number.

For the 3 - colored partition function \(p_3(n)\), the author, through Rankin - Cohen brackets and the theory of modular forms, obtains a family of "triangular number" recurrence relations:
\[
p_3(n)=\frac{1}{E_v(n,0)}\left(-\frac{4v\alpha_v}{B_{2v}}\sigma_{2v - 1}(n)+\sum_{k\geq1}(-1)^{k + 1}E_v(n,k)p_3(n - T_k)\right)
\]
where \(E_v(n,k)\) is a special weighted sum defined by Rankin - Cohen brackets, and \(\alpha_v\) and \(\beta_v\) are specific constants.

#### 2. t - regular partition function
For the t - regular partition function \(p_t(n)\), the author gives the following recurrence formula:
\[
p_t(n) =
\begin{cases}
(-1)^j+\sum_{k\in\mathbb{Z}\setminus\{0\}}(-1)^{k + 1}p_t(n - w_k)&\text{if }n = tw_j\\
\sum_{k\in\mathbb{Z}\setminus\{0\}}(-1)^{k + 1}p_t(n - w_k)&\text{otherwise}
\end{cases}
\]

### Methods and tools

To derive these recurrence formulas, the author uses the following methods and tools:

1. **q - series identities**: Utilize the q - series expansions of \((q;q)_\infty\) and \((q;q)_\infty^3\).
2. **Modular form theory**: In particular, the application of Rankin - Cohen brackets and Hecke traces.
3. **Dedekind eta function**: Derive through the modular transformation properties of the Dedekind eta function.
4. **Poincaré series**: Used to represent \(\frac{1}{\eta(z)^3}\) as a harmonic Maass form.

Through these tools