On an extension of Knuth's rotation correspondence to reduced planar trees (Q744409)

The Knuth rotation is a bijection between the set of binary planar trees with \(n\) leaves to the set of planar rooted trees with \(n\) vertices. It is here extended to the set of reduced planar trees with \(n\) leaves: planar rooted trees are replaced by planar rooted hypertrees. Reduced planar trees hold several algebraic structures: they form an operad (freely generated by corollas), a combinatorial Hopf algebra, whose coproduct is given by admissible cuts, as in the Connes-Kreimer Hopf algebra, and a pre-Lie algebra, whose product is given by graftings. The corresponding structures on planar rooted hypertrees are described.