Combinatorics of rooted trees and Hopf algebras

We begin by considering the graded vector space with a basis consisting of rooted trees, with grading given 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, and each operator naturally associates a multiplicity to each pair of rooted trees. By using symmetry groups of trees we define an inner product with respect to which the growth and pruning operators are adjoint, and obtain several results about the associated multiplicities. Now 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 leads to the Hopf algebra of Grossman and Larson. We show that 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.

[1]  Sergey Fomin,et al.  Schensted Algorithms for Dual Graded Graphs , 1995 .

[2]  Li Jin-q,et al.  Hopf algebras , 2019, Graduate Studies in Mathematics.

[3]  Alain Connes,et al.  Hopf Algebras, Renormalization and Noncommutative Geometry , 1998 .

[4]  Donald E. Knuth,et al.  The art of computer programming, volume 3: (2nd ed.) sorting and searching , 1998 .

[5]  Richard G. Larson,et al.  Hopf-algebraic structure of families of trees , 1989 .

[6]  Florin Panaite Relating the Connes–Kreimer and Grossman–Larson Hopf Algebras Built on Rooted Trees , 2000 .

[7]  Christian Brouder,et al.  Runge–Kutta methods and renormalization , 2000 .

[9]  Strings and the Gauge Theory of Spacetime Defects , 1998, hep-th/9809042.

[10]  D. Kreimer On Overlapping Divergences , 1998, hep-th/9810022.

[11]  Joseph C. Várilly,et al.  Elements of Noncommutative Geometry , 2000 .

[12]  Michael E. Hoffman An Analogue of Covering Space Theory for Ranked Posets , 2001, Electron. J. Comb..

[13]  David Thomas,et al.  The Art in Computer Programming , 2001 .

[14]  Dirk Kreimer,et al.  On the Hopf algebra structure of perturbative quantum field theories , 1997 .

[15]  D. Kreimer Knots and Feynman Diagrams , 2000 .

[16]  David John Broadhurst,et al.  Renormalization Automated by Hopf Algebra , 1998, J. Symb. Comput..

[17]  R. Stanley Ordered Structures And Partitions , 1972 .

[18]  S. Fomin,et al.  Generalized Robinson-Schensted-Knuth correspondence , 1988 .

[19]  John Milnor,et al.  On the Structure of Hopf Algebras , 1965 .

[20]  Sergey Fomin,et al.  Duality of Graded Graphs , 1994 .

[21]  Dirk Kreimer Chen’s iterated integral represents the operator product expansion , 1999 .

[22]  Alain Connes,et al.  Hopf Algebras, Cyclic Cohomology and the Transverse Index Theorem , 1998 .

[23]  Loic Foissy Finite dimensional comodules over the Hopf algebra of rooted trees , 2001 .