Combinatorics of the Free Baxter Algebra

We study the free (associative, non-commutative) Baxter algebra on one generator. The first explicit description of this object is due to Ebrahimi-Fard and Guo. We provide an alternative description in terms of a certain class of trees, which form a linear basis for this algebra. We use this to treat other related cases, particularly that in which the Baxter map is required to be quasi-idempotent, in a unified manner. Each case corresponds to a different class of trees. Our main focus is on the underlying combinatorics. In several cases, we provide bijections between our various classes of trees and more familiar combinatorial objects including certain Schroder paths and Motzkin paths. We calculate the dimensions of the homogeneous components of these algebras (with respect to a bidegree related to the number of nodes and the number of angles in the trees) and the corresponding generating series. An important feature is that the combinatorics is captured by the idempotent case; the others are obtained from this case by various binomial transforms. We also relate free Baxter algebras to Loday's dendriform trialgebras and dialgebras. We show that the free dendriform trialgebra (respectively, dialgebra) on one generator embeds in the free Baxter algebra with a quasi-idempotent map (respectively, with a quasi-idempotent map and an idempotent generator). This refines results of Ebrahimi-Fard and Guo.

[1]  Marcelo Aguiar,et al.  Pre-Poisson Algebras , 2000 .

[2]  Gian-Carlo Rota,et al.  Ten Mathematics Problems I will never solve , 1998 .

[3]  R. Stanley.  What Is Enumerative Combinatorics , 1986 .

[4]  Li Guo,et al.  FREE ROTA–BAXTER ALGEBRAS AND ROOTED TREES , 2005 .

[5]  Li Guo,et al.  Rota-Baxter Algebras, Dendriform Algebras and Poincare-Birkhoff-Witt Theorem , 2005 .

[6]  Li Guo,et al.  Rota-baxter Algebras, Dendriform Algebras and Poincaré -birkhoff-witt Theorem , 2004 .

[7]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[8]  Jean-Louis Loday,et al.  Trialgebras and families of polytopes , 2002 .

[9]  Michael E. Hoffman.  Combinatorics of rooted trees and Hopf algebras , 2003 .

[10]  Frédéric Chapoton,et al.  Dialgebras and Related Operads , 2001 .

[11]  Pierre Cartier,et al.  On the structure of free baxter algebras , 1972 .

[12]  Sergey Fomin,et al.  Duality of Graded Graphs , 1994 .

[13]  K. Ebrahimi-Fard.  Loday-Type Algebras and the Rota–Baxter Relation , 2002 .

[14]  Li Guo,et al.  Baxter Algebras and Shuffle Products , 2000 .

[15]  G. Baxter,et al.  AN ANALYTIC PROBLEM WHOSE SOLUTION FOLLOWS FROM A SIMPLE ALGEBRAIC IDENTITY , 1960 .

[16]  Rodica Simion,et al.  Some q-analogues of the Schröder numbers arising from combinatorial statistics on lattice paths , 1993 .

[17]  Li Guo,et al.  ON FREE ROTA–BAXTER ALGEBRAS , 2006 .

[18]  Gian-Carlo Rota,et al.  Baxter algebras and combinatorial identities. II , 1969 .