arXiv++ Combinatorics

The Connes-Kreimer Hopf algebra of rooted trees, its dual, and the Foissy Hopf algebra of of planar rooted trees are related to each other and to the well-known Hopf algebras of symmetric and quasi-symmetric functions via a pair of commutative diagrams. We show how this point of view can simplify computations in the Connes-Kreimer Hopf algebra and its dual, particularly for combinatorial Dyson-Schwinger equations.

We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type C Stanley symmetric functions. A homology Pieri rule is also given for the product of a special Schubert class with an arbitrary one.

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)$.

In the Hopf algebra approach of Connes and Kreimer on renormalization of quantum field theory, the renormalization process is views as a special case of the Algebraic Birkhoff Decomposition. We give a differential algebra variation of this decomposition and apply this to the study of multiple zeta values.

Starting from an operad, one can build a family of posets. From this family of posets, one can define an incidence Hopf algebra. By another construction, one can also build a group directly from the operad. We then consider its Hopf algebra of functions. We prove that there exists a surjective morphism from the latter Hopf algebra to the former one. This is illustrated by the case of an operad built on rooted trees, the $\NAP$ operad, where the incidence Hopf algebra is identified with the Connes-Kreimer Hopf algebra of rooted trees.

Via duality of Hopf algebras, there is a direct association between peak quasisymmetric functions and enumeration of chains in Eulerian posets. We study this association explicitly, showing that the notion of $\cd$-index, long studied in the context of convex polytopes and Eulerian posets, arises as the dual basis to a natural basis of peak quasisymmetric functions introduced by Stembridge. Thus Eulerian posets having a nonnegative $\cd$-index (for example, face lattices of convex polytopes) correspond to peak quasisymmetric functions having a nonnegative representation in terms of this basis. We diagonalize the operator that associates the basis of descent sets for all quasisymmetric functions to that of peak sets for the algebra of peak functions, and study the $g$-polynomial for Eulerian posets as an algebra homomorphism.

Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, we study six combinatorial Hopf algebras. These Hopf algebras can be thought of as K-theoretic analogues of the by now classical ``square'' of Hopf algebras consisting of symmetric functions, quasisymmetric functions, noncommutative symmetric functions and the Malvenuto-Reutenauer Hopf algebra of permutations. In addition, we develop a theory of set-valued P-partitions and study three new families of symmetric functions which are weight generating functions of reverse plane partitions, weak set-valued tableaux and valued-set tableaux.

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 character ring \CGL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra \Sym$ of symmetric functions. Here we study the character rings \CO and \CSp of the orthogonal and symplectic subgroups of the general linear group within the same framework of symmetric functions. We show that \CO and \CSp also admit natural Hopf algebra structures that are isomorphic to that of \CGL, and hence to \Sym. The isomorphisms are determined explicitly, along with the specification of standard bases for \CO and \CSp analogous to those used for \Sym. A major structural change arising from the adoption of these bases is the introduction of new orthogonal and symplectic Schur-Hall scalar products. Significantly, the adjoint with respect to multiplication no longer coincides, as it does in the \CGL case, with a Foulkes derivative or skew operation. The adjoint and Foulkes derivative now require separate definitions, and their properties are explored here in the orthogonal and symplectic cases. Moreover, the Hopf algebras \CO and \CSp are not self-dual. The dual Hopf algebras \CO^* and \CSp^* are identified. Finally, the Hopf algebra of the universal rational character ring \CGLrat of mixed irreducible tensor representations of the general linear group is introduced and its structure maps identified.

A new Z-basis for the space of quasisymmetric functions (QSym, for short) is presented. It is shown to have nonnegative structure constants, and several interesting properties relative to the space of quasisymmetric functions associated to matroids by the Hopf algebra morphism (F) of Billera, Jia, and Reiner. In particular, for loopless matroids, this basis reflects the grading by matroid rank, as well as by the size of the ground set. It is shown that the morphism F is injective on the set of rank two matroids, and that decomposability of the quasisymmetric function of a rank two matroid mirrors the decomposability of its base polytope. An affirmative answer is given to the Hilbert basis question raised by Billera, Jia, and Reiner.

