polytope ↗ reference
3077 papers tagged with this keyword
Toric ideals of homogeneous phylogenetic models
Published in Proceedings of the 2004 international symposium on symbolic and algebraic computation
• View Publication
• BIB
We consider the phylogenetic tree model in which every node of the tree is observed and binary and the transitions are given by the same matrix on each edge of the tree. We are able to compute the Grobner basis and Markov basis of the toric ideal of invariants for trees with up to 11 nodes. These are perhaps the first non-trivial Grobner bases calculations in 2^11 indeterminates. We conjecture that there is a quadratic Grobner basis for binary trees. Finally, we give a explicit description of the polytope associated to this toric ideal for an infinite family of binary trees and conjecture that there is a universal bound on the number of vertices of this polytope for binary trees.
Adjacency method for extreme Delaunay polytopes
The {\em hypermetric cone} is defined as the cone of semimetrics satisfying the {\em hypermetric inequalities}. Every {\em Delaunay polytope} corresponds to a ray of this polyhedral cone. The Delaunay polytopes, which correspond to extreme rays are called {\em extreme}.
We use this polyhedral cone and the {\em closest vector problem} to present a new technique that allow to find, from a given extreme Delaunay polytope, some new ones.
Then, we show some examples of applications of this technique in low-dimensions.
Metric combinatorics of convex polyhedra: cut loci and nonoverlapping unfoldings
Published
• View Publication
• BIB
This paper is a study of the interaction between the combinatorics of boundaries of convex polytopes in arbitrary dimension and their metric geometry.
Let S be the boundary of a convex polytope of dimension d+1, or more generally let S be a `convex polyhedral pseudomanifold'. We prove that S has a polyhedral nonoverlapping unfolding into R^d, so the metric space S is obtained from a closed (usually nonconvex) polyhedral ball in R^d by identifying pairs of boundary faces isometrically. Our existence proof exploits geodesic flow away from a source point v in S, which is the exponential map to S from the tangent space at v. We characterize the `cut locus' (the closure of the set of points in S with more than one shortest path to v) as a polyhedral complex in terms of Voronoi diagrams on facets. Analyzing infinitesimal expansion of the wavefront consisting of points at constant distance from v on S produces an algorithmic method for constructing Voronoi diagrams in each facet, and hence the unfolding of S. The algorithm, for which we provide pseudocode, solves the discrete geodesic problem. Its main construction generalizes the source unfolding for boundaries of 3-polytopes into R^2. We present conjectures concerning the number of shortest paths on the boundaries of convex polyhedra, and concerning continuous unfolding of convex polyhedra. We also comment on the intrinsic non-polynomial complexity of nonconvex polyhedral manifolds.
Convex Geometry of Orbits
Published
• View Publication
• BIB
We study metric properties of convex bodies B and their polars B^o, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics (G=S_n, the symmetric group), the set of non-negative polynomials in real algebraic geometry (G=SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G=SO(n), but with a different action). We compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, give a reasonably tight estimate for the radius of the Euclidean ball containing the unit comass ball and review (sometimes with simpler and unified proofs) recent results on the structure of the set of non-negative polynomials (the radius of the inscribed ball, volume estimates, and relations to the sums of squares). Our main tool is a new simple description of the ellipsoid of the largest volume contained in B^o.
Flag vectors of multiplicial polytopes
Published
• View Publication
• BIB
Bisztriczky introduced the multiplex as a generalization of the simplex. A polytope is multiplicial if all its faces are multiplexes. In this paper it is proved that the flag vectors of multiplicial polytopes depend only on their face vectors. A special class of multiplicial polytopes, also discovered by Bisztriczky, is comprised of the ordinary polytopes. These are a natural generalization of the cyclic polytopes. The flag vectors of ordinary polytopes are determined. This is used to give a surprisingly simple formula for the h-vector of the ordinary d-polytope with n+1 vertices and characteristic k: h_i=binom{k-d+i}{i}+(n-k)binom{k-d+i-1}{i-1}, for i at most d/2. In addition, a construction is given for 4-dimensional multiplicial polytopes having two-thirds of their vertices on a single facet, answering a question of Bisztriczky.
Polar decomposition and Brion's theorem
Published
• View Publication
• BIB
In this note we point out the relation between Brion's formula for the lattice point generating function of a convex polytope in terms of the vertex cones [Brion1988] on the one hand, and the polar decomposition à la Lawrence/Varchenko [Lawrence1991, Varchenko1987] on the other.
We then go on to prove a version of polar decomposition for non-simple polytopes.
Tropical Halfspaces
Published
• View Publication
• BIB
As a new concept tropical halfspaces are introduced to the (linear algebraic) geometry of the tropical semiring (R,min,+). This yields exterior descriptions of the tropical polytopes that were recently studied by Develin and Sturmfels in a variety of contexts. The key tool to the understanding is a newly defined sign of the tropical determinant, which shares remarkably many properties with the ordinary sign of the determinant of a matrix. The methods are used to obtain an optimal tropical convex hull algorithm in two dimensions.
Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley
Published
• View Publication
• BIB
It is proved that a certain symmetric sequence of nonnegative integers arising in the enumeration of magic squares of given size n by row sums or, equivalently, in the generating function of the Ehrhart polynomial of the polytope of doubly stochastic n by n matrices, is equal to the h-vector of a simplicial polytope and hence that it satisfies the conditions of the g-theorem. The unimodality of this sequance, which follows, was conjectured by Stanley (1983). Several generalizations are given.
Low-dimensional faces of random 0/1-polytopes
Published
• View Publication
• BIB
Let P be a random $d$-dimensional 0/1-polytope with $n(d)$ vertices, and denote by $φ_k(P)$ the \emph{$k$-face density} of $P$, i.e., the quotient of the number of $k$-dimensional faces of $P$ and $\binom{n(d)}{k+1}$. For each $k\ge 2$, we establish the existence of a sharp threshold for the $k$-face density and determine the values of the threshold numbers $τ_k$ such that, for all $ε>0$, $$ E(φ_k(P)) = \begin{cases} 1-o(1) & \text{if $n(d)\le 2^{(τ_k-ε)d}$ for all $d$} o(1) & \text{if $n(d)\ge 2^{(τ_k+ε)d}$ for all $d$} \end{cases} $$ holds for the expected value of $φ_k(P)$. The threshold for $k=1$ has recently been determined in \texttt{math.CO/0306246}. In particular, these results indicate that the high face densities often encountered in polyhedral combinatorics (e.g., for the cut-polytopes of complete graphs) should be considered more as a phenomenon of the general geometry of 0/1-polytopes than as a feature of the special combinatorics of the underlying problems.
Toric Fano 3-folds with terminal singularities
Published in Tohoku Math. J. (2) 58 (2006), no. 1, 101-121
• View Publication
• BIB
This paper classifies all toric Fano 3-folds with terminal singularities. This is achieved by solving the equivalent combinatoric problem; that of finding, up to the action of GL(3,Z), all convex polytopes in Z^3 which contain the origin as the only non-vertex lattice point.
M-partitions: Optimal partitions of weight for one scale pan
An M-partition of a positive integer m is a partition with as few parts as possible such that any positive integer less than m has a partition made up of parts taken from that partition of m. This is equivalent to partitioning a weight m so as to be able to weigh any integer weight l < m with as few weights as possible and only one scale pan.
We show that the number of parts of an M-partition is a log-linear function of m and the M-partitions of m correspond to lattice points in a polytope. We exhibit a recurrence relation for counting the number of M-partitions of m and, for ``half'' of the positive integers, this recurrence relation will have a generating function. The generating function will be, in some sense, the same as the generating function for counting the number of distinct binary partitions for a given integer.
Radii minimal projections of polytopes and constrained optimization of symmetric polynomials
Published
• View Publication
• BIB
We provide a characterization of the radii minimal projections of polytopes onto $j$-dimensional subspaces in Euclidean space $\E^n$. Applied on simplices this characterization allows to reduce the computation of an outer radius to a computation in the circumscribing case or to the computation of an outer radius of a lower-dimensional simplex. In the second part of the paper, we use this characterization to determine the sequence of outer $(n-1)$-radii of regular simplices (which are the radii of smallest enclosing cylinders). This settles a question which arose from the incidence that a paper by Weißbach (1983) on this determination was erroneous. In the proof, we first reduce the problem to a constrained optimization problem of symmetric polynomials and then to an optimization problem in a fixed number of variables with additional integer constraints.
The Classification of Rank 4 Locally Projective Polytopes and Their Quotients
This article announces the completion of the classification of rank 4 locally projective polytopes and their quotients. There are seventeen universal locally projective polytopes (nine nondegenerate). Amongst their 441 quotients are a further four (nonuniversal) regular polytopes, and 152 nonregular but section regular polytopes. All 156 of the latter have hemidodecahedral facets or hemi-icosahedral vertex figures. It is noted that, remarkably, every rank 4 locally projective section regular polytope is finite. The article gives a survey of the literature of locally projective polytopes and their quotients, and fills one small gap in the classification in rank 4.
Construction techniques for cubical complexes, odd cubical 4-polytopes, and prescribed dual manifolds
Published
• View Publication
• BIB
We provide a number of new construction techniques for cubical complexes and cubical polytopes, and thus for cubifications (hexahedral mesh generation). As an application we obtain an instance of a cubical 4-polytope that has a non-orientable dual manifold (a Klein bottle). This confirms an existence conjecture of Hetyei (1995).
More systematically, we prove that every normal crossing codimension one immersion of a compact 2-manifold into R^3 PL-equivalent to a dual manifold immersion of a cubical 4-polytope. As an instance we obtain a cubical 4-polytope with a cubation of Boy's surface as a dual manifold immersion, and with an odd number of facets. Our explicit example has 17 718 vertices and 16 533 facets. Thus we get a parity changing operation for 3-dimensional cubical complexes (hexa meshes); this solves problems of Eppstein, Thurston, and others.
The Minimum Period of the Ehrhart Quasi-polynomial of a Rational Polytope
Published
• View Publication
• BIB
If $P\subset \R^d$ is a rational polytope, then $i_P(n):=#(nP\cap \Z^d)$ is a quasi-polynomial in $n$, called the Ehrhart quasi-polynomial of $P$. The period of $i_P(n)$ must divide $\LL(P)= \min \{n \in \Z_{> 0} \colon nP \text{is an integral polytope}\}$. Few examples are known where the period is not exactly $\LL(P)$. We show that for any $\LL$, there is a 2-dimensional triangle $P$ such that $\LL(P)=\LL$ but such that the period of $i_P(n)$ is 1, that is, $i_P(n)$ is a polynomial in $n$. We also characterize all polygons $P$ such that $i_P(n)$ is a polynomial. In addition, we provide a counterexample to a conjecture by T. Zaslavsky about the periods of the coefficients of the Ehrhart quasi-polynomial.
Lower bounds for simplicial covers and triangulations of cubes
Published in Discrete Comput. Geom. 33 (2005), 669--686
• View Publication
• BIB
We show that the size of a minimal simplicial cover of a polytope $P$ is a lower bound for the size of a minimal triangulation of $P$, including ones with extra vertices. We then use this fact to study minimal triangulations of cubes, and we improve lower bounds for covers and triangulations in dimensions 4 through at least 12 (and possibly more dimensions as well). Important ingredients are an analysis of the number of exterior faces that a simplex in the cube can have of a specified dimension and volume, and a characterization of corner simplices in terms of their exterior faces.
The cd-index of Bruhat intervals
Published
• View Publication
• BIB
We study flag enumeration in intervals in the Bruhat order on a Coxeter group by means of a structural recursion on intervals in the Bruhat order. The recursion gives the isomorphism type of a Bruhat interval in terms of smaller intervals, using basic geometric operations which preserve PL sphericity and have a simple effect on the cd-index. This leads to a new proof that Bruhat intervals are PL spheres as well a recursive formula for the cd-index of a Bruhat interval. This recursive formula is used to prove that the cd-indices of Bruhat intervals span the space of cd-polynomials.
The structural recursion leads to a conjecture that Bruhat spheres are "smaller" than polytopes. More precisely, we conjecture that if one fixes the lengths of x and y, then the cd-index of a certain dual stacked polytope is a coefficientwise upper bound on the cd-indices of Bruhat intervals [x,y]. We show that this upper bound would be tight by constructing Bruhat intervals which are the face lattices of these dual stacked polytopes. As a weakening of a special case of the conjecture, we show that the flag h-vectors of lower Bruhat intervals are bounded above by the flag h-vectors of Boolean algebras (i.e. simplices).
The Simplex Algorithm in Dimension Three
Published
• View Publication
• BIB
We investigate the worst-case behavior of the simplex algorithm on linear programs with three variables, that is, on 3-dimensional simple polytopes. Among the pivot rules that we consider, the ``random edge'' rule yields the best asymptotic behavior as well as the most complicated analysis. All other rules turn out to be much easier to study, but also produce worse results: Most of them show essentially worst-possible behavior; this includes both Kalai's ``random-facet'' rule, which without dimension restriction is known to be subexponential, as well as Zadeh's deterministic history dependent rule, for which no non-polynomial instances in general dimensions have been found so far.
Vertices of Gelfand-Tsetlin Polytopes
Published
• View Publication
• BIB
This paper is a study of the polyhedral geometry of Gelfand-Tsetlin patterns arising in the representation theory $\mathfrak{gl}_n \C$ and algebraic combinatorics. We present a combinatorial characterization of the vertices and a method to calculate the dimension of the lowest-dimensional face containing a given Gelfand-Tsetlin pattern.
As an application, we disprove a conjecture of Berenstein and Kirillov about the integrality of all vertices of the Gelfand-Tsetlin polytopes. We can construct for each $n\geq5$ a counterexample, with arbitrarily increasing denominators as $n$ grows, of a non-integral vertex. This is the first infinite family of non-integral polyhedra for which the Ehrhart counting function is still a polynomial. We also derive a bound on the denominators for the non-integral vertices when $n$ is fixed.
Inside-Out Polytopes
Published in Advances in Mathematics, 205 (2006), no. 1, 134-162
• View Publication
• BIB
We present a common generalization of counting lattice points in rational polytopes and the enumeration of proper graph colorings, nowhere-zero flows on graphs, magic squares and graphs, antimagic squares and graphs, compositions of an integer whose parts are partially distinct, and generalized latin squares. Our method is to generalize Ehrhart's theory of lattice-point counting to a convex polytope dissected by a hyperplane arrangement. We particularly develop the applications to graph and signed-graph coloring, compositions of an integer, and antimagic labellings.