arXiv++ Combinatorics

Recent advances in stochastic PDEs, Hopf algebras of typed trees and integral equations have inspired the study of algebraic structures with replicating operations. To understand their algebraic and combinatorial nature, we first use rooted forests with multiple decoration sets to construct free Hopf algebras with multiple Hochschild 1-cocycle conditions. Applying the universal property of the underlying operated algebras and the method of Gröbner-Shirshov bases, we then construct free objects in the category of matching Rota-Baxter algebras which is a generalization of Rota-Baxter algebras to allow multiple Rota-Baxter operators. Finally the free matching Rota-Baxter algebras are equipped with a cocycle Hopf algebra structure.

We endow the space of rooted planar trees with an structure of Hopf algebra. We prove that variations of such a structure lead to Hopf algebras on the spaces of labelled trees, $n$--trees, increasing planar trees and sorted trees. These structures are used to construct Hopf algebras on different types of permutations. In particular, we obtain new characterizations of the Hopf algebras of Malvenuto--Reutenauer and Loday--Ronco via planar rooted trees.

This is a study on pattern Hopf algebras in combinatorial structures. We introduce the notion of combinatorial presheaf, by adapting the algebraic framework of species to the study of substructures in combinatorics. Afterwards, we consider functions that count the number of patterns of objects and endow the linear span of these functions with a product and a coproduct. In this way, any well behaved family of combinatorial objects that admits a notion of substructure generates a Hopf algebra, and this association is functorial. For example, the Hopf algebra on permutations studied by Vargas in 2014 and the Hopf algebra on symmetric functions are particular cases of this construction. A specific family of pattern Hopf algebras is of interest, the ones arising from commutative combinatorial presheaves. This includes the presheaves on graphs, posets and generalized permutahedra. Here, we show that all the pattern Hopf algebras corresponding to commutative presheaves are free. We also study a non-commutative presheaf on marked permutations, i.e. permutations with a marked element. These objects have an inherent product called inflation, which is an operation motivated by factorization theorems of permutations. In this paper we find new factorization theorems on marked permutations, and use them to show that this is another example of a pattern Hopf algebra that is free.

This paper builds on two covering Hopf algebras of the Hopf algebra QSym of quasi-symmetric functions, with linear bases parameterized by compositions. One is the Malvenuto-Reutenauer Hopf algebra SSym of permutations, mapped onto QSym by taking descents of permutations. The other one is the recently introduced Hopf algebra RQSym of weak quasi-symmetric functions, mapped onto QSym by extracting compositions from weak compositions. We extend these two surjective Hopf algebra homomorphisms into a commutative diagram by introducing a Hopf algebra HSym, linearly spanned by signed permutations from the hyperoctahedral groups, equipped with the shifted quasi-shuffle product and deconcatenation coproduct. Extracting a permutation from a signed permutation defines a Hopf algebra surjection form HSym to SSym and taking a suitable descent from a signed permutation defines a linear surjection from HSym to RQSym. The notion of signed $P$-partitions from signed permutations is introduced which, by taking generating functions, gives fundamental weak quasi-symmetric functions and sends the shifted quasi-shuffle product to the product of the corresponding generating functions. Together with the existing Hopf algebra surjections from SSym and RQSym to QSym, we obtain a commutative diagram of Hopf algebras revealing the close relationship among compositions, weak compositions, permutations and signed permutations.

We introduce a general class of combinatorial objects, which we call \emph{multi-complexes}, which simultaneously generalizes graphs, multigraphs, hypergraphs and simplicial and delta complexes. We introduce a natural algebra of multi-complexes which is defined as the algebra which has a formal basis $\mathcal{C}$ of all isomorphism types of multi-complexes, and multiplication is to take the disjoint union. This is a Hopf algebra with an operation encoding the dissasembly information for such objects, and extends the Hopf algebra of graphs. In our main result, we explicitly describe here the structure of this Hopf algebra of multi-complexes $H$. We find an explicit basis $\mathcal{B}$ of the space of primitives, which is of combinatorial relevance: it is such that each multi-complex is a polynomial with non-negative integer coefficients of the elements of $\mathcal{B}$, and each $b\in\mathcal{B}$ is a polynomial with integer coefficients in $\mathcal{C}$. Using this, we find the cancellation and grouping free formula for the antipode. The coefficients appearing in all these polynomials are, up to signs, numbers counting multiplicities of sub-multi-complexes in a multi-complex. We also explicitly illustrate how our results specialize to the graph Hopf algebra, and observe how they specialize to results in all of the above mentioned particular cases. We also investigate applications of these results to the graph reconstruction conjectures, and rederive some results in the literature on these questions.

