polytope ↗ reference
3077 papers tagged with this keyword
Semisymmetric Graphs from Polytopes
Published
• View Publication
• BIB
Every finite, self-dual, regular (or chiral) 4-polytope of type {3,q,3} has a trivalent 3-transitive (or 2-transitive) medial layer graph. Here, by dropping self-duality, we obtain a construction for semisymmetric trivalent graphs (which are edge- but not vertex-transitive). In particular, the Gray graph arises as the medial layer graph of a certain universal locally toroidal regular 4-polytope.
Facets of the (s,t)-p-path polytope
We give a partial description of the (s,t)-p-path polytope of a directed graph D which is the convex hull of the incidence vectors of simple directed (s,t)-paths in D of length p. First, we point out how the (s,t)-p-path polytope is located in the family of path and cycle polyhedra. Next, we give some classes of valid inequalities which are very similar to inequalities which are valid for the p-cycle polytope, that is, the convex hull of the incidence vectors of simple cycles of length p in D. We give necessary and sufficient conditions for these inequalities to be facet defining. Furthermore, we consider a class of inequalities that has been identified to be valid for (s,t)-paths of cardinality at most p. Finally, we transfer the results to related polytopes, in particular, the undirected counterpart of the (s,t)-p-path polytope.
Notes on the roots of Ehrhart polynomials
Published
• View Publication
• BIB
We determine lattice polytopes of smallest volume with a given number of interior lattice points. We show that the Ehrhart polynomials of those with one interior lattice point have largest roots with norm of order n^2, where n is the dimension. This improves on the previously best known bound n and complements a recent result of Braun where it is shown that the norm of a root of an Ehrhart polynomial is at most of order n^2.
For the class of 0-symmetric lattice polytopes we present a conjecture on the smallest volume for a given number of interior lattice points and prove the conjecture for crosspolytopes.
We further give a characterisation of the roots of the Ehrhart polyomials in the 3-dimensional case and we classify for n\leq 4 all lattice polytopes whose roots of their Ehrhart polynomials have all real part -1/2. These polytopes belong to the class of reflexive polytopes.
On Minkowski Sums of Simplices
Published
• View Publication
• BIB
We investigate the structure of the Minkowski sum of standard simplices in ${\reals}^r$. In particular, we investigate the one-dimensional structure, the vertices, their degrees and the edges in the Minkowski sum polytope.
Tropical polytopes and cellular resolutions
Published in Experimental Mathematics 16 (2007), no. 3, 277--291
• View Publication
• BIB
Tropical polytopes are images of polytopes in an affine space over the Puiseux series field under the degree map. This viewpoint gives rise to a family of cellular resolutions of monomial ideals which generalize the hull complex of Bayer and Sturmfels, instances of which improve upon the hull resolution in the sense of being smaller. We also suggest a new definition of a face of a tropical polytope, which has nicer properties than previous definitions; we give examples and provide many conjectures and directions for further research in this area.
Groupoids in combinatorics -- applications of a theory of local symmetries
An objective of the theory of combinatorial groupoids is to introduce concepts like "holonomy", "parallel transport", "bundles", "combinatorial curvature" etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes, arrangements and other combinatorial objects. In this paper we give an exposition of some of the currently most active research themes in this area, offer a unified point of view, and provide a list of prospective applications in other fields together with a collection of related open problems.
A comparison theorem for $f$-vectors of simplicial polytopes
Published
• View Publication
• BIB
Let $f_i(P)$ denote the number of $i$-dimensional faces of a convex polytope $P$. Furthermore, let $S(n,d)$ and $C(n,d)$ denote, respectively, the stacked and the cyclic $d$-dimensional polytopes on $n$ vertices. Our main result is that for every simplicial $d$-polytope $P$, if $$ f_r(S(n_1,d))\le f_r(P) \le f_r(C(n_2,d)) $$ for some integers $n_1, n_2$ and $r$, then $$ f_s(S(n_1,d))\le f_s(P) \le f_s(C(n_2,d)) $$ for all $s$ such that $r<s$.
For $r=0$ these inequalities are the well-known lower and upper bound theorems for simplicial polytopes.
The result is implied by a certain ``comparison theorem'' for $f$-vectors, formulated in Section 4. Among its other consequences is a similar lower bound theorem for centrally-symmetric simplicial polytopes.
The Random Edge Simplex Algorithm on Dual Cyclic 4-Polytopes
The simplex algorithm using the random edge pivot-rule on any realization of a dual cyclic 4-polytope with n facets does not take more than O(n) pivot-steps. This even holds for general abstract objective functions (AOF) / acyclic unique sink orientations (AUSO). The methods can be used to show analogous results for products of two polygons. In contrast, we show that the random facet pivot-rule is slow on dual cyclic 4-polytopes, i.e. there are AUSOs on which random facet takes at least Ω(n^2) steps.
On hyperbolic Coxeter polytopes with mutually intersecting facets
Published in J. Combin. Theory A 115 (2008), 121--146
• View Publication
• BIB
We prove that, apart from some well-known low-dimensional examples, any compact hyperbolic Coxeter polytope has a pair of disjoint facets. This is one of very few known general results concerning combinatorics of compact hyperbolic Coxeter polytopes. We also obtain a similar result for simple non-compact polytopes.
Packing and Partitioning Orbitopes
Published
• View Publication
• BIB
We introduce orbitopes as the convex hulls of 0/1-matrices that are lexicographically maximal subject to a group acting on the columns. Special cases are packing and partitioning orbitopes, which arise from restrictions to matrices with at most or exactly one 1-entry in each row, respectively. The goal of investigating these polytopes is to gain insight into ways of breaking certain symmetries in integer programs by adding constraints, e.g., for a well-known formulation of the graph coloring problem.
We provide a thorough polyhedral investigation of packing and partitioning orbitopes for the cases in which the group acting on the columns is the cyclic group or the symmetric group. Our main results are complete linear inequality descriptions of these polytopes by facet-defining inequalities. For the cyclic group case, the descriptions turn out to be totally unimodular, while for the symmetric group case both the description and the proof are more involved. Nevertheless, the associated separation problem can be solved in linear time also in this case.
Degrees of stretched Kostka coefficients
Published
• View Publication
• BIB
Given a partition l and a composition b, the stretched Kostka coefficient K_{l, b}(n) is the map sending each positive integer n to the Kostka coefficient indexed by nl and nb. Kirillov and Reshetikhin (1986) have shown that stretched Kostka coefficients are polynomial functions of n. King, Tollu, and Toumazet have conjectured that these polynomials always have nonnegative coefficients (2004), and they have given a conjectural expression for their degrees (2006).
We prove the values conjectured by King, Tollu, and Toumazet for the degrees of stretched Kostka coefficients. Our proof depends upon the polyhedral geometry of Gelfand--Tsetlin polytopes and uses tilings of GT-patterns, a combinatorial structure introduced in De Loera & McAllister (2004).
Lattice polytopes with a given $h^*$-polynomial
Published
• View Publication
• BIB
Let $Δ\subset \R^n$ be an $n$-dimensional lattice polytope. It is well-known that $h_Δ^*(t) := (1-t)^{n+1} \sum_{k \geq 0} |kΔ\cap \Z^n| t^k $ is a polynomial of degree $d \leq n$ with nonnegative integral coefficients. Let $AGL(n, \Z)$ be the group of invertible affine integral transformations which naturally acts on $\R^n$. For a given polynomial $h^* \in \Z[t]$, we denote by $C_{h^*}(n)$ the number $AGL(n, \Z)$-equivalence classes of $n$-dimensional lattice polytopes such that $h^* = h_Δ^*(t)$. In this paper we show that $\{C_{h^*}(n) \}_{n \geq 1}$ is a monotone increasing sequence which eventually becomes constant. This statement follows from a more general combinatorial result whose proof uses methods of commutative algebra.
A short proof of rigidity of convex polytopes
Published
• View Publication
• BIB
We present a much simplified proof of Dehn's theorem on the infinitesimal rigidity of convex polytopes. Our approach is based on the ideas of Trushkina and Schramm.
Norm bounds for Ehrhart polynomial roots
Published in Discrete Comput. Geom. 39 (2008), no. 1-3, 191--193
• View Publication
• BIB
M. Beck, J. De Loera, M. Develin, J. Pfeifle and R. Stanley found that the roots of the Ehrhart polynomial of a d-dimensional lattice polytope are bounded above in norm by 1+(d+1)!. We provide an improved bound which is quadratic in d and applies to a larger family of polynomials.
Multiples of lattice polytopes without interior lattice points
Published in Moscow Math. J. 7 (2007), 195-207
• View Publication
• BIB
Let $Δ$ be an $n$-dimensional lattice polytope. The smallest non-negative integer $i$ such that $k Δ$ contains no interior lattice points for $1 \leq k \leq n - i$ we call the degree of $Δ$. We consider lattice polytopes of fixed degree $d$ and arbitrary dimension $n$. Our main result is a complete classification of $n$-dimensional lattice polytopes of degree $d=1$. This is a generalization of the classification of lattice polygons $(n=2)$ without interior lattice points due to Arkinstall, Khovanskii, Koelman and Schicho. Our classification shows that the secondary polytope of a lattice polytope of degree 1 is always a simple polytope.
Classification of lattice-regular lattice convex polytopes
Published in Functional Analysis and Other Mathematics, vol.1(1), pp.17-35, 2006
• View Publication
• BIB
In this paper for any dimension n we give a complete list of lattice convex polytopes in R^n that are regular with respect to the group of affine transformations preserving the lattice.
The Hyperdeterminant and Triangulations of the 4-Cube
Published in Mathematics of Computation 77 (2008), no. 263, 1653--1679
• View Publication
• BIB
The hyperdeterminant of format 2 x 2 x 2 x 2 is a polynomial of degree 24 in 16 unknowns which has 2894276 terms. We compute the Newton polytope of this polynomial and the secondary polytope of the 4-cube. The 87959448 regular triangulations of the 4-cube are classified into 25448 D-equivalence classes, one for each vertex of the Newton polytope. The 4-cube has 80876 coarsest regular subdivisions, one for each facet of the secondary polytope, but only 268 of them come from the hyperdeterminant.
Orthogonal surfaces
Published
• View Publication
• BIB
Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthogonal surfaces in one or two dimensions are rather trivial already the three dimensional case has a rich structure with connections to Schnyder woods, planar graphs and 3-polytopes.
Our objective is to detect more of the structure of orthogonal surfaces in four and higher dimensions. In particular we are driven by the question which non-generic orthogonal surfaces have a polytopal structure.
We study characteristic points and the cp-orders of orthogonal surfaces, i.e., the dominance orders on the characteristic points. In the generic case these orders are (almost) face lattices of polytopes. Examples show that in general cp-orders can lack key properties of face lattices. We investigate extra requirements which may help to have cp-orders which are face lattices.
Finally, we turn the focus and ask for the realizability of polytopes on orthogonal surfaces. There are criteria which prevent large classes of simplicial polytopes from being realizable. On the other hand we identify some families of polytopes which can be realized on orthogonal surfaces.
Geometric bistellar flips. The setting, the context and a construction
Published in In "Proceedings of the International Congress of Mathematicians, 2006" (M. Sanz-Sole, J. Soria, J. L. Varona, J. Verdera, eds.), Eur. Math. Soc., 2006, Vol III, pp. 931-962
• Search Publication
We give a self-contained introduction to the theory of secondary polytopes and geometric bistellar flips in triangulations of polytopes and point sets, as well as a review of some of the known results and connections to algebraic geometry, topological combinatorics, and other areas.
As a new result, we announce the construction of a point set in general position with a disconnected space of triangulations. This shows, for the first time, that the poset of strict polyhedral subdivisions of a point set is not always connected.
Reflection groups and polytopes over finite fields, II
Published
• View Publication
• BIB
When the standard representation of a crystallographic Coxeter group $Γ$ is reduced modulo an odd prime $p$, a finite representation in some orthogonal space over $\mathbb{Z}_p$ is obtained. If $Γ$ has a string diagram, the latter group will often be the automorphism group of a finite regular polytope. In Part I we described the basics of this construction and enumerated the polytopes associated with the groups of rank 3 and the groups of spherical or Euclidean type. In this paper, we investigate such families of polytopes for more general choices of $Γ$, including all groups of rank 4. In particular, we study in depth the interplay between their geometric properties and the algebraic structure of the corresponding finite orthogonal group.