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.

Multiple Divisor Chains and Determinants of Matrices Associated with Completely Even Functions (mod R)

Divisibility among power matrices associated with multiplicative functions

The Loewner-Neville Factorization Of Generalized Matrices With Consecutive-Column And -Row Properties

On the divisor problem with congruence conditions

Factorization Theorems for Relatively Prime Divisor Sums, GCD Sums and Generalized Ramanujan Sums

On Decompositions of Matrices over Distributive Lattices

Divided Differences and a Unified Approach to Evaluating Determinants Involving Generalized Factorials

A Note on Large Sums of Divisor-Bounded Multiplicative Functions

Greatest common divisors for polynomials in almost units and applications to linear recurrence sequences

Matrix divisibility sequences

On sums involving divisor function, Euler's totient function, and floor function

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

A Combinatorial Model of Numerical Semigroup

ON THE DIVISOR PRODUCTS AND PROPER DIVISOR PRODUCTS SEQUENCES

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

Some determinants involving binary forms

An Extension of Cui-Kano'S Characterization on Graph Factors

Generalized divisor functions in arithmetic progressions: I

Higher order divisor functions over values of mixed powers

Proof of Three Conjectures on Determinants Related to Quadratic Residues

Divisors in Residue Classes Revisited