arXiv++ Combinatorics

Schur-Szego composition of polynomials of degree N introduces an interesting semigroup structure on polynomial spaces. In this note we show how it interacts with the stratification of polynomials according to the multiplicity of their zeros and present the induced semigroup structure on the set of all ordered partitions of N.

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.

We realize several combinatorial Hopf algebras based on set compositions, plane trees and segmented compositions in terms of noncommutative polynomials in infinitely many variables. For each of them, we describe a trialgebra structure, an internal product, and several bases.

We exhibit a weight-preserving bijection between semi-standard Young tableaux and semi-skyline augmented fillings to provide a combinatorial proof that the Schur functions decompose into nonsymmetric functions indexed by compositions. The insertion procedure involved in the proof leads to an analogue of the Robinson-Schensted-Knuth Algorithm for semi-skyline augmented fillings. This procedure commutes with the RSK algorithm, and therefore retains many of its properties.

Let A be any set of positive integers and n a positive integer. A composition of n with parts in A is an ordered collection of one or more elements in A whose sum is n. We derive generating functions for the number of compositions of n with m parts in A that have r occurrences of 3-letter patterns formed by two (adjacent) instances of levels, rises and drops. We also derive asymptotics for the number of compositions of n that avoid a given pattern. Finally, we obtain the generating function for the number of k-ary words of length m which contain a prescribed number of occurrences of a given pattern as a special case of our results.

Given a partition l and a composition b, the stretched Kostka coefficient K_{l, b}(n) is the map sending each positive integer n to the Kostka coefficient indexed by nl and nb. Kirillov and Reshetikhin (1986) have shown that stretched Kostka coefficients are polynomial functions of n. King, Tollu, and Toumazet have conjectured that these polynomials always have nonnegative coefficients (2004), and they have given a conjectural expression for their degrees (2006). We prove the values conjectured by King, Tollu, and Toumazet for the degrees of stretched Kostka coefficients. Our proof depends upon the polyhedral geometry of Gelfand--Tsetlin polytopes and uses tilings of GT-patterns, a combinatorial structure introduced in De Loera & McAllister (2004).

In this paper, we prove results on enumerations of sets of Rota-Baxter words in a finite number of generators and a finite number of unary operators. Rota-Baxter words are words formed by concatenating generators and images of words under Rota-Baxter operators. Under suitable conditions, they form canonical bases of free Rota-Baxter algebras and are studied recently in relation to combinatorics, number theory, renormalization in quantum field theory, and operads. Enumeration of a basis is often a first step to choosing a data representation in implementation. Our method applies some simple ideas from formal languages and compositions (ordered partitions) of an integer. We first settle the case of one generator and one operator where both have exponent 1 (the idempotent case). Some integer sequences related to these sets of Rota-Baxter words are known and connected to other combinatorial sequences, such as the Catalan numbers, and others are new. The recurrences satisfied by the generating series of these sequences prompt us to discover an efficient algorithm to enumerate the canonical basis of certain free Rota-Baxter algebras. More general sets of Rota-Baxter words are enumerated with summation techniques related to compositions of integers.

