arXiv++ Combinatorics

Novikov algebras provide a simple but powerful algebraic axiomatization of important features of classical diferential calculus. We study their structure properties, modeling their relationships with commutative algebras with a derivation, featuring the role of their Lie and pre-Lie structures and analyzing the structure of their enveloping algebras. We focus on the combinatorial analysis of the Poincaré-Birkhoff-Witt Theorem (classical and pre-Lie), the pre-Lie exponential and logarithm. The topic is important for applications of the theory and has been treated intensively for pre-Lie algebras. However, specific formulas can be obtained in the Novikov case. We analyze their structure, as well as featuring various remarkable properties. Related statistical phenomena on trees, tableaux and permutations are investigated in this context.

A fundamental result by L. Solomon in algebraic combinatorics and representation theory states that Mackey formulas for products of characters of a symmetric group, or equivalently the computation of tensor products of representations thereof, can be lifted to the corresponding Solomon's descent algebra, a subalgebra of the group algebra with a very rich structure. Motivated by the structure of the product formula in these algebras and by other results and ideas in the field, we introduce and investigate in the present article a two dimensional analogue of descent algebras based on packed integer matrices that inherits most of their fundamental properties. One of the various bialgebra structures we introduce on packed integer matrices identifies with a bialgebra recently introduced by J. Diehl and L. Schmitz to define a two dimensional generalisation of Chen's iterated integrals signatures.

In this paper, we derive a Chen-Strichartz formula for stochastic differential equations driven by Levy processes, that is, we derive a series expansion of the logarithm of the flowmap of the stochastic differential equation in terms of commutators of vector fields with stochastic coefficients, and we provide an explicit formula for the components in this series. The stochastic components are generated by the Levy processes that drive the stochastic differential equation and their quadratic variation and power jumps; the vector fields are given as linear combinations of commutators of elements in the pre-Lie Magnus expansion generated by the original vector fields governing our stochastic differential equation. In particular, we show the logarithm of the flowmap is a Lie series. These results extend previous results for deterministic differential equations and continuous stochastic differential equations. For these, the Chen-Strichartz series has shown to play a pivotal role in the design of numerical integration schemes that preserve qualitative properties of the solution such as the construction of geometric numerical schemes and in the context of efficient numerical schemes.

Higher-order notions of Kreweras complementation have appeared in the literature in the works of Krawczyk, Speicher, Mastnak, Nica, Arizmendi, Vargas, and others. While the theory has been developed primarily for specific applications in free probability, it also possesses an elegant, purely combinatorial core that is of independent interest. The present article aims at offering a simple account of various aspects of higher-order Kreweras complementation on the basis of elementary arithmetic, (co)algebraic, categorical and simplicial properties of noncrossing partitions. The main idea is to consider noncrossing partitions as providing an interesting noncommutative analogue of the interplay between the divisibility poset and the multiplicative monoid of positive integers. Just as the divisibility poset can be regarded as the decalage of the multiplicative monoid, we exhibit the lattice of noncrossing partitions as the decalage of a partial monoid structure on noncrossing partitions encoding higher-order Kreweras complements. While our results may be considered familiar, several of the viewpoints can be regarded as novel, offering an efficient approach both conceptually and computationally.

We here construct an explicit isomorphism between any commutative Hopf algebra which underlying coalgebra is the tensor coalgebra of a space $V$ and the shuffle algebra based on the same space. This isomorphism uses the commutative $B_\infty$ structure that governs the product and the eulerian idempotent, as well as the canonical projection on the space $V$. This generalizes Homan's isomorphism between commutative quasi-shuffle and shuffle algebras, which correspond to the case when the $B_\infty$ structure is given by an associative and commutative product. We develop several examples in details, including the Hopf algebra of finite topologies.

Recent works have explored relations between classical and quantum statistical physics on the one hand and Voiculescu's theory of free probability on the other. Motivated by these results, the present work focuses on the notion of effective action, which is closely related to the large deviation rate function in classical probability and one-particle irreducible correlation functions in quantum field theories. The central aim is to understand how it can be defined and studied in free probability. In this respect, we introduce a suitable diagrammatic formalism.

Forest formulas that generalize Zimmermann's forest formula in quantum field theory have been obtained for the computation of the antipode in the dual of enveloping algebras of pre-Lie algebras. In this work, largely motivated by Murua's analysis of the Baker-Campbell-Hausdorff formula, we show that the same ideas and techniques generalize and provide effective tools to handle computations in these algebras, which are of utmost importance in numerical analysis and related areas. We illustrate our results by studying the action of the pre-Lie exponential and the Magnus operator in the free pre-Lie algebra and in a pre-Lie algebra of words originating in free probability. The latter example provides combinatorial formulas relating the different brands of cumulants in non-commutative probability.

We establish and explore a relationship between two approaches to moment-cumulant relations in free probability theory: on one side the main approach, due to Speicher, given in terms of Möbius inversion on the lattice of noncrossing partitions, and on the other side the more recent non-commutative shuffle-algebra approach, where the moment-cumulant relations take the form of certain exponential-logarithm relations. We achieve this by exhibiting two operad structures on (noncrossing) partitions, different in nature: one is an ordinary, non-symmetric operad whose composition law is given by insertion into gaps between elements, the other is a coloured, symmetric operad with composition law expressing refinement of blocks. We show that these operad structures interact so as to make the corresponding incidence bialgebra of the former a comodule bialgebra for the latter. Furthermore, this interaction is compatible with the shuffle structure and thus unveils how the two approaches are intertwined. Moreover, the constructions and results are general enough to extend to ordinary set partitions.

