Abstract:In 2002, Andrews, Lewis, and Lovejoy introduced the combinatorial objects which they called \emph{partitions with designated summands}. These are built by taking unrestricted integer partitions and designating exactly one of each occurrence of a part. In that same work, Andrews, Lewis, and Lovejoy also studied such partitions wherein all parts must be odd, and they denoted the number of such partitions of size $n$ by the function $PDO(n)$. Since then, numerous authors have proven a variety of divisibility properties satisfied by $PDO(n)$. Recently, the second author proved the following internal congruences satisfied by $PDO(n)$: For all $n\geq 0$, \begin{align*} PDO(4n) &\equiv PDO(n) \pmod{4},\\ PDO(16n) &\equiv PDO(4n) \pmod{8}. \end{align*} In this work, we significantly extend these internal congruence results by proving the following new infinite family of congruences: For all $k\geq 0$ and all $n\geq 0$, $$PDO(2^{2k+3}n) \equiv PDO(2^{2k+1}n) \pmod{2^{2k+3}}.$$ We utilize several classical tools to prove this family, including generating function dissections via the unitizing operator of degree two, various modular relations and recurrences involving a Hauptmodul on the classical modular curve $X_0(6)$, and an induction argument which provides the final step in proving the necessary divisibilities. It is notable that the construction of each $2$-dissection slice of our generating function bears an entirely different nature to those studied in the past literature.

Enumeration modulo 4 of overpartitions wherein only even parts can be overlined

An infinite family of internal congruences modulo powers of 2 for partitions into odd parts with designated summands

Enumeration of Partitions modulo 4

Elementary Proofs of Two Congruences for Partitions with Odd Parts Repeated at Most Twice

d-Fold Partition Diamonds

Elementary Proofs of Arithmetic Properties for Schur-Type Overpartitions Modulo Small Powers of 2

Elementary Proofs of Congruences for POND and PEND Partitions

Enumeration of splitting subsets of endofunctions on finite sets

Congruence properties modulo prime powers for a class of partition functions

On partitions with even parts below odd parts

Arithmetic of 2-regular partitions with distinct odd parts

Density results for the parity of $(4k,k)$-singular overpartitions

Combinatorial proofs of inequalities involving the number of partitions with parts separated by parity

A bijection proof of Andrews-Merca integer partition theorem

A congruence family for 2-elongated plane partitions: An application of the localization method

$s$-Modular, $s$-congruent and $s$-duplicate partitions

A Remark on Continued Fractions for Permutations and D-Permutations with a Weight -1 per Cycle

Arithmetic properties of overpartitions

Arithmetic properties modulo powers of $2$ for overpartition $k$-tuples with odd parts

Combinatorial proof of identities involving partitions with distinct even parts and 4-regular partitions

On modular forms and Domb numbers