Knopfmacher et all [1] was introduced the graph compositions` notion. In this note we add to these a new construction of tree-like graphs where nodes are graphs themselves. The first examples of these tree-like compositions, a corresponding theorem and resulting conclusions are provided.

Let $C(n,p)$ be the set of $p$-compositions of an integer $n$, i.e., the set of $p$-tuples $\bmα=(α_1,...,α_p)$ of nonnegative integers such that $α_1+...+α_p=n$, and $\mathbf{x}=(x_1,...,x_p)$ a vector of indeterminates. For $\bmα$ and ${\bmβ}$ two $p$-compositions of $n$, define $(\mathbf{x}+\bmα)^{\bmβ} = (x_1+α_1)^{β_1}... x_p+α_p)^{β_p}$. In this paper we prove an explicit formula for the determinant $\det_{\bmα,{\bmβ}\in C(n,p)}((\mathbf{x}+\bmα)^{\bmβ})$. In the case $x_1=...=x_p$ the formula gives a proof of a conjecture by C.~Krattenthaler.

The natural forms of the Leibniz rule for the $k$th derivative of a product and of Faà di Bruno's formula for the $k$th derivative of a composition involve the differential operator $\partial^k/\partial x_1 ... \partial x_k$ rather than $d^k/dx^k$, with no assumptions about whether the variables $x_1,...,x_k$ are all distinct, or all identical, or partitioned into several distinguishable classes of indistinguishable variables. Coefficients appearing in forms of these identities in which some variables are indistinguishable are just multiplicities of indistinguishable terms (in particular, if all variables are distinct then all coefficients are 1). The computation of the multiplicities in this generalization of Faà di Bruno's formula is a combinatorial enumeration problem that, although completely elementary, seems to have been neglected. We apply the results to cumulants of probability distributions.

We show that certain canonical realizations of the complexes Hom(G,H) and Hom_+(G,H) of (partial) graph homomorphisms studied by Babson and Kozlov are in fact instances of the polyhedral Cayley trick. For G a complete graph, we then characterize when a canonical projection of these complexes is itself again a complex, and exhibit several well-known objects that arise as cells or subcomplexes of such projected Hom-complexes: the dissections of a convex polygon into k-gons, Postnikov's generalized permutohedra, staircase triangulations, the complex dual to the lower faces of a cyclic polytope, and the graph of weak compositions of an integer into a fixed number of summands.

This paper was motivated by work of Arnold where he explains how to count "snakes", i.e. Morse functions on the real axis with prescribed behavior at infinity. This leads immediately to a count of excellent Morse functions on the circle, where following Thom's terminology, excellent means that no two critical points lie on the same level set. We explain how to count equivalence classes of excellent Morse functions on the 2-sphere. We consider two equivalence relations. The geometric relation (two functions are equivalent if one can be obtained from the other via compositions with an orientation preserving diffeomorphism of the sphere and an orientation preserving diffeomorphism of the real axis) and the homology relation (two functions are equivalent if the Betti numbers of the sublevel sets undergo similar changes when crossing a critical value).

We generalize Björner and Stanley's poset of compositions to $m$-colored compositions. Their work draws many analogies between their (1-colored) composition poset and Young's lattice of partitions, including links to (quasi-)symmetric functions and representation theory. Here we show that many of these analogies hold for any number of colors. While many of the proofs for Björner and Stanley's poset were simplified by showing isomorphism with the subword order, we remark that with 2 or more colors, our posets are not isomorphic to a subword order.

We first show that increasing trees are in bijection with set compositions, extending simultaneously a recent result on trees due to Tonks and a classical result on increasing binary trees. We then consider algebraic structures on the linear span of set compositions (the twisted descent algebra). Among others, a number of enveloping algebra structures are introduced and studied in detail. For example, it is shown that the linear span of trees carries an enveloping algebra structure and embeds as such in an enveloping algebra of increasing trees. All our constructions arise naturally from the general theory of twisted Hopf algebras.

The associative operad is a certain algebraic structure on the sequence of group algebras of the symmetric groups. The weak order is a partial order on the symmetric group. There is a natural linear basis of each symmetric group algebra, related to the group basis by Mobius inversion for the weak order. We describe the operad structure on this second basis: the surprising result is that each operadic composition is a sum over an interval of the weak order. We deduce that the coradical filtration is an operad filtration. The Lie operad, a suboperad of the associative operad, sits in the first component of the filtration. As a corollary to our results, we derive a simple explicit expression for Dynkin's idempotent in terms of the second basis. There are combinatorial procedures for constructing a planar binary tree from a permutation, and a composition from a planar binary tree. These define set-theoretic quotients of each symmetric group algebra. We show that they are operad quotients of the associative operad. Moreover, the Hopf kernels of these quotient maps are suboperads of the associative operad.

Let $\p_N \colon \tX \to X$ be a regular covering projection of connected graphs with the group of covering transformations isomorphic to $N$. If $N$ is an elementary abelian $p$-group, then the projection $\p_N$ is called $p$-elementary abelian. The projection $\p_N$ is vertex-transitive (edge-transitive) if some vertex-transitive (edge-transitive) subgroup of $\Aut X$ lifts along $\p_N$, and semisymmetric if it is edge- but not vertex-transitive. The projection $\p_N$ is minimal semisymmetric if $p_N$ cannot be written as a composition $\p_N = \p \circ \p_M$ of two (nontrivial) regular covering projections, where $\p_M$ is semisymmetric. Finding elementary abelian covering projections can be grasped combinatorially via a linear representation of automorphisms acting on the first homology group of the graph. The method essentially reduces to finding invariant subspaces of matrix groups over prime fields (see {\em J. Algebr. Combin.}, {\bf 20} (2004), 71--97). In this paper, all pairwise nonisomorphic minimal semisymmetric elementary abelian regular covering projections of the Möbius-Kantor graph, the Generalized Petersen graph $\GP(8,3)$, are constructed. No such covers exist for $p =2$. Otherwise, the number of such covering projections is equal to $(p-1)/4$ and $1+ (p-1)/4$ in cases $p \equiv 5,9,13,17,21 (\mod 24)$ and $p \equiv 1 (\mod 24)$, respectively, and to $(p+1)/4$ and $1+ (p+1)/4$ in cases $p \equiv 3,7,11,15,23 (\mod 24)$ and $p \equiv 19 (\mod 24)$, respectively. For each such covering projection the voltage rules generating the corresponding covers are displayed explicitly.

We consider the zeta and Möbius functions of a partial order on integer compositions first studied by Bergeron, Bousquet-Mélou, and Dulucq. The Möbius function of this poset was determined by Sagan and Vatter. We prove rationality of various formal power series in noncommuting variables whose coefficients are evaluations of the zeta function and the Möbius function. The proofs are either directly from the definitions or by constructing finite-state automata. We also obtain explicit expressions for generating functions obtained by specializing the variables to commutative ones. We reprove Sagan and Vatter's formula for the Möbius function using this machinery. These results are closely related to those of Björner and Reutenauer about subword order, and we discuss a common generalization.

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.

We compute two parametric determinants in which rows and columns are indexed by compositions, where in one determinant the entries are products of binomial coefficients, while in the other the entries are products of powers. These results generalize previous determinant evaluations due to the first and third author [SIAM J. Matrix Anal. Appl. 23 (2001), 459--471] and ["A polynomial generalization of the power-compositions determinant," Linear Multilinear Algebra (to appear)], and they prove two conjectures of the second author ["Advanced determinant calculus: a complement," preliminary version].

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.