arXiv++ Combinatorics

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.