polytope ↗ reference
3077 papers tagged with this keyword
Computing the period of an Ehrhart quasi-polynomial
Published in Electronic Journal of Combinatorics 12 (2005), #R34
• View Publication
• BIB
If P is a rational polytope in R^d, then $i_P(t):=#(tP\cap Z^d)$ is a quasi-polynomial in t, called the Ehrhart quasi-polynomial of P. A period of i_P(t) is D(P), the smallest positive integer D such that D*P has integral vertices. Often, D(P) is the minimum period of i_P(t), but, in several interesting examples, the minimum period is smaller. We prove that, for fixed d, there is a polynomial time algorithm which, given a rational polytope P in R^d and an integer n, decides whether n is a period of i_P(t). In particular, there is a polynomial time algorithm to decide whether i_P(t) is a polynomial. We conjecture that, for fixed d, there is a polynomial time algorithm to compute the minimum period of i_P(t). The tools we use are rational generating functions.
New polytopes from products
Published
• View Publication
• BIB
We construct a new 2-parameter family E_mn of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E_44 is the 24-cell. For large m,n the f-vectors have ``fatness'' close to 6.
The E_t-construction of Paffenholz and Ziegler applied to products of polygons yields cellular spheres with the combinatorial structure of E_mn. Here we prove polytopality of these spheres. More generally, we construct polytopal realisations for spheres obtained from the E_t-construction applied to products of polytopes in any dimension d>=3, if these polytopes satisfy some consistency conditions.
We show that the projective realisation space of E_33 is at least nine dimensional and that of E_44 at least four dimensional. This proves that the 24-cell is not projectively unique. All E_mn for relatively prime m,n>= 5 have automorphisms of their face lattice not induced by an affine transformation of any geometric realisation. The group Z_m x Z_n generated by rotations in the two polygons is a subgroup of the automorphisms of the face lattice of E_mn. However, there are only five pairs (m,n) for which this subgroup is geometrically realisable.
The number of vertices of a Fano polytope
Published
• View Publication
• BIB
Let X be a complex, Gorenstein, Q-factorial, toric Fano variety. We prove two conjectures on the maximal Picard number of X in terms of its dimension and its pseudo-index, and characterize the boundary cases. Equivalently, we determine the maximal number of vertices of a simplicial reflexive polytope.
Tropical Linear Spaces
Published
• View Publication
• BIB
We define tropical analogues of the notions of linear space and Plucker coordinate and study their combinatorics. We introduce tropical analogues of intersection and dualization and define a tropical linear space built by repeated dualization and transverse intersection to be constructible. Our main result that all constructible tropical linear spaces have the same f-vector and are ``series-parallel''. We conjecture that this f-vector is maximal for all tropical linear spaces with equality precisely for the series-parallel tropical linear spaces. We present many partial results towards this conjecture.
In addition we relate tropical linear spaces to linear spaces defined over power series fields and give many examples and counter-examples illustrating aspects of this relationship. We describe a family of particularly nice series-parallel linear spaces, which we term tree spaces, that realize the conjectured maximal f-vector and are constructed in a manner similar to the cyclic polytopes.
Integer Polynomial Optimization in Fixed Dimension
Published in Mathematics of Operations Research 31 (2006), no. 1, 147-153
• View Publication
• BIB
We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials that are non-negative over the polytope, these sequences of bounds lead to a fully polynomial-time approximation scheme for the optimization problem.
On Stanley's reciprocity theorem for rational cones
We give a short, self-contained proof of Stanley's reciprocity theorem for a rational cone K \subset R^d. Namely, let sigma_K (x) = sum_{m \in K \cap Z^d} x^m. Then sigma_K (x) and sigma_int(K) (x) are rational functions which satisfy the identity sigma_K (1/x) = (-1)^d sigma_int(K) (x). A corollary of Stanley's theorem is the Ehrhart-Macdonald reciprocity theorem for the lattice-point enumerator of rational polytopes. A distinguishing feature of our proof is that it uses neither the shelling of a polyhedron nor the concept of finite additive measures. The proof follows from elementary techniques in contour integration.
Lower Bounds for Real Solutions to Sparse Polynomial Systems
Published in Advances in Mathematics, Volume 204, Issue 1, 1 August 2006, 116--151.
• View Publication
• BIB
We show how to construct sparse polynomial systems that have non-trivial lower bounds on their numbers of real solutions. These are unmixed systems associated to certain polytopes. For the order polytope of a poset P this lower bound is the sign-imbalance of P and it holds if all maximal chains of P have length of the same parity. This theory also gives lower bounds in the real Schubert calculus through sagbi degeneration of the Grassmannian to a toric variety, and thus recovers a result of Eremenko and Gabrielov.
Ehrhart polynomials of cyclic polytopes
Published
• View Publication
• BIB
The Ehrhart polynomial of an integral convex polytope counts the number of lattice points in dilates of the polytope. In math.CO/0402148, the authors conjectured that for any cyclic polytope with integral parameters, the Ehrhart polynomial of it is equal to its volume plus the Ehrhart polynomial of its lower envelope and proved the case when the dimension d = 2. In our article, we prove the conjecture for any dimension.
Computing Optimal Morse Matchings
Published
• View Publication
• BIB
Morse matchings capture the essential structural information of discrete Morse functions. We show that computing optimal Morse matchings is NP-hard and give an integer programming formulation for the problem. Then we present polyhedral results for the corresponding polytope and report on computational results.
Hypercube embedding of Wythoffians
Published
• View Publication
• BIB
The Wythoff construction takes a $d$-dimensional polytope $P$, a subset $S$ of $\{0,..., d\}$ and returns another $d$-dimensional polytope $P(S)$. If $P$ is a regular polytope, then $P(S)$ is vertex-transitive. This construction builds a large part of the Archimedean polytopes and tilings in dimension 3 and 4.
We want to determine, which of those Wythoffians $P(S)$ with regular $P$ have their skeleton or dual skeleton isometrically embeddable into the hypercubes $H_m$ and half-cubes ${1/2}H_m$. We find six infinite series, which, we conjecture, cover all cases for dimension $d>5$ and some sporadic cases in dimension 3 and 4 (see Tables \ref{WythoffEmbeddable3} and \ref{WythoffEmbeddable4}).
Three out of those six infinite series are explained by a general result about the embedding of Wythoff construction for Coxeter groups. In the last section, we consider the Euclidean case; also, zonotopality of embeddable $P(S)$ are addressed throughout the text.
Complete toric varieties with reductive automorphism group
Published in Math. Z. 252 (2006), 767-786
• View Publication
• BIB
We give equivalent and sufficient criteria for the automorphism group of a complete toric variety, respectively a Gorenstein toric Fano variety, to be reductive. In particular we show that the automorphism group of a Gorenstein toric Fano variety is reductive, if the barycenter of the associated reflexive polytope is zero. Furthermore a sharp bound on the dimension of the reductive automorphism group of a complete toric variety is proven by studying the set of Demazure roots.
Coxeter Complexes and Graph-Associahedra
Published in Topology and its Applications, 153 (2006) 2155-2168
• View Publication
• BIB
Given a graph G, we construct a simple, convex polytope whose face poset is based on the connected subgraphs of G. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.
On Hopf algebra structures over operads
We study P-Hopf algebras with one coassociative cooperation over different operads P. For example, we consider the Loday-Ronco dendriform Hopf algebra and its isomorphisms with the noncommutative planar Connes-Kreimer Hopf algebra and with a Hopf algebra of Brouder and Frabetti. We focus on Hopf algebra structures over free operads, like the operad Mag freely generated by a non-commutative non-associative binary operation, and the operad of Stasheff polytopes.
In order to describe the operads of primitive elements we prove an analogon of the Poincare-Birkhoff-Witt theorem. We determine the generating series for these operads and show that the dimension of PrimMag(n) is related to the log-Catalan numbers. By a recursive method we show how, for small n, these spaces can be described as modules over the symmetric groups.
Projected Products of Polytopes
Published
• View Publication
• BIB
We construct a 2-parameter family of 4-dimensional polytopes with extreme combinatorial structure: In this family, the ``fatness'' of the f-vector gets arbitrarily close to 9, the ``complexity'' (given by the flag vector) gets arbitrarily close to 16.
The polytopes are obtained from suitable deformed products of even polygons by a projection to four-space.
The reflexive dimension of a lattice polytope
Published
• View Publication
• BIB
The reflexive dimension refldim(P) of a lattice polytope P is the minimal d so that P is the face of some d-dimensional reflexive polytope.
We show that refldim(P) is finite for every P, and give bounds for refldim(kP) in terms of refldim(P) and k.
Barvinok's Rational Functions: Algorithms and Applications to Optimization, Statistics, and Algebra
The main theme of this dissertation is the study of the lattice points in a rational convex polyhedron and their encoding in terms of Barvinok's short rational functions. The first part of this thesis looks into theoretical applications of these rational functions to Optimization, Statistics, and Computational Algebra. The main theorem on Chapter 2 concerns the computation of the \emph{toric ideal} $I_A$ of an integral $n \times d$ matrix $A$. We encode the binomials belonging to the toric ideal $I_A$ associated with $A$ using Barvinok's rational functions. If we fix $d$ and $n$, this representation allows us to compute a universal Gröbner basis and the reduced Gröbner basis of the ideal $I_A$, with respect to any term order, in polynomial time. We derive a polynomial time algorithm for normal form computations which replaces in this new encoding the usual reductions of the division algorithm. Chapter 3 presents three ways to use Barvinok's rational functions to solve Integer Programs.
The second part of the thesis is experimental and consists mainly of the software package {\tt LattE}, the first implementation of Barvinok's algorithm. We report on experiments with families of well-known rational polytopes: multiway contingency tables, knapsack type problems, and rational polygons. We also developed a new algorithm, {\em the homogenized Barvinok's algorithm} to compute the generating function for a rational polytope. We showed that it runs in polynomial time in fixed dimension. With the homogenized Barvinok's algorithm, we obtained new combinatorial formulas: the generating function for the number of $5\times 5$ magic squares and the generating function for the number of $3\times 3 \times 3 \times 3$ magic cubes as rational functions.
Combinatorial construction of toric residues
Published in Ann. Inst. Fourier (Grenoble) 55, no. 2 (2005), 511--548
• View Publication
• BIB
The toric residue is a map depending on n+1 semi-ample divisors on a complete toric variety of dimension n. It appears in a variety of contexts such as sparse polynomial systems, mirror symmetry, and GKZ hypergeometric functions. In this paper we investigate the problem of finding an explicit element whose toric residue is equal to one. Such an element is shown to exist if and only if the associated polytopes are essential. We reduce the problem to finding a collection of partitions of the lattice points in the polytopes satisfying a certain combinatorial property. We use this description to solve the problem when n=2 and for any n when the polytopes of the divisors share a complete flag of faces. The latter generalizes earlier results when the divisors were all ample.
Lower bound for the maximal number of facets of a 0/1 polytope
Published in Discrete & Computational Geometry 34 (2005), 331--349.
• View Publication
• BIB
We show that there exist 0/1 polytopes in R^n with as many as (cn / (log n)^2)^(n/2) facets (or more), where c>0 is an absolute constant.
Lattice polytopes, Hecke operators, and the Ehrhart polynomial
Published
• View Publication
• BIB
Let P be a simple lattice polytope. We define an action of the Hecke operators on E (P), the Ehrhart polynomial of P, and describe their effect on the coefficients of E (P). We also describe how the Brion-Vergne formula transforms under the Hecke operators for nonsingular lattice polytopes P.
Algebraic Combinatorics of Magic Squares
We describe how to construct and enumerate Magic squares, Franklin squares, Magic cubes, and Magic graphs as lattice points inside polyhedral cones using techniques from Algebraic Combinatorics. The main tools of our methods are the Hilbert Poincare series to enumerate lattice points and the Hilbert bases to generate lattice points. We define polytopes of magic labelings of graphs and digraphs, and give a description of the faces of the Birkhoff polytope as polytopes of magic labelings of digraphs.