arXiv++ Combinatorics

Consider the coradical filtrations of the Hopf algebras of planar binary trees of Loday and Ronco and of permutations of Malvenuto and Reutenauer. We give explicit isomorphisms showing that the associated graded Hopf algebras are dual to the cocommutative Hopf algebras introduced in the late 1980's by Grossman and Larson. These Hopf algebras are constructed from ordered trees and heap-ordered trees, respectively. These results follow from the fact that whenever one starts from a Hopf algebra that is a cofree graded coalgebra, the associated graded Hopf algebra is a shuffle Hopf algebra.

We give a unified explanation of the geometric and algebraic properties of two well-known maps, one from permutations to triangulations, and another from permutations to subsets. Furthermore we give a broad generalization of the maps. Specifically, for any lattice congruence of the weak order on a Coxeter group we construct a complete fan of convex cones with strong properties relative to the corresponding lattice quotient of the weak order. We show that if a family of lattice congruences on the symmetric groups satisfies certain compatibility conditions then the family defines a sub Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. Such a sub Hopf algebra has a basis which is described by a type of pattern-avoidance. Applying these results, we build the Malvenuto-Reutenauer algebra as the limit of an infinite sequence of smaller algebras, where the second algebra in the sequence is the Hopf algebra of non-commutative symmetric functions. We also associate both a fan and a Hopf algebra to a set of permutations which appears to be equinumerous with the Baxter permutations.

If the moments of a probability measure on $\R$ are interpreted as a specialization of complete homogeneous symmetric functions, its free cumulants are, up to sign, the corresponding specializations of a sequence of Schur positive symmetric functions $(f_n)$. We prove that $(f_n)$ is the Frobenius characteristic of the natural permutation representation of $\SG_n$ on the set of prime parking functions. This observation leads us to the construction of a Hopf algebra of parking functions, which we study in some detail.

Most of pointed Hopf algebras of dimension $p^m$ with large coradical are shown to be generalized path algebras. By the theory of generalized path algebras it is obtained that the representations, homological dimensions and radicals of these Hopf algebras. The relations between the radicals of path algebras and connectivity of directed graphs are given.

A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $F$ equipped with a character (multiplicative linear functional) $ζ:H\to F$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra $QSym$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $(H,ζ)$ possesses two canonical Hopf subalgebras on which the character $ζ$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn-Sommerville relations. We show that, for $H=QSym$, the generalized Dehn-Sommerville relations are the Bayer-Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that $QSym$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto-Reutenauer Hopf algebra of permutations, the Loday-Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.

We propose a generalisation of a recent work of M. Aguiar and J.-L. Loday on Quadri-algebras, called Ennea-algebras. In this second version, this paper has been extended. We show that the augmented free Ennea-algebra is a connected Hopf algebra and construct explicit formal deformations of dendriform dialgebras, quari-algebras and ennea-algebras via Baxter operators.

Let $A$ be a commutative $k$-algebra over a field of $k$ and $Ξ$ a linear operator defined on $A$. We define a family of $A$-valued invariants $Ψ$ for finite rooted forests by a recurrent algorithm using the operator $Ξ$ and show that the invariant $Ψ$ distinguishes rooted forests if (and only if) it distinguishes rooted trees $T$, and if (and only if) it is {\it finer} than the quantity $α(T)=|\text{Aut}(T)|$ of rooted trees $T$. We also consider the generating function $U(q)=\sum_{n=1}^\infty U_n q^n$ with $U_n =\sum_{T\in \bT_n} \frac 1{α(T)} Ψ(T)$, where $\bT_n$ is the set of rooted trees with $n$ vertices. We show that the generating function $U(q)$ satisfies the equation $Ξ\exp U(q)= q^{-1} U(q)$. Consequently, we get a recurrent formula for $U_n$ $(n\geq 1)$, namely, $U_1=Ξ(1)$ and $U_n =ΞS_{n-1}(U_1, U_2, >..., U_{n-1})$ for any $n\geq 2$, where $S_n(x_1, x_2, ...)$ $(n\in \bN)$ are the elementary Schur polynomials. We also show that the (strict) order polynomials and two well known quasi-symmetric function invariants of rooted forests are in the family of invariants $Ψ$ and derive some consequences about these well-known invariants from our general results on $Ψ$. Finally, we generalize the invariant $Ψ$ to labeled planar forests and discuss its certain relations with the Hopf algebra $\mathcal H_{P, R}^D$ in \cite{F} spanned by labeled planar forests.

