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.

Sequences of odd length in strict partitions II: the $2$-measure and refinements of Euler's theorem

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

Even and odd compositions with restricted parts

Euler's partition theorem for all moduli and new companions to Rogers-Ramanujan-Andrews-Gordon identities

Odd moments and adding fractions

A Congruence Involving the Quotients of Euler and Its Applications (II)

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

On partitions with even parts below odd parts

Partition theorems and the Chinese remainder theorem

Strong divisibility sequences and sieve methods

q-Series congruences involving statistical mechanics partition functions in regime III and IV of Baxter’s solution of the hard-hexagon model

Integer partitions with restricted odd and even parts

On sums of unequal powers of primes and powers of 2

A note on odd partition numbers

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

Linear relations for the number of overpartitions into odd parts

On a sequence involving sums of primes

Discrepancy of LS-sequences of partitions

A generalization of Franklin's partition identity and a Beck-type companion identity

On the odd order subgroups of solvable linear groups

Some Congruences Involving Euler Numbers