Boolean, free and monotone cumulants as well as relations among them, have proven to be important in the study of non-commutative probability theory. Quite notably, Boolean cumulants were successfully used to study free infinite divisibility via the Boolean Bercovici--Pata bijection. On the other hand, in recent years the concept of infinitesimal non-commutative probability has been developed, together with the notion of infinitesimal cumulants which can be useful in the context of combinatorial questions. In this paper, we show that the known relations among free, Boolean and monotone cumulants still hold in the infinitesimal framework. Our approach is based on the use of Grassmann algebra. Formulas involving infinitesimal cumulants can be obtained by applying a formal derivation to known formulas. The relations between the various types of cumulants turn out to be captured via the shuffle algebra approach to moment-cumulant relations in non-commutative probability theory. In this formulation, (free, Boolean and monotone) cumulants are represented as elements of the Lie algebra of infinitesimal characters over a particular combinatorial Hopf algebra. The latter consists of the graded connected double tensor algebra defined over a non-commutative probability space and is neither commutative nor cocommutative. In this note it is shown how the shuffle algebra approach naturally extends to the notion of infinitesimal non-commutative probability space. The basic step consists in replacing the base field as target space of linear Hopf algebra maps by the Grassmann algebra over the base field. We also consider the infinitesimal analog of the Boolean Bercovici--Pata map.

The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization of this Hopf monoid over the adjoint of the (essentialized) braid hyperplane arrangement, which identifies the monomial basis with signed characteristic functions of the interiors of permutohedral tangent cones. We show that the indecomposable quotient Lie coalgebra is obtained by restricting functions to chambers of the adjoint arrangement, i.e. by quotienting out the higher codimensions. The resulting functions are characterized by the Steinmann relations of axiomatic quantum field theory, demonstrating an equivalence between the Steinmann relations, tangent cones to (generalized) permutohedra, and having algebraic structure internal to species. Our results give a new interpretation of a construction appearing in the mathematically rigorous formulation of renormalization by Epstein-Glaser, called causal perturbation theory. In particular, we show that operator products of time-ordered products correspond to the H-basis of the cocommutative Hopf monoid of set compositions, and generalized retarded products correspond to a spanning set of its primitive part Lie algebra.

There is a long tradition of categorifying combinatorial Hopf algebras by the modules of a tower of algebras (or even better via the representation theory of a tower of groups). From the point of view of combinatorics, such a categorification supplies canonical bases, inner products, and a natural avenue to prove positivity results. Recent ideas in supercharacter theory have made fashioning the representation theory of a tower of groups into a Hopf structure more tractable. This paper applies such a program to the Malvenuto--Reutenauer Hopf algebra. In particular, we design functors on the representation theory of a tower of $p$-groups that realize the Hopf structure of the Malvenuto--Reutenauer algebra in such a way that its well-known fundamental basis corresponds to a supercharacter basis.

We study the symmetric function and polynomial combinatorial invariants of Hopf algebras of permutations, posets and graphs. We investigate their properties and the relations among them. In particular, we show that the chromatic symmetric function and many other invariants have a property we call positively $h$-alternating. This property of positively $h$-alternating leads to Schur positivity and $e$-positivity when applying the operator $\nabla$ at $q=1$. We conclude by showing that the invariants we consider can be expressed as scheduling problems.

We introduce an enriched analogue of Lam and Pylyavskyy's theory of set-valued $P$-partitions. An an application, we construct a $K$-theoretic version of Stembridge's Hopf algebra of peak quasisymmetric functions. We show that the symmetric part of this algebra is generated by Ikeda and Naruse's shifted stable Grothendieck polynomials. We give the first proof that the natural skew analogues of these power series are also symmetric. A central tool in our constructions is a "$K$-theoretic" Hopf algebra of labeled posets, which may be of independent interest. Our results also lead to some new explicit formulas for the involution $ω$ on the ring of symmetric functions.

We show that the ring of symmetric functions in superspace is a cocommutative and self-dual Hopf algebra. We provide formulas for the action of the coproduct and the antipode on various bases of that ring. We introduce the ring sQSym of quasisymmetric functions in superspace and show that it is a Hopf algebra. We give explicitly the product, coproduct and antipode on the basis of monomial quasisymmetric functions in superspace. We prove that the Hopf dual of sQSym, the ring sNSym of noncommutative symmetric functions in superspace, has a multiplicative basis dual to the monomial quasisymmetric functions in superspace.

