Hopf algebras of parking functions and decorated planar trees

Nantel Bergeron, Rafael S. González D'León, Shu Xiao Li, C. Y. Amy Pang, Yannic Vargas*

*Corresponding author for this work

Research output: Contribution to journalJournal articlepeer-review

2 Citations (Scopus)

Abstract

We construct three new combinatorial Hopf algebras based on the Loday-Ronco operations on planar binary trees. The first and second algebras are defined on planar trees and labeled planar trees extending the Loday-Ronco and Malvenuto-Reutenauer Hopf algebras respectively. We show that the latter is bidendriform which implies that it is also free, cofree, and self-dual. The third algebra involves a new visualization of parking functions as decorated binary trees; it is also bidendriform, free, cofree, and self-dual, and therefore abstractly isomorphic to the algebra PQSym of Novelli and Thibon. We define partial orders on the objects indexing each of these three Hopf algebras, one of which, when restricting to (m+1)-ary trees, coarsens the m-Tamari order of Bergeron and Préville-Ratelle. We show that multiplication of dual fundamental basis elements is given by intervals in each of these orders. Finally, we use an axiomatized version of the techniques of Aguiar and Sottile on the Malvenuto-Reutenauer Hopf algebra to define a monomial basis on each of our Hopf algebras, and to show that comultiplication is cofree on the monomial elements. This in particular, implies the cofreeness of the Hopf algebra on planar trees. We also find explicit positive formulas for the multiplication on monomial basis and a cancellation-free and grouping-free formula for the antipode of monomial elements.

Original languageEnglish
Article number102436
Number of pages62
JournalAdvances in Applied Mathematics
Volume143
Early online date28 Sept 2022
DOIs
Publication statusPublished - Feb 2023

Scopus Subject Areas

  • Applied Mathematics

Fingerprint

Dive into the research topics of 'Hopf algebras of parking functions and decorated planar trees'. Together they form a unique fingerprint.

Cite this