polytope ↗ reference
3077 papers tagged with this keyword
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.
Ideals of Graph Homomorphisms
In combinatorial commutative algebra and algebraic statistics many toric ideals are constructed from graphs. Keeping the categorical structure of graphs in mind we give previous results a more functorial context and generalize them by introducing the ideals of graph homomorphisms. For this new class of ideals we investigate how the topology of the graphs influence the algebraic properties. We describe explicit Grobner bases for several classes, generalizing results by Hibi, Sturmfels and Sullivant. One of our main tools is the toric fiber product, and we employ results by Engstrom, Kahle and Sullivant. The lattice polytopes defined by our ideals include important classes in optimization theory, as the stable set polytopes.
Generalized Ehrhart polynomials
Published in Trans. Amer. Math. Soc. 364 (2012), 551-569
• View Publication
• BIB
Let $P$ be a polytope with rational vertices. A classical theorem of Ehrhart states that the number of lattice points in the dilations $P(n) = nP$ is a quasi-polynomial in $n$. We generalize this theorem by allowing the vertices of P(n) to be arbitrary rational functions in $n$. In this case we prove that the number of lattice points in P(n) is a quasi-polynomial for $n$ sufficiently large. Our work was motivated by a conjecture of Ehrhart on the number of solutions to parametrized linear Diophantine equations whose coefficients are polynomials in $n$, and we explain how these two problems are related.
Sum-integral interpolators and the Euler-Maclaurin formula for polytopes
Published
• View Publication
• BIB
A local lattice point counting formula, and more generally a local Euler-Maclaurin formula follow by comparing two natural families of meromorphic functions on the dual of a rational vector space $V$, namely the family of exponential sums (S) and the family of exponential integrals (I) parametrized by the set of rational polytopes in $V$. The paper introduces the notion of an interpolator between these two families of meromorphic functions. We prove that every rigid complement map in $V$ gives rise to an effectively computable \SI-interpolator (and a local Euler-MacLaurin formula), an \IS-interpolator (and a reverse local Euler-MacLaurin formula) and an \ISo-interpolator. Rigid complement maps can be constructed by choosing an inner product on $V$ or by choosing a complete flag in $V$. The corresponding interpolators generalize and unify the work of Berline-Vergne, Pommersheim-Thomas, and Morelli.
The boundary volume of a lattice polytope
Published in Bulletin of the Australian Mathematical Society, 85 (2012), 84-104
• View Publication
• BIB
For a d-dimensional convex lattice polytope P, a formula for the boundary volume is derived in terms of the number of boundary lattice points on the first $\floor{d/2}$ dilations of P. As an application we give a necessary and sufficient condition for a polytope to be reflexive, and derive formulae for the f-vector of a smooth polytope in dimensions 3, 4, and 5. We also give applications to reflexive order polytopes, and to the Birkhoff polytope.
Linear equations for the number of intervals which are isomorphic with Boolean lattices and the Dehn--Sommerville equations
Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings.
The surface of a lattice polytope
My main results are simple formulas for the surface area of d-dimensional lattice polytopes using Ehrhart theory.
A remark on asymptotic enumeration of highest weights in tensor powers of a representation
Published in Bulletin of the Iranian Mathematical Society. Vol. 41, No. 3 (2015), p. 639-646
• Search Publication
We consider the semigroup S of highest weights appearing in tensor powers V^k of a finite dimensional representation V of a connected reductive group. We describe the cone generated by S as the cone over the weight polytope of V intersected with the positive Weyl chamber. From this we get a description for the asymptotic of the number of highest weights appearing in V^k in terms of the volume of this polytope.