arXiv++ Combinatorics

For a graph $G$, its Tutte symmetric function $XB_G$ generalizes both the Tutte polynomial $T_G$ and the chromatic symmetric function $X_G$. We may also consider $XB$ as a map from the $t$-extended Hopf algebra $\mathbb{G}[t]$ of labelled graphs to symmetric functions. We show that the kernel of $XB$ is generated by vertex-relabellings and a finite set of modular relations, in the same style as a recent analogous result by Penaguiao on the chromatic symmetric function $X$. In particular, we find one such relation that generalizes the well-known triangular modular relation of Orellana and Scott, and build upon this to give a modular relation of the Tutte symmetric function for any two-edge-connected graph that generalizes the $n$-cycle relation of Dahlberg and van Willigenburg. Additionally, we give a structural characterization of all local modular relations of the chromatic and Tutte symmetric functions, and prove that there is no single local modification that preserves either function on simple graphs. We also give an expansion relating $XB_G$ to $X_{G/S}$ as $S$ ranges over all subsets of $E(G)$, use this to extend results on the chromatic symmetric function to the Tutte symmetric function, and show that analogous formulas hold for a Tutte quasisymmetric function on digraphs.

The Schur polynomials $s_λ$ are essential in understanding the representation theory of the general linear group. They also describe the cohomology ring of the Grassmannians. For $ρ= (n, n-1, \dots, 1)$ a staircase shape and $μ\subseteq ρ$ a subpartition, the Stembridge equality states that $s_{ρ/μ} = s_{ρ/μ^T}$. This equality provides information about the symmetry of the cohomology ring. The stable Grothendieck polynomials $G_λ$, and the dual stable Grothendieck polynomials $g_λ$, developed by Buch, Lam, and Pylyavskyy, are variants of the Schur polynomials and describe the $K$-theory of the Grassmannians. Using the Hopf algebra structure of the ring of symmetric functions and a generalized Littlewood-Richardson rule, we prove that $G_{ρ/μ} = G_{ρ/μ^T}$ and $g_{ρ/μ} = g_{ρ/μ^T}$, the analogues of the Stembridge equality for the skew stable and skew dual stable Grothendieck polynomials.

A weight system is a function on chord diagrams that satisfies the so-called four-term relations. Vassiliev's theory of finite-order knot invariants describes these invariants in terms of weight systems. In particular, there is a weight system corresponding to the colored Jones polynomial. This weight system can be easily defined in terms of the Lie algebra $\mathfrak{sl}_2$, but this definition is too cumbersome from the computational point of view, so that the values of this weight system are known only for some limited classes of chord diagrams. In the present paper we give a formula for the values of the $\mathfrak{sl}_2$ weight system for a class of chord diagrams whose intersection graphs are complete bipartite graphs with no more than three vertices in one of the parts. Our main computational tool is the Chmutov--Varchenko reccurence relation. Furthermore, complete bipartite graphs with no more than three vertices in one of the parts generate Hopf subalgebras of the Hopf algebra of graphs, and we deduce formulas for the projection onto the subspace of primitive elements along the subspace of decomposable elements in these subalgebras. We compute the values of the $\mathfrak{sl}_2$ weight system for the projections of chord diagrams with such intersection graphs. Our results confirm certain conjectures due to S.K.Lando on the values of the weight system $\mathfrak{sl}_2$ at the projections of chord diagrams on the space of primitive elements.

As a natural basis of the Hopf algebra of quasisymmetric functions, monomial quasisymmetric functions are formal power series defined from compositions. The same definition applies to left weak compositions, while leads to divergence for other weak compositions. We adapt the method of renormalization in quantum field theory, in the framework of Connes and Kreimer, to deal with such divergency. This approach defines monomial quasisymmetric functions for any weak composition as power series while extending the quasi-shuffle (stuffle) relation satisfied by the usual quasisymmetric functions. The algebra of renormalized quasisymmetric functions thus obtained turns out to be isomorphic to the quasi-shuffle algebra of weak compositions, giving the former a natural Hopf algebra structure and the latter a power series realization. This isomorphism also gives the free commutative Rota-Baxter algebra a power series realization, in support of a suggestion of Rota that Rota-Baxter algebra should provide a broad context for generalizations of symmetric functions.

