110 research outputs found
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
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
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
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
Renormalization: a quasi-shuffle approach
In recent years, the usual BPHZ algorithm for renormalization in perturbative
quantum field theory has been interpreted, after dimensional regularization, as
a Birkhoff decomposition of characters on the Hopf algebra of Feynman graphs,
with values in a Rota-Baxter algebra of amplitudes. We associate in this paper
to any such algebra a universal semi-group (different in nature from the
Connes-Marcolli "cosmical Galois group"). Its action on the physical amplitudes
associated to Feynman graphs produces the expected operations: Bogoliubov's
preparation map, extraction of divergences, renormalization. In this process a
key role is played by commutative and noncommutative quasi-shuffle bialgebras
whose universal properties are instrumental in encoding the renormalization
process
Exponential renormalization
Moving beyond the classical additive and multiplicative approaches, we
present an "exponential" method for perturbative renormalization. Using Dyson's
identity for Green's functions as well as the link between the Faa di Bruno
Hopf algebra and the Hopf algebras of Feynman graphs, its relation to the
composition of formal power series is analyzed. Eventually, we argue that the
new method has several attractive features and encompasses the BPHZ method. The
latter can be seen as a special case of the new procedure for renormalization
scheme maps with the Rota-Baxter property. To our best knowledge, although very
natural from group-theoretical and physical points of view, several ideas
introduced in the present paper seem to be new (besides the exponential method,
let us mention the notions of counterfactors and of order n bare coupling
constants).Comment: revised version; accepted for publication in Annales Henri Poincar
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
Birkhoff type decompositions and the Baker-Campbell-Hausdorff recursion
We describe a unification of several apparently unrelated factorizations
arisen from quantum field theory, vertex operator algebras, combinatorics and
numerical methods in differential equations. The unification is given by a
Birkhoff type decomposition that was obtained from the Baker-Campbell-Hausdorff
formula in our study of the Hopf algebra approach of Connes and Kreimer to
renormalization in perturbative quantum field theory. There we showed that the
Birkhoff decomposition of Connes and Kreimer can be obtained from a certain
Baker-Campbell-Hausdorff recursion formula in the presence of a Rota-Baxter
operator. We will explain how the same decomposition generalizes the
factorization of formal exponentials and uniformization for Lie algebras that
arose in vertex operator algebra and conformal field theory, and the even-odd
decomposition of combinatorial Hopf algebra characters as well as to the Lie
algebra polar decomposition as used in the context of the approximation of
matrix exponentials in ordinary differential equations.Comment: accepted for publication in Comm. in Math. Phy
- …