arXiv++ Combinatorics

Using the theory of Properly Embedded Graphs developed in an earlier work we define an involutory duality on the set labeled non-crossing trees that lifts the obvious duality in the set of unlabeled non-crossing trees. The set of non-crossing trees is a free ternary magma with one generator and this duality is an instance of a duality that is defined in any such magma. Any two free ternary magmas with one generator are isomorphic via a unique isomorphism that we call the structural bijection. Besides the set of non-crossing trees we also consider as free ternary magmas with one generator the set of ternary trees, the set of quadrangular dissections, and the set of flagged Perfectly Chain Decomposed Ditrees, and we give topological and/or combinatorial interpretations of the structural bijections between them. In particular the bijection from the set of quadrangular dissections to the set of non-crossing trees seems to be new. Further we give explicit formulas for the number of self-dual labeled and unlabeled non-crossing trees and the set of quadrangular dissections up to rotations and up to rotations and reflections.

The set of factorizations of permutations in to $m$ transpositions of some symmetric group $\mathcal{S}_n$ is naturally in bijection with the set of graphs of order $n$ and size $m$ with both edges and vertices labeled. We define a notion of duality (the \emph{mind-body duality}) for factorizations and such labeled graphs and interpret it in terms of Properly Embedded Graphs, a class of graphs embedded in a bounded compact oriented surface with all the vertices lying in the boundary, and show a close connection of this duality with the Hurwitz action of the Braid Group. Connections with the theory of Cellularly Embedded Graphs are highlighted and hints of possible applications are given. In this paper we focus on developing the necessary theory, leaving specific applications and further developments for future projects.