The character theory of symmetric groups, and the theory of symmetric functions, both make use of the combinatorics of Young tableaux, such as the Robinson-Schensted algorithm, Schuetzenberger's "jeu de taquin", and evacuation. In 1995 Poirier and the second author introduced some algebraic structures, different from the plactic monoid, which induce some products and coproducts of tableaux, with homomorphisms. Their starting point are the two dual Hopf algebras of permutations, introduced by the authors in 1995. In 2006 Aguiar and Sottile studied in more detail the Hopf algebra of permutations: among other things, they introduce a new basis, by Moebius inversion in the poset of weak order, that allows them to describe the primitive elements of the Hopf algebra of permutations. In the present note, by a similar method, we determine the primitive elements of the Poirier-Reutenauer algebra of tableaux, using a partial order on tableaux defined by Taskin.

We associate to a projective $n$-dimensional toric variety $X_Δ$ a pair of co-commutative (but generally non-commutative) Hopf algebras $H^α_X, H^{T}_X$. These arise as Hall algebras of certain categories $\Coh^α(X), \Coh^T(X)$ of coherent sheaves on $X_Δ$ viewed as a monoid scheme - i.e. a scheme obtained by gluing together spectra of commutative monoids rather than rings. When $X_Δ$ is smooth, the category $\Coh^T(X)$ has an explicit combinatorial description as sheaves whose restriction to each $\mathbb{A}^n$ corresponding to a maximal cone $σ\in Δ$ is determined by an $n$-dimensional generalized skew shape. The (non-additive) categories $\Coh^α(X), \Coh^T(X)$ are treated via the formalism of proto-exact/proto-abelian categories developed by Dyckerhoff-Kapranov. The Hall algebras $H^α_X, H^{T}_X$ are graded and connected, and so enveloping algebras $H^α_X \simeq U(\n^α_X)$, $H^{T}_X \simeq U(\n^{T}_X)$, where the Lie algebras $\n^α_X, \n^{T}_X$ are spanned by the indecomposable coherent sheaves in their respective categories. We explicitly work out several examples, and in some cases are able to relate $\n^T_X$ to known Lie algebras. In particular, when $X = \mathbb{P}^1$, $\n^T_X$ is isomorphic to a non-standard Borel in $\mathfrak{gl}_2 [t,t^{-1}]$. When $X$ is the second infinitesimal neighborhood of the origin inside $\mathbb{A}^2$, $\n^T_X$ is isomorphic to a subalgebra of $\mathfrak{gl}_2[t]$. We also consider the case $X=\mathbb{P}^2$, where we give a basis for $\n^T_X$ by describing all indecomposable sheaves in $\Coh^T(X)$.

We study the category $\textrm{Rep}(Q,\mathbb{F}_1)$ of representations of a quiver $Q$ over "the field with one element", denoted by $\mathbb{F}_1$, and the Hall algebra of $\textrm{Rep}(Q,\mathbb{F}_1)$. Representations of $Q$ over $\mathbb{F}_1$ often reflect combinatorics of those over $\mathbb{F}_q$, but show some subtleties - for example, we prove that a connected quiver $Q$ is of finite representation type over $\mathbb{F}_1$ if and only if $Q$ is a tree. Then, to each representation $\mathbb{V}$ of $Q$ over $\mathbb{F}_1$ we associate a coefficient quiver $Γ_\mathbb{V}$ possessing the same information as $\mathbb{V}$. This allows us to translate representations over $\mathbb{F}_1$ purely in terms of combinatorics of associated coefficient quivers. We also explore the growth of indecomposable representations of $Q$ over $\mathbb{F}_1$ - there are also similarities to representations over a field, but with some subtle differences. Finally, we link the Hall algebra of the category of nilpotent representations of an $n$-loop quiver over $\mathbb{F}_1$ with the Hopf algebra of skew shapes introduced by Szczesny.

