arXiv++ Combinatorics

We consider a q-analogue of the standard bilinear form on the commutative ring of symmetric functions. The q=-1 case leads to a Z-graded Hopf superalgebra which we call the algebra of odd symmetric functions. In the odd setting we describe counterparts of the elementary and complete symmetric functions, power sums, Schur functions, and combinatorial interpretations of associated change of basis relations.

Following Radford's proof of Lagrange's theorem for pointed Hopf algebras, we prove Lagrange's theorem for Hopf monoids in the category of connected species. As a corollary, we obtain necessary conditions for a given subspecies K of a Hopf monoid H to be a Hopf submonoid: the quotient of any one of the generating series of H by the corresponding generating series of K must have nonnegative coefficients. Other corollaries include a necessary condition for a sequence of nonnegative integers to be the sequence of dimensions of a Hopf monoid in the form of certain polynomial inequalities, and of a set-theoretic Hopf monoid in the form of certain linear inequalities. The latter express that the binomial transform of the sequence must be nonnegative.

Recent developments in quantum chemistry, perturbative quantum field theory, statistical physics or stochastic differential equations require the introduction of new families of Feynman-type diagrams. These new families arise in various ways. In some generalizations of the classical diagrams, the notion of Feynman propagator is extended to generalized propagators connecting more than two vertices of the graphs. In some others (introduced in the present article), the diagrams, associated to noncommuting product of operators inherit from the noncommutativity of the products extra graphical properties. The purpose of the present article is to introduce a general way of dealing with such diagrams. We prove in particular a "universal" linked cluster theorem and introduce, in the process, a Feynman-type "diagrammatics" that allows to handle simultaneously nonlocal (Coulomb-type) interactions, the generalized diagrams arising from the study of interacting systems (such as the ones where the ground state is not the vacuum but e.g. a vacuum perturbed by a magnetic or electric field, by impurities...) or Wightman fields (that is, expectation values of products of interacting fields). Our diagrammatics seems to be the first attempt to encode in a unified algebraic framework such a wide variety of situations. In the process, we promote two ideas. First, Feynman-type diagrammatics belong mathematically to the theory of linear forms on combinatorial Hopf algebras. Second, linked cluster-type theorems rely ultimately on Möbius inversion on the partition lattice. The two theories should therefore be introduced and presented accordingly

In this short survey we present the appearance of some combinatorial notions in quantum field theory. We first focus on topological graph polynomials (the Tutte polynomial and its multivariate version) and their relation with the parametric representation of the commutative $Φ^4$ field theory. We then generalize this to ribbon graphs and present the relation of the Bollobás-Riordan polynomial with the parametric representation of some $Φ^4$ field theory on the non-commutative Moyal space. We also review the rôle played by the Connes-Kreimer Hopf algebra as the combinatorial backbone of the renormalization process in field theories. We then show how this generalizes to the scalar $Φ^4$ field theory implemented on the non-commutative Moyal space. Finally, some perspectives for the further generalization of these tools to quantum gravity tensor models are briefly sketched.

The Hopf algebra of word-quasi-symmetric functions ($\WQSym$), a noncommutative generalization of the Hopf algebra of quasi-symmetric functions, can be endowed with an internal product that has several compatibility properties with the other operations on $\WQSym$. This extends constructions familiar and central in the theory of free Lie algebras, noncommutative symmetric functions and their various applications fields, and allows to interpret $\WQSym$ as a convolution algebra of linear endomorphisms of quasi-shuffle algebras. We then use this interpretation to study the fine structure of quasi-shuffle algebras (MZVs, free Rota-Baxter algebras...). In particular, we compute their Adams operations and prove the existence of generalized Eulerian idempotents, that is, of a canonical left-inverse to the natural surjection map to their indecomposables, allowing for the combinatorial construction of free polynomial generators for these algebras.

The graph algebra is a commutative, cocommutative, graded, connected incidence Hopf algebra, whose basis elements correspond to finite simple graphs and whose Hopf product and coproduct admit simple combinatorial descriptions. We give a new formula for the antipode in the graph algebra in terms of acyclic orientations; our formula contains many fewer terms than Takeuchi's and Schmitt's more general formulas for the antipode in an incidence Hopf algebra. Applications include several formulas (some old and some new) for evaluations of the Tutte polynomial.

