arXiv++ Combinatorics

We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. We also describe the structure constants of the multiplication as a certain number of facets of the permutahedron. Our results reveal a close relationship between the structure of this Hopf algebra and the weak order on the symmetric groups.

The aim of this work is to study the quotient ring R_n of the ring Q[x_1,...,x_n] over the ideal J_n generated by non-constant homogeneous quasi-symmetric functions. We prove here that the dimension of R_n is given by C_n, the n-th Catalan number. This is also the dimension of the space SH_n of super-covariant polynomials, that is defined as the orthogonal complement of J_n with respect to a given scalar product. We construct a basis for R_n whose elements are naturally indexed by Dyck paths. This allows us to understand the Hilbert series of SH_n in terms of number of Dyck paths with a given number of factors.

We show that a finite graded lattice of rank n is supersolvable if and only if it has an EL-labeling where the labels along any maximal chain form a permutation. We call such a labeling an S_n EL-labeling and we consider finite graded posets of rank n with unique top and bottom elements that have an S_n EL-labeling. We describe a type A 0-Hecke algebra action on the maximal chains of such posets. This action is local and gives a representation of these Hecke algebras whose character has characteristic that is closely related to Ehrenborg's flag quasi-symmetric function. We ask what other classes of posets have such an action and in particular we show that finite graded lattices of rank n have such an action if and only if they have an S_n EL-labeling.

We investigate the quotient ring $R$ of the ring of formal power series $\Q[[x_1,x_2,...]]$ over the closure of the ideal generated by non-constant quasi-\break symmetric functions. We show that a Hilbert basis of the quotient is naturally indexed by Catalan paths (infinite Dyck paths). We also give a filtration of ideals related to Catalan paths from $(0,0)$ and above the line $y=x-k$. We investigate as well the quotient ring $R_n$ of polynomial ring in $n$ variables over the ideal generated by non-constant quasi-symmetric polynomials. We show that the dimension of $R_n$ is bounded above by the $n$th Catalan number.

We define two-parameter families of noncommutative symmetric functions and quasi-symmetric functions, which appear to be the proper analogues of the Macdonald symmetric functions in these settings.

This article is devoted to the study of several algebras which are related to symmetric functions, and which admit linear bases labelled by various combinatorial objects: permutations (free quasi-symmetric functions), standard Young tableaux (free symmetric functions) and packed integer matrices (matrix quasi-symmetric functions). Free quasi-symmetric functions provide a kind of noncommutative Frobenius characteristic for a certain category of modules over the 0-Hecke algebras. New examples of indecomposable $H_n(0)$-modules are discussed, and the homological properties of $H_n(0)$ are computed for small $n$. Finally, the algebra of matrix quasi-symmetric functions is interpreted as a convolution algebra.

We consider graded representations of the algebra NC of noncommutative symmetric functions on the Z-linear span of a graded poset P. The matrix coefficients of such a representation give a Hopf morphism from a Hopf algebra HP generated by the intervals of P to the Hopf algebra of quasi-symmetric functions. This provides a unified construction of quasi-symmetric generating functions from different branches of algebraic combinatorics, and this construction is useful for transferring techniques and ideas between these branches. In particular we show that the (Hopf) algebra of Billera and Liu related to Eulerian posets is dual to the peak (Hopf) algebra of Stembridge related to enriched P-partitions, and connect this to the combinatorics of the Schubert calculus for isotropic flag manifolds.

This paper concerns a probability distribution on the symmetric group generalizing the riffle shuffle of Bayer, Diaconis, and others. There are close connections with the theory of quasisymmetric and symmetric functions.

Given a locally finite graded set A and a commutative, associative operation on A that adds degrees, we construct a commutative multiplication * on the set of noncommutative polynomials in A which we call a quasi-shuffle product; it can be viewed as a generalization of the shuffle product. The resulting commutative algebra can be given the structure of a Hopf algebra (_A_,*,Delta). In the case where A is the set of positive integers and the operation on A is addition, (_A_,*,Delta) is the Hopf algebra of quasi-symmetric functions. If rational coefficients are allowed, there is a Hopf algebra isomorphism exp from the shuffle Hopf algebra on A onto (_A_,*,Delta). We discuss the dual of (_A_,*,Delta), and define a deformation *_q of * that coincides with * when q = 1 and is isomorphic to the concatenation product when q is not a root of unity. Finally, we discuss various examples of this construction.

In his work on P-partitions, Stembridge defined the algebra of peak functions Pi, which is both a subalgebra and a retraction of the algebra of quasi-symmetric functions. We show that Pi is closed under coproduct, and therefore a Hopf algebra, and describe the kernel of the retraction. Billey and Haiman, in their work on Schubert polynomials, also defined a new class of quasi-symmetric functions --- shifted quasi-symmetric functions --- and we show that Pi is strictly contained in the linear span Xi of shifted quasi-symmetric functions. We show that Xi is a coalgebra, and compute the rank of the n-th graded component.

Given a finite graded poset with labeled Hasse diagram, we construct a quasi- symmetric generating function for (saturated) chains whose labels have fixed descents. This is a common generalization of a generating function for the flag f-vector defined by Ehrenborg and of a symmetric function associated to certain edge-labeled posets which arose in the theory of Schubert polynomials. We show this construction gives a Hopf morphism from an incidence algebra of edge-labeled posets to the Hopf algebra of quasi-symmetric functions.

We give a new proof of Chung and Graham's ``G-descent expansion'' of the classical chromatic polynomial, as well as a special case of the quasi-symmetric function expansion of the path-cycle symmetric function Xi_D. Both proofs rely on Stanley's quasi-symmetric function expansion of the chromatic symmetric function X_G. We also show that Stanley's expansion suggests that a Robinson-Schensted algorithm for (3+1)-free posets---something that has been sought for unsuccessfully for some time---ought to ``respect descents'' in a certain precise sense.