arXiv++ Combinatorics

We prove that the generating function for the symmetric chromatic polynomial of all connected graphs satisfies (after appropriate scaling change of variables) the Kadomtsev--Petviashvili integrable hierarchy of mathematical physics. Moreover, we describe a large family of polynomial graph invariants giving the same solution of the KP. In particular, we introduce the Abel polynomial for graphs and show this for its generating function. The key point here is a Hopf algebra structure on the space spanned by graphs and the behavior of the invariants on its primitive space.

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

We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we study properties of this bicategory and various sub-bicategories, and describe some universal constructions. Finally, we generalize Nichols' result on bialgebra quotients of Hopf algebra, which gives conditions on when the resulting bialgebra quotient is a Hopf algebra.

The ring of symmetric functions carries the structure of a Hopf algebra. When computing the coproduct of complete symmetric functions $h_λ$ one arrives at weighted sums over reverse plane partitions (RPP) involving binomial coefficients. Employing the action of the extended affine symmetric group at fixed level $n$ we generalise these weighted sums to cylindric RPP and define cylindric complete symmetric functions. The latter are shown to be $h$-positive, that is, their expansions coefficients in the basis of complete symmetric functions are non-negative integers. We state an explicit formula in terms of tensor multiplicities for irreducible representations of the generalised symmetric group. Moreover, we relate the cylindric complete symmetric functions to a 2D topological quantum field theory (TQFT) that is a generalisation of the celebrated $\mathfrak{\widehat{sl}}_n$-Verlinde algebra or Wess-Zumino-Witten fusion ring, which plays a prominent role in the context of vertex operator algebras and algebraic geometry.

In this article, we are interested in the Hopf algebra $\mathcal{H}_{D}$ of dissection diagrams introduced by Dupont in his thesis. We use the version with a parameter $x\in\mathbb{K}$. We want to study its underlying coalgebra. We conjecture it is cofree, except for a countable subset of $\mathbb{K}$. If $x=-1$ then we know there is no cofreedom. We easily see that $\mathcal{H}\_{D}$ is a free commutative right-sided combinatorial Hopf algebra according to Loday and Ronco. So, there exists a pre-Lie structure on its graded dual. Furthermore ${\mathcal{H}_{D}}^{\circledast}$ and the enveloping algebra of its primitive elements are isomorphic. Thus, we can equip ${\mathcal{H}\_{D}}^{\circledast}$ with a structure of Oudom and Guin. We focus on the pre-Lie structure on dissection diagrams and in particular on the pre-Lie algebra generated by the dissection diagram of degree $1$. We prove that it is not free. We express a Hopf algebra morphism between the Grossman and Larson Hopf algebra and ${\mathcal{H}_{D}}^{\circledast}$ by using pre-Lie and Oudom and Guin structures.

Recently, inspired by the Connes-Kreimer Hopf algebra of rooted trees, the second named author introduced rooted tree maps as a family of linear maps on the noncommutative polynomial algebra in two letters. These give a class of relations among multiple zeta values, which are known to be a subclass of the so-called linear part of the Kawashima relations. In this paper we show the opposite implication, that is the linear part of the Kawashima relations is implied by the relations coming from rooted tree maps.

Noncrossing arc diagrams are combinatorial models for the equivalence classes of the lattice congruences of the weak order on permutations. In this paper, we provide a general method to endow these objects with Hopf algebra structures. Specific instances of this method produce relevant Hopf algebras that appeared earlier in the literature.

Recently, M.~Baker and N.~Bowler introduced the notion of matroids over hyperfields as a unifying theory of various generalizations of matroids. In this paper we generalize the notion of minors and direct sums from ordinary matroids to matroids over hyperfields. Using this we generalize the classical construction of matroid-minor Hopf algebras to the case of matroids over hyperfields.

In an earlier paper, the first two authors defined orientations on hypergraphs. Using this definition we provide an explicit bijection between acyclic orientations in hypergraphs and faces of hypergraphic polytopes. This allows us to obtain a geometric interpretation of the coefficients of the antipode map in a Hopf algebra of hypergraphs. This interpretation differs from similar ones for a different Hopf structure on hypergraphs provided recently by Aguiar and Ardila. Furthermore, making use of the tools and definitions developed here regarding orientations of hypergraphs we provide a characterization of hypergraphs giving rise to simple hypergraphic polytopes in terms of acyclic orientations of the hypergraph. In particular, we recover this fact for the nestohedra and the hyper-permutahedra, and prove it for generalized Pitman-Stanley polytopes as defined here.

