arXiv++ Combinatorics

The purpose of this short paper is to put recent results on the symmetry of the joint distribution of the numbers of crossings and nestings of two edges over matchings, set partitions and linked partitions, in the larger context of the enumeration of increasing and decreasing chains of length 2 in fillings of moon polyominoes.

We compute the dimension $d_{n,r}(q) = \dim(\IR_q^r)$ of the defining module $\IR_q^r$ for the $q$-partition algebra. This module comes from $r$-iterations of Harish-Chandra restriction and induction on $\GL_n(\FF_q)$. This dimension is a polynomial in $q$ that specializes as $d_{n,r}(1) = n^r$ and $d_{n,r}(0) = B(r)$, the $r$th Bell number. We compute $d_{n,r}(q)$ in two ways. The first is purely combinatorial. We show that $d_{n,r}(q) = \sum_λf^λ(q) m_r^λ$, where $f^λ(q)$ is the $q$-hook number and $m_r^λ$ is the number of $r$-vacillating tableaux. Using a Schensted bijection, we write this as a sum over integer sequences which, when $q$-counted by inverse major index, gives $d_{n,r}(q)$. The second way is algebraic. We find a basis of $\IR_q^r$ that is indexed by $n$-restricted $q$-set partitions of $\{1,..., r\}$, and we show that there are $d_{n,r}(q)$ of these.

Sergey Kitaev has shown that the exponential generating function for permutations avoiding the generalized pattern $σ$-$k$, where $σ$ is a pattern without dashes and $k$ is one greater than the biggest element in $σ$, is determined by the exponential generating function for permutations avoiding $σ$. We show that this also holds for permutations avoiding all the generalized patterns $σ_1$-$k_1$, $...$, $σ_n$-$k_n$, where $σ_1$, $...$, $σ_n$ are patterns without dashes and $k_i$ is one greater than the biggest element in $σ_i$. Similarly the exponential generating function for permutations avoiding the partially ordered generalized patterns $k_1$-$σ_1$-$k_1$, $...$, $k_n$-$σ_n$-$k_n$ can be determined from the exponential generating function for permutations avoiding the generalized patterns $σ_1$, $...$, $σ_n$, where $σ_1$, $...$, $σ_n$ are patterns without dashes and $k_i$ is one greater than the largest element in $σ_i$. Using this we construct a bijection between bicolored set partitions and permutations avoiding the partially ordered generalized pattern 3-12-3 (that is, permutations avoiding both the patterns 3-12-4 and 4-12-3). By using this method twice, we find a closed formula for the exponential generating function for permutations avoiding the partially ordered generalized pattern 3-121-3. Finally, we give a complete classification of when single partially ordered generalized patterns have the same set of avoiders.

Let $H$ be a fixed graph on $v$ vertices. For an $n$-vertex graph $G$ with $n$ divisible by $v$, an $H$-{\em factor} of $G$ is a collection of $n/v$ copies of $H$ whose vertex sets partition $V(G)$. In this paper we consider the threshold $th_{H} (n)$ of the property that an Erdős-Rényi random graph (on $n$ points) contains an $H$-factor. Our results determine $th_{H} (n)$ for all strictly balanced $H$. The method here extends with no difficulty to hypergraphs. As a corollary, we obtain the threshold for a perfect matching in random $k$-uniform hypergraph, solving the well-known "Shamir's problem."

To flatten a set partition (with apologies to Mathematica) means to form a permutation by erasing the dividers between its blocks. Of course, the result depends on how the blocks are listed. For the usual listing--increasing entries in each block and blocks arranged in increasing order of their first entries--we count the partitions of [n] whose flattening avoids a single 3-letter pattern. Five counting sequences arise: a null sequence, the powers of 2, the Fibonacci numbers, the Catalan numbers, and the binomial transform of the Catalan numbers.

We study statistics on ordered set partitions whose generating functions are related to $p,q$-Stirling numbers of the second kind. The main purpose of this paper is to provide bijective proofs of all the conjectures of \stein (Arxiv:math.CO/0605670). Our basic idea is to encode ordered partitions by a kind of path diagrams and explore the rich combinatorial properties of the latter structure. We also give a partition version of MacMahon's theorem on the equidistribution of the statistics inversion number and major index on words.

We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are exhibited, and it is shown how these algebras fit into a commutative diagram. Hopf deformations and dendriform structures are also considered for some algebras in the picture.