We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and in the theory of species. We prove that the composition of two cofree coalgebras is again cofree, and we give sufficient conditions that ensure the composition is a one-sided Hopf algebra. We show these conditions are satisfied when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra with coalgebra map to D. We conclude by computing the primitive elements for compositions of coalgebras built on the vertices of multiplihedra, composihedra, and hypercubes.

We give a new construction of a Hopf subalgebra of the Hopf algebra of Free quasi-symmetric functions whose bases are indexed by objects belonging to the Baxter combinatorial family (i.e. Baxter permutations, pairs of twin binary trees, etc.). This construction relies on the definition of the Baxter monoid, analog of the plactic monoid and the sylvester monoid, and on a Robinson-Schensted-like insertion algorithm. The algebraic properties of this Hopf algebra are studied. This Hopf algebra appeared for the first time in the work of Reading [Lattice congruences, fans and Hopf algebras, Journal of Combinatorial Theory Series A, 110:237--273, 2005].

We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra with coalgebra map to D. We conclude by discussing these structures for compositions with bases the vertices of multiplihedra, composihedra, and hypercubes.

We define two coproducts for cycle-free oriented graphs, thus building up two commutative con- nected graded Hopf algebras, such that one is a comodule-coalgebra on the other, thus generalizing the result obtained previously for Hopf algebras of rooted trees.

We define and study a combinatorial Hopf algebra dRec with basis elements indexed by diagonal rectangulations of a square. This Hopf algebra provides an intrinsic combinatorial realization of the Hopf algebra tBax of twisted Baxter permutations, which previously had only been described extrinsically as a sub Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. We describe the natural lattice structure on diagonal rectangulations, analogous to the Tamari lattice on triangulations, and observe that diagonal rectangulations index the vertices of a polytope analogous to the associahedron. We give an explicit bijection between twisted Baxter permutations and the better-known Baxter permutations, and describe the resulting Hopf algebra structure on Baxter permutations.

In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group $\mathcal{P}$ generated by all combinatorial polytopes. There are two natural bilinear operations on this group defined by a direct product $\times $ and a join $\divideontimes$ of polytopes. $(\mathcal{P},\times)$ is a commutative associative bigraded ring of polynomials, and $\mathcal{RP}=(\mathbb Z\varnothing\oplus\mathcal{P},\divideontimes)$ is a commutative associative threegraded ring of polynomials. The ring $\mathcal{RP}$ has the structure of a graded Hopf algebra. It turns out that $\mathcal{P}$ has a natural Hopf comodule structure over $\mathcal{RP}$. Faces operators $d_k$ that send a polytope to the sum of all its $(n-k)$-dimensional faces define on both rings the Hopf module structures over the universal Leibnitz-Hopf algebra $\mathcal{Z}$. This structure gives a ring homomorphism $\R\to\Qs\otimes\R$, where $\R$ is $\mathcal{P}$ or $\mathcal{RP}$. Composing this homomorphism with the characters $P^n\toα^n$ of $\mathcal{P}$, $P^n\toα^{n+1}$ of $\mathcal{RP}$, and with the counit we obtain the ring homomorphisms $f\colon\mathcal{P}\to\Qs[α]$, $f_{\mathcal{RP}}\colon\mathcal{RP}\to\Qs[α]$, and $\F^*:\mathcal{RP}\to\Qs$, where $F$ is the Ehrenborg transformation. We describe the images of these homomorphisms in terms of functional equations, prove that these images are rings of polynomials over $\mathbb Q$, and find the relations between the images, the homomorphisms and the Hopf comodule structures. For each homomorphism $f,\;f_{\mathcal{RP}}$, and $\F$ the images of two polytopes coincide if and only if they have equal flag $f$-vectors. Therefore algebraic structures on the images give the information about flag $f$-vectors of polytopes.

