Pentagonal number recurrence relations for $p(n)$

Kevin Gomez,Ken Ono,Hasan Saad,Ajit Singh

2024-11-26

Abstract:We revisit Euler's partition function recurrence, which asserts, for integers $n\geq 1,$ that $$ p(n)=p(n-1)+p(n-2)-p(n-5)-p(n-7)+\dots = \sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} p(n-\omega(k)), $$ where $\omega(m):=(3m^2+m)/2$ is the $m$th pentagonal number. We prove that this classical result is the $\nu=0$ case of an infinite family of ``pentagonal number'' recurrences. For each $\nu\geq 0,$ we prove for positive $n$ that $$ p(n)=\frac{1}{g_{\nu}(n,0)}\left(\alpha_{\nu}\cdot \sigma_{2\nu-1}(n)+ \mathrm{Tr}_{2\nu}(n) +\sum_{k\in \mathbb{Z}\setminus \{0\}} (-1)^{k+1} g_{\nu}(n,k)\cdot p(n-\omega(k))\right), $$ where $\sigma_{2\nu-1}(n)$ is a divisor function, $\mathrm{Tr}_{2\nu}(n)$ is the $n$th weight $2\nu$ Hecke trace of values of special twisted quadratic Dirichlet series, and each $g_{\nu}(n,k)$ is a polynomial in $n$ and $k.$ The $\nu=6$ case can be viewed as a partition theoretic formula for Ramanujan's tau-function, as we have $$ \mathrm{Tr}_{12}(n)=-\frac{33108590592}{691}\cdot \tau(n). $$

Number Theory,Combinatorics

What problem does this paper attempt to address?

### The problems the paper attempts to solve

This paper aims to explore and prove that Euler's partition function recurrence formula is a special case in the infinite family of "pentagonal number" recurrence relations. Specifically, the paper attempts to provide a series of new recurrence relations for the partition function \(p(n)\), which not only depend on the traditional pentagonal numbers, but also involve more complex mathematical structures, such as modular forms, Hecke operators and special twisted quadratic Dirichlet series.

#### Main contributions
1. **Extension of Euler's recurrence formula**: The paper proves that Euler's partition function recurrence formula (i.e., \(p(n)=p(n - 1)+p(n - 2)-p(n - 5)-p(n - 7)+\cdots\)) is a special case of a larger class of recurrence relations, that is, the case when \(\nu = 0\).

2. **Introduction of new recurrence relations**: For each non - negative integer \(\nu\), the paper proposes a new recurrence relation:
\[
p(n)=\frac{1}{g_{\nu}(n,0)}\left(\alpha_{\nu}\cdot\sigma_{2\nu - 1}(n)+\text{Tr}_{2\nu}(n)+\sum_{k\in\mathbb{Z}\setminus\{0\}}(- 1)^{k + 1}g_{\nu}(n,k)\cdot p(n-\omega(k))\right)
\]
where \(\omega(m):=\frac{3m^{2}+m}{2}\) is the \(m\)-th pentagonal number, \(g_{\nu}(n,k)\) is a polynomial in \(n\) and \(k\), \(\sigma_{2\nu - 1}(n)\) is the divisor function, and \(\text{Tr}_{2\nu}(n)\) is the Hecke trace of a specific twisted quadratic Dirichlet series.

3. **Connection with Ramanujan's tau function**: In particular, when \(\nu = 6\), this recurrence relation can be used to express Ramanujan's tau function \(\tau(n)\):
\[
\tau(n)=\frac{2275}{5474304}\sigma_{11}(n)-\frac{691}{33108590592}g_{6}(n,0)p(n)+\frac{691}{33108590592}\sum_{k\in\mathbb{Z}\setminus\{0\}}(-1)^{k + 1}g_{6}(n,k)p(n-\omega(k))
\]

4. **Application of modular form theory**: The paper proves that each \(P_{\nu}(\tau)\) is a holomorphic modular form of weight \(2\nu\) by using the Rankin - Cohen bracket operator in modular form theory, and uses the Petersson inner product and expansion method to calculate the specific expressions of these modular forms.

#### Summary
By introducing new recurrence relations, this paper not only extends the classical Euler partition function recurrence formula, but also reveals the profound connections between the partition function and modular forms, Hecke operators and special Dirichlet series. This provides new perspectives and tools for understanding the partition function and its related properties.