Let A and B be two connected graded commutative k-algebras of finite type, where k is a perfect field of positive characteristic p. We prove that the quasi--shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only if A and B are isomorphic as graded k-vector spaces equipped with a Frobenius (pth-power) map. For the hardest part of this analysis, we work with the dual construction, and are led to study connected graded cocommutative Hopf algebras H with two additional properties: H is free as an associative algebra, and the projection onto the indecomposables is split as a morphism of graded k-vector spaces equipped with a Verschiebung map. Building on work on non-commutative Witt vectors by Goerss, Lannes, and Morel, we classify such free, `split' Hopf algebras. A topological consequence is that, if X is a based path connected space, then the Hopf algebra H^*(Omega Sigma X;k) is determined by the stable homotopy type of X. We also discuss the much easier analogous characteristic 0 results, and give a characterization of when our quasi--shuffle algebras are polynomial, generalizing the so-called Ditters conjecture.

It is known that unicellular LLT polynomials are related to the quasi-symmetric chromatic polynomials of certain graphs by the $(t-1)$-transform of symmetric functions. We investigate the extension of this transformation to various combinatorial Hopf algebras and prove a noncommutative version of this property.

To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the $f$-polynomial. In the case of poset cones it refines Gessel's $\mathsf{P}$-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets.

This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra of Loday and Ronco on planar rooted trees.

We construct a family of infinite-dimensional positive sub-coalgebras within the Grothendieck ring of Hecke algebras, when viewed as a Hopf algebra with respect to the induction and restriction functor. These sub-coalgebras have as structure constants the 3-point genus zero Gromov-Witten invariants of Grassmannians and are spanned by what we call cylindric Hecke characters, a particular set of virtual characters for whose computation we give several explicit combinatorial formulae. One of these expressions is a generalisation of Ram's formula for irreducible Hecke characters and uses cylindric broken rim hook tableaux. We show that the latter are in bijection with so-called `ice configurations' on a cylindrical square lattice, which define the asymmetric six-vertex model in statistical mechanics. A key ingredient of our construction is an extension of the boson-fermion correspondence to Hecke algebras and employing the latter we find new expressions for Jing's vertex operators of Hall-Littlewood functions in terms of the six-vertex transfer matrices on the infinite planar lattice.

We introduce a simplicial object $(\{ \Dy^m\}_{m\geq 0}, {\mathbb F}_i, {\mathbb S}_j)$ in the category of non-symmetric algebraic operads, satisfying that $\Dy^0$ is the operad of associative algebras and $\Dy^1$ is J.-L. Loday\rq s operad of dendriform algebras. The dimensions of the operad $\Dy^m$ are given by the Fuss-Catalan numbers. Given a family of partially ordered sets ${\bold P}=\{P_n\}_{n\geq 1}$ we show that, under certain conditions, the vector space spanned by the set of $m$-simpleces of ${\bold P}$ is a $\Dy^m$ algebra. This construction, applied to certain combinatorial Hopf algebras, whose associative product comes from a dendriform structure, provides examples of $\Dy^m$ algebras.

Many families of combinatorial objects have a Hopf monoid structure. Aguiar and Ardila introduced the Hopf monoid of generalized permutahedra and showed that it contains various other notable combinatorial families as Hopf submonoids, including graphs, posets, and matroids. We introduce the Hopf monoid of orbit polytopes, which is generated by the generalized permutahedra that are invariant under the action of the symmetric group. We show that modulo normal equivalence, these polytopes are in bijection with integer compositions. We interpret the Hopf structure through this lens, and we show that applying the first Fock functor to this Hopf monoid gives a Hopf algebra of compositions. We describe the character group of the Hopf monoid of orbit polytopes in terms of noncommutative symmetric functions, and we give a combinatorial interpretation of the basic character and its polynomial invariant.

Rota-Baxter algebras and Atkinson's method are powerful tools for the factorization of characters on Hopf algebras. The theory of real resummation discovered by J. Ecalle and known as \textit{well-behaved averages theory} can be reformulated in terms of character factorization. The aim of this article is to explain how Atkinson recursion provides an alternative way to retrieve characters already discovered by Ecalle.

A family of permutations called 2-clumped permutations forms a basis for a sub-Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. The 2-clumped permutations are in bijection with certain decompositions of a square into rectangles, called generic rectangulations. Thus, we can describe the Hopf algebra of 2-clumped permutations using generic rectangulations (we call this isomorphic Hopf algebra the Hopf algebra of generic rectangulations). In this paper, we describe the cover relations in a lattice of generic rectangulations that is a lattice quotient of the right weak order on permutations. We then use this lattice to describe the product and coproduct operations in the Hopf algebra of generic rectangulations.