There is a well-known combinatorial definition, based on ordered set partitions, of the semigroup of faces of the braid arrangement. We generalize this definition to obtain a semigroup Sigma_n^G associated with G wr S_n, the wreath product of the symmetric group S_n with an arbitrary group G. Techniques of Bidigare and Brown are adapted to construct an anti-homomorphism from the S_n-invariant subalgebra of the semigroup algebra of Sigma_n^G into the group algebra of G wr S_n. The generalized descent algebras of Mantaci and Reutenauer are obtained as homomorphic images when G is abelian.

Let $π$ and $λ$ be two set partitions with the same number of blocks. Assume $π$ is a partition of $[n]$. For any integer $l, m \geq 0$, let $\mathcal{T}(π, l)$ be the set of partitions of $[n+l]$ whose restrictions to the last $n$ elements are isomorphic to $π$, and $\mathcal{T}(π, l, m)$ the subset of $\mathcal{T}(π,l)$ consisting of those partitions with exactly $m$ blocks. Similarly define $\mathcal{T}(λ, l)$ and $\mathcal{T}(λ, l,m)$. We prove that if the statistic $cr$ ($ne$), the number of crossings (nestings) of two edges, coincides on the sets $\mathcal{T}(π, l)$ and $\mathcal{T}(λ, l)$ for $l =0, 1$, then it coincides on $\mathcal{T}(π, l,m)$ and $\mathcal{T}(λ, l,m)$ for all $l, m \geq 0$. These results extend the ones obtained by Klazar on the distribution of crossings and nestings for matchings.

This paper has been withdrawn by the author due to an error in Lemma 3, making the (bijective) proof of Theorem 4 and Corollary 5 invalid (symmetry of k-nonnesting and k-noncrossing set partitions).

We consider the set partition statistics ls and rb introduced by Wachs and White and investigate their distribution over set partitions avoiding certain patterns. In particular, we consider those set partitions avoiding the pattern 13/2, $Π_n(13/2)$, and those avoiding both 13/2 and 123, $Π_n(13/2,123)$. We show that the distribution over $Π_n(13/2)$ enumerates certain integer partitions, and the distribution over $Π_n(13/2,123)$ gives q-Fibonacci numbers. These q-Fibonacci numbers are closely related to q-Fibonacci numbers studied by Carlitz and by Cigler. We provide combinatorial proofs that these q-Fibonacci numbers satisfy q-analogues of many Fibonacci identities. Finally, we indicate how p,q-Fibonacci numbers arising from the bistatistic (ls, rb) give rise to p,q-analogues of identities.

A \emph{set partition} of the set $[n]=\{1,...c,n\}$ is a collection of disjoint blocks $B_1,B_2,...c, B_d$ whose union is $[n]$. We choose the ordering of the blocks so that they satisfy $\min B_1<\min B_2<...b<\min B_d$. We represent such a set partition by a \emph{canonical sequence} $π_1,π_2,...c,π_n$, with $π_i=j$ if $i\in B_j$. We say that a partition $π$ \emph{contains} a partition $σ$ if the canonical sequence of $π$ contains a subsequence that is order-isomorphic to the canonical sequence of $σ$. Two partitions $σ$ and $σ'$ are \emph{equivalent}, if there is a size-preserving bijection between $σ$-avoiding and $σ'$-avoiding partitions. We determine several infinite families of sets of equivalent patterns; for instance, we prove that there is a bijection between $k$-noncrossing and $k$-nonnesting partitions, with a notion of crossing and nesting based on the canonical sequence. We also provide new combinatorial interpretations of the Catalan numbers and the Stirling numbers. Using a systematic computer search, we verify that our results characterize all the pairs of equivalent partitions of size at most seven. We also present a correspondence between set partitions and fillings of Ferrers shapes and stack polyominoes. This correspondence allows us to apply recent results on polyomino fillings in the study of partitions, and conversely, some of our results on partitions imply new results on polyomino fillings and ordered graphs.

For classes O of structures on finite linear orders (permutations, ordered graphs etc.) endowed with containment order cont (containment of permutations, subgraph relation etc.), we investigate restrictions on the function f(n) counting objects with size n in a lower ideal in (O, cont). We present a framework of edge P-colored complete graphs (C(P), cont) which includes many of these situations, and we prove for it two such restrictions (jumps in growth): f(n) is eventually constant or f(n) >= n for all n>0; f(n)<n^c for all n>0 for a constant c>0 or f(n) >= F_n for all n>0, F_n being the Fibonacci numbers. This generalizes a fragment of a more detailed theorem of Balogh, Bollobas and Morris on hereditary properties of ordered graphs.

