arXiv++ Combinatorics

Aguiar and Ardila defined the Hopf monoid GP of generalized permutahedra and showed that it contains many submonoids that correspond to combinatorial objects. They also give a basic polynomial invariant of generalized permutahedra, which then specializes to the submonoids. We define the Hopf monoid of directed graphs and show that it also embeds in GP. The resulting basic invariant coincides with the strict chromatic polynomial of Awan and Bernardi.

In arXiv:1709.07504 Aguiar and Ardila give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on hypergraphs. We give a combinatorial interpretation of this invariant on negative integers which leads to a reciprocity theorem on hypergraphs. Finally, we use this invariant to recover well-known invariants on other combinatorial objects (graphs, simplicial complexes, building sets etc) as well as the associated reciprocity theorems.

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.

The supercharacter theory of algebra groups gave us a representation theoretic realization of the Hopf algebra of symmetric functions in noncommuting variables. The underlying representation theoretic framework comes equipped with two canonical bases, one of which was completely new in terms of symmetric functions. This paper simultaneously generalizes this Hopf structure by considering a larger class of groups while also restricting the representation theory to a more combinatorially tractable one. Using the normal lattice supercharacter theory of pattern groups, we not only gain a third canonical basis, but also are able to compute numerous structure constants in the corresponding Hopf monoid, including coproducts and antipodes for the new bases.

In arXiv:1709.07504 Ardila and Aguiar give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on hypergraphs. We give a combinatorial interpretation of this invariant on negative integers which leads to a reciprocity theorem on hypergraphs. Finally, we use this invariant to recover well-known invariants on other combinatorial objects (graphs, simplicial complexes, building sets etc) as well as the associated reciprocity theorems.

We introduce megagreedoids, which generalize polymatroids, megamatroids, and greedoids. We define a quasisymmetric function invariant for a megagreedoid, and show that it has a positive expansion in the basis of fundamental quasisymmetric functions. Our proof involves lexicographic shellability. We also show that megagreedoids form a Hopf monoid. A running example is a megagreedoid associated to a rooted connected graph, and the resulting generalization of the chromatic symmetric function.

Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications: 1. We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give the optimal formula for the antipode of graphs, posets, matroids, hypergraphs, and building sets, and we answer questions of Humpert--Martin and Rota. 2. We show that the reciprocity theorems of Stanley and Billera--Jia--Reiner on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of the same reciprocity theorem for generalized permutahedra. 3. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, answering a question of Loday. Along the way, we offer a combinatorial user's guide to Hopf monoids.

We generalize the notion of a coloring complex of a graph to linearized combinatorial Hopf monoids. We determine when a linearized combinatorial Hopf monoid has such a construction, and discover some inequalities that are satisfied by the quasisymmetric function invariants associated to the combinatorial Hopf monoid. We show that the collection of all such coloring complexes forms a linearized combinatorial Hopf monoid, which is the terminal object in the category of combinatorial Hopf monoids with convex characters. We also study several examples of combinatorial Hopf monoids.

Many combinatorial Hopf algebras $H$ in the literature are the functorial image of a linearized Hopf monoid $\bf H$. That is, $H={\mathcal K} ({\bf H})$ or $H=\overline{\mathcal K} ({\bf H})$. Unlike the functor $\overline{\mathcal K}$, the functor ${\mathcal K}$ applied to ${\bf H}$ may not preserve the antipode of ${\bf H}$. In this case, one needs to consider the larger Hopf monoid ${\bf L}\times{\bf H}$ to get $H={\mathcal K} ({\bf H})=\overline{\mathcal K}({\bf L}\times{\bf H})$ and study the antipode in ${\bf L}\times{\bf H}$. One of the main results in this paper provides a cancelation free and multiplicity free formula for the antipode of ${\bf L}\times{\bf H}$. From this formula we obtain a new antipode formula for $H$. We also explore the case when ${\bf H}$ is commutative and cocommutative. In this situation we get new antipode formulas that despite of not being cancelation free, can be used to obtain one for $\overline{\mathcal K}({\bf H})$ in some cases. We recover as well many of the well-known cancelation free formulas in the literature. One of our formulas for computing the antipode in ${\bf H}$ involves acyclic orientations of hypergraphs as the central tool. In this vein, we obtain polynomials analogous to the chromatic polynomial of a graph, and also identities parallel to Stanley's (-1)-color theorem. One of our examples introduces a {\it chromatic} polynomial for permutations which counts increasing sequences of the permutation satisfying a pattern. We also study the statistic obtained after evaluating such polynomial at $-1$. Finally, we sketch $q$ deformations and geometric interpretations of our results. This last part will appear in a sequel paper in joint work with J. Machacek.

We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes. This class of complexes, called forbidden composition complexes, also forms a Hopf monoid, thus demonstrating a link between Hopf algebras, Ehrhart theory, and commutative algebra. We also study various specializations of quasisymmetric functions.

We construct supercharacter theories for a collection of unipotent matrix groups and produce a Hopf monoid from the supercharacters. These supercharacter theories are coarser than those defined by Diaconis--Isaacs for algebra groups and have supercharacters and superclasses indexed by nonnesting labeled set partitions. We compute the supercharacter tables and describe the product and coproduct of the Hopf monoid combinatorially. We also show that this Hopf monoid is free.