The theory and structure of the Hopf algebra of surjections (known as WQSym, the Hopf algebra of word quasi-symmetric functions) parallels largely the one of bijections (known as FQSym or MR, the Hopf algebra of word quasi-symmetric functions or Malvenuto-Reutenauer Hopf algebra). The study of surjections from a picture and double poset theoretic point of view, which is the subject of the present article, seems instead new. The article is organized as follows. We introduce first a family of double posets, weak planar posets, that generalize the planar posets and are in bijection with surjections or, equivalently, packed words. The following sections investigate their Hopf algebraic properties, which are inherited from the Hopf algebra structure of double posets and their relations with WQSym

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 theory of cumulants is revisited in the "Rota way", that is, by following a combinatorial Hopf algebra approach. Monotone, free, and boolean cumulants are considered as infinitesimal characters over a particular combinatorial Hopf algebra. The latter is neither commutative nor cocommutative, and has an underlying unshuffle bialgebra structure which gives rise to a shuffle product on its graded dual. The moment-cumulant relations are encoded in terms of shuffle and half-shuffle exponentials. It is then shown how to express concisely monotone, free, and boolean cumulants in terms of each other using the pre-Lie Magnus expansion together with shuffle and half-shuffle logarithms.

Motivated by recent work on mixtures of classical and free probabilities, we introduce and study the notion of $ε$-noncrossing partitions. It is shown that the set of such partitions forms a lattice, which interpolates as a poset between the poset of partitions and the one of noncrossing partitions. Moreover, $ε$-cumulants are introduced and shown to characterize the notion of $ε$-independence.

The theory of pictures between posets is known to encode much of the combinatorics of symmetric group representations and related topics such as Young diagrams and tableaux. Many reasons, com-binatorial (e.g. since semi-standard tableaux can be viewed as double quasi-posets) and topological (quasi-posets identify with finite topolo-gies) lead to extend the theory to quasi-posets. This is the object of the present article.

The present article deals with various generating series and group schemes (not necessarily affine ones) associated with MZVs. Our developments are motivated by Ecalle's mould calculus approach to the latter. We propose in particular a Hopf algebra--type encoding of symmetril moulds and introduce a new resummation process for MZVs.

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.

The aim of this work is to outline in some detail the use of combinatorial algebra in planar quantum field theory. Particular emphasis is given to the relations between the different types of planar Green's functions. The key object is a Hopf algebra which is naturally defined on non-commuting sources, and the fact that its genuine unshuffle coproduct splits into left- and right unshuffle half-coproduts. The latter give rise to the notion of unshuffle bialgebra. This setting allows to describe the relation between planar full and connected Green's functions by solving a simple linear fixed point equation. A modification of this linear fixed point equation gives rise to the relation between planar connected and one-particle irreducible Green's functions. The graphical calculus that arises from this approach also leads to a new understanding of functional calculus in planar QFT, whose rules for differentiation with respect to non-commuting sources can be translated into the language of growth operations on planar rooted trees. We also include a brief outline of our approach in the framework of non-planar theories.

For stochastic systems driven by continuous semimartingales an explicit formula for the logarithm of the Ito flow map is given. A similar formula is also obtained for solutions of linear matrix-valued SDEs driven by arbitrary semimartingales. The computation relies on the lift to quasi-shuffle algebras of formulas involving products of Ito integrals of semimartingales. Whereas the Chen-Strichartz formula computing the logarithm of the Stratonovich flow map is classically expanded as a formal sum indexed by permutations, the analogous formula in Ito calculus is naturally indexed by surjections. This reflects the change of algebraic background involved in the transition between the two integration theories.

Free cumulants were introduced by Speicher as a proper analog of classical cumulants in Voiculescu's theory of free probability. The relation between free moments and free cumulants is usually described in terms of Moebius calculus over the lattice of non-crossing partitions. In this work we explore another approach to free cumulants and to their combinatorial study using a combinatorial Hopf algebra structure on the linear span of non-crossing partitions. The generating series of free moments is seen as a character on this Hopf algebra. It is characterized by solving a linear fixed point equation that relates it to the generating series of free cumulants. These phenomena are explained through a process similar to (though different from) the arborification process familiar in the theory of dynamical systems, and originating in Cayley's work.

Free cumulants were introduced as the proper analog of classical cumulants in the theory of free probability. There is a mix of similarities and differences, when one considers the two families of cumulants. Whereas the combinatorics of classical cumulants is well expressed in terms of set partitions, the one of free cumulants is described, and often introduced in terms of non-crossing set partitions. The formal series approach to classical and free cumulants also largely differ. It is the purpose of the present article to put forward a different approach to these phenomena. Namely, we show that cumulants, whether classical or free, can be understood in terms of the algebra and combinatorics underlying commutative as well as non-commutative (half-)shuffles and (half-)unshuffles. As a corollary, cumulants and free cumulants can be characterized through linear fixed point equations. We study the exponential solutions of these linear fixed point equations, which display well the commutative, respectively non-commutative, character of classical, respectively free, cumulants.

We investigate deformations of the shuffl e Hopf algebra structure Sh(A) which can be de fined on the tensor algebra over a commutative algebra A. Such deformations, leading for example to the quasi-shuffl e algebra QSh(A), can be interpreted as natural transformations of the functor Sh, regarded as a functor from commutative nonunital algebras to coalgebras. We prove that the monoid of natural endomophisms of the functor Sh is isomorphic to the monoid of formal power series in one variable without constant term under composition, so that in particular, its natural automorphisms are in bijection with formal diffeomorphisms of the line. These transformations can be interpreted as elements of the Hopf algebra of word quasi-symmetric functions WQSym, and in turn de fine deformations of its structure. This leads to a new embedding of free quasi-symmetric functions into WQSym, whose relevance is illustrated by a simple and transparent proof of Goldberg's formula for the coe cients of the Hausdorff series.