We study Cohen-Macaulay Hopf monoids in the category of species. The goal is to apply techniques from topological combinatorics to the study of polynomial invariants arising from combinatorial Hopf algebras. Given a polynomial invariant arising from a linearized Hopf monoid, we show that under certain conditions it is the Hilbert polynomial of a relative simplicial complex. If the Hopf monoid is Cohen-Macaulay, we give necessary and sufficient conditions for the corresponding relative simplicial complex to be relatively Cohen-Macaulay, which implies that the polynomial has a nonnegative $h$-vector. We apply our results to the weak and strong chromatic polynomials of acyclic mixed graphs, and the order polynomial of a double poset.

We prove that the generalized moment-cumulant relations introduced in [arXiv:1711.00219] are given by the action of the Eulerian idempotents on the Solomon-Tits algebras, whose direct sum builds up the Hopf algebra of Word Quasi-Symmetric Functions $\WQSym$. We prove $t$-analogues of these identities (in which the coefficient of $t$ gives back the original version), and a similar $t$-analogue of Goldberg's formula for the coefficients of the Hausdorff series. This amounts to the determination of the action of all the Eulerian idempotents on a product of exponentials.

We extend the shuffle algebra perspective on scalar-valued non-commutative probability theory to the operator-valued case. Given an operator-valued probability space with an algebra $B$ acting on it (on the left and on the right), we associate operators in the operad of multilinear maps on $B$ to the operator-valued distribution and free cumulants of a random variable. These operators define a representation of a PROS of non-crossing partitions. Using concepts from higher category theory, specifically $2$-monoidal categories, we define a notion of unshuffle Hopf algebra on an underlying PROS. We introduce a PROS of words insertions and show that both the latter and the PROS of non-crossing partitions are unshuffle Hopf algebras (in a $2$-monoidal sense). The two relate by mean of a map of unshuffle bialgebras (in a $2$-monoidal sense) which we call the splitting map. Ultimately, we obtain a left half-shuffle fixed point equation corresponding to free moment-cumulant relations in a shuffle algebra of bicollection homomorphisms on the PROS of words insertions. Right half-shuffle and shuffle laws are interpreted in the framework of boolean and monotone non-commutative probability theory, respectively. Keywords: operator-valued non-commutative probability theory, higher category theory, duoidal categories, operads, properads, PROS, shuffle algebra, half-shuffles

We construct Hopf algebras whose elements are representations of combinatorial automorphism groups, by generalising a theorem of Zelevinsky on Hopf algebras of representations of wreath products. As an application we attach symmetric functions to representations of graph automorphism groups, generalising and refining Stanley's chromatic symmetric function.

Motivated by q-shuffle products determined by Singer from q-analogues of multiple zeta values, we build in this article a generalisation of the shuffle and stuffle products in terms of weak shuffle and stuffle products. Then, we characterise weak shuffle products and give as examples the case of an alphabet of cardinality two or three. We focus on a comparison between algebraic structures respected in the classical case and in the weak case. As in the classical case, each weak shuffle product can be equipped with a dendriform structure. However, they have another behaviour towards the quadri-algebra and the Hopf algebra structure. We give some relations satisfied by weak stuffle products.

A differentially recursive sequence over a differential field is a sequence of elements satisfying a homogeneous differential equation with non-constant coefficients (namely, Taylor expansions of elements of the field) in the differential algebra of Hurwitz series. The main aim of this paper is to explore the space of all differentially recursive sequences over a given field with a non-zero differential. We show that these sequences form a two-sided vector space that admits, in a canonical way, a structure of Hopf algebroid over the subfield of constant elements. We prove that it is the direct limit, as a left comodule, of all spaces of formal solutions of linear differential equations and that it satisfies, as Hopf algebroid, an additional universal property. When the differential on the base field is zero, we recover the Hopf algebra structure of linearly recursive sequences.

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.