We extend the Hopf algebra description of a simple quantum system given previously, to a more elaborate Hopf algebra, which is rich enough to encompass that related to a description of perturbative quantum field theory (pQFT). This provides a {\em mathematical} route from an algebraic description of non-relativistic, non-field theoretic quantum statistical mechanics to one of relativistic quantum field theory. Such a description necessarily involves treating the algebra of polyzeta functions, extensions of the Riemann Zeta function, since these occur naturally in pQFT. This provides a link between physics, algebra and number theory. As a by-product of this approach, we are led to indicate {\it inter alia} a basis for concluding that the Euler gamma constant $γ$ may be rational.

We show that the combinatorial numbers known as {\em Bell numbers} are generic in quantum physics. This is because they arise in the procedure known as {\em Normal ordering} of bosons, a procedure which is involved in the evaluation of quantum functions such as the canonical partition function of quantum statistical physics, {\it inter alia}. In fact, we shall show that an evaluation of the non-interacting partition function for a single boson system is identical to integrating the {\em exponential generating function} of the Bell numbers, which is a device for encapsulating a combinatorial sequence in a single function. We then introduce a remarkable equality, the Dobinski relation, and use it to indicate why renormalisation is necessary in even the simplest of perturbation expansions for a partition function. Finally we introduce a global algebraic description of this simple model, giving a Hopf algebra, which provides a starting point for extensions to more complex physical systems.

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.

We construct explicit polynomial realizations of some combinatorial Hopf algebras based on various kind of trees or forests, and some more general classes of graphs, ranging from the Connes-Kreimer algebra to an algebra of labelled forests isomorphic to the Hopf algebra of parking functions, and to a new noncommutative algebra based on endofunctions admitting many interesting subalgebras and quotients.

We briefly review the rôle played by algebraic structures like combinatorial Hopf algebras in the renormalizability of (noncommutative) quantum field theory. After sketching the commutative case, we analyze the noncommutative Grosse-Wulkenhaar model.

We show that the # product of binary trees introduced by Aval and Viennot [arXiv:0912.0798] is in fact defined at the level of the free associative algebra, and can be extended to most of the classical combinatorial Hopf algebras.

Recently a new basis for the Hopf algebra of quasisymmetric functions $QSym$, called quasisymmetric Schur functions, has been introduced by Haglund, Luoto, Mason, van Willigenburg. In this paper we extend the definition of quasisymmetric Schur functions to introduce skew quasisymmetric Schur functions. These functions include both classical skew Schur functions and quasisymmetric Schur functions as examples, and give rise to a new poset $\mathcal{L}_C$ that is analogous to Young's lattice. We also introduce a new basis for the Hopf algebra of noncommutative symmetric functions $NSym$. This basis of $NSym$ is dual to the basis of quasisymmetric Schur functions and its elements are the pre-image of the Schur functions under the forgetful map $χ: NSym \rightarrow Sym$. We prove that the multiplicative structure constants of the noncommutative Schur functions, equivalently the coefficients of the skew quasisymmetric Schur functions when expanded in the quasisymmetric Schur basis, are nonnegative integers, satisfying a Littlewood-Richardson rule analogue that reduces to the classical Littlewood-Richardson rule under $χ$. As an application we show that the morphism of algebras from the algebra of Poirier-Reutenauer to $Sym$ factors through $NSym$. We also extend the definition of Schur functions in noncommuting variables of Rosas-Sagan in the algebra $NCSym$ to define quasisymmetric Schur functions in the algebra $NCQSym$. We prove these latter functions refine the former and their properties, and project onto quasisymmetric Schur functions under the forgetful map. Lastly, we show that by suitably labeling $\mathcal{L}_C$, skew quasisymmetric Schur functions arise in the theory of Pieri operators on posets.

We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U(\n_+) \rightarrow \HQ$, from the enveloping algebra of the nilpotent part $\n_+$ of the Kac-Moody algebra with Dynkin diagram $\bar{\Q}$ - the underlying unoriented graph of $\Q$. We study $ρ'$ when $\Q$ is the Jordan quiver, a quiver of type $A$, the cyclic quiver, and a tree respectively.