arXiv++ Combinatorics

We introduce and study a new restricted family of overpartitions, called block-separated overpartitions, in which no two consecutive distinct part-size blocks may both be overlined. Using a two-state transfer-matrix automaton, we derive a closed matrix-product expression for the ordinary generating function, establish an Euler-type factorization, and obtain an explicit normalized recurrence suitable for computation of arbitrary coefficients. We further prove that the possible overlining patterns on the distinct blocks are counted by Fibonacci numbers, giving natural bijections with independent sets on paths, pattern-avoiding binary words, and Fibonacci tilings.

In his classic text, \emph{Combinatory Analysis}, MacMahon defined a perfect partition of a positive integer $n$ as a partition whose parts contain exactly one partition of every positive integer not exceeding $n$. In this paper we apply the same definition to overpartitions which are integer partitions with the additional property that the final occurrence of each part may be overlined. It turns out that perfect overpartitions are enumerated by ordered factorization functions in which the occurrence of 2 as a factor determines the presence of an overlined part.

In this paper, we present a new Rogers--Ramanujan type identity for overpartitions by extending the asymmetrical version of Schur's theorem due to Lovejoy to a broader class of infinite products. More precisely, we provide a combinatorial interpretation of the following product, for any positive integer $k$, as a generating function for a class of overpartitions in which parts appear in $2^k - 1$ colors: \[ \frac{(-y_1 q;q)_\infty \cdots (-y_k q;q)_\infty}{(y_1 d q;q)_\infty}. \] Our proof is bijective and unifies two earlier approaches: Lovejoy's bijective proof of the asymmetrical Schur theorem and the iterative-bijective technique developed by Corteel and Lovejoy.

Andrews and El Bachraoui recently studied various two-colored integer partitions, including those related to two-colored partitions into distinct parts with constraints and overpartitions. Their work raised questions about the existence of combinatorial proofs for these results, which were partially addressed by the first author and Zou. This paper provides combinatorial proofs for the remaining results concerning two-colored partitions and overpartitions with constraints.

In 1920, MacMahon introduced two families of $q$-series to study divisor sums. Recent work has shown that MacMahon's $q$-series are closely connected to overpartitions and $3$-colored partitions. Merca introduced truncated forms of MacMahon's $q$-series to generalize earlier results by Andrews-Rose and Ono-Singh, and posed two conjectures regarding the $q$-binomial expansions of these truncated series. In this paper, we provide combinatorial proofs of Merca's conjectures through the combinatorial interpretation of $q$-binomial coefficients.

In 2012, Andrews and Merca proved a truncated theorem on Euler's pentagonal number theorem, which opened up a new study on truncated theta series. In particular, some truncated versions of a identity of Gauss have been proved. In this article, we provide new combinatorial interpretations of the truncated versions of the identity of Gauss in terms of the minimal excludant non-overlined part of an overpartition.

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.