arXiv++ Combinatorics

We introduce a new definition for the species of type B, or H-species, analog to the classical species (of type A), but on which we consider the action of the groups Bn of signed permutations. We are interested in algebraic structure on these H-species and give examples of Hopf monoids. The natural way to get a graded vector space from a species, given in this paper in terms of functors, will allow us to deepen our understanding of these species. In particular, the image of the classical species of set compositions under a given functor is isomorphic to the combinatorial Hopf algebra DQSym.

Let k be a positive integer and let G_k denote the set of non-commutative k-variable distributions μsuch that μ(X_1) = ... = μ(X_k) = 1. G_k is a group under the operation of free multiplicative convolution. We identify G_k as the group of characters of a certain Hopf algebra Y_k. Then, by using the log map from characters to infinitesimal characters of Y_k, we introduce a transform LS_μ for distributions μin G_k. The main property of the LS-transform is that it linearizes commuting products in G_k. For μin G_k, the transform LS_μ is a power series in k non-commuting indeterminates; its coefficients can be computed from the coefficients of the R-transform of μby using summations over chains in the lattices NC(n) of non-crossing partitions. In the particular case k=1 one has that Y_1 is naturally isomorphic to the Hopf algebra Sym of symmetric functions, and that the LS-transform is very closely related to the logarithm of the S-transform of Voiculescu, by the formula LS(z) = - z log S(z). In this case the group G_1 can be identified as the group of characters of Sym, in such a way that the S-transform, its reciprocal 1/S and its logarithm log S relate in a natural sense to the sequences of complete, elementary and respectively power sum symmetric functions.

Central in the Hopf algebra approach to the renormalization of perturbative quantum field theory of Connes and Kreimer is their Algebraic Birkhoff Decomposition. In this tutorial article, we introduce their decomposition and prove it by the Atkinson Factorization in Rota-Baxter algebra. We then give some applications of this decomposition in the study of divergent integrals and multiple zeta values.

We introduce analogs of the Hopf algebra of Free quasi-symmetric functions with bases labelled by colored permutations. When the color set is a semigroup, an internal product can be introduced. This leads to the construction of generalized descent algebras associated with wreath products $Γ\wr\SG_n$ and to the corresponding generalizations of quasi-symmetric functions. The associated Hopf algebras appear as natural analogs of McMahon's multisymmetric functions. As a consequence, we obtain an internal product on ordinary multi-symmetric functions. We extend these constructions to Hopf algebras of colored parking functions, colored non-crossing partitions and parking functions of type B.

Hopf algebra structures on rooted trees are by now a well-studied object, especially in the context of combinatorics. In this work we consider a Hopf algebra H by introducing a coproduct on a (commutative) algebra of rooted forests, considering each tree of the forest (which must contain at least one edge) as a Feynman-like graph without loops. The primitive part of the graded dual is endowed with a pre-Lie product defined in terms of insertion of a tree inside another. We establish a surprising link between the Hopf algebra H obtained this way and the well-known Connes-Kreimer Hopf algebra of rooted trees by means of a natural H-bicomodule structure on the latter. This enables us to recover recent results in the field of numerical methods for differential equations due to Chartier, Hairer and Vilmart as well as Murua.

We introduce a new family of noncommutative analogues of the Hall-Littlewood symmetric functions. Our construction relies upon Tevlin's bases and simple q-deformations of the classical combinatorial Hopf algebras. We connect our new Hall-Littlewood functions to permutation tableaux, and also give an exact formula for the q-enumeration of permutation tableaux of a fixed shape. This gives an explicit formula for: the steady state probability of each state in the partially asymmetric exclusion process (PASEP); the polynomial enumerating permutations with a fixed set of weak excedances according to crossings; the polynomial enumerating permutations with a fixed set of descent bottoms according to occurrences of the generalized pattern 2-31.

We extend a classical construction on symmetric functions, the superization process, to several combinatorial Hopf algebras, and obtain analogs of the hook-content formula for the (q,t)-specializations of various bases. Exploiting the dendriform structures yields in particular (q,t)-analogs of the Bjorner-Wachs q-hook-length formulas for binary trees, and similar formulas for plane trees.

The works of Poincare, Birkhoff, Witt and Cartier, Milnor, Moore on the connected cocommutative Hopf algebras translated in the language of operads means that the triple of operads (Com, As, Lie) endowed with the Hopf compatiblity relation is good. In this paper, we focus on left dipterous (resp. right dipterous) algebras which are associative algebras with an extra left (resp. right) module on themselves and look for good triples were $As$ is replaced by the dipterous operad Dipt. Since the work of Loday and Ronco, the triple of operads (As, Dipt, B_\infty) endowed with the semi-Hopf compatibility relations is known to be good. In this paper, we prove that the triple of operads (As, Dipt, Grove) endowed with the so-called (nonunital) semi-infinitesimal compatibility relations is good. For that, explicit constructions of the free dipterous algebra and the free grove-algebra over a K-vector space V are given. These constructions turn out to be related to rooted planar trees and the little an large Schroeder numbers. Many examples of dipterous algebras are given, notably the free L-dipterous algebras. As a corollary of our results, we also recover that the triple of operads (2As, Dipt, Vect) endowed both with the unital semi-Hopf and with the unital semi-infinitesimal compatibility relations is good, where 2As denotes the operad of 2-associative algebras. We also open this paper on a good triple, related to the Connes-Kreimer Hopf algebra in quantum field theory, (Com, Dipt, Prim_{Com} Dipt) endowed with the Hopf compatibility relations and also present a general theorem giving good triples from entangled dipterous like operads named associative molecules.

