Results 1  10
of
21
polymake: a Framework for Analyzing Convex Polytopes
, 1999
"... polymake is a software tool designed for the algorithmic treatment of polytopes and polyhedra. We give an overview of the functionality as well as of the structure. This paper can be seen as a first approximation to a polymake handbook. The tutorial starts with the very basics and ends up with a few ..."
Abstract

Cited by 93 (15 self)
 Add to MetaCart
polymake is a software tool designed for the algorithmic treatment of polytopes and polyhedra. We give an overview of the functionality as well as of the structure. This paper can be seen as a first approximation to a polymake handbook. The tutorial starts with the very basics and ends up with a few polymake applications to research problems. Then we present the main features of the system including the interfaces to other software products. polymake is free software; it is available on the Internet at http://www.math.tuberlin.de/diskregeom/polymake/.
How good are convex hull algorithms?
, 1996
"... A convex polytope P can be speci ed in two ways: as the convex hull of the vertex set V of P, or as the intersection of the set H of its facetinducing halfspaces. The vertex enumeration problem is to compute V from H. The facet enumeration problem it to compute H from V. These two problems are esse ..."
Abstract

Cited by 81 (8 self)
 Add to MetaCart
A convex polytope P can be speci ed in two ways: as the convex hull of the vertex set V of P, or as the intersection of the set H of its facetinducing halfspaces. The vertex enumeration problem is to compute V from H. The facet enumeration problem it to compute H from V. These two problems are essentially equivalent under point/hyperplane duality. They are among the central computational problems in the theory of polytopes. It is open whether they can be solved in time polynomial in jHj + jVj. In this paper we consider the main known classes of algorithms for solving these problems. We argue that they all have at least one of two weaknesses: inability todealwell with "degeneracies," or, inability tocontrol the sizes of intermediate results. We then introduce families of polytopes that exercise those weaknesses. Roughly speaking, fatlattice or intricate polytopes cause algorithms with bad degeneracy handling to perform badly; dwarfed polytopes cause algorithms with bad intermediate size control to perform badly. We also present computational experience with trying to solve these problem on these hard polytopes, using various implementations of the main algorithms.
On skeletons, diameters and volumes of metric polyhedra
 Combinatorics and Computer Science, Lecture
"... Abstract. We survey and present new geometric and combinatorial propertiez of some polyhedra with application in combinatorial optimization, for example, the maxcut and multicommodity flow problems. Namely we consider the volume, symmetry group, facets, vertices, face lattice, diameter, adjacency a ..."
Abstract

Cited by 15 (10 self)
 Add to MetaCart
Abstract. We survey and present new geometric and combinatorial propertiez of some polyhedra with application in combinatorial optimization, for example, the maxcut and multicommodity flow problems. Namely we consider the volume, symmetry group, facets, vertices, face lattice, diameter, adjacency and incidence relm:ons and connectivity of the metric polytope and its relatives. In partic~dar, using its large symmetry group, we completely describe all the 13 o:bits which form the 275 840 vertices of the 21dimensional metric polytope on 7 nodes and their incidence and adjacency relations. The edge connectivity, the/skeletons and a lifting procedure valid for a large class of vertices of the metric polytope are also given. Finally, we present an ordering of the facets of a polytope, based on their adjacency relations, for the enumeration of its vertices by the double description method. 1
Monotonicity of the cdIndex for Polytopes
 MATH. Z
, 1998
"... We prove that the cdindex of a convex polytope satisfies a strong monotonicity property with respect to the cdindices of any face and its link. As a consequence, we prove for ddimensional polytopes a conjecture of Stanley that the cdindex is minimized on the d dimensional simplex. Moreover, ..."
Abstract

Cited by 15 (11 self)
 Add to MetaCart