The Adams operators $Ψ_n$ on a Hopf algebra $H$ are the convolution powers of the identity of $H$. We study the Adams operators when $H$ is graded connected. They are also called Hopf powers or Sweedler powers. The main result is a complete description of the characteristic polynomial (both eigenvalues and their multiplicities) for the action of the operator $Ψ_n$ on each homogeneous component of $H$. The eigenvalues are powers of $n$. The multiplicities are independent of $n$, and in fact only depend on the dimension sequence of $H$. These results apply in particular to the antipode of $H$ (the case $n=-1$). We obtain closed forms for the generating function of the sequence of traces of the Adams operators. In the case of the antipode, the generating function bears a particularly simple relationship to the one for the dimension sequence. In case H is cofree, we give an alternative description for the characteristic polynomial and the trace of the antipode in terms of certain palindromic words. We discuss parallel results that hold for Hopf monoids in species and $q$-Hopf algebras.

A vector species is a functor from the category of finite sets with bijections to vector spaces; informally, one can view this as a sequence of $S_n$-modules. A Hopf monoid (in the category of vector species) consists of a vector species with unit, counit, product, and coproduct morphisms satisfying several compatibility conditions, analogous to a graded Hopf algebra. We say that a Hopf monoid is strongly linearized if it has a "basis" preserved by its product and coproduct in a certain sense. We prove several equivalent characterizations of this property, and show that any strongly linearized Hopf monoid which is commutative and cocommutative possesses four bases which one can view as analogues of the classical bases of the algebra of symmetric functions. There are natural functors which turn Hopf monoids into graded Hopf algebras, and applying these functors to strongly linearized Hopf monoids produces several notable families of Hopf algebras. For example, in this way we give a simple unified construction of the Hopf algebras of superclass functions attached to the maximal unipotent subgroups of three families of classical Chevalley groups.

A vector species is a functor from the category of finite sets with bijections to vector spaces (over a fixed field); informally, one can view this as a sequence of $S_n$-modules. A Hopf monoid (in the category of vector species) consists of a vector species with unit, counit, product, and coproduct morphisms satisfying several compatibility conditions, analogous to a graded Hopf algebra. A vector species has a basis if and only if it is given by a sequence of $S_n$-modules which are permutation representations. We say that a Hopf monoid is freely self-dual if it is connected and finite-dimensional, and if it has a basis in which the structure constants of its product and coproduct coincide. Such Hopf monoids are self-dual in the usual sense, and we show that they are furthermore both commutative and cocommutative. We prove more specific classification theorems for freely self-dual Hopf monoids whose products (respectively, coproducts) are linearized in the sense that they preserve the basis; we call such Hopf monoids strongly self-dual (respectively, linearly self-dual). In particular, we show that every strongly self-dual Hopf monoid has a basis isomorphic to some species of block-labeled set partitions, on which the product acts as the disjoint union. In turn, every linearly self-dual Hopf monoid has a basis isomorphic to the species of maps to a fixed set, on which the coproduct acts as restriction. It follows that every linearly self-dual Hopf monoid is strongly self-dual. Our final results concern connected Hopf monoids which are finite-dimensional, commutative, and cocommutative. We prove that such a Hopf monoid has a basis in which its product and coproduct are both linearized if and only if it is strongly self-dual with respect to a basis equipped with a certain partial order, generalizing the refinement partial order on set partitions.

From a recent paper, we recall the Hopf monoid structure on the supercharacters of the unipotent uppertriangular groups over a finite field. We give cancelation free formula for the antipode applied to the bases of class functions and power sum functions, giving new cancelation free formulae for the standard Hopf algebra of supercharacters and symmetric functions in noncommuting variables. We also give partial results for the antipode on the supercharacter basis, and explicitly describe the primitives of this Hopf monoid.

Combinatorial structures which compose and decompose give rise to Hopf monoids in Joyal's category of species. The Hadamard product of two Hopf monoids is another Hopf monoid. We prove two main results regarding freeness of Hadamard products. The first one states that if one factor is connected and the other is free as a monoid, their Hadamard product is free (and connected). The second provides an explicit basis for the Hadamard product when both factors are free. The first main result is obtained by showing the existence of a one-parameter deformation of the comonoid structure and appealing to a rigidity result of Loday and Ronco which applies when the parameter is set to zero. To obtain the second result, we introduce an operation on species which is intertwined by the free monoid functor with the Hadamard product. As an application of the first result, we deduce that the dimension sequence of a connected Hopf monoid satisfies the following condition: except for the first, all coefficients of the reciprocal of its generating function are nonpositive.

We build, from the collection of all groups of unitriangular matrices, Hopf monoids in Joyal's category of species. Such structure is carried by the collection of class function spaces on those groups, and also by the collection of superclass function spaces, in the sense of Diaconis and Isaacs. Superclasses of unitriangular matrices admit a simple description from which we deduce a combinatorial model for the Hopf monoid of superclass functions, in terms of the Hadamard product of the Hopf monoids of linear orders and of set partitions. This implies a recent result relating the Hopf algebra of superclass functions on unitriangular matrices to symmetric functions in noncommuting variables. We determine the algebraic structure of the Hopf monoid: it is a free monoid in species, with the canonical Hopf structure. As an application, we derive certain estimates on the number of conjugacy classes of unitriangular matrices.

Combinatorial Hopf algebras arise in a variety of applications. Recently, Aguiar and Mahajan showed how many well-studied Hopf algebras are closely related to Hopf monoids in species. In this paper, we study Hopf monoids in graphical species, giving a `graph-theoretic' analogue to the work of Aguiar and Mahajan. In particular, several examples of Hopf monoids in graphical species are detailed, most of which are related to graph coloring, or hyperplane arrangements associated to graphs.

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.

We introduce a new definition for the species of type B, or H-species, analog to the classical species (of type A), but on which we consider the action of the groups Bn of signed permutations. We are interested in algebraic structure on these H-species and give examples of Hopf monoids. The natural way to get a graded vector space from a species, given in this paper in terms of functors, will allow us to deepen our understanding of these species. In particular, the image of the classical species of set compositions under a given functor is isomorphic to the combinatorial Hopf algebra DQSym.