arXiv++ Combinatorics

Gian-Carlo Rota suggested in one of his last articles the problem of developing a theory around the notion of integration algebras, complementary to the already existing theory of differential algebras. This idea was mainly motivated by Rota's deep appreciation for Kuo-Tsai Chen's seminal work on iterated integrals. As a starting point for such a theory of integration algebras Rota proposed to consider a particular operator identity first introduced by the mathematician Glen Baxter. Later it was coined Rota-Baxter identity. In this article we briefly recall basic properties of Rota--Baxter algebras, and present a concise review of recent work with a particular emphasis of noncommutative aspects.

Motivated by a recent surge of interest for Dynkin operators in mathematical physics and by problems in the combinatorial theory of dynamical systems, we propose here a systematic study of logarithmic derivatives in various contexts. In particular, we introduce and investigate generalizations of the Dynkin operator for which we obtain Magnus-type formulas.

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.

This paper introduces a new Lie-theoretic approach to the computation of counterterms in perturbative renormalization. Contrary to the usual approach, the devised version of the Bogoliubov recursion does not follow a linear induction on the number of loops. It is well-behaved with respect to the Connes-Kreimer approach: that is, the recursion takes place inside the group of Hopf algebra characters with values in regularized Feynman amplitudes. (Paradigmatically, we use dimensional regularization in the minimal subtraction scheme, although our procedure is generalizable to other schemes.) The new method is related to Zassenhaus' approach to the Baker-Campbell-Hausdorff formula for computing products of exponentials. The decomposition of counterterms is parametrized by a family of Lie idempotents known as the Zassenhaus idempotents. It is shown, inter alia, that the corresponding Feynman rules generate the same algebra as the graded components of the Connes-Kreimer beta-function. This further extends previous work of ours (together with Jose M. Gracia-Bondia) on the connection between Lie idempotents and renormalization procedures, where we constructed the Connes-Kreimer beta-function by means of the classical Dynkin idempotent.

Dendriform structures arise naturally in algebraic combinatorics (where they allow, for example, the splitting of the shuffle product into two pieces) and through Rota-Baxter algebra structures (the latter appear, among others, in differential systems and in the renormalization process of pQFT). We prove new combinatorial identities in dendriform dialgebras that appear to be strongly related to classical phenomena, such as the combinatorics of Lyndon words, rewriting rules in Lie algebras, or the fine structure of the Malvenuto-Reutenauer algebra. One of these identities is an abstract noncommutative, dendriform, generalization of the Bohnenblust-Spitzer identity and of an identity involving iterated Chen integrals due to C.S. Lam.

The Bogoliubov recursion is a particular procedure appearing in the process of renormalization in perturbative quantum field theory. It provides convergent expressions for otherwise divergent integrals. We develop here a theory of functional identities for noncommutative Rota-Baxter algebras which is shown to encode, among others, this process in the context of Connes-Kreimer's Hopf algebra of renormalization. Our results generalize the seminal Cartier-Rota theory of classical Spitzer-type identities for commutative Rota-Baxter algebras. In the classical, commutative, case, these identities can be understood as deriving from the theory of symmetric functions. Here, we show that an analogous property holds for noncommutative Rota-Baxter algebras. That is, we show that functional identities in the noncommutative setting can be derived from the theory of noncommutative symmetric functions. Lie idempotents, and particularly the Dynkin idempotent play a crucial role in the process. Their action on the pro-unipotent groups such as those of perturbative renormalization is described in detail along the way.

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.

We first show that increasing trees are in bijection with set compositions, extending simultaneously a recent result on trees due to Tonks and a classical result on increasing binary trees. We then consider algebraic structures on the linear span of set compositions (the twisted descent algebra). Among others, a number of enveloping algebra structures are introduced and studied in detail. For example, it is shown that the linear span of trees carries an enveloping algebra structure and embeds as such in an enveloping algebra of increasing trees. All our constructions arise naturally from the general theory of twisted Hopf algebras.

The purpose of the present article is to define and study a new class of descent algebras, called twisted descent algebras. These algebras are associated to the Barratt-Joyal theory of twisted bialgebras in the same way than classical descent algebras are associated to classical bialgebras. The formal properties of twisted descent algebras seem particularly meaningful in view of applications to discrete probabilities, to the geometry of Coxeter groups and buildings, and to symmetric group combinatorics.