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.

Construction of Evidently Positive Series and An Alternative Construction for a Family of Partition Generating Functions due to Kanade and Russell

Andrews-Gordon Type Series for Capparelli's and Göllnitz-Gordon Identities

Remarks on the conjectures of Capparelli, Meurman, Primc and Primc

A generalization of conjugation of integer partitions

Old Meets New: Connecting Two Infinite Families of Congruences Modulo Powers of 5 for Generalized Frobenius Partition Functions

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

Sequences of odd length in strict partitions I: the combinatorics of double sum Rogers-Ramanujan type identities

Combinatorial constructions of generating functions of cylindric partitions with small profiles into unrestricted or distinct parts

Set partitions, tableaux, and subspace profiles under regular diagonal matrices

An overpartition analogue of Bressoud's conjecture for even moduli

An example of $A_2$ Rogers-Ramanujan bipartition identities of level 3

A combinatorial proof of Buryak-Feigin-Nakajima

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

On the asymptotic behavior for partitions separated by parity

Combinatorial approach to Andrews-Gordon and Bressoud type identities

A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

The Ariki–Koike algebras and Rogers–Ramanujan type partitions

Partial fraction decompositions and an algorithm for computing the vector partition function

Bressoud Style Identities for Regular Partitions and Overpartitions

Arithmetic properties of overpartitions

A further look at the overpartition function modulo and