polytope ↗ reference
3112 papers tagged with this keyword
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).
On volume functions of special flow polytopes
In this paper, we consider the volume of a special kind of flow polytope. We show that its volume satisfies a certain system of differential equations, and conversely, the solution of the system of differential equations is unique up to a constant multiple. In addition, we give an inductive formula for the volume with respect to the rank of the root system of type A.
Constructing Clustering Transformations
Clustering is one of the fundamental tasks in data analytics and machine learning. In many situations, different clusterings of the same data set become relevant. For example, different algorithms for the same clustering task may return dramatically different solutions. We are interested in applications in which one clustering has to be transformed into another; e.g., when a gradual transition from an old solution to a new one is required. In this paper, we devise methods for constructing such a transition based on linear programming and network theory. We use a so-called clustering-difference graph to model the desired transformation and provide methods for decomposing the graph into a sequence of elementary moves that accomplishes the transformation. These moves are equivalent to the edge directions, or circuits, of the underlying partition polytopes. Therefore, in addition to a conceptually new metric for measuring the distance between clusterings, we provide new bounds on the circuit diameter of these partition polytopes.
2-neighborly 0/1-polytopes of dimension 7
We give a complete enumeration of all 2-neighborly 0/1-polytopes of dimension 7. There are 13 959 358 918 different 0/1-equivalence classes of such polytopes. They form 5 850 402 014 combinatorial classes and 1 274 089 different f-vectors. It enables us to list some of their combinatorial properties. In particular, we have found a 2-neighborly polytope with 14 vertices and 16 facets.
Projective geometry of Wachspress coordinates
We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definition of Wachspress coordinates, which are barycentric coordinates on an arbitrary convex polytope. The adjoint polynomial also appears both in algebraic statistics, when studying the moments of uniform probability distributions on polytopes, and in intersection theory, when computing Segre classes of monomial schemes. We describe the Wachspress map, the rational map defined by the Wachspress coordinates, and the Wachspress variety, the image of this map. The inverse of the Wachspress map is the projection from the linear span of the image of the adjoint hypersurface. To relate adjoints of polytopes to classical adjoints of divisors in algebraic geometry, we study irreducible hypersurfaces that have the same degree and multiplicity along the non-faces of a polytope as its defining hyperplane arrangement. We list all finitely many combinatorial types of polytopes in dimensions two and three for which such irreducible hypersurfaces exist. In the case of polygons, the general such curves< are elliptic. In the three-dimensional case, the general such surfaces are either K3 or elliptic.
Families of lattice polytopes of mixed degree one
Published in Journal of Combinatorial Theory. Series A 173 (2020)
• View Publication
• BIB
It has been shown by Soprunov that the normalized mixed volume (minus one) of an $n$-tuple of $n$-dimensional lattice polytopes is a lower bound for the number of interior lattice points in the Minkowski sum of the polytopes. He defined $n$-tuples of mixed degree at most one to be exactly those for which this lower bound is attained with equality, and posed the problem of a classification of such tuples. We give a finiteness result regarding this problem in general dimension $n \geq 4$, showing that all but finitely many $n$-tuples of mixed degree at most one admit a common lattice projection onto the unimodular simplex $Δ_{n-1}$. Furthermore, we give a complete solution in dimension $n=3$. In the course of this we show that our finiteness result does not extend to dimension $n=3$, as we describe infinite families of triples of mixed degree one not admitting a common lattice projection onto the unimodular triangle $Δ_2$.