arXiv++ Combinatorics

George Andrews and Mohamed El Bachraoui recently explored identities for two-color partitions. In particular, they studied the connection between two-colored partitions and overpartitions. Their proofs were analytical, but they conjectured combinatorial proofs of their results. In this paper we use two-modular diagrams to give a combinatorial proof of their main result.

In a recent work, Nadji and Ahmia introduced the $t$-Schur overpartitions as an overpartition analogue for $t$-Schur partitions, which generalizes the classical Schur's partitions into parts congruent to $1$ or $5$ modulo $6$. We continue the study of this new class of overpartitions and prove several arithmetic results for the cases $t=3,9$ and $t$ being a power of $2$ or a power of $3$.

Recently, Nadji and Ahmia~\cite{nadji2021} introduced the notion of $t$-Schur overpartitions and investigated their combinatorial and arithmetic properties. In this paper, we extend their work and establish several new congruence relations for $t$-Schur overpartitions. For example, for all $n \ge 0$ we prove \[ \overline{S_9}(24n+23)\equiv 0 \pmod{32}. \]

We define $\overline{R_l^*}(n)$ as the number of overpartitions of $n$ in which non-overlined parts are not divisible by $l$. In a recent work, Nath, Saikia, and the second author established several families of congruences for $\overline{R_l^*}(n)$, with particular focus on the cases $l=6$ and $l=8$. In the concluding remarks of their paper, they conjectured that $\overline{R_6^*}(n)$ satisfies an infinite family of congruences modulo $128$. In this paper, we confirm their conjectures using elementary methods. Additionally, we provide elementary proofs of two congruences for $\overline{R_6^*}(n)$ previously proven via the machinery of modular forms by Alanazi, Munagi, and Saikia.

In a recent paper, Jin, Liu, and Xia \cite{JLX} presented some modulo 4 congruences for $\overline{spt2}(n)$, the number of smallest parts in the overpartitions of $n$ where the smallest part is even and is not overlined. In this paper, we extend the list of such congruences in two directions. First, we prove some new individual congruences for $\overline{spt2}(n)$. Then, we provide a number of infinite families of Ramanujan-like congruences satisfied by $\overline{spt2}(n)$.

In this paper, we generalize Andrews' partitions separated by parity to overpartitions in two ways. We investigate the generating functions for 16 overpartition families whose parts are separated by parity, and we prove various $q$-series identities for these functions. These identities include relations to modular forms, $q$-hypergeometric series, and mock modular forms.

Recently, Andrews and EI Bachraoui discovered several companions for some famous $q$-series formulas, and derived some new identities involving partitions and overpartitions with distinct parts. In this paper, we shall refine their results by the number of parts of partitions and furthermore, we will also provide the combinatorial proofs for those partition identities.

Recently, Alanazi, Munagi, and Saikia employed the theory of modular forms to investigate the arithmetic properties of the function $\overline{R_{\ell,μ}}(n)$, which enumerates the overpartitions of $n$ where no part is divisible by either $\ell$ or $μ$, for various integer pairs $(\ell, μ)$. In this paper, we substantially extend several of their results and establish infinitely many families of new congruences. Our proofs are entirely elementary, relying solely on classical $q$-series manipulations and dissection formulas.

Kaur, Rana, and Eyyunni recently defined the mex sequence of a partition and established, by analytic methods, connections to two disparate types of partition-related objects. We make a bijection between partitions with certain mex sequences and a uniform family of overpartitions which allows us to provide combinatorial proofs of their results, as they requested.

In this paper we apply a formula of the very-well poised $_{2k+4}φ_{2k+3}$ to write a $k$-tuple sum of $q$-series as a linear combination of terms wherein each term is a product of expressions of the form $\frac{1}{(qy, qy^{-1};q)_\infty}$. As an application, we shall express a variety of sums and double sums of $q$-series as linear combinations of infinite products. Our formulas are motivated by their connection to overpartition pairs.