The goal of our work is to study the spaces of primitive elements of the Hopf algebras associated to the permutaedra and the associaedra. We introduce the notion of shuffle and preshuffle bialgebras, and compute the subpaces of primitive elements associated to these algebras. These spaces of primitive elements are free objects for some types of algebras which we describe in terms of generators and relations.

One of the main virtues of trees is to represent formal solutions of various functional equations which can be cast in the form of fixed point problems. Basic examples include differential equations and functional (Lagrange) inversion in power series rings. When analyzed in terms of combinatorial Hopf algebras, the simplest examples yield interesting algebraic identities or enumerative results.

This is a presentation of recent work on quantum permutation groups. Contains: a short introduction to operator algebras and Hopf algebras; quantum permutation groups, and their basic properties; diagrams, integration formulae, asymptotic laws, matrix models; the hyperoctahedral quantum group, free wreath products, quantum automorphism groups of finite graphs, graphs having no quantum symmetry; complex Hadamard matrices, cocycle twists of the symmetric group, quantum groups acting on 4 points; remarks and comments.

The Grothendieck group of the tower of symmetric group algebras has a self-dual graded Hopf algebra structure. Inspired by this, we introduce by way of axioms, a general notion of a tower of algebras and study two Grothendieck groups on this tower linked by a natural paring. Using representation theory, we show that our axioms give a structure of graded Hopf algebras on each Grothendieck groups and these structures are dual to each other. We give some examples to indicate why these axioms are necessary. We also give auxiliary results that are helpful to verify the axioms. We conclude with some remarks on generalized towers of algebras leading to a structure of generalized bialgebras (in the sense of Loday) on their Grothendieck groups.

We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its primitive part. This structure theorem extends the classical Poincaré-Birkhoff-Witt theorem and the Cartier-Milnor-Moore theorem, valid for cocommutative bialgebras, to a large class of generalized bialgebras. Technically we work in the theory of operads which permits us to give a conceptual proof of our main theorem. It unifies several results, generalizing PBW and CMM, scattered in the literature. We treat many explicit examples and suggest a few conjectures.

We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra.

The colored quasisymmetric functions, like the classic quasisymmetric functions, are known to form a Hopf algebra with a natural peak subalgebra. We show how these algebras arise as the image of the algebra of colored posets. To effect this approach we introduce colored analogs of $P$-partitions and enriched $P$-partitions. We also frame our results in terms of Aguiar, Bergeron, and Sottile's theory of combinatorial Hopf algebras and its colored analog.

We review the relation between the Hopf algebra QSym of quasi-symmetric functions and the multiple zeta values, and then discuss a commutative diagram involving the Hopf algebra Sym of symmetric functions, the Hopf algebra dual NSym of QSym, and the Hopf algebras of rooted trees and planar rooted trees as defined by Kreimer and Foissy respectively.

Motivated by recent work of Connes and Marcolli, based on the Connes-Kreimer approach to renormalization, we augment the latter by a combinatorial, Lie algebraic point of view. Our results rely both on the properties of the Dynkin idempotent, one of the fundamental Lie idempotents in the theory of free Lie algebras, and on properties of Hopf algebras encapsulated in the notion of associated descent algebras. Besides leading very directly to proofs of the main combinatorial aspects of the renormalization procedures, the new techniques give rise to an algebraic approach to the Galois theory of renormalization. In particular, they do not depend on the geometry underlying the case of dimensional regularization and the Riemann-Hilbert correspondence. This is illustrated with a discussion of the BPHZ renormalization scheme.

We use the Hopf algebra structure of the time-ordered algebra of field operators to generate all connected weighted Feynman graphs in a recursive and efficient manner. The algebraic representation of the graphs is such that they can be evaluated directly as contributions to the connected n-point functions. The recursion proceeds by loop order and vertex number.