A Tale of Two Polytopes: the Bipermutahedron and the Harmonic Polytope
Presenter
November 19, 2021
Keywords:
- Polytopes
- f-vector
- h-vector
- Ehrhart theory
- toric ideal
- generalized permutahedron
MSC:
- 52B25
- 52B20
- 05A15
Abstract
The harmonic polytope and the bipermutahedron are two related polytopes which arose in our work with Graham Denham and June Huh on the Lagrangian geometry of matroids. This talk will briefly explain their geometric origin and discuss their algebraic and geometric combinatorics.
The bipermutahedron is a (2n−2)-dimensional polytope with (2n!)/2^n vertices and 3^n−3 facets. Its f-vector, which counts the faces of each dimension, is given by a simple evaluation of the three variable Rogers-Ramanujan function. Its h-vector, which gives the dimensions of the intersection cohomology of the associated toric variety, is log-concave.
The harmonic polytope is a (2n−2)-dimensional polytope with (n!)^2(1+1/2+...+1/n) vertices and 3^n−3 facets. Its volume is a weighted sum of the degrees of the projective varieties of all the toric ideals of connected bipartite graphs with n edges.
These two polytopes are related by a surprising fact: in any dimension, the Minkowski quotient of the bipermutahedron and the harmonic polytope equals 2.
The talk will be as self-contained as possible, and will feature joint work with Graham Denham, Laura Escobar, and June Huh.