The number of maximal independent sets of the n-cycle graph C_n is known to be the nth term of the Perrin sequence. The action of the automorphism group of C_n on the family of these maximal independent sets partitions this family into disjoint orbits, which represent the non-isomorphic (i.e., defined up to a rotation and a reflection) maximal independent sets. We provide exact formulas for the total number of orbits and the number of orbits having a given number of isomorphic representatives. We also provide exact formulas for the total number of unlabeled (i.e., defined up to a rotation) maximal independent sets and the number of unlabeled maximal independent sets having a given number of isomorphic representatives. It turns out that these formulas involve both Perrin and Padovan sequences.

The main focus of this thesis is a generalization of covering arrays, covering arrays on graphs. Two vectors v,w in Z_k^n are qualitatively independent if for all ordered pairs (a,b) in Z_k x Z_k there is a position i in the vectors where (a,b) = (v_i,w_i). A covering array is an array with the property that any pair of rows are qualitatively independent. A covering array on a graph is an array with a row for each vertex of the graph with the property that any two rows which correspond to adjacent vertices are qualitatively independent. The addition of a graph structure to covering arrays makes it possible to use methods from graph theory to study these designs. In this thesis, we define a family of graphs called the qualitative independence graphs. A graph has a covering array, with given parameters, if and only if there is a homomorphism from the graph to a particular qualitative independence graph. Cliques in qualitative independence graphs relate to covering arrays and independent sets are connected to intersecting partition systems. It is known that the exact size of an optimal binary covering array can be determined using Sperner's Theorem and the Erdos-Ko-Rado Theorem. Since the rows of general covering arrays correspond to set partitions, we give extensions of Sperner's Theorem and the Erdos-Ko-Rado Theorem to set-partition systems. We also consider a subgraph of a general qualitative independence graph called the uniform qualitative independence graph. We give the spectra for several of these graphs and conjecture that they are graphs in an association scheme. We also give a new construction for covering arrays which yields many new upper bounds on the size of optimal covering arrays.

We introduce a statistic $\pmaj$ on partitions of $[n]=\{1,2,..., n\}$, and show that it is equidistributed with the number of 2-crossings over partitions of $[n]$ with given sets of minimal block elements and maximal block elements. This generalizes the classical result of equidistribution for the permutation statistics inversion number and major index.

Recently, Kitaev and Remmel [Classifying descents according to parity, Annals of Combinatorics, to appear 2007] refined the well-known permutation statistic ``descent'' by fixing parity of one of the descent's numbers. Results in that paper were extended and generalized in several ways. In this paper, we shall fix a set partition of the natural numbers $N$, $(N_1, ..., N_t)$, and we study the distribution of descents, levels, and rises according to whether the first letter of the descent, rise, or level lies in $N_i$ over the set of words over the alphabet $[k]$. In particular, we refine and generalize some of the results in [Counting occurrences of some subword patterns, Discrete Mathematics and Theoretical Computer Science 6 (2003), 001-012.].

Through the classical umbral calculus, we provide a unifying syntax for single and multivariate $k$-statistics, polykays and multivariate polykays. From a combinatorial point of view, we revisit the theory as exposed by Stuart and Ord, taking into account the Doubilet approach to symmetric functions. Moreover, by using exponential polynomials rather than set partitions, we provide a new formula for $k$-statistics that results in a very fast algorithm to generate such estimators.

We introduce several statistics on ordered partitions of sets, that is, set partitions where the blocks are permuted arbitrarily. The distribution of these statistics is closely related to the q-Stirling numbers of the second kind. Some of the statistics are generalizations of known statistics on set partitions, but others are entirely new. All the new ones are sums of two statistics, inspired by statistics on permutations, where one of the two statistics is based on a certain partial ordering of the blocks of a partition.

We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general construction based on graphs, and its non-commutative dual is realized in three different ways, in particular as the Grossman-Larson algebra of heap ordered trees. Extensions to endofunctions, parking functions, set compositions, set partitions, planar binary trees and rooted forests are discussed. Finally, we introduce one-parameter families interpolating between different structures constructed on the same combinatorial objects.