arXiv++ Combinatorics

A Hopf monoid structure on extended generalized permutahedra (EGP) was recently introduced by M.Aguiar and F.Ardila. We investigate the existence of a cointeracting bialgebra structure on EGP's. We show that a suitable notion of cointeraction exists, not in the classical comodule sense, but via the framework of measuring algebras. The comodule-type map assigns to each polyhedron the sum of pairs of face and tangent cone at the face. EGP's and affine cone EGP's form the cointeracting bimonoids in species with EGP as a third measuring structure. EGP's are in bijection to extended submodular functions. For an EGP, we also describe explicitly the submodular functions of its faces and tangent cones. The braid fan and its relation to preorders play a key role in this description.

We construct the planar Linares--Otto--Tempelmayr Hopf algebra, thereby filling the missing planar noncommutative multi-index corner in the square relating the LOT, Butcher--Connes--Kreimer, and Munthe-Kaas--Wright Hopf algebras. Starting from the free associative algebra on a weighted alphabet $\mathbb Z_{\ge -1}\times A$, we define an insertion-type product yielding a post-Lie structure on the Lie algebra generated by the linear span $V(A)$ of weight $-1$ monomials whose proper left prefixes all have nonnegative weight, and the Guin--Oudom construction then produces the planar LOT Hopf algebra. We introduce a planar tree fertility map from decorated planar rooted trees to monomials in $V(A)$, prove that it is a linear isomorphism, and obtain a natural Hopf algebra isomorphism with the Munthe-Kaas--Wright Hopf algebra. We further derive an explicit coproduct formula in terms of left-admissible cuts, establish the extraction-contraction coproduct, and construct a word symmetrization operator compatible with the classical tree symmetrization operator.

Nous esquissons une application de l'arborification de Matula à l'étude de la fonction sommatoire des fonctions de M\" obius et de Liouville sur les entiers naturels - We sketch an application of Matula's arborification to the study of the partial sums of both M\" obius and Liouville function.

Submodular functions $z$ defined on the power set of a finite set are in bijection with generalized permutahedra $\egp(z)$. To any such $z$ we define a class of preorders, {\it conforming} preorders. We show the faces of $\egp(z)$ and the conforming preorders are in bijection. We investigate in detail this interplay between submodular functions and generalized permutahedra on one side, and conforming preorders on the other side, with many examples. In particular, the face poset structure of $\egp(z)$ correspond to two order relations $\lhd$ and $\btl$ on preorders, and we investigate their properties. Ardila and Aguiar \cite{AA2017} introduced a Hopf monoid of submodular functions/generalized permutahedra. We show there is a bimonoid of modular functions cointeracting in a non-standard way. By recent theory of L.Foissy \cite{Fo2022}, on double bialgebras we get a canonical polynomial associated to any submodular function.

We propose a combinatorial formula for the coproduct in a Hopf algebra of decorated multi-indices that recently appeared in the literature, which can be briefly described as the graded dual of the enveloping algebra of the free Novikov algebra generated by the set of decorations. Similarly to what happens for the Hopf algebra of rooted forests, the formula can be written in terms of admissible cuts. We also prove a combinatorial formula for the extraction-contraction coproduct for undecorated multi-indices, in terms of a suitable notion of covering subforest.

We study algebraic structures on the free commutative twisted algebra generated by a positive operad $\mathbf q$, in the framework of vector species. Given a nonunital commutative twisted algebra structure $μ$ on $\mathbf q$, we introduce the notion of $μ$-compatible operad structure, leading to a nonunital operad structure on $\mathbf E \circ \mathbf q$, where $\mathbf E$ stands for the exponential species. Next, we define nested pre-Lie operads (NPL-operads), a weak form of the notion of operad, in which the nested associativity axiom is weakened down to a nested pre-Lie condition. This structure is new up to our knowledge. Several constructions of NPL-operads are presented. Finally, we define algebras over a NPL-operad, based on the notion of polynomial functions.

In this paper, we first prove that a Rota-Baxter family algebra indexed by a semigroup induces an ordinary Rota-Baxter algebra structure on the tensor product with the semigroup algebra. We show that the same phenomenon arises for dendriform and tridendriform family algebras. Then we construct free dendriform family algebras in terms of typed decorated planar binary trees. Finally, we generalize typed decorated rooted trees to typed valently decorated Schröder trees and use them to construct free tridendriform family algebras.

In this article, we study the shuffle quadri-algebra H. We prove the existence of some relations between quadri-algebra laws which constitute shuffle product, the concatenation product and the deconcatenation coproduct. We also show that the underlying shuffle algebra has two module-algebra structures on itself.