This tutorial is intended to give an accessible introduction to Hopf algebras. The mathematical context is that of representation theory, and we also illustrate the structures with examples taken from combinatorics and quantum physics, showing that in this latter case the axioms of Hopf algebra arise naturally. The text contains many exercises, some taken from physics, aimed at expanding and exemplifying the concepts introduced.

The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number, possibly infinite, $\varphi_R(n)$ of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\varphi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra $A(R)$, introduced by P.~J.~Cameron. In a previous paper, we studied the relationship between the properties of a relational structure and those of their algebra, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompasses well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials. In this paper, we investigate how far the well know algebraic properties of those rings extend to age algebras. The main result is a combinatorial characterization of when the age algebra is finitely generated. In the special case of tournaments, we show that the age algebra is finitely generated if and only if the profile is bounded. We explore the Cohen-Macaulay property in the special case of invariants of permutation groupoids. Finally, we exhibit sufficient conditions on the relational structure that make naturally the age algebra into a Hopf algebra.

This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type $G(r,1,n)$. As with the Solomon descent algebra, our algebra has a basis given by sums of `distinguished' coset representatives for certain `reflection subgroups'. We explicitly describe the structure constants with respect to this basis and show that they are polynomials in $r$. This allows us to define a deformation, or $q$-analogue, of these algebras which depends on a parameter $q$. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.

We describe the problem of Sweedler's duals for bialgebras as essentially characterizing the domain of the transpose of the multiplication. This domain is the set of what could be called ``representative linear forms'' which are the elements of the algebraic dual which are also representative on the multiplicative semigroup of the algebra. When the algebra is free, this notion is indeed equivalent to that of rational functions of automata theory. For the sake of applications, the range of coefficients has been considerably broadened, i.e. extended to semirings, so that the results could be specialized to the boolean and multiplicity cases. This requires some caution (use of ``positive formulas'', iteration replacing inversion, stable submodules replacing finite-rank families for instance). For the theory and its applications has been created a rational calculus which can, in return, be applied to harness Sweedler's duals. A new theorem of rational closure and application to Hopf algebras of use in Physics and Combinatorics is provided. The concrete use of this ``calculus'' is eventually illustrated on an example.

We provide an expository account of some of the Hopf algebras that can be defined using trees, labeled trees, ordered trees and heap ordered trees. We also describe some actions of these Hopf algebras on algebra of functions.

Description of cocommutative Hopf algebras associated with families of trees. Applications include Cayley's theorem on the number of rooted trees with n nodes, and Catalan's theorem on the number of rooted ordered trees with n nodes.

We investigate several Hopf algebras of diagrams related to Quantum Field Theory of Partitions and whose product comes from the Hopf algebras WSym or WQSym respectively built on integer set partitions and set compositions. Bases of these algebras are indexed either by bipartite graphs (labelled or unlabbeled) or by packed matrices (with integer or set coefficients). Realizations on biword are exhibited, and it is shown how these algebras fit into a commutative diagram. Hopf deformations and dendriform structures are also considered for some algebras in the picture.

We focus on the algorithm underlying the main result of [A. Mestre, R. Oeckl, Generating loop graphs via Hopf algebra in quantum field theory. J. Math. Phys., 47, 122302, 2006]. This is an algebraic formula to generate all connected graphs in a recursive and efficient manner. The key feature is that each graph carries a scalar factor given by the inverse of the order of its group of automorphisms. In the present paper, we revise that algorithm on the level of graphs. Moreover, we extend the result subsequently to further classes of connected graphs, namely, (edge) biconnected, simple and loopless graphs. Our method consists of basic graph transformations only.

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.

We associate a quasisymmetric function to any Bruhat interval in a general Coxeter group. This association can be seen to be a morphism of Hopf algebras to the subalgebra of all peak functions, leading to an extension of the cd-index of convex polytopes. We show how the Kazhdan-Lusztig polynomial of the Bruhat interval can be expressed in terms of this complete cd-index and otherwise explicit combinatorially defined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality.

We describe various combinatorial aspects of the Birkhoff-Connes-Kreimer factorization in perturbative renormalisation. The analog of Bogoliubov's preparation map on the Lie algebra of Feynman graphs is identified with the pre-Lie Magnus expansion. Our results apply to any connected filtered Hopf algebra, based on the pro-nilpotency of the Lie algebra of infinitesimal characters.

Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n\ge0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim(A_n)=r^nn!$ where $r = \dim(A_1)$.