arXiv++ Combinatorics

In this paper, we study averaging operators from an algebraic and combinatorial point of view. We first construct free averaging algebras in terms of a class of bracketed words called averaging words. We next apply this construction to obtain one and two variable generating functions for subsets of averaging words when the averaging operator is taken to be idempotent. When the averaging algebra has an idempotent generator, the generating function in one variable is twice the generating function for large Schröder numbers, leading us to give interpretations of large Schröder numbers in terms of bracketed words and rooted trees, as well as a recursive formula for these numbers. We also give a representation of free averaging algebras by unreduced trees and apply it to give a combinatorial description of the operad of averaging algebras.

This paper establishes a uniform procedure to split the operations in any algebraic operad, generalizing previous known notions of splitting algebraic structures from the dendriform algebra of Loday that splits the associative operation to the successors that split any binary operad. Examples are provided for various $n$-associative algebras, $n$-Lie algebras, $A_\infty$ algebras and $L_\infty$ algebras. Further, the concept of a Rota-Baxter operator, first showing its importance in the associative and Lie algebra context and then generalized to any binary operads, is generalized to arbitrary operads. The classical links from the Rota-Baxter associative algebra to the dendriform algebra and its numerous generalizations are further generalized and unified as the link from the Rota-Baxter operator on an operad to the splitting of the operad. Finally, the remarkable fact that any dendriform algebra can be recovered from a relative Rota-Baxter operator is generalized to the context of operads with the generalized notion of a relative Rota-Baxter operator for any operad.

We consider the notions of the replicators, including the duplicator and triplicator, of a binary operad. As in the closely related notions of di-Var-algebra and tri-Var-algebra in [14], they provide a general operadic definition for the recent constructions of replicating the operations of algebraic structures. We show that taking replicators is in Koszul dual to taking successors in [3] for binary quadratic operads and is equivalent to taking the white product with certain operads such as Perm. We also relate the replicators to the actions of average operators.