arXiv++ Combinatorics

Carlitz considered integer compositions in which adjacent parts must be unequal. Arndt recently initiated the study of restricted compositions based on conditions applied to certain pairs of parts rather than to individual parts. Here, we combine and generalize these notions, establishing enumeration results using both combinatorial proofs and generating functions. Motivations for our generalizations include the gap-free compositions studied by Hitczenko and Knopfmacher and the Rogers-Ramanujan integer partitions.

The crank-mex theorem states that the number of integer partitions of $n$ with nonnegative crank equals the number with odd minimal excludant (mex). Andrews and M. Newman recently refined that result in terms of the number of parts greater than one. Here, we establish and expand a complementary result connecting the partitions with even mex, having fixed points, with negative crank, and with positive crank, all refined in terms of number of parts greater than one. We provide both analytic and combinatorial proofs.

Integer compositions restricted by inequalities on certain pairs of parts were first considered by Jörg Arndt in 2013 and several variations have been studied recently. Here we consider a broad two-parameter generalization that scales the defining relation. We connect these to compositions restricted to parts from certain congruence classes and establish the recurrence relations satisfied by the related counting sequences. This provides new combinatorial interpretations to several documented integer sequences and also simple unrecorded sequences. We conclude with suggestions for further study.

Andrews and El Bachraoui recently studied integer partitions where the smallest part is repeated a specified number of times and any other parts are distinct. Their results included two ``surprising identities'' for which they requested combinatorial proofs. We provide combinatorial proofs for an infinite family of related identities and also consider the analogous partitions where only the largest part can be repeated. The results give rise to infinite families of inequalities for the number of partitions with distinct parts.

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.

Mansour and Shattuck introduced the notion of water cells for integer compositions in 2018. We focus on compositions with parts restricted to 1 and 2 and consider the array of counts for such compositions of $n$ with $k$ water cells, establishing generating functions for the columns and diagonal sums, recurrences within the array in the spirit of Pascal's lemma, and connections to other restricted compositions. Most of our proofs are combinatorial, but we also make connections to Riordan arrays.

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, Blecher and Knopfmacher applied the notion of fixed points to integer partitions. This has already been generalized and refined in various ways such as $h$-fixed points for an integer parameter $h$ by Hopkins and Sellers. Here, we consider the sequence of first column hook lengths in the Young diagram of a partition and corresponding fixed hooks. We enumerate these, using both generating function and combinatorial proofs, and find that they match occurrences of part sizes equal to their multiplicity. We establish connections to work of Andrews and Merca on truncations of the pentagonal number theorem and classes of partitions partially characterized by certain minimal excluded parts (mex).

Recently, Blecher and Knopfmacher explored the notion of fixed points in integer partitions. Here, we distinguish partitions with a fixed point by which value is fixed and analyze the resulting triangle of integers. In particular, we confirm various identities for diagonal sums, row sums, and antidiagonal sums (which are finite for this triangle) and establish a four-term recurrence for triangle entries analogous to Pascal's lemma for the triangle of binomial coefficients. The partition statistics crank and mex arise. All proofs are combinatorial.

In 2013, Joerg Arndt recorded that the Fibonacci numbers count integer compositions where the first part is greater than the second, the third part is greater than the fourth, etc. We provide a new combinatorial proof that verifies his observation using compositions with only odd parts as studied by De Morgan. We generalize the descent condition to establish families of recurrence relations related to two types of compositions: those made of any odd part and certain even parts, and those made of any even part and certain odd parts. These generalizations connect to compositions studied by Andrews and Viennot. New tools used in the combinatorial proofs include two permutations of compositions and a statistic based on the signed pairwise difference between parts.

Recently, Blecher and Knopfmacher explored the notion of fixed points in integer partitions and hypothesized on the relative number of partitions with and without a fixed point. We resolve their open question by working fixed points into a growing number of interconnected partition statistics involving Frobenius symbols, Dyson's crank, and the mex (minimal excluded part). Also, we generalize the definition of fixed points and connect that expanded notion to the $\text{mex}_j$ defined by Hopkins, Sellers, and Stanton as well as the $j$-Durfee rectangle defined by Hopkins, Sellers, and Yee.

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.

Integer compositions with certain colored parts were introduced by Andrews in 2007 to address a number-theoretic problem. Integer compositions allowing zero as some parts were introduced by Ouvry and Polychronakos in 2019. We give a bijection between these two varieties of compositions and determine various combinatorial properties of these multicompositions. In particular, we determine the count of multicompositions by number of all parts, number of positive parts, and number of zeros. Then, working from three types of compositions with restricted parts that are counted by the Fibonacci sequence, we find the sequences counting multicompositions with analogous restrictions. With these tools, we give combinatorial proofs of summation formulas for generalizations of the Jacobsthal and Pell sequences.

Agarwal introduced $n$-color compositions in 2000 and most subsequent research has focused on restricting which parts are allowed. Here we focus instead on restricting allowed colors. After three general results, giving recurrence formulas for the cases of given allowed colors, given prohibited colors, and colors satisfying modular conditions, we consider several more specific conditions, establishing direct formulas and connections to other combinatorial objects. Proofs are combinatorial, mostly using the notion of spotted tilings introduced by the first named author in 2012.