polytope ↗ reference
3077 papers tagged with this keyword
Topological Prismatoids and Small Simplicial Spheres of Large Diameter
Published in Experimental Mathematics, 31:2 (2022), 461-473
• View Publication
• BIB
We introduce topological prismatoids, a combinatorial abstraction of the (geometric) prismatoids recently introduced by the second author to construct counter-examples to the Hirsch conjecture. We show that the `strong $d$-step Theorem' that allows to construct such large-diameter polytopes from `non-$d$-step' prismatoids still works at this combinatorial level. Then, using metaheuristic methods on the flip graph, we construct four combinatorially different non-$d$-step $4$-dimensional topological prismatoids with $14$ vertices. This implies the existence of $8$-dimensional spheres with $18$ vertices whose combinatorial diameter exceeds the Hirsch bound. These examples are smaller that the previously known examples by Mani and Walkup in 1980 ($24$ vertices, dimension $11$).
Our non-Hirsch spheres are shellable but we do not know whether they are realizable as polytopes.
(Probably) Concave Graph Matching
In this paper we address the graph matching problem. Following the recent works of \cite{zaslavskiy2009path,Vestner2017} we analyze and generalize the idea of concave relaxations. We introduce the concepts of conditionally concave and probably conditionally concave energies on polytopes and show that they encapsulate many instances of the graph matching problem, including matching Euclidean graphs and graphs on surfaces. We further prove that local minima of probably conditionally concave energies on general matching polytopes (e.g., doubly stochastic) are with high probability extreme points of the matching polytope (e.g., permutations).
Polytope volume by descent in the face lattice and applications in social choice
Published
• View Publication
• BIB
We describe the computation of polytope volumes by descent in the face lattice, its implementation in Normaliz, and the connection to reverse-lexicographic triangulations. The efficiency of the algorithm is demonstrated by several high dimensional polytopes of different characteristics. Finally, we present an application to voting theory where polytope volumes appear as probabilities of certain paradoxa.
Stringy $E$-functions of canonical toric Fano threefolds and their applications
Published
• View Publication
• BIB
Let $Δ$ be a $3$-dimensional lattice polytope containing exactly one interior lattice point. We give a simple combinatorial formula for computing the stringy $E$-function of the $3$-dimensional canonical toric Fano variety $X_Δ$ associated with the polytope $Δ$. Using the stringy Libgober-Wood identity and our formula, we generalize the well-known combinatorial identity $\sum_{θ\preceq Δ\atop \dim (θ) =1} v(θ) \cdot v(θ^*) = 24$ holding in the case of $3$-dimensional reflexive polytopes $Δ$.
$h^*$-Polynomials With Roots on the Unit Circle
Published
• View Publication
• BIB
For an $n$-dimensional lattice simplex $Δ_{(1,\mathbf{q})}$ with vertices given by the standard basis vectors and $-\mathbf{q}$ where $\mathbf{q}$ has positive entries, we investigate when the Ehrhart $h^*$-polynomial for $Δ_{(1,\mathbf{q})}$ factors as a product of geometric series in powers of $z$. Our motivation is a theorem of Rodriguez-Villegas implying that when the $h^*$-polynomial of a lattice polytope $P$ has all roots on the unit circle, then the Ehrhart polynomial of $P$ has positive coefficients. We focus on those $Δ_{(1,\mathbf{q})}$ for which $\mathbf{q}$ has only two or three distinct entries, providing both theoretical results and conjectures/questions motivated by experimental evidence.
Interlacing Polynomials and the Veronese Construction for Rational Formal Power Series
Published
• View Publication
• BIB
Fixing a positive integer $r$ and $0 \le k \le r-1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r-1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge °h(x) -k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,r-i \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,r-i}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations.
Stanley's non-Ehrhart-positive order polytopes
Published in Advances in Applied Mathematics 108(2019), 1--10
• View Publication
• BIB
We say a polytope is Ehrhart positive if all the coefficients in its Ehrhart polynomial are positive. Answering an Ehrhart positivity question posed on Mathoverflow, Stanley provided an example of a non-Ehrhart-positive order polytope of dimension $21$. Stanley's example comes from a certain family of order polytopes. In this paper, we study the Ehrhart positivity question on this family of polytopes. By giving explicit formulas for the coefficients of the Ehrhart polynomials of these polytopes in terms of Bernolli numbers, we determine the sign of each Ehrhart coefficient of each polytope in the family.
As a consequence of our result, we conclude that for any positive integer $d \ge 21,$ there exists an order polytope of dimension $d$ that is not Ehrhart positive, and for any positive integer $\ell$, there exists an order polytope whose Ehrhart polynomial has precisely $\ell$ negative coefficients, which answers a question posed by Hibi. We finish this article by discussing the existence of lower-dimensional order polytopes whose Ehrhart polynomials have a negative coefficient.
Diameter, decomposability, and Minkowski sums of polytopes
Published in Can. Math. Bull. 62 (2019) 741-755
• View Publication
• BIB
We investigate how the Minkowski sum of two polytopes affects their graph and, in particular, their diameter. We show that the diameter of the Minkowski sum is bounded below by the diameter of each summand and above by, roughly, the product between the diameter of one summand and the number of vertices of the other. We also prove that both bounds are sharp. In addition, we obtain a result on polytope decomposability. More precisely, given two polytopes P and Q, we show that P can be written as a Minkowski sum with a summand homothetic to Q if and only if P has the same number of vertices as its Minkowski sum with Q.
Bounds on the number of 2-level polytopes, cones and configurations
Published
• View Publication
• BIB
We prove an upper bound of the form $2^{O(d^2 \mathrm{polylog}\,d)}$ on the number of affine (resp. linear) equivalence classes of, by increasing order of generality, 2-level d-polytopes, d-cones and d-configurations. This in particular answers positively a conjecture of Bohn et al. on 2-level polytopes. We obtain our upper bound by relating affine (resp. linear) equivalence classes of 2-level d-polytopes, d-cones and d-configurations to faces of the correlation cone. We complement this with a $2^{Ω(d^2)}$ lower bound, by estimating the number of nonequivalent stable set polytopes of bipartite graphs.
Positive Grassmannian and polyhedral subdivisions
Published
• View Publication
• BIB
The nonnegative Grassmannian is a cell complex with rich geometric, algebraic, and combinatorial structures. Its study involves interesting combinatorial objects, such as positroids and plabic graphs. Remarkably, the same combinatorial structures appeared in many other areas of mathematics and physics, e.g., in the study of cluster algebras, scattering amplitudes, and solitons. We discuss new ways to think about these structures. In particular, we identify plabic graphs and more general Grassmannian graphs with polyhedral subdivisions induced by 2-dimensional projections of hypersimplices. This implies a close relationship between the positive Grassmannian and the theory of fiber polytopes and the generalized Baues problem. This suggests natural extensions of objects related to the positive Grassmannian.
The diameter of the fractional matching polytope and its hardness implications
Published
• View Publication
• BIB
The (combinatorial) diameter of a polytope $P \subseteq \mathbb R^d$ is the maximum value of a shortest path between a pair of vertices on the 1-skeleton of $P$, that is the graph where the nodes are given by the $0$-dimensional faces of $P$, and the edges are given the 1-dimensional faces of $P$. The diameter of a polytope has been studied from many different perspectives, including a computational complexity point of view. In particular, [Frieze and Teng, 1994] showed that computing the diameter of a polytope is (weakly) NP-hard.
In this paper, we show that the problem of computing the diameter is strongly NP-hard even for a polytope with a very simple structure: namely, the \emph{fractional matching} polytope. We also show that computing a pair of vertices at maximum shortest path distance on the 1-skeleton of this polytope is an APX-hard problem. We prove these results by giving an \emph{exact characterization} of the diameter of the fractional matching polytope, that is of independent interest.
A Proof of the Strict Monotone 5-step Conjecture
Published
• View Publication
• BIB
A computer search through the oriented matroid programs with dimension 5 and 10 facets shows that the maximum strictly monotone diameter is 5. Thus $Δ_{sm}(5,10)=5$. This enumeration is analogous to that of Bremner and Schewe for the non-monotone diameter of 6-polytopes with 12 facets. Similar enumerations show that $Δ_{sm}(4,9)=5$ and $Δ_m(4,9)=Δ_m(5,10)=6.$ We shorten the known non-computer proof of the strict monotone 4-step conjecture.
$k$-Sets and Rectilinear Crossings in Complete Uniform Hypergraphs
Published
• View Publication
• BIB
In this paper, we study the $d$-dimensional rectilinear drawings of the complete $d$-uniform hypergraph $K_{2d}^d$. Anshu et al. [Computational Geometry: Theory and Applications, 2017] used Gale transform and Ham-Sandwich theorem to prove that there exist $Ω\left(2^d\right)$ crossing pairs of hyperedges in such a drawing of $K_{2d}^d$. We improve this lower bound by showing that there exist $Ω\left(2^d \sqrt{ d}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$. We also prove the following results.
1. There are $Ω\left(2^d {d^{3/2}}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$ when its $2d$ vertices are either not in convex position in $\mathbb{R}^d$ or form the vertices of a $d$-dimensional convex polytope that is $t$-neighborly but not $(t+1)$-neighborly for some constant $t\geq1$ independent of $d$.
2. There are $Ω\left(2^d {d^{5/2}}\right)$ crossing pairs of hyperedges in a $d$-dimensional rectilinear drawing of $K_{2d}^d$ when its $2d$ vertices form the vertices of a $d$-dimensional convex polytope that is $(\lfloor{d/2}\rfloor-t')$-neighborly for some constant $t' \geq 0$ independent of $d$.
K3 Polytopes and their Quartic Surfaces
Published
• View Publication
• BIB
K3 polytopes appear in complements of tropical quartic surfaces. They are dual to regular unimodular central triangulations of reflexive polytopes in the fourth dilation of the standard tetrahedron. Exploring these combinatorial objects, we classify K3 polytopes with up to $30$ vertices. Their number is $36\,297\,333$. We study the singular loci of quartic surfaces that tropicalize to K3 polytopes. These surfaces are stable in the sense of Geometric Invariant Theory.
Geometry and algorithms for upper triangular tropical matrix identities
Published
• View Publication
• BIB
We provide geometric methods and algorithms to verify, construct and enumerate pairs of words (of specified length over a fixed $m$-letter alphabet) that form identities in the semigroup $\ut{n}$ of $n\times n$ upper triangular tropical matrices. In the case $n=2$ these identities are precisely those satisfied by the bicyclic monoid, whilst in the case $n=3$ they form a subset of the identities which hold in the plactic monoid of rank $3$. To each word we associate a signature sequence of lattice polytopes, and show that two words form an identity for $\ut{n}$ if and only if their signatures are equal. Our algorithms are thus based on polyhedral computations and achieve optimal complexity in some cases. For $n=m=2$ we prove a Structural Theorem, which allows us to quickly enumerate the pairs of words of fixed length which form identities for $\ut{2}$. This allows us to recover a short proof of Adjan's theorem on minimal length identities for the bicyclic monoid, and to construct minimal length identities for $\ut{3}$, providing counterexamples to a conjecture of Izhakian in this case. We conclude with six conjectures at the intersection of semigroup theory, probability and combinatorics, obtained through analysing the outputs of our algorithms.
The depth of a reflexive polytope
Published in Archiv der Mathematik 113(2019), 265--272
• View Publication
• BIB
Given arbitrary integers $d$ and $r$ with $d \geq 4$ and $1 \leq r \leq d + 1$, a reflexive polytope $\mathcal{P} \subset \mathbb{R}^d$ of dimension $d$ with ${\rm depth} K[\mathcal{P}] = r$ for which its dual polytope $\mathcal{P}^\vee$ is normal will be constructed, where $K[\mathcal{P}]$ is the toric ring of $\mathcal{P}$.
The permanent functions of tensors
Published in Special Issue of Acta Mathematica Vietnamica (Springer, Article 268) for ICMAA, 2018
• View Publication
• BIB
By a tensor we mean a multidimensional array (matrix) or hypermatrix over a number field. This article aims to set an account of the studies on the permanent functions of tensors. We formulate the definitions of 1-permanent, 2-permanent, and $k$-permanent of a tensor in terms of hyperplanes, planes and $k$-planes of the tensor; we discuss the polytopes of stochastic tensors; at end we present an extension of the generalized matrix function for tensors.
Flag numbers and floating bodies
Published
• View Publication
• BIB
We investigate weighted floating bodies of polytopes. We show that the weighted volume depends on the complete flags of the polytope. This connection is obtained by introducing flag simplices, which translate between the metric and combinatorial structure.
Our results are applied in spherical and hyperbolic space. This leads to new asymptotic results for polytopes in these spaces. We also provide explicit examples of spherical and hyperbolic convex bodies whose floating bodies behave completely different from any convex body in Euclidean space.
Sign matrix polytopes from Young tableaux
Published in Linear Algebra Appl. 574 (2019), 84-122
• View Publication
• BIB
Motivated by the study of polytopes formed as the convex hull of permutation matrices and alternating sign matrices, we define several new families of polytopes as convex hulls of sign matrices, which are certain {0,1,-1}-matrices in bijection with semistandard Young tableaux. We investigate various properties of these polytopes, including their inequality descriptions, vertices, facets, and face lattices, as well as connections to alternating sign matrix polytopes and transportation polytopes.
Vertex-Maximal Lattice Polytopes Contained in 2-Simplices
Motivated by the problem of bounding the number of rays of plane tropical curves we study the following question: Given $n\in\mathbb{N}$ and a unimodular $2$-simplex $Δ$ what is the maximal number of vertices a lattice polytope contained in $n\cdot Δ$ can have? We determine this number for an infinite subset of $\mathbb{N}$ by providing a family of vertex-maximal polytopes and give bounds for the other cases.