We show that the family of standard simplices and the family of Stasheff polytopes are dual to each other in the following sense. The chain modules of the standard simplices, resp. the Stasheff polytopes, assemble to give an operad. We show that these operads are dual of each other in the operadic sense. The main result of this paper is to show that they are both Koszul operads. As a consequence the generating series of the standard simplices and the generating series of the Stasheff polytopes are inverse to each other. The two operads give rise to new types of algebras with 3 generating operations, 11 relations, respectively 7 relations, that we call {\it associative trialgebras} and {\it dendriform trialgebras} respectively. The free dendriform trialgebra, which is based on planar trees, has an interesting Hopf algebra structure, which will be dealt with in another paper. Similarly the family of cubes gives rise to an operad which happens to be self-dual for Koszul duality.

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. In addition, we describe the structure constants of the multiplication as a certain number of facets of the permutahedron. As a consequence we obtain a new interpretation of the product of monomial quasi-symmetric functions in terms of the facial structure of the cube. The Hopf algebra of Malvenuto and Reutenauer has a linear basis indexed by permutations. Our results are obtained from a combinatorial description of the Hopf algebraic structure with respect to a new basis for this algebra, related to the original one via Möbius inversion on the weak order on the symmetric groups. This is in analogy with the relationship between the monomial and fundamental bases of the algebra of quasi-symmetric functions. Our results reveal a close relationship between the structure of the Malvenuto-Reutenauer Hopf algebra and the weak order on the symmetric groups.

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.

We begin by considering the graded vector space with a basis consisting of rooted trees, graded by the count of non-root vertices. We define two linear operators on this vector space, the growth and pruning operators, which respectively raise and lower grading; their commutator is the operator that multiplies a rooted tree by its number of vertices. We define an inner product with respect to which the growth and pruning operators are adjoint, and obtain several results about the multiplicities associated with each operator. The symmetric algebra on the vector space of rooted trees (after a degree shift) can be endowed with a coproduct to make a Hopf algebra; this was defined by Kreimer in connection with renormalization. We extend the growth and pruning operators, as well as the inner product mentioned above, to Kreimer's Hopf algebra. On the other hand, the vector space of rooted trees itself can be given a noncommutative multiplication: with an appropriate coproduct, this gives the Hopf algebra of Grossman and Larson. We show the inner product on rooted trees leads to an isomorphism of the Grossman-Larson Hopf algebra with the graded dual of Kreimer's Hopf algebra, correcting an earlier result of Panaite.

In "Hopf algebra of the planar binary trees", Adv. Math. 139 (1998), no. 2, 293--309, we constructed by induction a graded associative product on the vector space generated by the planar binary trees (resp. the permutations). In the present paper we prove an explicit formula for this product in terms of a partial order on the set of planar binary trees (resp. the weak Bruhat order on the symmetric groups).

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.

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.

It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representation of the Hopf algebra ${\cal H}_R$ of undecorated rooted trees. Our undecorated Hopf algebra program is designed to process the 24,213,878 BPHZ contributions to the renormalization of 7,813 diagrams, with up to 12 loops. We consider 10 models, each in 9 renormalization schemes. The two simplest models reveal a notable feature of the subalgebra of Connes and Moscovici, corresponding to the commutative part of the Hopf algebra ${\cal H}_T$ of the diffeomorphism group: it assigns to Feynman diagrams those weights which remove zeta values from the counterterms of the minimal subtraction scheme. We devise a fast algorithm for these weights, whose squares are summed with a permutation factor, to give rational counterterms.

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.