Elementary Proofs of Congruences for POND and PEND Partitions

James A. Sellers

2023-08-19

Abstract:Recently, Ballantine and Welch considered various generalizations and refinements of POD and PED partitions. These are integer partitions wherein the odd parts must be distinct (in the case of POD partitions) or the even parts must be distinct (in the case of PED partitions). In the process, they were led to consider two classes of integer partitions which are, in some sense, the ``opposite'' of POD and PED partitions. They labeled these POND and PEND partitions, which are integer partitions wherein the odd parts cannot be distinct (in the case of POND partitions) or the even parts cannot be distinct (in the case of PEND partitions). In this work, we study these two types of partitions from an arithmetic perspective. Along the way, we are led to prove the following two infinite families of Ramanujan--like congruences: For all $\alpha \geq 1$ and all $n\geq 0,$ \begin{align*} pond\left(3^{2\alpha +1}n+\frac{23\cdot 3^{2\alpha}+1}{8}\right) &\equiv 0 \pmod{3}, \textrm{\ \ \ and} \\ pend\left(3^{2\alpha +1}n+\frac{17\cdot 3^{2\alpha}-1}{8}\right) &\equiv 0 \pmod{3} \end{align*} where $pond(n)$ counts the number of POND partitions of weight $n$ and $pend(n)$ counts the number of PEND partitions of weight $n$. All of the proof techniques used herein are elementary, relying on classical $q$-series identities and generating function manipulations, along with mathematical induction.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the arithmetic properties of specific types of integer partitions (POND and PEND partitions), especially the congruence relations of these partitions modulo 3. Specifically, the author studies two special types of integer partitions:

1. **POND partitions**: In this type of partition, the odd parts cannot be distinct (i.e., some odd parts must be repeated).
2. **PEND partitions**: In this type of partition, the even parts cannot be distinct (i.e., some even parts must be repeated).

The main objective of the paper is to prove the following two infinite families of Ramanujan - type congruence relations:

- For all \(\alpha \geq 1\) and all \(n \geq 0\):
\[
\text{pond}\left(3^{2\alpha + 1}n+\frac{23\cdot3^{2\alpha + 1}}{8}\right)\equiv0\pmod{3}
\]
- For all \(\alpha \geq 1\) and all \(n \geq 0\):
\[
\text{pend}\left(3^{2\alpha + 1}n+\frac{17\cdot3^{2\alpha - 1}}{8}\right)\equiv0\pmod{3}
\]

Here, \(\text{pond}(n)\) represents the number of POND partitions with weight \(n\), and \(\text{pend}(n)\) represents the number of PEND partitions with weight \(n\).

To prove these congruence relations, the author uses classical \(q\)-series identities and generating function manipulations, combined with mathematical induction. These methods are elementary but can effectively reveal the arithmetic properties of these special partitions.