We investigate the rigidity for the Hopf algebra ${\rm QSym}$ of quasisymmetric functions with respect to the monomial, the fundamental and the quasisymmetric Schur basis, respectively. By establishing some combinatorial properties of the posets of compositions arising from the analogous Pieri rules for quasisymmetric functions, we show that ${\rm QSym}$ is rigid as an algebra with respect to the quasisymmetric Schur basis, and rigid as a coalgebra with respect to the monomial and the quasisymmetric Schur basis, respectively. The natural actions of reversal, complement and transpose of the labelling compositions lead to some nontrivial graded (co)algebra automorphisms of ${\rm QSym}$. We prove that the linear maps induced by the three actions are precisely the only nontrivial graded algebra automorphisms that take the fundamental basis into itself. Furthermore, the complement map on the labels gives the unique nontrivial graded coalgebra automorphism preserving the fundamental basis, while the reversal map on the labels gives the unique nontrivial graded algebra automorphism preserving the monomial basis. Therefore, ${\rm QSym}$ is rigid as a Hopf algebra with respect to the monomial and the quasisymmetric Schur basis.

Rooted tree maps assign to an element of the Connes-Kreimer Hopf algebra of rooted trees a linear map on the noncommutative polynomial algebra in two letters. Evaluated at any admissible word these maps induce linear relations between multiple zeta values. In this note we show that the derivation relations for multiple zeta values are contained in this class of linear relations.

Based on Hopf algebra of rooted trees introduced by Connes and Kreimer, we construct a class of linear maps on noncommutative polynomial algebra in two indeterminates, namely rooted tree maps. We also prove that their maps induce a class of relations among multiple zeta values.

We study the mathematical structure underlying the concept of locality which lies at the heart of classical and quantum field theory, and develop a machinery used to preserve locality during the renormalisation procedure. Viewing renormalisation in the framework of Connes and Kreimer as the algebraic Birkhoff factorisation of characters on a Hopf algebra with values in a Rota-Baxter algebra, we build locality variants of these algebraic structures, leading to a locality variant of the algebraic Birkhoff factorisation. This provides an algebraic formulation of the conservation of locality while renormalising. As an application in the context of the Euler-Maclaurin formula on cones, we renormalise the exponential generating function which sums over the lattice points in convex cones. For a suitable multivariate regularisation, renormalisation from the algebraic Birkhoff factorisation amounts to composition by a projection onto holomorphic multivariate functions.

In a recent article, we gave a definition of partition C*-algebras. These are universal C*-algebras based on algebraic relations which are induced from partitions of sets. In this follow up article, we show that often we can associate a Hopf algebra structure to partition C*-algebras, and also a compact matrix quantum group structure. This follows the lines of Banica and Speicher's approach to quantum groups; however, we access them in a more algebraic way circumventing Tannaka-Krein duality. We give criteria when these quantum groups are quantum subgroups of Wang's free orthogonal quantum group. As a consequence, we see that even if we start with (generalized) categories of partitions which do not contain the pair partitions, in many cases we do not go beyond the class of Banica-Speicher quantum groups (aka easy quantum groups). However, we also discuss possible non-unitary Banica-Speicher quantum groups.

There is a very natural and well-behaved Hopf algebra morphism from quasisymmetric functions to peak algebra, which we call it Theta map. This paper focuses on generalizing the peak algebra by constructing generalized Theta maps for an arbitrary combinatorial Hopf algebra. The image of Theta maps lies in the odd Hopf subalgebras, so we present a strategy to find odd Hopf subalgebra of any combinatorial Hopf algebra. We also give a combinatorial description of a family of Theta maps for Malvenuto-Reutenauer Hopf algebra of permutations $\operatorname{\mathsf{\mathfrak{S}Sym}}$ whose images are generalizations of the peak algebra. We also indicate a criterion to check whether a map is a Theta map. Moreover, precise descriptions of the Theta maps for the following Hopf algebras will be presented, Hopf subalgebras of quasisymmetric functions, commutative and co-commutative Hopf algebras, and theta maps for a Hopf algebra $\mathcal{V}$ on permutations.