We prove that the cdindex of a convex polytope satisfies a strong monotonicity property with respect to the cdindices of any face and its link. As a consequence, we prove for ddimensional polytopes a conjecture of Stanley that the cdindex is minimized on the d dimensional simplex. Moreover, we prove the upper bound theorem for the cdindex, namely that the cdindex of any ddimensional polytope with n vertices is at most that of C(n; d), the ddimensional cyclic polytope with n vertices.
BASIC PROPERTIES OF CONVEX POLYTOPES
, 1997
"... Convex polytopes are fundamental geometric objects that have been investigated since antiquity. The beauty of their theory is nowadays complemented by their importance for many other mathematical subjects, ranging from integration theory, algebraic topology, and algebraic geometry (toric varieties) ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
Convex polytopes are fundamental geometric objects that have been investigated since antiquity. The beauty of their theory is nowadays complemented by their importance for many other mathematical subjects, ranging from integration theory, algebraic topology, and algebraic geometry (toric varieties) to linear and combinatorial
Real quadrics in C n , complex manifolds and convex polytopes
"... dedicated to Alberto Verjovsky on his 60 th birthday Abstract. In this paper, we investigate the topology of a class of nonKähler compact complex manifolds generalizing that of Hopf and CalabiEckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics in C n which are ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
dedicated to Alberto Verjovsky on his 60 th birthday Abstract. In this paper, we investigate the topology of a class of nonKähler compact complex manifolds generalizing that of Hopf and CalabiEckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics in C n which are invariant with respect to the natural action of the real torus (S 1) n onto C n. The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wallcrossing problem by introducing holomorphic equivariant elementary surgeries related to some transformations of the simple convex polytope. Finally, as a nice consequence, we obtain that affine non Kähler compact complex manifolds can have arbitrary amount of torsion in their homology groups, contrasting with the Kähler situation.
Face Numbers of 4Polytopes and 3Spheres
 Proceedings of the international congress of mathematicians, ICM 2002
, 2002
"... Steinitz (1906) gave a remarkably simple and explicit description of the set of all fvectors f(P ) = (f0 , f1 , f2) of all 3dimensional convex polytopes. His result also identifies the simple and the simplicial 3dimensional polytopes as the only extreme cases. Moreover, it can be extended to s ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
Steinitz (1906) gave a remarkably simple and explicit description of the set of all fvectors f(P ) = (f0 , f1 , f2) of all 3dimensional convex polytopes. His result also identifies the simple and the simplicial 3dimensional polytopes as the only extreme cases. Moreover, it can be extended to strongly regular CW 2spheres (topological objects), and further to Eulerian lattices of length 4 (combinatorial objects).
Polytope Skeletons And Paths
 Handbook of Discrete and Computational Geometry (Second Edition ), chapter 20
"... INTRODUCTION The kdimensional skeleton of a dpolytope P is the set of all faces of the polytope of dimension at most k. The 1skeleton of P is called the graph of P and denoted by G(P ). G(P ) can be regarded as an abstract graph whose vertices are the vertices of P , with two vertices adjacent i ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
INTRODUCTION The kdimensional skeleton of a dpolytope P is the set of all faces of the polytope of dimension at most k. The 1skeleton of P is called the graph of P and denoted by G(P ). G(P ) can be regarded as an abstract graph whose vertices are the vertices of P , with two vertices adjacent if they form the endpoints of an edge of P . In this chapter, we will describe results and problems concerning graphs and skeletons of polytopes. In Section 17.1 we briefly describe the situation for 3polytopes. In Section 17.2 we consider general properties of polytopal graphs subgraphs and induced subgraphs, connectivity and separation, expansion, and other properties. In Section 17.3 we discuss problems related to diameters of polytopal graphs in connection with the simplex algorithm and t
Cyclic polytopes and oriented matroids
 European J. Combin
, 1987
"... Consider the moment curve in the real Euclidean space R d defined parametrically by the map γ: R → R d, t ↦ → γ(t) =(t, t 2,...,t d). The cyclic dpolytope Cd(t1,...,tn) is the convex hull of the n, n> d, different points on this curve. The matroidal analogues are the alternating oriented uniform ma ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Consider the moment curve in the real Euclidean space R d defined parametrically by the map γ: R → R d, t ↦ → γ(t) =(t, t 2,...,t d). The cyclic dpolytope Cd(t1,...,tn) is the convex hull of the n, n> d, different points on this curve. The matroidal analogues are the alternating oriented uniform matroids. A polytope [resp. matroid polytope] is called cyclic if its face lattice is isomorphic to that of Cd(t1,...,tn). We give combinatorial and geometrical characterizations of cyclic [matroid] polytopes. A simple evenness criterion determining the facets of Cd(t1,...,tn) was given by David Gale. We characterize the admissible orderings of the vertices of the cyclic polytope, i.e., those linear orderings of the vertices for which Gale’s evenness criterion holds. Proofs give a systematic account on an oriented matroid approach to cyclic polytopes. ∗ 1991 Mathematics Subject Classification: Primary 05B35, 52A25. Keywords: Cyclic [matroid] polytopes, neighborly polytopes, simplicial polytopes, moment curves, dth cyclic curves, dth order curves, Gale evenness criterion, admissible orderings, oriented matroids, alternating [oriented] uniform matroids, inseparability graphs.