arXiv++ Combinatorics

Recently, using modular forms and Smoot's {\tt Mathematica} implementation of Radu's algorithm for proving partition congruences, Merca proved the following two congruences: For all $n\geq 0,$ \begin{align*} A(9n+5) & \equiv 0 \pmod{3}, \\ A(27n+26) & \equiv 0 \pmod{3}. \end{align*} Here $A(n)$ is closely related to the function which counts the number of {\it cubic partitions}, partitions wherein the even parts are allowed to appear in two different colors. Indeed, $A(n)$ is defined as the difference between the number of cubic partitions of $n$ into an even numbers of parts and the number of cubic partitions of $n$ into an odd numbers of parts. In this brief note, we provide elementary proofs of these two congruences via classical generating function manipulations. We then prove two infinite families of non--nested Ramanujan--like congruences modulo 3 satisfied by $A(n)$ wherein Merca's original two congruences serve as the initial members of each family.

In his 1984 Memoir of the American Mathematical Society, George Andrews defined two families of functions, $φ_k(n)$ and $cφ_k(n),$ which enumerate two types of combinatorial objects which Andrews called generalized Frobenius partitions. As part of that Memoir, Andrews proved a number of Ramanujan--like congruences satisfied by specific functions within these two families. In the years that followed, numerous other authors proved similar results for these functions, often with a view towards a specific choice of the parameter $k.$ In this brief note, our goal is to identify an {\bf infinite} family of values of $k$ such that $φ_k(n)$ is even for all $n$ in a specific arithmetic progression; in particular, our primary goal in this work is to prove that, for all positive integers $\ell,$ all primes $p\geq 5,$ and all values $r,$ $0 < r < p,$ such that $24r+1$ is a quadratic nonresidue modulo $p,$ $$ φ_{p\ell-1}(pn+r) \equiv 0 \pmod{2} $$ for all $n\geq 0.$ Our proof of this result is truly elementary, relying on a lemma from Andrews' Memoir, classical $q$--series results, and elementary generating function manipulations. Such a result, which holds for infinitely many values of $k,$ is rare in the study of arithmetic properties satisfied by generalized Frobenius partitions, primarily because of the unwieldy nature of the generating functions in question.

In 2007, Andrews and Paule published the eleventh paper in their series on MacMahon's partition analysis, with a particular focus on broken $k$-diamond partitions. On the way to broken $k$-diamond partitions, Andrews and Paule introduced the idea of $k$-elongated partition diamonds. Recently, Andrews and Paule revisited the topic of $k$-elongated partition diamonds. Using partition analysis and the Omega operator, they proved that the generating function for the partition numbers $d_k(n)$ produced by summing the links of $k$-elongated plane partition diamonds of length $n$ is given by $\frac{(q^2;q^2)_\infty^k}{(q;q)_\infty^{3k+1}}$ for each $k\geq 1.$ A significant portion of their recent paper involves proving several congruence properties satisfied by $d_1, d_2$ and $d_3$, using modular forms as their primary proof tool. In this work, our goal is to extend some of the results proven by Andrews and Paule in their recent paper by proving infinitely many congruence properties satisfied by the functions $d_k$ for an infinite set of values of $k.$ The proof techniques employed are all elementary, relying on generating function manipulations and classical $q$-series results.

Several authors have recently considered the smallest positive part missing from an integer partition, known as the minimum excludant or mex. In this work, we revisit and extend connections between Dyson's crank statistics, the mex, and Frobenius symbols, with a focus on combinatorial proof techniques. One highlight is a generating function expression for the number of partitions with a bounded crank that does not include an alternating sum. This leads to a combinatorial interpretation involving types of Durfee rectangles.

Andrews and Newman have recently introduced the notion of the mex of a partition, the smallest positive integer that is not a part. The concept has been used since at least 2011, though, with connections to Frobenius symbols. Recently the parity of the mex has been associated to the crank statistic named by Dyson in 1944. In this note, we extend and strengthen the connection between the crank and mex (along with a new generaliztion of the mex) by proving a number of properties that naturally relate these partition statistics.

Recently Gordon and McIntosh introduced the third order mock theta function $ξ(q)$ defined by $$ ξ(q)=1+2\sum_{n=1}^{\infty}\frac{q^{6n^2-6n+1}}{(q;q^6)_{n}(q^5;q^6)_{n}}. $$ Our goal in this paper is to study arithmetic properties of the coefficients of this function. We present a number of such properties, including several infinite families of Ramanujan--like congruences.

Recently, Hirschhorn and the first author considered the parity of the function $a(n)$ which counts the number of integer partitions of $n$ wherein each part appears with odd multiplicity. They derived an effective characterization of the parity of $a(2m)$ based solely on properties of $m.$ In this note, we quickly reprove their result, and then extend it to an explicit characterization of the parity of $a(n)$ for all $n\not\equiv 7 \pmod{8}.$ We also exhibit some infinite families of congruences modulo 2 which follow from these characterizations. We conclude by discussing the case $n\equiv 7 \pmod{8}$, where, interestingly, the behavior of $a(n)$ modulo 2 appears to be entirely different. In particular, we conjecture that, asymptotically, $a(8m+7)$ is odd precisely $50\%$ of the time. This conjecture, whose broad generalization to the context of eta-quotients will be the topic of a subsequent paper, remains wide open.

In a recent paper, Andrews and Newman extended the mex-function to integer partitions and proved many partition identities connected with these functions. In this paper, we present parity considerations of one of the families of functions they studied, namely $p_{t,t}(n)$. Among our results, we provide complete parity characterizations of $p_{1,1}(n)$ and $p_{3,3}(n)$.

