polytope ↗ reference
3024 papers tagged with this keyword
Conifold degenerations of Fano 3-folds as hypersurfaces in toric varieties
Published
• View Publication
• BIB
There exist exactly 166 4-dimensional reflexive polytopes such that the corresponding 4-dimensional Gorenstein toric Fano varieties have at worst terminal singularities in codimension 3 and their anticanonical divisor is divisible by 2. For every such a polytope, one naturally obtains a family of Fano hypersurfaces X with at worst conifold singularities. A generic 3-dimensional Fano hypersurface X can be interpreted as a flat conifold degeneration of some smooth Fano 3-folds Y whose classification up to deformation was obtained by Iskovskikh, Mori and Mukai. In this case, both Fano varieties X and Y have the same Picard number r. Using toric mirror symmetry, we define a r-dimensional generalized hypergeometric power series associated to the dual reflexive polytope. We show that if r =1 then this series is a normalized regular solution of a modular D3-equation that appears in the Golyshev correspondence. We expect that the multidimensional power series can be used to compute the small quantum cohomology ring of all Fano 3-folds Y with the Picard number r >1 if Y admit a conifold degeneration X.
Colorful Polytopes and Graphs
Published
• View Publication
• BIB
The paper investigates connections between abstract polytopes and properly edge colored graphs. Given any finite n-edge-colored n-regular graph G, we associate to G a simple abstract polytope P_G of rank n, called the colorful polytope of G, with 1-skeleton isomorphic to G. We investigate the interplay between the geometric, combinatorial, or algebraic properties of the polytope P_G and the combinatorial or algebraic structure of the underlying graph G, focussing in particular on aspects of symmetry. Several such families of colorful polytopes are studied including examples derived from a Cayley graph, in particular the graphicahedra, as well as the flag adjacency polytopes and related monodromy polytopes associated with a given abstract polytope. The duals of certain families of colorful polytopes have been important in the topological study of colored triangulations and crystallization of manifolds.
Generalized 1-skeleta and a lifting result
Published in Discrete Comput. Geom. 50, No. 4, 940-976 (2013)
• View Publication
• BIB
In their paper "1-skeleta, Betti numbers, and equivariant cohomology" Guillemin and Zara described some beautiful constructions enabling them to use Morse theory on a certain class 1-skeleta including 1-skeleta of simple polytopes. In this paper we extend some of the notions and constructions from that paper to a larger class of 1-skeleta that includes 1-skeleta of projected simple polytopes. As an application of these ideas we prove a lifting result for 1-skeleta, which yields a characterization of 1-skeleta coming from projected simple polytopes.
Not all simplicial polytopes are weakly vertex-decomposable
In 1980 Provan and Billera defined the notion of weak $k$-decomposability for pure simplicial complexes. They showed the diameter of a weakly $k$-decomposable simplicial complex $Δ$ is bounded above by a polynomial function of the number of $k$-faces in $Δ$ and its dimension. For weakly 0-decomposable complexes, this bound is linear in the number of vertices and the dimension. In this paper we exhibit the first examples of non-weakly 0-decomposable simplicial polytopes.
On the generalized lower bound conjecture for polytopes and spheres
Published
• View Publication
• BIB
In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If $P$ is a simplicial $d$-polytope then its $h$-vector $(h_0,h_1,...,h_d)$ satisfies $h_0 \leq h_1 \leq ... \leq h_{\lfloor \frac d 2 \rfloor}$. Moreover, if $h_{r-1}=h_r$ for some $r \leq \frac d 2$ then $P$ can be triangulated without introducing simplices of dimension $\leq d-r$.
The first part of the conjecture was solved by Stanley in 1980 using the hard Lefschetz theorem for projective toric varieties. In this paper, we give a proof of the remaining part of the conjecture. In addition, we generalize this property to a certain class of simplicial spheres, namely those admitting the weak Lefschetz property.
Constructing subset partition graphs with strong adjacency and end-point count properties
Kim defined a very general combinatorial abstraction of the diameter of polytopes called subset partition graphs to study how certain combinatorial properties of such graphs may be achieved in lower bound constructions. Using Lovász' Local Lemma, we give a general randomized construction for subset partition graphs satisfying strong adjacency and end-point count properties. This can be used as a building block to conceptually simplify the constructions given in [Kim11].
We also use our method to construct abstract spindles, an analogy to the spindles used by Santos to disprove the Hirsch conjecture, of exponential length which satisfy the adjacency and end-point count properties.
Perturbation of transportation polytopes
Published
• View Publication
• BIB
We describe a perturbation method that can be used to reduce the problem of finding the multivariate generating function (MGF) of a non-simple polytope to computing the MGF of simple polytopes. We then construct a perturbation that works for any transportation polytope. We apply this perturbation to the family of central transportation polytopes of order kn x n, and obtain formulas for the MGFs of the feasible cone of each vertex of the polytope and the MGF of the polytope. The formulas we obtain are enumerated by combinatorial objects. A special case of the formulas recovers the results on Birkhoff polytopes given by the author and De Loera and Yoshida. We also recover the formula for the number of maximum vertices of transportation polytopes of order kn x n.
Root polytopes and Borel subalgebras
Published in International Mathematics Research Notices, 12, 2015 (2015), 4392-4420
• View Publication
• BIB
Let $Φ$ be a finite crystallographic irreducible root system and $\mathcal P_Φ$ be the convex hull of the roots in $Φ$. We give a uniform explicit description of the polytope $\mathcal P_Φ$, analyze the algebraic-combinatorial structure of its faces, and provide connections with the Borel subalgebra of the associated Lie algebra. We also give several enumerative results.
Rank 2 affine MV polytopes
Published
• View Publication
• BIB
We give a realization of the infinity crystal for affine sl(2) using decorated polygons. The construction and proof are combinatorial, making use of Kashiwara and Saito's characterization of the infinity crystal in terms of the * involution. The polygons we use have combinatorial properties suggesting they are the analogues in this case of the Mirkovic-Vilonen polytopes defined by Anderson and the third author in finite type. Using Kashiwara's similarity of crystals we also give MV polytopes for $A_2^{(2)}$, the only other rank two affine Kac-Moody algebra.
Subdivisions, shellability, and collapsibility of products
Published
• View Publication
• BIB
We prove that the second derived subdivision of any rectilinear triangulation of any convex polytope is shellable. Also, we prove that the first derived subdivision of every rectilinear triangulation of any convex 3-dimensional polytope is shellable. This complements Mary Ellen Rudin's classical example of a non-shellable rectilinear triangulation of the tetrahedron. Our main tool is a new relative notion of shellability that characterizes the behavior of shellable complexes under gluing.
As a corollary, we obtain a new characterization of the PL property in terms of shellability: A triangulation of a sphere or of a ball is PL if and only if it becomes shellable after sufficiently many derived subdivisions. This improves on results by Whitehead, Zeeman and Glaser, and answers a question by Billera and Swartz.
We also show that any contractible complex can be made collapsible by repeatedly taking products with an interval. This strengthens results by Dierker and Lickorish, and resolves a conjecture of Oliver. Finally, we give an example that this behavior extends to non-evasiveness, thereby answering a question of Welker.
Algebro-geometric characterization of Cayley polytopes
Published
• View Publication
• BIB
In this paper, we give an algebro-geometric characterization of Cayley polytopes. As a special case, we also characterize lattice polytopes with lattice width one by using Seshadri constants.
Normal cyclic polytopes and cyclic polytopes that are not very ample
Published in J. Aust. Math. Soc. 96 (2014) 61-77
• View Publication
• BIB
Let $d$ and $n$ be positive integers with $n \geq d + 1$ and $τ_{1}, ..., τ_{n}$ integers with $τ_{1} < ... < τ_{n}$. Let $C_{d}(τ_{1}, ..., τ_{n}) \subset \RR^{d}$ denote the cyclic polytope of dimension $d$ with $n$ vertices $(τ_{1},τ_{1}^{2},...,τ_{1}^{d}), ..., (τ_{n},τ_{n}^{2},...,τ_{n}^{d})$. We are interested in finding the smallest integer $γ_{d}$ such that if $τ_{i+1} - τ_{i} \geq γ_{d}$ for $1 \leq i < n$, then $C_{d}(τ_{1}, ..., τ_{n})$ is normal. One of the known results is $γ_{d} \leq d (d + 1)$. In the present paper a new inequality $γ_{d} \leq d^{2} - 1$ is proved. Moreover, it is shown that if $d \geq 4$ with $τ_{3} - τ_{2} = 1$, then $C_{d}(τ_{1}, ..., τ_{n})$ is not very ample.
The width of 5-dimensional prismatoids
Published in Proc. London Math. Soc., Vol 110 (3) (2015), 647-672
• View Publication
• BIB
Santos' construction of counter-examples to the Hirsch Conjecture (2012) is based on the existence of prismatoids of dimension d of width greater than d. Santos, Stephen and Thomas (2012) have shown that this cannot occur in $d \le 4$. Motivated by this we here study the width of 5-dimensional prismatoids, obtaining the following results:
- There are 5-prismatoids of width six with only 25 vertices, versus the 48 vertices in Santos' original construction. This leads to non-Hirsch polytopes of dimension 20, rather than the original dimension 43.
- There are 5-prismatoids with $n$ vertices and width $Ω(\sqrt{n})$ for arbitrarily large $n$. Hence, the width of 5-prismatoids is unbounded.
Complementary vertices and adjacency testing in polytopes
Published in Lecture Notes in Computer Science, vol. 7434, 2012, pp. 507-518
• View Publication
• BIB
Our main theoretical result is that, if a simple polytope has a pair of complementary vertices (i.e., two vertices with no facets in common), then it has at least two such pairs, which can be chosen to be disjoint. Using this result, we improve adjacency testing for vertices in both simple and non-simple polytopes: given a polytope in the standard form {x \in R^n | Ax = b and x \geq 0} and a list of its V vertices, we describe an O(n) test to identify whether any two given vertices are adjacent. For simple polytopes this test is perfect; for non-simple polytopes it may be indeterminate, and instead acts as a filter to identify non-adjacent pairs. Our test requires an O(n^2 V + n V^2) precomputation, which is acceptable in settings such as all-pairs adjacency testing. These results improve upon the more general O(nV) combinatorial and O(n^3) algebraic adjacency tests from the literature.
Alcoved Polytopes II
Published
• View Publication
• BIB
This is the second of two papers where we study polytopes arising from affine Coxeter arrangements. Our results include a formula for their volumes, and also compatible definitions of hypersimplices, descent numbers and major index for all Weyl groups. We give a q-analogue of Weyl's formula for the order of the Weyl group. For A_n, C_n and D_4, we give a Grobner basis which induces the triangulation of alcoved polytopes.
A note on the diameter of transportation polytopes with prescribed source degrees
Brightwell, van den Heuvel and Stougie proved that the diameter of an $m \times n$ transportation polytope is at most $8(m+n-2)$, a factor of eight away from the Hirsch Conjecture. This bound was improved to $3(m+n-1)$ by Hurkens. We investigate diameters for certain classes of transportation polytopes.
Note: After the completion of this note, we discovered that the class of transportation polytopes studied in this note was already considered in
Michel L. Balinski. On two special classes of transportation polytopes. Math. Programming Stud., 1:43-58, 1974.
Michel L. Balinski and Fred J. Rispoli. Signature classes of transportation polytopes. Mathematical Programming, 60(2, Ser. A):127-144, 1993.
These papers contain both refinements of our results and generalizations to more general classes of transportation problems. In view of these papers, this note will not be submitted for publication.
Ehrhart f*-coefficients of polytopal complexes are non-negative integers
Published
• View Publication
• BIB
The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $δ$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulation of $P$ (if one exists). One important result by Stanley about $h^*$-vectors of polytopes is that their entries are always non-negative. However, recent combinatorial applications of Ehrhart theory give rise to polytopal complexes with $h^*$-vectors that have negative entries.
In this article we introduce the Ehrhart $f^*$-vector of polytopes or, more generally, of polytopal complexes $K$. These are again coefficient vectors of $L_K$ with respect to a certain binomial basis of the space of polynomials and they have the property that the $f^*$-vector of a unimodular simplicial complex coincides with its $f$-vector. The main result of this article is a counting interpretation for the $f^*$-coefficients which implies that $f^*$-coefficients of integral polytopal complexes are always non-negative integers. This holds even if the polytopal complex does not have a unimodular triangulation and if its $h^*$-vector does have negative entries. Our main technical tool is a new partition of the set of lattice points in a simplicial cone into discrete cones. Further results include a complete characterization of Ehrhart polynomials of integral partial polytopal complexes and a non-negativity theorem for the $f^*$-vectors of rational polytopal complexes.
Many neighborly polytopes and oriented matroids
Published
• View Publication
• BIB
In this paper we present a new technique to construct neighborly polytopes, and use it to prove a lower bound of ((r+d)^((r/2+d/2)^2))/(r^((r/2)^2)d^((d/2)^2)e^(3rd/4)) for the number of combinatorial types of vertex-labeled neighborly polytopes in even dimension d with r+d+1 vertices. This improves current bounds on the number of combinatorial types of polytopes.
The previous best lower bounds for the number of neighborly polytopes were found by Shemer in 1982 using a technique called the Sewing Construction. We provide a simpler proof that sewing works, and generalize it to oriented matroids in two ways: to Extended Sewing and to Gale Sewing. Our lower bound is obtained by estimating the number of polytopes that can be constructed via Gale Sewing. Combining both new techniques, we are also able to construct many non-realizable neighborly oriented matroids.
On ML-Certificate Linear Constraints for Rank Modulation with Linear Programming Decoding and its Application to Compact Graphs
Published
• View Publication
• BIB
Linear constraints for a matrix polytope with no fractional vertex are investigated as intersecting research among permutation codes, rank modulations, and linear programming methods. By focusing the discussion to the block structure of matrices, new classes of such polytopes are obtained from known small polytopes. This concept, called "consolidation", is applied to find a new compact graph which is known as an approach for the graph isomorphism problem. Encoding and decoding algorithms for our new permutation codes are obtained from existing algorithms for small polytopes. The minimum distances associated with Kendall-tau distance and the minimum Euclidean distance of a code obtained by changing the basis of a permutation code may be larger than the original one.
Minkowski length of 3D lattice polytopes
Published
• View Publication
• BIB
We study the Minkowski length L(P) of a lattice polytope P, which is defined to be the largest number of non-trivial primitive segments whose Minkowski sum lies in P. The Minkowski length represents the largest possible number of factors in a factorization of polynomials with exponent vectors in P, and shows up in lower bounds for the minimum distance of toric codes. In this paper we give a polytime algorithm for computing L(P) where P is a 3D lattice polytope. We next study 3D lattice polytopes of Minkowski length 1. In particular, we show that if Q, a subpolytope of P, is the Minkowski sum of L = L(P) lattice polytopes Qi, each of Minkowski length 1, then the total number of interior lattice points of the polytopes Q1,..., QL is at most 4. Both results extend previously known results for lattice polygons. Our methods differ substantially from those used in the two-dimensional case.