In this article we study the packed words Hopf algebra WMat introduced by Duchamp, Hoang-Nghia et Tanasa. We start by explaining that WMat is not cofree, giving its antipode and describing its graded dual. We consider then a Hopf sub-algebra of permutations called $\mathfrak{S}\mathcal{H}$. Its graded dual $\mathfrak{S}\mathcal{H}^\circledast$ has a quadri-algebra structure, so it has a double dendriform algebra structure too. Thereafter, we introduce ISPW, a Hopf algebra of increasing strict packed words. It is graded, connected and cocommutative so is isomorphic to the enveloping algebra of its primitive elements. We describe some families of primitive elements. We prove that ISPW and non commutative symmetric functions are isomorphic. We define then an extended compositions Hopf algebra $\mathcal{C}_e$. It is not cocommutative but its primitive elements and those from ISPW are linked. We give an interpretation of $\mathcal{C}_e$ in terms of a semi-direct coproduct Hopf algebra. By using this, we can define two actions groups. We finish by giving an explicit isomorphism between ISPW$^\circledast$ and QSym and another one between ISPW and NSym.

In this paper, we construct the weak version of peak quasisymmetric functions inside the Hopf algebra of weak composition quasisymmetric functions (WCQSym) defined by Guo, Thibon and Yu. Weak peak quasisymmetric functions (WPQSym) are studied in several aspects. First we find a natural basis of WPQSym lifting Stembridge's peak functions. Then we confirm that WPQSym is a Hopf subalgebra of WCQSym by giving explicit multiplication, comultiplication and antipode formulas. By extending Stembridge's descent-to-peak maps, we also show that WPQSym is a Hopf quotient algebra of WCQSym. On the other hand, we prove that WPQSym embeds as a Rota-Baxter subalgebra of WCQSym, thus of the free commutative Rota-Baxter algebra of weight 1 on one generator. Moreover, WPQSym can also be a Rota-Baxter quotient algebra of WCQSym.

We show that Schmitt's restriction species (such as graphs, matroids, posets, etc.) naturally induce decomposition spaces (a.k.a. unital 2-Segal spaces), and that their associated coalgebras are an instance of the general construction of incidence coalgebras of decomposition spaces. We introduce the notion of directed restriction species that subsume Schmitt's restriction species and also induce decomposition spaces. Whereas ordinary restriction species are presheaves on the category of finite sets and injections, directed restriction species are presheaves on the category of finite posets and convex maps. We also introduce the notion of monoidal (directed) restriction species, which induce monoidal decomposition spaces and hence bialgebras, most often Hopf algebras. Examples of this notion include rooted forests, directed graphs, posets, double posets, and many related structures. A prominent instance of a resulting incidence bialgebra is the Butcher-Connes-Kreimer Hopf algebra of rooted trees. Both ordinary and directed restriction species are shown to be examples of a construction of decomposition spaces from certain cocartesian fibrations over the category of finite ordinals that are also cartesian over convex maps. The proofs rely on some beautiful simplicial combinatorics, where the notion of convexity plays a key role. The methods developed are of independent interest as techniques for constructing decomposition spaces.

We study ideals in Hall algebras of monoid representations on pointed sets corresponding to certain conditions on the representations. These conditions include the property that the monoid act via partial permutations, that the representation possess a compatible grading, and conditions on the support of the module. Quotients by these ideals lead to combinatorial Hopf algebras which can be interpreted as Hall algebras of certain sub-categories of modules. In the case of the free commutative monoid on n generators, we obtain a co-commutative Hopf algebra structure on $n$-dimensional skew shapes, whose underlying associative product amounts to a "stacking" operation on the skew shapes. The primitive elements of this Hopf algebra correspond to connected skew shapes, and form a graded Lie algebra by anti-symmetrizing the associative product. We interpret this Hopf algebra as the Hall algebra of a certain category of coherent torsion sheaves on $\mathbb{A}_{/ \mathbb{F}_1}^n$ supported at the origin, where $\mathbb{F}_1$ denotes the field of one element. This Hopf algebra may be viewed as an $n$-dimensional generalization of the Hopf algebra of symmetric functions, which corresponds to the case $n=1$.

The Riordan group, along with its constituent elements, Riordan arrays, has been a tool for combinatorial exploration since its inception in 1991. More recently, this group has made an appearance in the area of mathematical physics, where it can be used as a toy model in the theory of the renormalization of scalar fields. In this context, its Hopf algebra nature is of importance. In this note, we explain these notions. Power series play a fundamental role in this discussion.