polytope ↗ reference
3024 papers tagged with this keyword
Gorenstein polytopes and their stringy E-functions
Published
• View Publication
• BIB
Inspired by ideas from algebraic geometry, Batyrev and the first named author have introduced the stringy E-function of a Gorenstein polytope. We prove that this a priori rational function is actually a polynomial, which is part of a conjecture of Batyrev and the first named author. The proof relies on a comparison result for the lattice point structure of a Gorenstein polytope P, a face F of P and the face of the dual Gorenstein polytope corresponding to F. In addition, we study joins of Gorenstein polytopes and introduce the notion of an irreducible Gorenstein polytope. We show how these concepts relate to the decomposition of nef-partitions.
Combinatorial Space Tiling
The present article studies combinatorial tilings of Euclidean or spherical spaces by polytopes, serving two main purposes: first, to survey some of the main developments in combinatorial space tiling; and second, to highlight some new and some old open problems in this area.
Tropical secant graphs of monomial curves
Published
• View Publication
• BIB
The first secant variety of a projective monomial curve is a threefold with an action by a one-dimensional torus. Its tropicalization is a three-dimensional fan with a one-dimensional lineality space, so the tropical threefold is represented by a balanced graph. Our main result is an explicit construction of that graph. As a consequence, we obtain algorithms to effectively compute the multidegree and Chow polytope of an arbitrary projective monomial curve. This generalizes an earlier degree formula due to Ranestad. The combinatorics underlying our construction is rather delicate, and it is based on a refinement of the theory of geometric tropicalization due to Hacking, Keel and Tevelev.
Tropical Determinant of Integer Doubly-Stochastic Matrices
Published in Linear Algebra and its Applications 436, Issue 5 (2012), 1212-1227
• View Publication
• BIB
Let D(m,n) be the set of all the integer points in the m-dilate of the Birkhoff polytope of doubly-stochastic n by n matrices. In this paper we find the sharp upper bound on the tropical determinant over the set D(m,n). We define a version of the tropical determinant where the maximum over all the transversals in a matrix is replaced with the minimum and then find the sharp lower bound on thus defined tropical determinant over D(m,n).
Pseudograph associahedra
Published in Journal of Combinatorial Theory, Series A 118 (2011) 2035-2055
• View Publication
• BIB
Given a simple graph G, the graph associahedron KG is a simple polytope whose face poset is based on the connected subgraphs of G. This paper defines and constructs graph associahedra in a general context, for pseudographs with loops and multiple edges, which are also allowed to be disconnected. We then consider deformations of pseudograph associahedra as their underlying graphs are altered by edge contractions and edge deletions.
Upper and lower bound theorems for graph-associahedra
Published
• View Publication
• BIB
From the paper of the first author it follows that upper and lower bounds for $γ$-vector of a simple polytope imply the bounds for its $g$-,$h$- and $f$-vectors. In the paper of the second author it was obtained unimprovable upper and lower bounds for $γ$-vectors of flag nestohedra, particularly Gal's conjecture was proved for this case. In the present paper we obtain unimprovable upper and lower bounds for $γ$-vectors (consequently, for $g$-,$h$- and $f$-vectors) of graph-associahedra and some its important subclasses. We use the constructions that for an $(n-1)$-dimensional graph-associahedron $P_{Γ_n}$ give the $n$-dimensional graph-associahedron $P_{Γ_{n+1}}$ that is obtained from the cylinder $P_{Γ_n}\times I$ by sequential shaving some facets of its bases. We show that the well-known series of polytopes (associahedra, cyclohedra, permutohedra and stellohedra) can be derived by these constructions. As a corollary we obtain inductive formulas for $γ$- and $h$- vectors of the mentioned series. These formulas communicate the method of differential equations developed by the first author with the method of shavings developed by the second author.
Faces of weight polytopes and a generalization of a theorem of Vinberg
Published in Algebras and Representation Theory 15 (2012), no. 3, 593-611
• View Publication
• BIB
The paper is motivated by the study of graded representations of Takiff algebras, cominuscule parabolics, and their generalizations. We study certain special subsets of the set of weights (and of their convex hull) of the generalized Verma modules (or GVM's) of a semisimple Lie algebra $\lie g$. In particular, we extend a result of Vinberg and classify the faces of the convex hull of the weights of a GVM. When the GVM is finite-dimensional, we ask a natural question that arises out of Vinberg's result: when are two faces the same? We also extend the notion of interiors and faces to an arbitrary subfield $\F$ of the real numbers, and introduce the idea of a weak $\F$-face of any subset of Euclidean space. We classify the weak $\F$-faces of all lattice polytopes, as well as of the set of lattice points in them. We show that a weak $\F$-face of the weights of a finite-dimensional $\lie g$-module is precisely the set of weights lying on a face of the convex hull.
Isotropical Linear Spaces and Valuated Delta-Matroids
Published in J. Combin. Theory Ser. A 119 (2012), no. 1, 14-32
• View Publication
• BIB
The spinor variety is cut out by the quadratic Wick relations among the principal Pfaffians of an n x n skew-symmetric matrix. Its points correspond to n-dimensional isotropic subspaces of a 2n-dimensional vector space. In this paper we tropicalize this picture, and we develop a combinatorial theory of tropical Wick vectors and tropical linear spaces that are tropically isotropic. We characterize tropical Wick vectors in terms of subdivisions of Delta-matroid polytopes, and we examine to what extent the Wick relations form a tropical basis. Our theory generalizes several results for tropical linear spaces and valuated matroids to the class of Coxeter matroids of type D.
Betti numbers of the geometric spaces associated to nonrational simple convex polytopes
Published in Proc. Amer. Math. Soc. 139 (2011), 2309-2315
• View Publication
• BIB
We compute the Betti numbers of the geometric spaces associated to nonrational simple convex polytopes and find that they depend on the combinatorial type of the polytope exactly as in the rational case. This shows that the combinatorial features of the starting polytope are encoded in these generalized toric spaces as they are in their rational counterparts.
Polyhedra with the Integer Caratheodory Property
Published
• View Publication
• BIB
A polyhedron P has the Integer Caratheodory Property if the following holds. For any positive integer k and any integer vector w in kP, there exist affinely independent integer vectors x_1,...,x_t in P and positive integers n_1,...,n_t such that n_1+...+n_t=k and w=n_1x_1+...+n_tx_t. In this paper we prove that if P is a (poly)matroid base polytope or if P is defined by a TU matrix, then P and projections of P satisfy the integer Caratheodory property.
Roots of Ehrhart Polynomials of Smooth Fano Polytopes
Published in Discrete and Computational Geometry, 46 (2011), no. 3, 488-499
• View Publication
• BIB
V. Golyshev conjectured that for any smooth polytope P of dimension at most five, the roots $z\in\C$ of the Ehrhart polynomial for P have real part equal to -1/2. An elementary proof is given, and in each dimension the roots are described explicitly. We also present examples which demonstrate that this result cannot be extended to dimension six.
Bounds on the Coefficients of Tension and Flow Polynomials
Published
• View Publication
• BIB
The goal of this article is to obtain bounds on the coefficients of modular and integral flow and tension polynomials of graphs. To this end we make use of the fact that these polynomials can be realized as Ehrhart polynomials of inside-out polytopes. Inside-out polytopes come with an associated relative polytopal complex and, for a wide class of inside-out polytopes, we show that this complex has a convex ear decomposition. This leads to the desired bounds on the coefficients of these polynomials.
Maximal admissible faces and asymptotic bounds for the normal surface solution space
Published in Journal of Combinatorial Theory, Series A 118 (2011), no. 4, 1410-1435
• View Publication
• BIB
The enumeration of normal surfaces is a key bottleneck in computational three-dimensional topology. The underlying procedure is the enumeration of admissible vertices of a high-dimensional polytope, where admissibility is a powerful but non-linear and non-convex constraint. The main results of this paper are significant improvements upon the best known asymptotic bounds on the number of admissible vertices, using polytopes in both the standard normal surface coordinate system and the streamlined quadrilateral coordinate system.
To achieve these results we examine the layout of admissible points within these polytopes. We show that these points correspond to well-behaved substructures of the face lattice, and we study properties of the corresponding "admissible faces". Key lemmata include upper bounds on the number of maximal admissible faces of each dimension, and a bijection between the maximal admissible faces in the two coordinate systems mentioned above.
Optimality of the Neighbor Joining Algorithm and Faces of the Balanced Minimum Evolution Polytope
Published
• View Publication
• BIB
Balanced minimum evolution (BME) is a statistically consistent distance-based method to reconstruct a phylogenetic tree from an alignment of molecular data. In 2000, Pauplin showed that the BME method is equivalent to optimizing a linear functional over the BME polytope, the convex hull of the BME vectors obtained from Pauplin's formula applied to all binary trees. The BME method is related to the Neighbor Joining (NJ) algorithm, now known to be a greedy optimization of the BME principle. Further, the NJ and BME algorithms have been studied previously to understand when the NJ Algorithm returns a BME tree for small numbers of taxa. In this paper we aim to elucidate the structure of the BME polytope and strengthen knowledge of the connection between the BME method and NJ Algorithm. We first prove that any subtree-prune-regraft move from a binary tree to another binary tree corresponds to an edge of the BME polytope. Moreover, we describe an entire family of faces parametrized by disjoint clades. We show that these {\em clade-faces} are smaller dimensional BME polytopes themselves. Finally, we show that for any order of joining nodes to form a tree, there exists an associated distance matrix (i.e., dissimilarity map) for which the NJ Algorithm returns the BME tree. More strongly, we show that the BME cone and every NJ cone associated to a tree $T$ have an intersection of positive measure.
On the number of points in a lattice polytope
Published in Integers, 11(5):619-622, 2011
• View Publication
• BIB
In this article we will show that for every natural $d$ and $n>1$ there exists a natural number $t$ such that for every $d$-dimensional simplicial complex $\mathcal{T}$ with vertices in $\mathbb{Z}^d$, the number of lattice points in the $t^{\mathrm{th}}$ dilate of $\mathcal{T}$ is exactly $χ(\mathcal{T})$ modulo $n$, where $χ(\mathcal{T})$ is the Euler characteristic of $\mathcal{T}$.
Equivariant Ehrhart theory
Published in Adv. Math. 226 (2011), no. 4, 3622-3654
• View Publication
• BIB
Motivated by representation theory and geometry, we introduce and develop an equivariant generalization of Ehrhart theory, the study of lattice points in dilations of lattice polytopes. We prove representation-theoretic analogues of numerous classical results, and give applications to the Ehrhart theory of rational polytopes and centrally symmetric polytopes. We also recover a character formula of Procesi, Dolgachev, Lunts and Stembridge for the action of a Weyl group on the cohomology of a toric variety associated to a root system.
Roots of Ehrhart polynomials arising from graphs
Published in Journal of Algebraic Combinatorics 34(4) 721-749 (2011)
• View Publication
• BIB
Several polytopes arise from finite graphs. For edge and symmetric edge polytopes, in particular, exhaustive computation of the Ehrhart polynomials not merely supports the conjecture of Beck {\it et al.}\ that all roots $α$ of Ehrhart polynomials of polytopes of dimension $D$ satisfy $-D \le \Re(α) \le D - 1$, but also reveals some interesting phenomena for each type of polytope. Here we present two new conjectures: (1) the roots of the Ehrhart polynomial of an edge polytope for a complete multipartite graph of order $d$ lie in the circle $|z+\tfrac{d}{4}| \le \tfrac{d}{4}$ or are negative integers, and (2) a Gorenstein Fano polytope of dimension $D$ has the roots of its Ehrhart polynomial in the narrower strip $-\tfrac{D}{2} \leq \Re(α) \leq \tfrac{D}{2}-1$. Some rigorous results to support them are obtained as well as for the original conjecture. The root distribution of Ehrhart polynomials of each type of polytope is plotted in figures.
Distributions of order patterns of interval maps
Published
• View Publication
• BIB
A permutation $σ$ describing the relative orders of the first $n$ iterates of a point $x$ under a self-map $f$ of the interval $I=[0,1]$ is called an \emph{order pattern}. For fixed $f$ and $n$, measuring the points $x\in I$ (according to Lebesgue measure) that generate the order pattern $σ$ gives a probability distribution $μ_n(f)$ on the set of length $n$ permutations. We study the distributions that arise this way for various classes of functions $f$.
Our main results treat the class of measure preserving functions. We obtain an exact description of the set of realizable distributions in this case: for each $n$ this set is a union of open faces of the polytope of flows on a certain digraph, and a simple combinatorial criterion determines which faces are included. We also show that for general $f$, apart from an obvious compatibility condition, there is no restriction on the sequence $\{μ_n(f)\}$ for $n=1,2,...$.
In addition, we give a necessary condition for $f$ to have \emph{finite exclusion type}, i.e., for there to be finitely many order patterns that generate all order patterns not realized by $f$. Using entropy we show that if $f$ is piecewise continuous, piecewise monotone, and either ergodic or with points of arbitrarily high period, then $f$ cannot have finite exclusion type. This generalizes results of S. Elizalde.
A necessary condition for Chow semistability of polarized toric manifolds
Published
• View Publication
• BIB
Let Δ\subset \mathbb{R}^n be an n-dimensional Delzant polytope. It is well-known that there exist the n-dimensional compact toric manifold X_Δand the very ample (\mathbb{C}^\times)^n-equivariant line bundle L_Δon X_Δassociated with Δ. In the present paper, we show that if (X_Δ,L_Δ^i) is Chow semistable then the sum of integer points in iΔis the constant multiple of the barycenter of Δ. Using this result we get a necessary condition for the polarized toric manifold (X_Δ,L_Δ) being asymptotically Chow semistable. Moreover we can generalize the result of Futaki, Sano and the author to the case when X_Δis not necessarily Fano.
Moment polytopes, semigroup of representations and Kazarnovskii's theorem
Published
• View Publication
• BIB
Two representations of a reductive group G are spectrally equivalent if the same irreducible representations appear in both of them. The semigroup of finite dimensional representations of G with tensor product and up to spectral equivalence is a rather complicated object. We show that the Grothendieck group of this semigroup is more tractable and give a description of it in terms of moment polytopes of representations. As a corollary, we give a proof of the Kazarnovskii theorem on the number of solutions in G of a system f_1(x) = ... = f_m(x) = 0, where m=dim(G) and each f_i is a generic function in the space of matrix elements of a representation pi_i of G.