@misc{GroetschelHenk, author = {Gr{\"o}tschel, Martin and Henk, Martin}, title = {On the Representation of Polyhedra by Polynomial Inequalities}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-6826}, number = {02-15}, abstract = {A beautiful result of Br{\"o}cker and Scheiderer on the stability index of basic closed semi-algebraic sets implies, as a very special case, that every \$d\$-dimensional polyhedron admits a representation as the set of solutions of at most \$d(d+1)/2\$ polynomial inequalities. Even in this polyhedral case, however, no constructive proof is known, even if the quadratic upper bound is replaced by any bound depending only on the dimension. Here we give, for simple polytopes, an explicit construction of polynomials describing such a polytope. The number of used polynomials is exponential in the dimension, but in the 2- and 3-dimensional case we get the expected number \$d(d+1)/2\$.}, language = {en} } @misc{BosseGroetschelHenk, author = {Bosse, Hartwig and Gr{\"o}tschel, Martin and Henk, Martin}, title = {Polynomial Inequalities Representing Polyhedra}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8284}, number = {04-53}, abstract = {Our main result is that every \$n\$-dimensional polytope can be described by at most \$2n-1\$ polynomial inequalities and, moreover, these polynomials can explicitly be constructed. For an \$n\$-dimensional pointed polyhedral cone we prove the bound \$2n-2\$ and for arbitrary polyhedra we get a constructible representation by \$2n\$ polynomial inequalities.}, language = {en} } @misc{BosseGroetschelHenk, author = {Bosse, Hartwig and Gr{\"o}tschel, Martin and Henk, Martin}, title = {Polynomial Inequalities Representing Polyhedra}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7473}, number = {03-25}, abstract = {Our main result is that every n-dimensional polytope can be described by at most (2n-1) polynomial inequalities and, moreover, these polynomials can explicitly be constructed. For an n-dimensional pointed polyhedral cone we prove the bound 2n-2 and for arbitrary polyhedra we get a constructible representation by 2n polynomial inequalities.}, language = {en} } @misc{BrunsGubeladzeHenketal., author = {Bruns, Winfried and Gubeladze, Joseph and Henk, Martin and Martin, Alexander and Weismantel, Robert}, title = {A counterexample to an integer analogue of Caratheodorys theorem}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-3718}, number = {SC-98-28}, abstract = {For \$n\geq 6\$ we provide a counterexample to the conjecture that every integral vector of a \$n\$-dimensional integral polyhedral pointed cone \$C\$ can be written as a nonnegative integral combination of at most \$n\$ elements of the Hilbert basis of \$C\$. In fact, we show that in general at least \$\lfloor 7/6 \cdot n \rfloor\$ elements of the Hilbert basis are needed.}, language = {en} } @article{BosseGroetschelHenk2005, author = {Bosse, Hartwig and Gr{\"o}tschel, Martin and Henk, Martin}, title = {Polynomial inequalities representing polyhedra}, series = {Mathematical Programming}, volume = {103}, journal = {Mathematical Programming}, number = {1}, doi = {10.1007/s10107-004-0563-2}, pages = {35 -- 44}, year = {2005}, language = {en} } @article{GroetschelHenk2003, author = {Gr{\"o}tschel, Martin and Henk, Martin}, title = {The Representation of Polyhedra by Polynomial Inequalities}, series = {Discrete \& Computational Geometry}, volume = {29}, journal = {Discrete \& Computational Geometry}, number = {4}, doi = {10.1007/s00454-003-0782-y}, pages = {485 -- 504}, year = {2003}, language = {en} } @misc{HenkWeismantel, author = {Henk, Martin and Weismantel, Robert}, title = {Test sets of the knapsack problem and simultaneous diophantine approximation}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-2825}, number = {SC-97-13}, abstract = {This paper deals with the study of test sets of the knapsack problem and simultaneous diophantine approximation. The Graver test set of the knapsack problem can be derived from minimal integral solutions of linear diophantine equations. We present best possible inequalities that must be satisfied by all minimal integral solutions of a linear diophantine equation and prove that for the corresponding cone the integer analogue of Caratheodory's theorem applies when the numbers are divisible. We show that the elements of the minimal Hilbert basis of the dual cone of all minimal integral solutions of a linear diophantine equation yield best approximations of a rational vector ``from above''. A recursive algorithm for computing this Hilbert basis is discussed. We also outline an algorithm for determining a Hilbert basis of a family of cones associated with the knapsack problem.}, language = {en} } @misc{BoeroeczkyHenk, author = {B{\"o}r{\"o}czky, Karoly and Henk, Martin}, title = {Random Projections of Regular Polytopes}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-2903}, number = {SC-97-21}, abstract = {Based on an approach of Affentranger\&Schneider we give an asymptotic formula for the expected number of \$k\$-faces of the orthogonal projection of a regular \$n\$-crosspolytope onto a randomly chosen isotopic subspace of fixed dimension, as \$n\$ tends to infinity. In particular, we present a precise asymptotic formula for the (spherical) volume of spherical regular simplices, which generalizes Daniel's formula.}, language = {en} } @misc{DaisHenk, author = {Dais, Dimitrios I. and Henk, Martin}, title = {On a series of Gorenstein cyclic quotient singularities admitting a unique projective crepant resolution.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-3084}, number = {SC-97-39}, abstract = {Let \$G\$ be a finite subgroup of SL\$\left( r,\% {\mathbb{C}}\right) \$. In dimensions \$r=2\$ and \$r=3\$, McKay correspondence provides a natural bijection between the set of irreducible representations of \$G\$ and a cohomology-ring basis of the overlying space of a projective, crepant desingularization of \${\mathbb{C}}^r/G\$. For \$r=2\$ this desingularization is unique and is known to be determined by the Hilbert scheme of the \$G\$\% -orbits. Similar statements (including a method of distinguishing just {\it{one}} among all possible smooth minimal models of \${\mathbb{C}}^3/G\$), are very probably true for all \$G\$'s \$\subset \$ SL\$\left( 3,{\mathbb{C}}\right) \$ too, and recent Hilbert-scheme-techniques due to Ito, Nakamura and Reid, are expected to lead to a new fascinating uniform theory. For dimensions \$r\geq 4 \$, however, to apply analogous techniques one needs extra modifications. In addition, minimal models of \${\mathbb{C}}^r/G\$ are smooth only under special circumstances. \${\mathbb{C}}^4/\left( \hbox{\rm involution}\right) \$, for instance, cannot have any smooth minimal model. On the other hand, all abelian quotient spaces which are c.i.'s can always be fully resolved by torus-equivariant, crepant, projective morphisms. Hence, from the very beginning, the question whether a given Gorenstein quotient space \${\mathbb{C}}\% ^r/G\$, \$r\geq 4\$, admits special desingularizations of this kind, seems to be absolutely crucial.\noindent In the present paper, after a brief introduction to the existence-problem of such desingularizations (for abelian \$G\$'s) from the point of view of toric geometry, we prove that the Gorenstein cyclic quotient singularities of type \[ \frac 1l\,\left( 1,\ldots ,1,l-\left( r-1\right) \right) \] with \$l\geq r\geq 2\$, have a \textit{unique }torus-equivariant projective, crepant, partial resolution, which is full'' iff either \$l\equiv 0\$ mod \$\% \left( r-1\right) \$ or \$l\equiv 1\$ mod \$\left( r-1\right) \$. As it turns out, if one of these two conditions is fulfilled, then the exceptional locus of the full desingularization consists of \$\lfloor\frac{l}{r-1} \rfloor \$ prime divisors, \$\lfloor\frac{l}{r-1} \rfloor -1\$ of which are isomorphic to the total spaces of \${\mathbb{P}}_{{\mathbb{C}}}^1\$-bundles over \${\mathbb{P}}_{{\mathbb{C}}\% }^{r-2}\$. Moreover, it is shown that intersection numbers are computable explicitly and that the resolution morphism can be viewed as a composite of successive (normalized) blow-ups. Obviously, the monoparametrized singularity-series of the above type contains (as its first member'') the well-known Gorenstein singularity defined by the origin of the affine cone which lies over the \$r\$-tuple Veronese embedding of \${\mathbb{P}}_{\mathbb{C}}^{r-1}\$.}, language = {en} } @misc{DaisHenkZiegler, author = {Dais, Dimitrios I. and Henk, Martin and Ziegler, G{\"u}nter M.}, title = {All Abelian Quotient C.I.-Singularities Admit Projective Crepant Resolutions in All Dimensions}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-2708}, number = {SC-97-01}, abstract = {\def\Bbb{\mathbb} For Gorenstein quotient spaces \$\Bbb{C}^d/G\$, a direct generalization of the classical McKay correspondence in dimensions \$d\geq 4\$ would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstein abelian quotient singularities, which are embeddable as complete intersections of hypersurfaces in an affine space, have torus-equivariant projective crepant resolutions in all dimensions. We use techniques from toric and discrete geometry.}, language = {en} }