Many classical $q$-series identities, such as the Rogers--Ramanujan identities, yield combinatorial interpretations in terms of integer partitions. Here we consider algebraically manipulating some of the classical $q$-series to yield natural combinatorial interpretations in terms of overpartitions. Bijective proofs are supplied as well.

An overpartition is a partition such that the first occurrence (equivalently, the last occurrence) of a number may be overlined. In this article, we investigate three contents of overpartitions. We first consider the $r$-chain minimal and maximal excludant sizes of an overpartition. Then, we study the second minimal excludant and mex sequence of an overpartition. Finally, we introduce $L_k$-overpartitions and $F_k$-overpartitions, which are separable overpartition classes.

Recently, Chen, He, Hu and Xie considered the parity of the number of non-overlined (resp. overlined) parts of size greater than or equal to the size of the smallest overlined (resp. non-overlined) part in an overpartition. In this article, we investigate the parity of the number of non-overlined (resp. overlined) parts of size less than or equal to the size of the largest overlined (resp. non-overlined) part in an overpartition. We also study the parity of the number of even parts greater than the smallest odd part in a partition.

We consider properties of overpartitions that are simultaneously {\ell}-regular and μ-regular, where {\ell} and μ are positive relatively prime integers. We prove a seven-way combinatorial identity related to these overpartitions. We also prove several congruence properties satisfied by this class of partitions (and a further related class) using both generating functions and modular forms with Radu's Algorithm.

Recently, Andrews considered the partitions with parts separated by parity, in which parts of a given parity are all smaller than those of the other parity. Inspired from the partitions with parts separated by parity, we investigate the overpartitions with separated overlined parts and non-overlined parts, in which the sizes of overlined parts (resp. non-overlined parts) are greater than or equal to those of non-overlined parts (resp. overlined parts).

In this paper, we prove several new infinite families of Ramanujan--like congruences satisfied by the coefficients of the generating function $U_t(a,q)$ which is an extension of MacMahon's generalized sum-of-divisors function. As a by-product, we also show that, for all $n\geq 0$, $\overline{B}_3(15n+7)\equiv 0 \pmod{5}$ where $\overline{B}_3(n)$ is the number of almost $3$-regular overpartitions of $n$.

In 2014, as part of a larger study of overpartitions with restrictions of the overlined parts based on residue classes, Munagi and Sellers defined $d_2(n)$ as the number of overpartitions of weight $n$ wherein only even parts can be overlined. As part of that work, they used a generating function approach to prove a parity characterization for $d_2(n)$. In this note, we give a combinatorial proof of their result and extend it to a modulus 4 characterization; we provide both generating function and combinatorial proofs of this stronger result. The combinatorial arguments incorporate classical involutions of Franklin, Glaisher, and Sylvester, along with a recent involution of van Leeuwen and methods new with this work.

Recently, Andrews and Newman studied the minimal excludant of a partition, which is defined as the smallest positive integer that is not a part of a partition. In this article, we consider the minimal excludant size of an overpartition, which is an overpartition analogue of the minimal excludant of a partition. We define three types of overpartition related to the minimal excludant size.

In a 2022 paper, Dawsey, Just and the present author prove that the set of integer partitions, taken as a monoid under a partition multiplication operation I defined in my Ph.D. work, is isomorphic to the positive integers as a monoid under integer multiplication. In this note, I extend partition multiplication to the set of overpartitions, which are of much interest in partition theory. I prove the overpartitions form an Abelian group under partition multiplication. Moreover, the overpartitions and the positive rational numbers are isomorphic as multiplicative groups. I then prove further overpartition isomorphisms and discuss approaches to a ring theory of overpartitions.

Inspired by Andrews' and Newman's work on the minimal excludant or "mex" of partitions, we define four new classes of minimal excludants for overpartitions and establish relations to certain functions due to Ramanujan.