polytope ↗ reference
3077 papers tagged with this keyword
Hypersimplicial subdivisions
Published in Sel. Math. New Ser. 28:1 (2022), article 4
• View Publication
• BIB
Let $π:{\mathbb R}^n \to {\mathbb R}^d$ be any linear projection, let $A$ be the image of the standard basis. Motivated by Postnikov's study of postitive Grassmannians via plabic graphs and Galashin's connection of plabic graphs to slices of zonotopal tilings of 3-dimensional cyclic zonotopes, we study the poset of subdivisions induced by the restriction of $π$ to the $k$-th hypersimplex, for $k=1,\dots,n-1$. We show that:
- For arbitrary $A$ and for $k\le d+1$, the corresponding fiber polytope $\mathcal F^{(k)}(A)$ is normally isomorphic to the Minkowski sum of the secondary polytopes of all subsets of $A$ of size $\max\{d+2,n-k+1\}$.
- When $A={\mathbf P}_n$ is the vertex set of an $n$-gon, we answer the Baues question in the positive: the inclusion of the poset of $π$-coherent subdivisions into the poset of all $π$-induced subdivisions is a homotopy equivalence.
- When $A=\mathbf{C}(n,d)$ is the vertex set of a cyclic $d$-polytope with $d$ odd and any $n \ge d+3$, there are non-lifting (and even more so, non-separated) $π$-induced subdivisions for $k=2$.
Multivariate polynomials for generalized permutohedra
Published
• View Publication
• BIB
Using the notion of Mahonian statistic on acyclic posets, we introduce a $q$-analogue of the $h$-polynomial of a simple generalized permutohedron. We focus primarily on the case of nestohedra and on explicit computations for many interesting examples, such as $S_n$-invariant nestohedra, graph associahedra, and Stanley--Pitman polytopes. For the usual (Stasheff) associahedron, our generalization yields an alternative $q$-analogue to the well-studied Narayana numbers.
Voronoi conjecture for five-dimensional parallelohedra
Published in Inventiones Mathematicae, 2025
• View Publication
• BIB
We prove the Voronoi conjecture for five-dimensional parallelohedra. Namely, we show that if a convex five-dimensional polytope $P$ tiles $\mathbb R^5$ with translations, then $P$ is an affine image of the Dirichlet-Voronoi polytope for a five-dimensional lattice.
Our proof is based on an exhaustive combinatorial analysis of possible dual 3-cells and incident dual 4-cells encoding local structures around two-dimensional faces of five-dimensional parallelohedron $P$ and their edges aiming to prove existence of a free direction for $P$ paired with new properties established for parallelohedra (in any dimension) that have a free direction that guarantee the Voronoi conjecture for $P$.
The $h^*$-polynomials of locally anti-blocking lattice polytopes and their $γ$-positivity
Published in Discrete and Computational Geometry 66 (2021), 701--722
• View Publication
• BIB
A lattice polytope $\mathcal{P} \subset \mathbb{R}^d$ is called a locally anti-blocking polytope if for any closed orthant $\mathbb{R}^d_{\varepsilon}$ in $\mathbb{R}^d$, $\mathcal{P} \cap \mathbb{R}^d_{\varepsilon}$ is unimodularly equivalent to an anti-blocking polytope by reflections of coordinate hyperplanes. In the present paper, we give a formula for the $h^*$-polynomials of locally anti-blocking lattice polytopes. In particular, we discuss the $γ$-positivity of the $h^*$-polynomials of locally anti-blocking reflexive polytopes.
On the distribution of runners on a circle
Consider $n$ runners running on a circular track of unit length with constant speeds such that $k$ of the speeds are distinct. We show that, at some time, there will exist a sector $S$ which contains at least $|S|n+ Ω(\sqrt{k})$ runners. The result can be generalized as follows. Let $f(x,y)$ be a complex bivariate polynomial whose Newton polytope has $k$ vertices. Then there exists $a\in {\mathbb C}\setminus\{0\}$ and a complex sector $S=\{re^{\imath θ}: r>0, α\leq θ\leq β\}$ such that the univariate polynomial $f(x,a)$ contains at least $\frac{β-α}{2π}n+Ω(\sqrt{k})$ non-zero roots in $S$ (where $n$ is the total number of such roots and $0\leq (β-α)\leq 2π$). This shows that the Real $τ$-Conjecture of Koiran implies the conjecture on Newton polytopes of Koiran et al.
ECH capacities, Ehrhart theory, and toric varieties
Published in Journal of Symplectic Geometry, 19(2), 475-506. (2021)
• View Publication
• BIB
ECH capacities were developed by Hutchings to study embedding problems for symplectic $4$-manifolds with boundary. They have found especial success in the case of certain toric symplectic manifolds where many of the computations resemble calculations found in cohomology of $\mathbb{Q}$-line bundles on toric varieties, or in lattice point counts for rational polytopes. We formalise this observation in the case of convex toric lattice domains $X_Ω$ by constructing a natural polarised toric variety $(Y_{Σ(Ω)},D_Ω)$ containing the all the information of the ECH capacities of $X_Ω$ in purely algebro-geometric terms. Applying the Ehrhart theory of the polytopes involved in this construction gives some new results in the combinatorialisation and asymptotics of ECH capacities for convex toric domains.
Unconditional reflexive polytopes
Published in Discrete Comput. Geom. 64 (2020), no. 2, 427-452
• View Publication
• BIB
A convex body is unconditional if it is symmetric with respect to reflections in all coordinate hyperplanes. In this paper, we investigate unconditional lattice polytopes with respect to geometric, combinatorial, and algebraic properties. In particular, we characterize unconditional reflexive polytopes in terms of perfect graphs. As a prime example, we study the signed Birkhoff polytope. Moreover, we derive constructions for Gale-dual pairs of polytopes and we explicitly describe Gröbner bases for unconditional reflexive polytopes coming from partially ordered sets
Split Network Polytopes and Network Spaces
Phylogenetics begins with reconstructing biological family trees from genetic data. Since Nature is not limited to tree-like histories, we use networks to organize our data, and have discovered new polytopes, metric spaces, and simplicial complexes that help us do so. Moreover, we show that the space of phylogenetic trees dually embeds into the Balanced Minimum Evolution polytope, and use this result to find a complex of faces within the subtour-elimination facets of the Symmetric Traveling Salesman polytope, which is shown to be dual to a quotient complex in network space.
Level-1 Phylogenetic Networks and their Balanced Minimum Evolution Polytopes
Balanced minimum evolution is a distance-based criterion for the reconstruction of phylogenetic trees. Several algorithms exist to find the optimal tree with respect to this criterion. One approach is to minimize a certain linear functional over an appropriate polytope. Here we present polytopes that allow a similar linear programming approach to finding phylogenetic networks. We investigate a two-parameter family of polytopes that arise from phylogenetic networks, and which specialize to the Balanced Minimum Evolution polytopes as well as the Symmetric Travelling Salesman polytopes. We show that the vertices correspond to certain level-1 phylogenetic networks, and that there are facets or faces for every split. We also describe minimal facets and a family of faces for every dimension.
The diameter of lattice zonotopes
Published in Proc. Am. Math. Soc. 148(8), 3507-3516 (2020)
• View Publication
• BIB
We establish sharp asymptotic estimates for the diameter of primitive zonotopes when their dimension is fixed. We also prove that, for infinitely many integers $k$, the largest possible diameter of a lattice zonotope contained in the hypercube $[0,k]^d$ is uniquely achieved by a primitive zonotope. As a consequence, we obtain that this largest diameter grows like $k^{d/(d+1)}$ up to an explicit multiplicative constant, when $d$ is fixed and $k$ goes to infinity, providing a new lower bound on the largest possible diameter of a lattice polytope contained in $[0,k]^d$.
On the canonical ideal of the Ehrhart ring of the chain polytope of a poset
Let P be a poset, O(P) the order polytope of P and C(P) the chain polytope of P. In this paper, we study the canonical ideal of the Ehrhart ring K[C(P)] of C(P) over a field K and characterize the level (resp. anticanonical level) property of K[C(P)] by a combinatorial structure of P. In particular, we show that if K[C(P)] is level (resp. anticanonical level), then so is K[O(P)]. We exhibit examples which show the converse does not hold.
Moreover, we show that the symbolic powers of the canonical ideal of K[C(P)] are identical with ordinary ones and degrees of the generators of the canonical and anticanonical ideals are consecutive integers.
The sandpile group of a trinity and a canonical definition for the planar Bernardi action
Published in Combinatorica 42 (2022), suppl. 2, 1283--1316
• Search Publication
Baker and Wang define the so-called Bernardi action of the sandpile group of a ribbon graph on the set of its spanning trees. This potentially depends on a fixed vertex of the graph but it is independent of the base vertex if and only if the ribbon structure is planar, moreover, in this case the Bernardi action is compatible with planar duality. Earlier, Chan, Church and Grochow and Chan, Glass, Macauley, Perkinson, Werner and Yang proved analogous results about the rotor-routing action. Baker and Wang moreover showed that the Bernardi and rotor-routing actions coincide for plane graphs.
We clarify this still confounding picture by giving a canonical definition for the planar Bernardi/rotor-routing action, and also a canonical isomorphism between sandpile groups of planar dual graphs. Our canonical definition implies the compatibility with planar duality via an extremely short argument. We also show hidden symmetries of the problem by proving our results in the slightly more general setting of balanced plane digraphs.
Any balanced plane digraph gives rise to a trinity, i.e., a triangulation of the sphere with a three-coloring of the $0$-simplices. Our most important tool is a group associated to trinities, introduced by Cavenagh and Wanless, and a result of a subset of the authors characterizing the Bernardi bijection in terms of a dissection of a root polytope.
The $h^{*}$-polynomial of the cut polytope of $K_{2,m}$ in the lattice spanned by its vertices
The cut polytope of a graph is an important object in several fields, such as functional analysis, combinatorial optimization, and probability. For example, Sturmfels and Sullivant showed that the toric ideals of cut polytopes are useful in algebraic statistics. In the theory of lattice polytopes, the $h^{*}$-polynomial is one of the most important invariants. The necessary and sufficient condition in terms of graphs that the $h^{*}$-polynomial of a cut polytope is palindromic is known. However, except for trees, there are no classes of graphs for which the $h^{*}$-polynomial of their cut polytope is explicitly specified. In the present paper, we determine the $h^{*}$-polynomial of the cut polytope of complete bipartite graph $K_{2,m}$ using the theory of Gröbner bases of toric ideals.
Coxeter submodular functions and deformations of Coxeter permutahedra
We describe the cone of deformations of a Coxeter permutahedron, or equivalently, the nef cone of the toric variety associated to a Coxeter complex. This family of polytopes contains polyhedral models for the Coxeter-theoretic analogs of compositions, graphs, matroids, posets, and associahedra. Our description extends the known correspondence between generalized permutahedra, polymatroids, and submodular functions to any finite reflection group.
Toric Bruhat interval polytopes
Published in Journal of Combinatorial Theory, Series A Volume 179, April 2021, 105387
• View Publication
• BIB
For two elements $v$ and $w$ of the symmetric group $\mathfrak{S}_n$ with $v\leq w$ in Bruhat order, the Bruhat interval polytope $Q_{v,w}$ is the convex hull of the points $(z(1),\ldots,z(n))\in \mathbb{R}^n$ with $v\leq z\leq w$. It is known that the Bruhat interval polytope $Q_{v,w}$ is the moment map image of the Richardson variety $X^{v^{-1}}_{w^{-1}}$. We say that $Q_{v,w}$ is \emph{toric} if the corresponding Richardson variety $X_{w^{-1}}^{v^{-1}}$ is a toric variety. We show that when $Q_{v,w}$ is toric, its combinatorial type is determined by the poset structure of the Bruhat interval $[v,w]$ while this is not true unless $Q_{v,w}$ is toric. We are concerned with the problem of when $Q_{v,w}$ is (combinatorially equivalent to) a cube because $Q_{v,w}$ is a cube if and only if $X_{w^{-1}}^{v^{-1}}$ is a smooth toric variety. We show that a Bruhat interval polytope $Q_{v,w}$ is a cube if and only if $Q_{v,w}$ is toric and the Bruhat interval $[v,w]$ is a Boolean algebra. We also give several sufficient conditions on $v$ and $w$ for $Q_{v,w}$ to be a cube.
Weak generalized lifting property, Bruhat intervals and Coxeter matroids
We provide a weaker version of the generalized lifting property which holds in complete generality for all finite Coxeter groups, and we use it to show that every parabolic Bruhat interval of a finite Coxeter group is a Coxeter matroid. We also describe some combinatorial properties of the associated polytopes.
On the complexity of random polytopes
There are (at least) two reasons to study random polytopes. The first is to understand the combinatorics and geometry of random polytopes especially as compared to other classes of polytopes, and the second is to analyze average-case complexity for algorithms which take polytopal data as input. However, establishing results in either of these directions often requires quite technical methods. Here we seek to give an elementary introduction to random polytopes avoiding these technicalities. In particular we explore the general paradigm that polytopes obtained from the convex hull of random points on a sphere have low complexity.
The Hopf Monoid of Orbit Polytopes
Published in Journal of Combinatorics 11 (2020) 575-601
• View Publication
• BIB
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.
Geometrical Realisations of the Simple Permutoassociahedron by Minkowski sums
This paper offers a geometrical realisation of simple permutoassociahedra, which has significant importance serving as a topological proof of Mac Lane's coherence. We introduce a family of $n$-polytopes, $PA_{n,c}$, obtained by Minkowski sums such that each summand yields to the appropriate facet of the resulting sum. Additionally, it leads to the correlation between Minkowski sums and truncations of permutohedron, which implicitly gives a general procedure for geometrical Minkowski-construction of any permutonestohedron.
Quasi-popular Matchings, Optimality, and Extended Formulations
Let G = ((A,B),E) be an instance of the stable marriage problem where every vertex ranks its neighbors in a strict order of preference. A matching M in G is popular if M does not lose a head-to-head election against any matching. Popular matchings are a well-studied generalization of stable matchings, introduced with the goal of enlarging the set of admissible solutions, while maintaining a certain level of fairness. Every stable matching is a min-size popular matching. Unfortunately, when there are edge costs, it is NP-hard to find a popular matching of minimum cost -- even worse, the min-cost popular matching problem is hard to approximate up to any factor.
Let opt be the cost of a min-cost popular matching. Our goal is to efficiently compute a matching of cost at most opt by paying the price of mildly relaxing popularity. Our main positive results are two bi-criteria algorithms that find in polynomial time a near-popular or quasi-popular matching of cost at most opt. Moreover, one of the algorithms finds a quasi-popular matching of cost at most that of a min-cost popular fractional matching, which could be much smaller than opt.
Key to the other algorithm is a polynomial-size extended formulation for an integral polytope sandwiched between the popular and quasi-popular matching polytopes. We complement these results by showing that it is NP-hard to find a quasi-popular matching of minimum cost, and that both the popular and quasi-popular matching polytopes have near-exponential extension complexity.
This version of the paper goes beyond the conference version [12] in the following two points: (i) the algorithm for finding a quasi-popular matching of cost at most that of a min-cost popular fractional matching is new; (ii) the proofs from Section 6.1 and Section 7.3 are now self-contained (the conference version used constructions from [10] to show these lower bounds).