arXiv++ Combinatorics

The study of patterns in permutations in a very active area of current research. Klazar defined and studied an analogous notion of pattern for set partitions. We continue this work, finding exact formulas for the number of set partitions which avoid certain specific patterns. In particular, we enumerate and characterize those partitions avoiding any partition of a 3-element set. This allows us to conclude that the corresponding sequences are P-recursive. Finally, we define a second notion of pattern in a set partition, based on its restricted growth function. Related results are obtained for this new definition.

Klazar defined and studied a notion of pattern avoidance for set partitions, which is an analogue of pattern avoidance for permutations. Sagan considered partitions which avoid a single partition of three elements. We enumerate partitions which avoid any family of partitions of a 3-element set as was done by Simion and Schmidt for permutations. We also consider even and odd set partitions. We provide enumerative results for set partitions restricted by generalized set partition patterns, which are an analogue of the generalized permutation patterns of Babson and Steingr{í}msson. Finally, in the spirit of work done by Babson and Steingr{'ı}msson, we will show how these generalized partition patterns can be used to describe set partition statistics.

We construct an involution on set partitions which keeps track of the numbers of crossings, nestings and alignments of two edges. We derive then the symmetric distribution of the numbers of crossings and nestings in partitions, which generalizes Klazar's recent result in perfect matchings. By factorizing our involution through bijections between set partitions and some path diagrams we obtain the continued fraction expansions of the corresponding ordinary generating functions.

We survey the theory of increasing and decreasing subsequences of permutations. Enumeration problems in this area are closely related to the RSK algorithm. The asymptotic behavior of the expected value of the length is(w) of the longest increasing subsequence of a permutation w of 1,2,...,n was obtained by Vershik-Kerov and (almost) by Logan-Shepp. The entire limiting distribution of is(w) was then determined by Baik, Deift, and Johansson. These techniques can be applied to other classes of permutations, such as involutions, and are related to the distribution of eigenvalues of elements of the classical groups. A number of generalizations and variations of increasing/decreasing subsequences are discussed, including the theory of pattern avoidance, unimodal and alternating subsequences, and crossings and nestings of matchings and set partitions.

We put recent results by Chen, Deng, Du, Stanley and Yan on crossings and nestings of matchings and set partitions in the larger context of the enumeration of fillings of Ferrers shape on which one imposes restrictions on their increasing and decreasing chains. While Chen et al. work with Robinson-Schensted-like insertion/deletion algorithms, we use the growth diagram construction of Fomin to obtain our results. We extend the results by Chen et al., which, in the language of fillings, are results about $0$-$1$-fillings, to arbitrary fillings. Finally, we point out that, very likely, these results are part of a bigger picture which also includes recent results of Jonsson on $0$-$1$-fillings of stack polyominoes, and of results of Backelin, West and Xin and of Bousquet-Mélou and Steingr\'ımsson on the enumeration of permutations and involutions with restricted patterns. In particular, we show that our growth diagram bijections do in fact provide alternative proofs of the results by Backelin, West and Xin and by Bousquet-Mélou and Steingr\'ımsson.

We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements.

This is a short review on the Faà di Bruno formulas, and some Hopf algebras associated to them. These allow, among several other things, a short proof of the Lie-Scheffers theorem, and relating the Lagrange inversion formulas with antipodes. The link of Faà di Bruno formulas with the theory of set partitions is developed in some detail.

There is a familiar conjugate for integer partitions: transpose the Ferrers diagram, and a conjugate for integer compositions: transpose a Ferrers-like diagram. Here we propose a conjugate for set partitions and show that it interchanges # singletons and # adjacencies. Its restriction to noncrossing partitions cropped up in a 1972 paper of Kreweras. We also exhibit an analogous pairs of statistics interchanged by the composition conjugate.

We give combinatorial proofs of two identities from the representation theory of the partition algebra $C A_k(n), n \ge 2k$. The first is $n^k = \sum_λf^λm_k^λ$, where the sum is over partitions $λ$ of $n$, $f^λ$ is the number of standard tableaux of shape $λ$, and $m_k^λ$ is the number of "vacillating tableaux" of shape $λ$ and length $2k$. Our proof uses a combination of Robinson-Schensted-Knuth insertion and jeu de taquin. The second identity is $B(2k) = \sum_λ(m_k^λ)^2$, where $B(2k)$ is the number of set partitions of $\{1, >..., 2k\}$. We show that this insertion restricts to work for the diagram algebras which appear as subalgebras of the partition algebra: the Brauer, Temperley-Lieb, planar partition, rook monoid, planar rook monoid, and symmetric group algebras.

Despite having been introduced in 1962 by C.L. Mallows, the combinatorial algorithm Patience Sorting is only now beginning to receive significant attention due to such recent deep results as the Baik-Deift-Johansson Theorem that connect it to fields including Probabilistic Combinatorics and Random Matrix Theory. The aim of this work is to develop some of the more basic combinatorics of the Patience Sorting Algorithm. In particular, we exploit the similarities between Patience Sorting and the Schensted Insertion Algorithm in order to do things that include defining an analog of the Knuth relations and extending Patience Sorting to a bijection between permutations and certain pairs of set partitions. As an application of these constructions we characterize and enumerate the set S_n(3-\bar{1}-42) of permutations that avoid the generalized permutation pattern 2-31 unless it is part of the generalized pattern 3-1-42.

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 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.

We introduce a natural Hopf algebra structure on the space of noncommutative symmetric functions which was recently studied as a vector space by Rosas and Sagan. The bases for this algebra are indexed by set partitions. We show that there exist a natural inclusion of the Hopf algebra of noncommutative symmetric functions indexed by compositions in this larger space. We also consider this algebra as a subspace of noncommutative polynomials and use it to understand the structure of the spaces of harmonics and coinvariants with respect to this collection of noncommutative polynomials.

We present results on the enumeration of crossings and nestings for matchings and set partitions. Using a bijection between partitions and vacillating tableaux, we show that if we fix the sets of minimal block elements and maximal block elements, the crossing number and the nesting number of partitions have a symmetric joint distribution. It follows that the crossing numbers and the nesting numbers are distributed symmetrically over all partitions of $[n]$, as well as over all matchings on $[2n]$. As a corollary, the number of $k$-noncrossing partitions is equal to the number of $k$-nonnesting partitions. The same is also true for matchings. An application is given to the enumeration of matchings with no $k$-crossing (or with no $k$-nesting).

Let the Bessel number of the second kind B(n,k) be the number of set partitions of [n] into k blocks of size one or two, and let the Bessel number of the first kind b(n,k) be a certain coefficient in n-th Bessel polynomial. In this paper, we show that Bessel numbers satisfy two properties of Stirling numbers: The two kinds of Bessel numbers are related by inverse formulas, and both Bessel numbers of the first kind and the second kind form log-concave sequences. By constructing sign-reversing involutions, we prove the inverse formulas. We review Krattenthaler's injection for the log-concavity of Bessel numbers of the second kind, and give a new explicit injection for the log-concavity of signless Bessel numbers of the first kind.

Applying the enumeration of sparse set partitions, we show that the number of set systems H such that the emptyset is not in H, the total cardinality of edges in H is n, and the vertex set of H is {1, 2, ..., m}, equals (1/log(2)+o(1))^nb_n where b_n is the n-th Bell number. The same asymptotics holds if H may be a multiset. If vertex degrees in H are restricted to be at most k, the asymptotics is (1/alpha_k+o(1))^nb_n where alpha_k is the unique root of x^k/k!+...+x^1/1!-1 in (0,1].

The quantity $f(n,r)$, defined as the number of permutations of the set $[n]=\{1,2,... n\}$ whose fixed points sum to $r$, shows a sharp discontinuity in the neighborhood of $r=n$. We explain this discontinuity and study the possible existence of other discontinuities in $f(n,r)$ for permutations. We generalize our results to other families of structures that exhibit the same kind of discontinuities, by studying $f(n,r)$ when ``fixed points'' is replaced by ``components of size 1'' in a suitable graph of the structure. Among the objects considered are permutations, all functions and set partitions.

Let $Ω=\{1,2,...,n\}$ where $n \ge 2$. The {\em shape} of an ordered set partition $P=(P_1,..., P_k)$ of $Ω$ is the integer partition $λ=(λ_1,...,λ_k)$ defined by $λ_i = |P_i|$. Let G be a group of permutations acting on $Ω$. For a fixed partition $λ$ of n, we say that G is {\em $λ$-transitive} if G has only one orbit when acting on partitions P of shape $\la$. A corresponding definition can also be given when G is just a set. For example, if $λ=(n-t,1,...,1)$, then a $λ$-transitive group is the same as a t-transitive permutation group and if $λ=(n-t,t)$, then we recover the t-homogeneous permutation groups. In this paper, we use the character theory of the symmetric group $S_n$ to establish some structural results regarding $λ$-transitive groups and sets. In particular, we are able to generalize a theorem of Livingstone and Wagner about t-homogeneous groups. We survey the relevant examples coming from groups. While it is known that a finite group of permutations can be at most 5-transitive unless it contains the alternating group, we show that it is possible to construct a non-trivial t-transitive set of permutations for each positive integer t. We also show how these ideas lead to a split basis for the association scheme of the symmetric group.

Say that mu is a ``subpartition'' of an integer partition lambda if the multiset of parts of mu is a submultiset of the parts of lambda, and define an integer partition lambda to be ``wide'' if for every subpartition mu of lambda, mu >= mu' in dominance order (where mu' denotes the conjugate or transpose of mu). Then Brian Taylor and the first author have conjectured that an integer partition lambda is wide if and only if there exists a tableau of shape lambda such that (1) for all i, the entries in the ith row of the tableau are precisely the integers from 1 to lambda_i inclusive, and (2) for all j, the entries in the jth column of the tableau are pairwise distinct. This conjecture was originally motivated by Rota's basis conjecture and, if true, yields a new class of integer multiflow problems that satisfy max-flow min-cut and integrality. Wide partitions also yield a class of graphs that satisfy ``delta-conjugacy'' (in the sense of Greene and Kleitman), and the above conjecture implies that these graphs furthermore have a completely saturated stable set partition. We present several partial results, but the conjecture remains very much open.

A combinatorial formula is derived which expresses free cumulants in terms of classical comulants. As a corollary, we give a combinatorial interpretation of free cumulants of classical distributions, notably Gaussian and Poisson distributions. The latter count connected pairings and connected set partitions respectively. The proof relies on Moebius inversion on the partition lattice.

Recently, Babson and Steingrimsson have introduced generalised permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. We consider pattern avoidance for such patterns, and give a complete solution for the number of permutations avoiding any single pattern of length three with exactly one adjacent pair of letters. We also give some results for the number of permutations avoiding two different patterns. Relations are exhibited to several well studied combinatorial structures, such as set partitions, Dyck paths, Motzkin paths, and involutions. Furthermore, a new class of set partitions, called monotone partitions, is defined and shown to be in one-to-one correspondence with non-overlapping partitions.