arXiv++ Combinatorics

We prove that the Catalan Lie idempotent $D_n(a,b)$, introduced in [Menous {\it et al.}, Adv. Appl. Math. 51 (2013), 177] can be refined by introducing $n$ independent parameters $a_0,\ldots,a_{n-1}$ and that the coefficient of each monomial is itself a Lie idempotent in the descent algebra. These new idempotents are multiplicity-free sums of subsets of the Poincaré-Birkhoff-Witt basis of the Lie module. These results are obtained by embedding noncommutative symmetric functions into the dual noncommutative Connes-Kreimer algebra, which also allows us to interpret, and rederive in a simpler way, Chapoton's results on a two-parameter tree expanded series.

We compute the expansion of the Catalan family of Lie idempotents introduced in [Menous et al., Adv. Applied Math. 51 (2013), 177-22] on the PBW basis of the Lie module. It is found that the coefficient of a tree depends only on its number of left and right internal edges. In particular, the Catalan idempotents belong to a preLie algebra based on naked binary trees, of which we identify several Lie and preLie subalgebras.

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.

The functional equation defining the free cumulants in free probability is lifted successively to the noncommutative Faà di Bruno algebra, and then to the group of a free operad over Schröder trees. This leads to new combinatorial expressions, which remain valid for operator-valued free probability. Specializations of these expressions give back Speicher's formula in terms of noncrossing partitions, and its interpretation in terms of characters due to Ebrahimi-Fard and Patras.

Three equivalent methods allow to compute the antipode of the Hopf algebras of Feynman diagrams in perturbative quantum field theory (QFT): the Dyson-Salam formula, the Bogoliubov formula, and the Zimmermann forest formula. Whereas the first two hold generally for arbitrary connected graded Hopf algebras, the third one requires extra structure properties of the underlying Hopf algebra but has the nice property to reduce drastically the number of terms in the expression of the antipode (it is optimal in that sense).The present article is concerned with the forest formula: we show that it generalizes to arbitrary right-handed polynomial Hopf algebras. These Hopf algebras are dual to the enveloping algebras of preLie algebras -a structure common to many combinatorial Hopf algebras which is carried in particular by the Hopf algebras of Feynman diagrams.

We investigate the combinatorial properties of the functional equation $φ[h(z)]=h(qz)$ for the conjugation of a formal diffeomorphism $φ$ of $\mathbb{C}$ to its linear part $z\mapsto qz$. This is done by interpreting the functional equation in terms of symmetric functions, and then lifting it to noncommutative symmetric functions. We describe explicitly the expansion of the solution in terms of plane trees and prove that its expression on the ribbon basis has coefficients in ${\mathbb N}[q]$ after clearing the denominators $(q)_n$. We show that the conjugacy equation can be lifted to a quadratic fixed point equation in the free triduplicial algebra on one generator. This can be regarded as a $q$-deformation of the duplicial interpretation of the noncommutative Lagrange inversion formula. Finally, these calculations are interpreted in terms of the group of the operad of Stasheff polytopes, and are related to Ecalle's arborified expansion by means of morphisms between various Hopf algebras of trees.

We study in this paper logarithmic derivatives associated to derivations on graded complete Lie algebra, as well as the existence of inverses. These logarithmic derivatives, when invertible, generalize the exp-log correspondence between a Lie algebra and its Lie group. Such correspondences occur naturally in the study of dynamical systems when dealing with the linearization of vector fields and the non-linearizability of a resonant vector fields corresponds to the non-invertibility of a logarithmic derivative and to the existence of normal forms. These concepts, stemming from the theory of dynamical systems, can be rephrased in the abstract setting of Lie algebra and the same difficulties as in perturbative quantum field theory (pQFT) arise here. Surprisingly, one can adopt the same ideas as in pQFT with fruitful results such as new constructions of normal forms with the help of the Birkhoff decomposition. The analogy goes even further (locality of counter terms, choice of a renormalization scheme) and shall lead to more interactions between dynamical systems and quantum field theory.

We give a natural and complete description of Ecalle's mould-comould formalism within a Hopf-algebraic framework. The arborification transform thus appears as a factorization of characters, involving the shuffle or quasishuffle Hopf algebras, thanks to a universal property satisfied by Connes-Kreimer Hopf algebra. We give a straightforward characterization of the fundamental process of homogeneous coarborification, using the explicit duality between decorated Connes-Kreimer and Grossman-Larson algebras. Finally, we introduce a new Hopf algebra that systematically underlies the calculations for the normalization of local dynamical systems.

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.

We describe a method for constructing characters of combinatorial Hopf algebras by means of integrals over certain polyhedral cones. This is based on ideas from resurgence theory, in particular on the construction of well-behaved averages induced by diffusion processes on the real line. We give several interpretations and proofs of the main result in terms of noncommutative symmetric and quasisymmetric functions, as well as generalizations involving matrix quasi-symmetric functions. The interpretation of noncommutative symmetric functions as alien operators in resurgence theory is also discussed, and a new family of Lie idempotents of descent algebras is derived from this interpretation.

We give explicit formulas for the coproduct and the antipode in the Connes-Moscovici Hopf algebra $\mathcal{H}_{\tmop{CM}}$. To do so, we first restrict ourselves to a sub-Hopf algebra $\mathcal{H}^1_{\tmop{CM}}$ containing the nontrivial elements, namely those for which the coproduct and the antipode are nontrivial. There are two ways to obtain explicit formulas. On one hand, the algebra $\mathcal{H}^1_{\tmop{CM}}$ is isomorphic to the Faà di Bruno Hopf algebra of coordinates on the group of identity-tangent diffeomorphism and computations become easy using substitution automorphisms rather than diffeomorphisms. On the other hand, the algebra $\mathcal{H}^1_{\tmop{CM}}$ is isomorphic to a sub-Hopf algebra of the classical shuffle Hopf algebra which appears naturally in resummation theory, in the framework of formal and analytic conjugacy of vector fields. Using the very simple structure of the shuffle Hopf algebra, we derive once again explicit formulas for the coproduct and the antipode in $\mathcal{H}^1_{\tmop{CM}}$.

In recent years, The BPHZ algorithm for renormalization in quantum field theory has been interpreted, after dimensional regularization, as the Birkhoff-(Rota-Baxter) decomposition (BRB) of characters on the Hopf algebra of Feynmann graphs, with values in a Rota-Baxter algebra. We give in this paper formulas for the BRB decomposition in the group $\mathcal{C}(H, A)$ of characters on a connected Hopf algebra $H$, with values in a Rota-Baxter (commutative) algebra $A$. To do so we first define the stuffle (or quasi-shuffle) Hopf algebra $A^{\tmop{st}}$ associated to an algebra $A$. We prove then that for any connected Hopf algebra $H = k 1_H \oplus H'$, there exists a canonical injective morphism from $H$ to $H'^{\tmop{st}}$. This morphism induces an action of $\mathcal{C}(A^{\tmop{st}}, A)$ on $\mathcal{C}(H, A)$ so that the BRB decomposition in $\mathcal{C}(H, A)$ is determined by the action of a unique (universal) element of $\mathcal{C}(A^{\tmop{st}}, A)$.