In recent work, M. Schneider and the first author studied a curious class of integer partitions called "sequentially congruent" partitions: the $m$th part is congruent to the $(m+1)$th part modulo $m$, with the smallest part congruent to zero modulo the number of parts. Let $p_{\mathcal S}(n)$ be the number of sequentially congruent partitions of $n,$ and let $p_{\square}(n)$ be the number of partitions of $n$ wherein all parts are squares. In this note we prove bijectively, for all $n\geq 1,$ that $p_{\mathcal S}(n) = p_{\square}(n).$ Our proof naturally extends to show other exotic classes of partitions of $n$ are in bijection with certain partitions of $n$ into $k$th powers.

A tremendous amount of research has been done in the last two decades on $(s,t)$-core partitions when $s$ and $t$ are positive integers with no common divisor. Here we change perspective slightly and explore properties of $(s,t)$-core and $(\bar{s},\bar{t})$-core partitions for $s$ and $t$ with nontrivial common divisor $g$. We begin by revisiting work by D. Aukerman, D. Kane and L. Sze on $(s,t)$-core partitions for nontrivial $g$ before obtaining a generating function for the number of $(\bar{s},\bar{t})$-core partitions of $n$ under the same conditions. Our approach, using the $g$-core, $g$-quotient and bar-analogues, allows for new results on $t$-cores and self-conjugate $t$-cores that are {\it not} $g$-cores and $\bar{t}$-cores that are {\it not} $\bar{g}$-cores, thus strengthening positivity results of K. Ono and A. Granville, J. Baldwin et. al., and I. Kiming. We then detail a new bijection between self-conjugate $(s,t)$-core and $(\bar{s},\bar{t})$-core partitions for $s$ and $t$ odd with odd, nontrivial common divisor $g$. Here the core-quotient construction fits remarkably well with certain lattice-path labelings due to B. Ford, H. Mai, and L. Sze and C. Bessenrodt and J. Olsson. Along the way we give a new proof of a correspondence of J. Yang between self-conjugate $t$-core and $\bar{t}$-core partitions when $t$ is odd and positive. We end by noting $(s,t)$-core and $(\bar{s}, \bar{t})$-core partitions inherit Ramanujan-type congruences from those of $g$-core and $\bar{g}$-core partitions.

We develop a geometric approach to the study of $(s,ms-1)$-core and $(s,ms+1)$-core partitions through the associated $ms$-abaci. This perspective yields new proofs for results of H. Xiong and A. Straub (originally proposed by T. Amdeberhan) on the enumeration of $(s, s+1)$ and $(s,ms-1)$-core partitions with distinct parts. It also enumerates the $(s, ms+1)$-cores with distinct parts. Furthermore, we calculate the weight of the $(s, ms-1,ms+1)$-core partition with the largest number of parts. Finally we use 2-core partitions to enumerate self-conjugate core partitions with distinct parts. The central idea is that the $ms$-abaci of maximal $(s,ms\pm1)$-cores can be built up from $s$-abaci of $(s,s\pm 1)$-cores in an elegant way.

Integer partitions which are simultaneously $t$--cores for distinct values of $t$ have attracted significant interest in recent years. When $s$ and $t$ are relatively prime, Olsson and Stanton have determined the size of the maximal $(s,t)$-core $κ_{s,t}$. When $k\geq 2$, a conjecture of Amdeberhan on the maximal $(2k-1,2k,2k+1)$-core $κ_{2k-1,2k,2k+1}$ has also recently been verified by numerous authors. In this work, we analyze the relationship between maximal $(2k-1,2k+1)$-cores and maximal $(2k-1,2k,2k+1)$-cores. In previous work, the first author noted that, for all $k\geq 1,$ $$ \vert \, κ_{2k-1,2k+1}\, \vert = 4\vert \, κ_{2k-1,2k,2k+1}\, \vert $$ and requested a combinatorial interpretation of this unexpected identity. Here, using the theory of abaci, partition dissection, and elementary results relating triangular numbers and squares, we provide such a combinatorial proof.

Let $p$ be an odd prime. The bar partitions with sign and $p$-bar-core partitions with sign respectively label the spin characters and $p$-defect zero spin characters of the double cover of the symmetric group, and by restriction, those of the alternating group. The generating functions for these objects have been determined by J. Olsson. We study these functions from an arithmetic perspective, using classical analytic tools and elementary generating function manipulation to obtain many Ramanujan-like congruences.

In a very recent work, G. E. Andrews defined the combinatorial objects which he called {\it singular overpartitions} with the goal of presenting a general theorem for overpartitions which is analogous to theorems of Rogers--Ramanujan type for ordinary partitions with restricted successive ranks. As a small part of his work, Andrews noted two congruences modulo 3 which followed from elementary generating function manipulations. In this work, we prove that Andrews' results modulo 3 are two examples of an infinite family of congruences modulo 3 which hold for that particular function. We also expand the consideration of such arithmetic properties to other functions which are part of Andrews' framework for singular overpartitions.

We give a complete classification of the unique path partitions and study congruence properties of the function which enumerates such partitions.

A partition n = p_1 + p_2 + ... + p_k with 1 <= p_1 <= p_2 <= ... <= p_k is called non-squashing if p_1 + ... + p_j <= p_{j+1} for 1 <= j <= k-1. Hirschhorn and Sellers showed that the number of non-squashing partitions of n is equal to the number of binary partitions of n. Here we exhibit an explicit bijection between the two families, and determine the number of non-squashing partitions with distinct parts, with a specified number of parts, or with a specified maximal part. We use the results to solve a certain box-stacking problem.