Abstract: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.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to provide a unified framework for organizing and understanding various combinatorial structures and their related algebraic properties by combining the theory of generalized permutahedra with that of Hopf monoids. Specifically, the goals of the paper include:
1. **Providing the Hopf algebra structure of combinatorial objects**: The paper proves that generalized permutahedra are a class of polyhedra with a specific Hopf algebra structure, and this structure is unique. This provides a unified framework for many combinatorial structures (such as graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs).
2. **Simplifying the formula of the antipode map**: The paper gives a simplified, cancellation - free formula for the antipode map of generalized permutahedra:
\[
s_I(p)=(- 1)^{|I|}\sum_{q\text{ face of }p}(-1)^{\dim q}q
\]
This formula not only simplifies the calculation but also reveals the geometric and topological significance of the antipode map.
3. **Unifying the combinatorial reciprocity theorems of polynomial invariants**: The paper shows that the combinatorial reciprocity theorems of Stanley, Billera - Jia - Reiner et al. about the chromatic polynomial of graphs, the strict order polynomial of posets, and the BJR polynomial of matroids are actually special cases of the same reciprocity theorem of generalized permutahedra under specific inclusions.
4. **Explaining the inverse operation of power series**: The paper explains the combinatorial formulas of the multiplicative inverse and the compositional inverse of power series through the face structures of generalized permutahedra and associahedra. In particular, these formulas are respectively controlled by the face structures of permutahedra and associahedra, answering the question raised by Loday.
Through the above goals, the paper not only provides new theoretical results but also provides a unified explanation for many known combinatorial structures and algebraic properties, thus deepening the understanding of these structures.