An internal coproduct is described, which is compatible with Hoffman's quasi-shuffle product. Hoffman's quasi-shuffle Hopf algebra, with deconcatenation coproduct, is a comodule-Hopf algebra over the bialgebra thus defined. The relation with J. Ecalle's mould calculus, i.e. mould composition and contracting arborification, is precised.

The vector space spanned by rooted forests admits two graded bialgebra structures. The first is defined by A. Connes and D. Kreimer using admissible cuts, and the second is defined by D. Calaque, K. Ebrahimi-Fard and the second author using contraction of trees. In this article we define the doubling of these two spaces. We construct two bialgebra structures on these spaces which are in interaction, as well as two related associative products obtained by dualization. We also show that these two bialgebras verify a commutative diagram similar to the diagram verified D. Calaque, K. Ebrahimi-Fard and the second author in the case of rooted trees Hopf algebra, and by the second author in the case of cycle free oriented graphs.

We describe four natural operad structures on the vector space generated by isomorphism classes of finite posets. The three last ones are set-theoretical and can be seen as a simplified version of the first, the same way the NAP operad behaves with respect to the pre-Lie operad. Moreover the two first ones are isomorphic.

We describe some particular finite sums of multiple zeta values which arise from J. Ecalle's "arborification", a process which can be described as a surjective Hopf algebra morphism from the Hopf algebra of decorated rooted forests onto a Hopf algebra of shuffles or quasi-shuffles. This formalism holds for both the iterated sum picture and the iterated integral picture. It involves a decoration of the forests by the positive integers in the first case, by only two colours in the second case.

We exhibit an internal coproduct on the Hopf algebra of finite topologies recently defined by the second author, C. Malvenuto and F. Patras, dual to the composition of "quasi-ormoulds", which are the natural version of J. Ecalle's moulds in this setting. All these results are displayed in the linear species formalism.

We explore the relationship between (non-planar) rooted trees and free trees, i.e. without root. We give in particular, for non-rooted trees, a substitute for the Lie bracket given by the antisymmetrization of the pre-Lie product.

In these lectures we present five interpretations of the Fa' di Bruno formula which computes the n-th derivative of the composition of two functions of one variable: in terms of groups, Lie algebras and Hopf algebras, in combinatorics and within operads.

Bell polynomials appear in several combinatorial constructions throughout mathematics. Perhaps most naturally in the combinatorics of set partitions, but also when studying compositions of diffeomorphisms on vector spaces and manifolds, and in the study of cumulants and moments in probability theory. We construct commutative and noncommutative Bell polynomials and explain how they give rise to Faà di Bruno Hopf algebras. We use the language of incidence Hopf algebras, and along the way provide a new description of antipodes in noncommutative incidence Hopf algebras, involving quasideterminants. We also discuss Möbius inversion in certain Hopf algebras built from Bell polynomials.

The notion of trees plays an important role in Butcher's B-series. More recently, a refined understanding of algebraic and combinatorial structures underlying the Magnus expansion has emerged thanks to the use of rooted trees. We follow these ideas by further developing the observation that the logarithm of the solution of a lihear first-order finite-difference equation can be written in terms of the Magnus expansion taking place in a pre-Lie algebra. By using basic combinatorics on planar reduced trees we derive a closed formula for the Magnus expansion in the context of free tridendriform algebra. The tridendriform algebra structure on word quasi-symmetric functions permits us to derive a discrete analogue of the Mielnik-Plebanski-Strichartz formula for this logarithm.

W. Magnus introduced a particular differential equation characterizing the logarithm of the solution of linear initial value problems for linear operators. The recursive solution of this differential equation leads to a peculiar Lie series, which is known as Magnus expansion, and involves Bernoulli numbers, iterated Lie brackets and integrals. This paper aims at obtaining further insights into the fine structure of the Magnus expansion. By using basic combinatorics on planar rooted trees we prove a closed formula for the Magnus expansion in the context of free dendriform algebra. From this, by using a well-known dendriform algebra structure on the vector space generated by the disjoint union of the symmetric groups, we derive the Mielnik-Plebański-Strichartz formula for the continuous Baker-Campbell-Hausdorff series.

We present a bijection from planar reduced trees to planar rooted hypertrees, which extends Knuth's rotation correspondence between planar binary trees and planar rooted trees. The operadic counterpart of the new bijection is explained. Related to this, the space of planar reduced forests is endowed with a combinatorial Hopf algebra structure. The corresponding structure on the space of planar rooted hyperforests is also described.

We define two coproducts for cycle-free oriented graphs, thus building up two commutative con- nected graded Hopf algebras, such that one is a comodule-coalgebra on the other, thus generalizing the result obtained previously for Hopf algebras of rooted trees.