Elementary Proofs of Congruences for POND and PEND Partitions (2308.09999v1)

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.