polytope ↗ reference
3077 papers tagged with this keyword
Parking functions and triangulation of the associahedron
Published
• View Publication
• BIB
We show that a minimal triangulation of the associahedron (Stasheff polytope) of dimension n is made of (n+1)^{n-1} simplices. We construct a natural bijection with the set of parking functions from a new interpretation of parking functions in terms of shuffles.
Combinatorial groupoids, cubical complexes, and the Lovasz conjecture
A foundation is laid for a theory of combinatorial groupoids, allowing us to use concepts like ``holonomy'', ``parallel transport'', ``bundles'', ``combinatorial curvature'' etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes and other combinatorial objects. A new, holonomy-type invariant for cubical complexes is introduced, leading to a combinatorial ``Theorema Egregium'' for cubical complexes non-embeddable into cubical lattices. Parallel transport of Hom-complexes and maps is used as a tool for extending Babson-Kozlov-Lovasz graph coloring results to more general statements about non-degenerate maps (colorings) of simplicial complexes and graphs.
The Circuit Ideal of a Vector Configuration
Published in J. Algebra 309 (2007), no. 2, 518--542
• View Publication
• BIB
The circuit ideal, $\ica$, of a configuration $\A = \{\a_1, ..., \a_n\} \subset \Z^d$ is the ideal generated by the binomials ${\x}^{\cc^+} - {\x}^{\cc^-} \in \k[x_1, ..., x_n]$ as $\cc = \cc^+ - \cc^- \in \Z^n$ varies over the circuits of $\A$. This ideal is contained in the toric ideal, $\ia$, of $\A$ which has numerous applications and is nontrivial to compute. Since circuits can be computed using linear algebra and the two ideals often coincide, it is worthwhile to understand when equality occurs. In this paper we study $\ica$ in relation to $\ia$ from various algebraic and combinatorial perspectives. We prove that the obstruction to equality of the ideals is the existence of certain polytopes. This result is based on a complete characterization of the standard pairs/associated primes of a monomial initial ideal of $\ica$ and their differences from those for the corresponding toric initial ideal. Eisenbud and Sturmfels proved that $\ia$ is the unique minimal prime of $\ica$ and that the embedded primes of $\ica$ are indexed by certain faces of the cone spanned by $\A$. We provide a necessary condition for a particular face to index an embedded prime and a partial converse. Finally, we compare various polyhedral fans associated to $\ia$ and $\ica$. The Gröbner fan of $\ica$ is shown to refine that of $\ia$ when the codimension of the ideals is at most two.
Vector spaces spanned by the angle sums of polytopes
In this paper, we will describe the space spanned by the angle-sums of polytopes, recorded in the alpha-vector. We will consider the angles sums of simplices and the angles sums and face numbers of simplicial polytopes and general polytopes. We will construct families of polytopes whose angle sums span the spaces of polytopes defined by the Gram and Perles equations, analogues of the Euler and Dehn-Sommerville equations. We show that the dimensions of the affine span of the space of angle sums of simplices is floor[(d-1)/2] + 1, and that of the angle sums and face numbers of simplicial polytopes and general polytopes are d-1 and 2d-3 respectively.
h-vectors of Gorenstein polytopes
Published in J. Combin. Theory Ser. A 114 (2007), no. 1, 65-76
• View Publication
• BIB
We show that the Ehrhart h-vector of an integer Gorenstein polytope with a regular unimodular triangulation satisfies McMullen's g-theorem; in particular, it is unimodal. This result generalizes a recent theorem of Athanasiadis (conjectured by Stanley) for compressed polytopes. It is derived from a more general theorem on Gorenstein affine normal monoids M: one can factor K[M] (K a field) by a "long" regular sequence in such a way that the quotient is still a normal affine monoid algebra. This technique reduces all questions about the Ehrhart h-vector of P to the Ehrhart h-vector of a Gorenstein polytope Q with exactly one interior lattice point, provided each lattice point in a multiple cP, c in N, can be written as the sum of n lattice points in P. (Up to a translation, the polytope Q belongs to the class of reflexive polytopes considered in connection with mirror symmetry.) If P has a regular unimodular triangulation, then it follows readily that the Ehrhart h-vector of P coincides with the combinatorial h-vector of the boundary complex of a simplicial polytope, and the g-theorem applies.
Products of Foldable Triangulations
Published
• View Publication
• BIB
Regular triangulations of products of lattice polytopes are constructed with the additional property that the dual graphs of the triangulations are bipartite. The (weighted) size difference of this bipartition is a lower bound for the number of real roots of certain sparse polynomial systems by recent results of Soprunova and Sottile [Adv. Math. 204(1):116-151, 2006]. Special attention is paid to the cube case.
Cyclotomic Polytopes and Growth Series of Cyclotomic Lattices
Published in Mathematical Research Letters 13, no. 4 (2006), 607-622
• View Publication
• BIB
The coordination sequence of a lattice $Ł$ encodes the word-length function with respect to $M$, a set that generates $Ł$ as a monoid. We investigate the coordination sequence of the cyclotomic lattice $Ł= \Z[ζ_m]$, where $ζ_m$ is a primitive $mþ$ root of unity and where $M$ is the set of all $mþ$ roots of unity. We prove several conjectures by Parker regarding the structure of the rational generating function of the coordination sequence; this structure depends on the prime factorization of $m$. Our methods are based on unimodular triangulations of the $mþ$ cyclotomic polytope, the convex hull of the $m$ roots of unity in $\R^{φ(m)}$, with respect to a canonically chosen basis of $Ł$.
Exact Euler Maclaurin formulas for simple lattice polytopes
Published
• View Publication
• BIB
Euler Maclaurin formulas for a polytope express the sum of the values of a function over the lattice points in the polytope in terms of integrals of the function and its derivatives over faces of the polytope or its expansions. Exact Euler Maclaurin formulas [Khovanskii-Pukhlikov, Cappell-Shaneson, Guillemin, Brion-Vergne] apply to exponential or polynomial functions; Euler Maclaurin formulas with remainder [Karshon-Sternberg-Weitsman] apply to more general smooth functions.
In this paper we review these results and present proofs of the exact formulas obtained by these authors, using elementary methods. We then use an algebraic formalism due to Cappell and Shaneson to relate the different formulas.
Ehrhart polynomial and Successive Minima
Published in Mathematika 52 (2005), 1-16
• View Publication
• BIB
We investigate the Ehrhart polynomial for the class of 0-symmetric convex lattice polytopes in Euclidean $n$-space $\mathbb{R}^n$. It turns out that the roots of the Ehrhart polynomial and Minkowski's successive minima are closely related by their geometric and arithmetic mean. We also show that the roots of lattice $n$-polytopes with or without interior lattice points differ essentially. Furthermore, we study the structure of the roots in the planar case. Here it turns out that their distribution reflects basic properties of lattice polygons.
Lattices generated by skeletons of reflexive polytopes
Published
• View Publication
• BIB
Lattices generated by lattice points in skeletons of reflexive polytopes are essential in determining the fundamental group and integral cohomology of Calabi-Yau hypersurfaces. Here we prove that the lattice generated by all lattice points in a reflexive polytope is already generated by lattice points in codimension two faces. This answers a question of J. Morgan.
How neighborly can a centrally symmetric polytope be?
Published
• View Publication
• BIB
We show that there exist k-neighborly centrally symmetric d-dimensional polytopes with 2(n+d) vertices, where k(d,n)=Theta(d/(1+log ((d+n)/d))). We also show that this bound is tight.
Local Euler-Maclaurin formula for polytopes
Published
• View Publication
• BIB
We give a local Euler-Maclaurin formula for rational convex polytopes in a rational euclidean space . For every affine rational polyhedral cone C in a rational euclidean space W, we construct a differential operator of infinite order D(C) on W with constant rational coefficients, which is unchanged when C is translated by an integral vector. Then for every convex rational polytope P in a rational euclidean space V and every polynomial function f (x) on V, the sum of the values of f(x) at the integral points of P is equal to the sum, for all faces F of P, of the integral over F of the function D(N(F)).f, where we denote by N(F) the normal cone to P along F.
Geometric Reasoning with polymake
The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections include a survey of research results obtained with the help of polymake so far and a short description of the technical background.
Nested complexes and their polyhedral realizations
Published in Pure and Applied Mathematics Quarterly, 2 (2006), no. 3, 1-17
• View Publication
• BIB
This note which can be viewed as a complement to Alex Postnikov's paper math.CO/0507163, presents a self-contained overview of basic properties of nested complexes and their two dual polyhedral realizations: as complete simplicial fans, and as simple polytopes. Most of the results are not new; our aim is to bring into focus a striking similarity between nested complexes and associated fans and polytopes on one side, and cluster complexes and generalized associahedra introduced and studied in hep-th/0111053, math.CO/0202004, on the other side.
Permutohedra, associahedra, and beyond
Published
• View Publication
• BIB
The volume and the number of lattice points of the permutohedron P_n are given by certain multivariate polynomials that have remarkable combinatorial properties. We give several different formulas for these polynomials. We also study a more general class of polytopes that includes the permutohedron, the associahedron, the cyclohedron, the Pitman-Stanley polytope, and various generalized associahedra related to wonderful compactifications of De Concini-Procesi. These polytopes are constructed as Minkowski sums of simplices. We calculate their volumes and describe their combinatorial structure. The coefficients of monomials in Vol P_n are certain positive integer numbers, which we call the mixed Eulerian numbers. These numbers are equal to the mixed volumes of hypersimplices. Various specializations of these numbers give the usual Eulerian numbers, the Catalan numbers, the numbers (n+1)^{n-1} of trees, the binomial coefficients, etc. We calculate the mixed Eulerian numbers using certain binary trees. Many results are extended to an arbitrary Weyl group.
Theorems of Brion, Lawrence, and Varchenko on rational generating functions for cones
Published in Math. Intelligencer 31 (2009), no. 1, 9--17.
• View Publication
• BIB
We discuss and give elementary proofs of results of Brion and of Lawrence-Varchenko on the lattice-point enumerator generating functions for polytopes and cones. This largely expository note contains a new proof of Brion's Formula using irrational decompositions, and a generalization of the Lawrence-Varchenko formula.
Edge Expansion of Cubical Complexes
In this paper we show that graphs of "neighbourly" cubical complexes -- cubical complexes in which every pair of vertices spans a (unique) cube -- have good expansion properties, using a technique based on multicommodity flows. By showing that graphs of stable set polytopes are graphs of neighbourly cubical complexes we give a new proof that graphs of stable set polytopes have edge expansion 1.
An Enumerative Geometry for Magic and Magilatin Labellings
Published in Annals of Combinatorics 10, no. 4 (2006), 395-413
• View Publication
• BIB
A magic labelling of a set system is a labelling of its points by distinct positive integers so that every set of the system has the same sum, the magic sum. Examples are magic squares (the sets are the rows, columns, and diagonals) and semimagic squares (the same, but without the diagonals). A magilatin labelling is like a magic labelling but the values need be distinct only within each set. We show that the number of $n\times n$ magic or magilatin labellings is a quasipolynomial function of the magic sum, and also of an upper bound on the entries in the square. Our results differ from previous ones because we require that the entries in the square all be different from each other, and because we derive our results not by ad hoc reasoning but from a general theory of counting lattice points in rational inside-out polytopes. We also generalize from set systems to rational linear forms.
Combinatorial secant varieties
Published
• View Publication
• BIB
The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads to a commutative algebra version of the Strong Perfect Graph Theorem. Given any projective variety and any term order, we explore whether the initial ideal of the secant ideal coincides with the secant ideal of the initial ideal. For toric varieties, this leads to the notion of delightful triangulations of convex polytopes.
Enumeration in convex geometries and associated polytopal subdivisions of spheres
Published
• View Publication
• BIB
We construct CW spheres from the lattices that arise as the closed sets of a convex closure, the meet-distributive lattices. These spheres are nearly polytopal, in the sense that their barycentric subdivisions are simplicial polytopes. The complete information on the numbers of faces and chains of faces in these spheres can be obtained from the defining lattices in a manner analogous to the relation between arrangements of hyperplanes and their underlying geometric intersection lattices.