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.

Proofs of three conjectured internal congruences modulo 32 for Schur-type overpartitions

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

Some congruences for 12-coloured generalized Frobenius partitions

Proof of Three Conjectures on Congruences

Proof of two congruence conjectures of Z.-W. Sun

Proof of a Conjecture of Nath and Sellers on Simultaneous Core Partitions

Congruence properties modulo prime powers for a class of partition functions

A curious congruence modulo prime powers

An Elementary Proof of a Conjecture of Saikia on Congruences for $t$--Colored Overpartitions

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

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

A conjecture of Radu and Sellers on congruences modulo powers of 2 for broken 3-diamond partitions

A note on odd partition numbers

Proof of a Conjecture on 6-colored Generalized Frobenius Partitions

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

Ramanujan's theta functions and internal congruences modulo arbitrary powers of $3$

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

Proof of a Conjecture on Permutation Polynomials over Finite Fields

A proof of a conjecture of Mao on Beck's partition statistics modulo 8

Proofs of Some Conjectures of Chan and Wang on Congruences for $$(q;q)_\infty ^{\Frac{a}{b}}$$

Schur partition theorems via perfect crystal