Free Rota-Baxter algebras and rooted trees

A Rota-Baxter algebra, also known as a Baxter algebra, is an algebra with a linear operator satisfying a relation, called the Rota-Baxter relation, that generalizes the integration by parts formula. Most of the studies on Rota-Baxter algebras have been for commutative algebras. Two constructions of free commutative Rota-Baxter algebras were obtained by Rota and Cartier in the 1970s and a third one by Keigher and one of the authors in the 1990s in terms of mixable shuffles. Recently, noncommutative Rota-Baxter algebras have appeared both in physics in connection with the work of Connes and Kreimer on renormalization in perturbative quantum field theory, and in mathematics related to the work of Loday and Ronco on dendriform dialgebras and trialgebras. This paper uses rooted trees and forests to give explicit constructions of free noncommutative Rota--Baxter algebras on modules and sets. This highlights the combinatorial nature of Rota--Baxter algebras and facilitates their further study. As an application, we obtain the unitarization of Rota-Baxter algebras.Comment: 23 page

Generalized shuffles related to Nijenhuis and TD-algebras

Shuffle and quasi-shuffle products are well-known in the mathematics literature. They are intimately related to Loday's dendriform algebras, and were extensively used to give explicit constructions of free commutative Rota-Baxter algebras. In the literature there exist at least two other Rota-Baxter type algebras, namely, the Nijenhuis algebra and the so-called TD-algebra. The explicit construction of the free unital commutative Nijenhuis algebra uses a modified quasi-shuffle product, called the right-shift shuffle. We show that another modification of the quasi-shuffle product, the so-called left-shift shuffle, can be used to give an explicit construction of the free unital commutative TD-algebra. We explore some basic properties of TD-operators and show that the free unital commutative Nijenhuis algebra is a TD-algebra. We relate our construction to Loday's unital commutative dendriform trialgebras, including the involutive case. The concept of Rota-Baxter, Nijenhuis and TD-bialgebras is introduced at the end and we show that any commutative bialgebra provides such objects.Comment: 20 pages, typos corrected, accepted for publication in Communications in Algebr

Rota-Baxter algebras and new combinatorial identities

The word problem for an arbitrary associative Rota-Baxter algebra is solved. This leads to a noncommutative generalization of the classical Spitzer identities. Links to other combinatorial aspects, particularly of interest in physics, are indicated.Comment: 8 pages, improved versio

Quantum Analogy of Poisson Geometry, Related Dendriform Algebras and Rota-Baxter Operators

We will introduce an associative (or quantum) version of Poisson structure tensors. This object is defined as an operator satisfying a "generalized" Rota-Baxter identity of weight zero. Such operators are called generalized Rota-Baxter operators. We will show that generalized Rota-Baxter operators are characterized by a cocycle condition so that Poisson structures are so. By analogy with twisted Poisson structures, we propose a new operator "twisted Rota-Baxter operators" which is a natural generalization of generalized Rota-Baxter operators. It is known that classical Rota-Baxter operators are closely related with dendriform algebras. We will show that twisted Rota-Baxter operators induce NS-algebras which is a twisted version of dendriform algebra. The twisted Poisson condition is considered as a Maurer-Cartan equation up to homotopy. We will show the twisted Rota-Baxter condition also is so. And we will study a Poisson-geometric reason, how the twisted Rota-Baxter condition arises.Comment: 18 pages. Final versio

Mixable Shuffles, Quasi-shuffles and Hopf Algebras

The quasi-shuffle product and mixable shuffle product are both generalizations of the shuffle product and have both been studied quite extensively recently. We relate these two generalizations and realize quasi-shuffle product algebras as subalgebras of mixable shuffle product algebras. As an application, we obtain Hopf algebra structures in free Rota-Baxter algebras.Comment: 14 pages, no figure, references update

Time-ordering and a generalized Magnus expansion

Both the classical time-ordering and the Magnus expansion are well-known in the context of linear initial value problems. Motivated by the noncommutativity between time-ordering and time derivation, and related problems raised recently in statistical physics, we introduce a generalization of the Magnus expansion. Whereas the classical expansion computes the logarithm of the evolution operator of a linear differential equation, our generalization addresses the same problem, including however directly a non-trivial initial condition. As a by-product we recover a variant of the time ordering operation, known as T*-ordering. Eventually, placing our results in the general context of Rota-Baxter algebras permits us to present them in a more natural algebraic setting. It encompasses, for example, the case where one considers linear difference equations instead of linear differential equations

Spitzer's Identity and the Algebraic Birkhoff Decomposition in pQFT

In this article we continue to explore the notion of Rota-Baxter algebras in the context of the Hopf algebraic approach to renormalization theory in perturbative quantum field theory. We show in very simple algebraic terms that the solutions of the recursively defined formulae for the Birkhoff factorization of regularized Hopf algebra characters, i.e. Feynman rules, naturally give a non-commutative generalization of the well-known Spitzer's identity. The underlying abstract algebraic structure is analyzed in terms of complete filtered Rota-Baxter algebras.Comment: 19 pages, 2 figure