arXiv++ Combinatorics

Classical shuffle products on permutations and binary planar rooted trees (i.e., on the vertices of permutohedra and associahedra) admit descriptions in terms of intervals in the weak Bruhat order and the Tamari order, respectively. Palacios and Ronco extended these products as well as their interval description to surjections and planar rooted trees (i.e. on all faces of permutohedra and associahedra). In this article, we present a broad generalisation of this phenomenon. We show that the shuffle product on faces of certain families of nestohedra admits an interval description with respect to the generalised flip order, a partial order defined on the faces of nestohedra through elementary splitting and fusion operations on the tree-like combinatorial objects encoding them. The generalised flip order extends the flip order of Barnard and McConville from vertices to all faces of nesthedra. We further compare it with the facial weak order of Dermenjian-Hohlweg-Pilaud and the generalised Tamari order of Ronco, and we provide its characterisation in terms of (generalised) inversions.

Hypergraph polytopes (or nestohedra) form a broad class of polytopes obtained by truncating faces of a simplex according to a hypergraph. In earlier work, the authors constructed q-tridendriform algebras on the set of faces of certain families of hypergraph polytopes, including associahedra and permutohedra. The well-definedness of these structures relied on a connectedness property on the hypergraphs involved, called strictness. Nevertheless, notable examples of hypergraph polytopes such as cyclohedra fell outside this setting. We introduce a new connectedness condition, called anti-strictness, which goes opposite to strictness and captures a different class of hypergraph polytopes, including associahedra, permutohedra and cyclohedra. Our main result produces natural (-1)-tridendriform algebras in the anti-strict framework, which match previously introduced tridendriform algebras in the overlap of the two frameworks, thereby extending the range of hypergraph polytopes admitting such algebraic structures.

We extend the works of Loday-Ronco and Burgunder-Ronco on the tridendriform decomposition of the shuffle product on the faces of associahedra and permutohedra, to other families of hypergraph polytopes (or nestohedra), including simplices, hypercubes and some new families. We also extend the shuffle product to take more than two arguments, and define accordingly a new algebraic structure, that we call polydendriform, from which the original tridendriform equations can be crisply synthesized.

We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are defined in terms of hypergraph polytopes and the composition structure generalizes the one of the $A_{\infty}$-operad. As further generalizations of this construction, we present a combinatorial description of the $W$-construction applied on ${\cal O}$, as well as of the minimal model of the coloured operad ${\cal C}$ encoding non-symmetric cyclic operads.

This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for describing such polytopes. We build on the particular approach developed by Dosen and Petric, who used the formalism of hypergraphs to describe the interval of polytopes from the simplex to the permutohedron. This interval was further stretched by Petric to allow truncations of faces that are themselves obtained by truncations, and iteratively so. Our notation applies to all these polytopes. We illustrate this by showing that it instantiates to a notation for the faces of the permutohedron-based associahedra, that consists of parenthesised words with holes. Dosen and Petric have exhibited some families of hypergraph polytopes (associahedra, permutohedra, and hemiassociahedra) describing the coherences, and the coherences between coherences etc., arising by weakening sequential and parallel associativity of operadic composition. We complement their work with a criterion allowing us to recover the information whether edges of these "operadic polytopes" come from sequential, or from parallel associativity. We also give alternative proofs for some of the original results of Dosen and Petric.