Showing 51–85 of 85 results for author: Ziegler, G M

Non-rational configurations, polytopes, and surfaces

Authors: Günter M. Ziegler

Abstract: It is an amazing and a bit counter-intuitive discovery by Micha Perles from the sixties that there are ``non-rational polytopes'': combinatorial types of convex polytopes that cannot be realized with rational vertex coordinates. We describe a simple construction of non-rational polytopes that does not need duality (Perles' ``Gale diagrams''): It starts from a non-rational point configuration i… ▽ More It is an amazing and a bit counter-intuitive discovery by Micha Perles from the sixties that there are ``non-rational polytopes'': combinatorial types of convex polytopes that cannot be realized with rational vertex coordinates. We describe a simple construction of non-rational polytopes that does not need duality (Perles' ``Gale diagrams''): It starts from a non-rational point configuration in the plane, and proceeds with so-called Lawrence extensions. We also show that there are non-rational polyhedral surfaces in 3-space, a discovery by Ulrich Brehm from 1997. His construction also starts from any non-rational point configuration in the plane, and then performs what one should call Brehm extensions, in order to obtain non-rational partial surfaces. These examples and objects are first mile stones on the way to the remarkable "universality theorems'' for polytopes and for polyhedral surfaces by Mnëv (1986), Richter-Gebert (1994), and Brehm (1997). △ Less

Submitted 16 November, 2007; v1 submitted 24 October, 2007; originally announced October 2007.

Comments: 10 pages, several figures; minor revisions, for publication in Math. Intelligencer

MSC Class: 52-01

Zonotopes With Large 2D Cuts

Authors: Thilo Rörig, Nikolaus Witte, Günter M. Ziegler

Abstract: There are d-dimensional zonotopes with n zones for which a 2-dimensional central section has Ω(n^{d-1}) vertices. For d=3 this was known, with examples provided by the "Ukrainian easter eggs'' by Eppstein et al. Our result is asymptotically optimal for all fixed d>=2. There are d-dimensional zonotopes with n zones for which a 2-dimensional central section has Ω(n^{d-1}) vertices. For d=3 this was known, with examples provided by the "Ukrainian easter eggs'' by Eppstein et al. Our result is asymptotically optimal for all fixed d>=2. △ Less

Submitted 3 June, 2008; v1 submitted 16 October, 2007; originally announced October 2007.

Comments: minor changes; 14 pages, 7 figures; to appear in Discrete and Computational Geometry

MSC Class: 52B05; 52B11; 52B12; 52C35; 52C40

Construction and Analysis of Projected Deformed Products

Authors: Raman Sanyal, Günter M. Ziegler

Abstract: We introduce a deformed product construction for simple polytopes in terms of lower-triangular block matrix representations. We further show how Gale duality can be employed for the construction and for the analysis of deformed products such that specified faces (e.g. all the k-faces) are ``strictly preserved'' under projection. Thus, starting from an arbitrary neighborly simplicial (d-2)-polyto… ▽ More We introduce a deformed product construction for simple polytopes in terms of lower-triangular block matrix representations. We further show how Gale duality can be employed for the construction and for the analysis of deformed products such that specified faces (e.g. all the k-faces) are ``strictly preserved'' under projection. Thus, starting from an arbitrary neighborly simplicial (d-2)-polytope Q on n-1 vertices we construct a deformed n-cube, whose projection to the last dcoordinates yields a neighborly cubical d-polytope. As an extension of thecubical case, we construct matrix representations of deformed products of(even) polygons (DPPs), which have a projection to d-space that retains the complete (\lfloor \tfrac{d}{2} \rfloor - 1)-skeleton. In both cases the combinatorial structure of the images under projection is completely determined by the neighborly polytope Q: Our analysis provides explicit combinatorial descriptions. This yields a multitude of combinatorially different neighborly cubical polytopes and DPPs. As a special case, we obtain simplified descriptions of the neighborly cubical polytopes of Joswig & Ziegler (2000) as well as of the ``projected deformed products of polygons'' that were announced by Ziegler (2004), a family of 4-polytopes whose ``fatness'' gets arbitrarily close to 9. △ Less

Submitted 11 October, 2007; originally announced October 2007.

Comments: 20 pages, 5 figures

MSC Class: 52B11 (Primary) 52B35; 52B05 (Secondary)

Journal ref: Discrete Comput. Geom. 43 (2010), no. 2, 412-435

Combinatorial Stokes formulas via minimal resolutions

Authors: Bernhard Hanke, Raman Sanyal, Carsten Schultz, Günter M. Ziegler

Abstract: We describe an explicit chain map from the standard resolution to the minimal resolution for the finite cyclic group Z_k of order k. We then demonstrate how such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn implies "Dold's theorem" that there is no equivariant map from an n-connected to an n-dimensional free Z_k-complex. Thus we build a combinatorial access road to p… ▽ More We describe an explicit chain map from the standard resolution to the minimal resolution for the finite cyclic group Z_k of order k. We then demonstrate how such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn implies "Dold's theorem" that there is no equivariant map from an n-connected to an n-dimensional free Z_k-complex. Thus we build a combinatorial access road to problems in combinatorics and discrete geometry that have previously been treated with methods from equivariant topology. The special case k=2 for this is classical; it involves Tucker's (1949) combinatorial lemma which implies the Borsuk-Ulam theorem, its proof via chain complexes by Lefschetz (1949), the combinatorial Stokes formula of Fan (1967), and Meunier's work (2006). △ Less

Submitted 29 September, 2007; originally announced October 2007.

Comments: 18 pages

MSC Class: 13D02; 16e05; 05C15

Journal ref: J. Combin. Theory Ser. A 116 (2009), no. 2, 404-420

On Kalai's conjectures concerning centrally symmetric polytopes

Authors: Raman Sanyal, Axel Werner, Günter M. Ziegler

Abstract: In 1989 Kalai stated the three conjectures A, B, C of increasing strength concerning face numbers of centrally symmetric convex polytopes. The weakest conjecture, A, became known as the ``$3^d$-conjecture''. It is well-known that the three conjectures hold in dimensions d \leq 3. We show that in dimension 4 only conjectures A and B are valid, while conjecture C fails. Furthermore, we show that b… ▽ More In 1989 Kalai stated the three conjectures A, B, C of increasing strength concerning face numbers of centrally symmetric convex polytopes. The weakest conjecture, A, became known as the ``$3^d$-conjecture''. It is well-known that the three conjectures hold in dimensions d \leq 3. We show that in dimension 4 only conjectures A and B are valid, while conjecture C fails. Furthermore, we show that both conjectures B and C fail in all dimensions d \geq 5. △ Less

Submitted 30 September, 2007; v1 submitted 27 August, 2007; originally announced August 2007.

Comments: 14 pages; minor corrections and notational adjustments

MSC Class: 52B05; 52B12

Journal ref: Discrete Comput. Geom. 41 (2009), no. 2, 183-198

A Small Polyhedral Z-Acyclic 2-Complex in R4

Authors: Frank H. Lutz, Günter M. Ziegler

Abstract: We present a small 4-dimensional polyhedral realization of a 2-dimensional Z-acyclic but non-contractible simplicial complex. We present a small 4-dimensional polyhedral realization of a 2-dimensional Z-acyclic but non-contractible simplicial complex. △ Less

Submitted 29 May, 2007; originally announced May 2007.

Comments: 3 pages, 3 figures, submitted to Electronic Geometry Models

MSC Class: 52B99; 57Q15; 51M20

The ideal-valued index for a dihedral group action, and mass partition by two hyperplanes

Authors: Pavle V. M. Blagojević, Günter M. Ziegler

Abstract: We compute the complete Fadell-Husseini index of the 8 element dihedral group D_8 acting on S^d \times S^d, both for F_2 and for integer coefficients. This establishes the complete goup cohomology lower bounds for the two hyperplane case of Gr"unbaum's 1960 mass partition problem: For which d and j can any j arbitrary measures be cut into four equal parts each by two suitably-chosen hyperplanes in… ▽ More We compute the complete Fadell-Husseini index of the 8 element dihedral group D_8 acting on S^d \times S^d, both for F_2 and for integer coefficients. This establishes the complete goup cohomology lower bounds for the two hyperplane case of Gr"unbaum's 1960 mass partition problem: For which d and j can any j arbitrary measures be cut into four equal parts each by two suitably-chosen hyperplanes in R^d? In both cases, we find that the ideal bounds are not stronger than previously established bounds based on one of the maximal abelian subgroups of D_8. △ Less

Submitted 9 December, 2010; v1 submitted 16 April, 2007; originally announced April 2007.

Comments: new version revised according to referee's comments, 44 pages, many diagrams; a shorter version of this will appear in Topology and its Applications (ATA 2010 proceedings)

MSC Class: 55N25; 51M20; 52A35; 55R20

On the existence of crepant resolutions of Gorenstein Abelian quotient singularities in dimensions \geq 4

Authors: D. I. Dais, M. Henk, G. M. Ziegler

Abstract: For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgro… ▽ More For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgroups of SL(r,C) by using techniques from toric and discrete geometry. We give two necessary existence conditions, involving the Hilbert basis elements of the cone supporting the junior simplex, and an Upper Bound Theorem, respectively. Moreover, to the known series of Gorenstein abelian quotient singularities admitting projective, crepant resolutions (which are briefly recapitulated) we add a new series of non-c.i. cyclic quotient singularities having this property. △ Less

Submitted 3 April, 2006; v1 submitted 28 December, 2005; originally announced December 2005.

Comments: Version v2 (April 2006) contains minor changes and corrections of some typos. A shorter version of the paper appears in the Proceedings of the Conference "Algebraic and Geometric Combinatorics" (held in Anogia, Crete, 20-26 August 2005)

MSC Class: 14E15 (Primary); 14M25; 52B20 (Secondary)

On generalized Kneser hypergraph colorings

Authors: Carsten Lange, Guenter M. Ziegler

Abstract: In Ziegler (2002), the second author presented a lower bound for the chromatic numbers of hypergraphs $\KG{r}{\pmb s}{\calS}$, "generalized $r$-uniform Kneser hypergraphs with intersection multiplicities $\pmb s$." It generalized previous lower bounds by Kriz (1992/2000) for the case ${\pmb s}=(1,...,1)$ without intersection multiplicities, and by Sarkaria (1990) for $\calS=\tbinom{[n]}k$. Here… ▽ More In Ziegler (2002), the second author presented a lower bound for the chromatic numbers of hypergraphs $\KG{r}{\pmb s}{\calS}$, "generalized $r$-uniform Kneser hypergraphs with intersection multiplicities $\pmb s$." It generalized previous lower bounds by Kriz (1992/2000) for the case ${\pmb s}=(1,...,1)$ without intersection multiplicities, and by Sarkaria (1990) for $\calS=\tbinom{[n]}k$. Here we discuss subtleties and difficulties that arise for intersection multiplicities $s_i>1$: 1. In the presence of intersection multiplicities, there are two different versions of a "Kneser hypergraph," depending on whether one admits hypergraph edges that are multisets rather than sets. We show that the chromatic numbers are substantially different for the two concepts of hypergraphs. The lower bounds of Sarkaria (1990) and Ziegler (2002) apply only to the multiset version. 2. The reductions to the case of prime $r$ in the proofs Sarkaria and by Ziegler work only if the intersection multiplicities are strictly smaller than the largest prime factor of $r$. Currently we have no valid proof for the lower bound result in the other cases. We also show that all uniform hypergraphs without multiset edges can be represented as generalized Kneser hypergraphs. △ Less

Submitted 1 March, 2006; v1 submitted 29 April, 2005; originally announced April 2005.

Comments: 9 pages; added examples in Section 2; added reference ([11]), corrected minor typos; to appear in J. Combinatorial Theory, Series A

MSC Class: 05C15; 05C65; 52B99

Journal ref: Journal of Combinatorial Theory, Series A 114 (2007), pp. 159-166

Polyhedral surfaces of high genus

Authors: Günter M. Ziegler

Abstract: The construction of the COMBINATORIAL data for a surface with n vertices of maximal genus is a classical problem: The maximal genus g=[(n-3)(n-4)/12] was achieved in the famous ``Map Color Theorem'' by Ringel et al. (1968). We present the nicest one of Ringel's constructions, for the case when n is congruent to 7 mod 12, but also an alternative construction, essentially due to Heffter (1898), wh… ▽ More The construction of the COMBINATORIAL data for a surface with n vertices of maximal genus is a classical problem: The maximal genus g=[(n-3)(n-4)/12] was achieved in the famous ``Map Color Theorem'' by Ringel et al. (1968). We present the nicest one of Ringel's constructions, for the case when n is congruent to 7 mod 12, but also an alternative construction, essentially due to Heffter (1898), which easily and explicitly yields surfaces of genus g ~ 1/16 n^2. For GEOMETRIC (polyhedral) surfaces with n vertices the maximal genus is not known. The current record is g ~ n log n, due to McMullen, Schulz & Wills (1983). We present these surfaces with a new construction: We find them in Schlegel diagrams of ``neighborly cubical 4-polytopes,'' as constructed by Joswig & Ziegler (2000). △ Less

Submitted 5 December, 2004; originally announced December 2004.

Comments: 21 pages; Lecture Notes for Oberwolfach Seminar "Discrete Differential Geometry", June 2004

MSC Class: 52B70

Convex Polytopes: Extremal Constructions and f-Vector Shapes

Authors: Günter M. Ziegler

Abstract: These lecture notes treat some current aspects of two closely interrelated topics from the theory of convex polytopes: the shapes of f-vectors, and extremal constructions. The first lecture treats 3-dimensional polytopes; it includes a complete proof of the Koebe--Andreev--Thurston theorem, using the variational principle by Bobenko & Springborn (2004). In Lecture 2 we look at f-vector shapes… ▽ More These lecture notes treat some current aspects of two closely interrelated topics from the theory of convex polytopes: the shapes of f-vectors, and extremal constructions. The first lecture treats 3-dimensional polytopes; it includes a complete proof of the Koebe--Andreev--Thurston theorem, using the variational principle by Bobenko & Springborn (2004). In Lecture 2 we look at f-vector shapes of very high-dimensional polytopes. The third lecture explains a surprisingly simple construction for 2-simple 2-simplicial 4-polytopes, which have symmetric f-vectors. Lecture 4 sketches the geometry of the cone of f-vectors for 4-polytopes, and thus identifies the existence/construction of 4-polytopes of high ``fatness'' as a key problem. In this direction, the last lecture presents a very recent construction of ``projected products of polygons,'' whose fatness reaches 9-\eps. △ Less

Submitted 7 December, 2005; v1 submitted 18 November, 2004; originally announced November 2004.

Comments: 73 pages, large file. Lecture Notes for PCMI Summer Course, Park City, Utah, 2004; revised and slightly updated final version, December 2005

MSC Class: 52-01; 52-02; 52B05; 52B11; 52B12

The Topological Tverberg Problem and winding numbers

Authors: Torsten Schöneborn, Günter M. Ziegler

Abstract: The Topological Tverberg Theorem claims that any continuous map of a (q-1)(d+1)-simplex to \R^d identifies points from q disjoint faces. (This has been proved for affine maps, for d=1, and if q is a prime power, but not yet in general.) The Topological Tverberg Theorem can be restricted to maps of the d-skeleton of the simplex. We further show that it is equivalent to a ``Winding Number Conjectu… ▽ More The Topological Tverberg Theorem claims that any continuous map of a (q-1)(d+1)-simplex to \R^d identifies points from q disjoint faces. (This has been proved for affine maps, for d=1, and if q is a prime power, but not yet in general.) The Topological Tverberg Theorem can be restricted to maps of the d-skeleton of the simplex. We further show that it is equivalent to a ``Winding Number Conjecture'' that concerns only maps of the (d-1)-skeleton of a (q-1)(d+1)-simplex to \R^d. ``Many Tverberg partitions'' arise if and only if there are ``many q-winding partitions.'' The d=2 case of the Winding Number Conjecture is a problem about drawings of the complete graphs K_{3q-2} in the plane. We investigate graphs that are minimal with respect to the winding number condition. △ Less

Submitted 24 January, 2005; v1 submitted 6 September, 2004; originally announced September 2004.

Comments: 19 pages. J. Combinatorial Theory, Ser. A, to appear

MSC Class: 052A35; 5A35; 05C62; 55M20

Projected Products of Polytopes

Authors: Günter M. Ziegler

Abstract: We construct a 2-parameter family of 4-dimensional polytopes with extreme combinatorial structure: In this family, the ``fatness'' of the f-vector gets arbitrarily close to 9, the ``complexity'' (given by the flag vector) gets arbitrarily close to 16. The polytopes are obtained from suitable deformed products of even polygons by a projection to four-space. We construct a 2-parameter family of 4-dimensional polytopes with extreme combinatorial structure: In this family, the ``fatness'' of the f-vector gets arbitrarily close to 9, the ``complexity'' (given by the flag vector) gets arbitrarily close to 16. The polytopes are obtained from suitable deformed products of even polygons by a projection to four-space. △ Less

Submitted 3 July, 2004; originally announced July 2004.

Comments: 8 pages (extended abstract)

MSC Class: 52B05; 52B11; 52B12

Bier spheres and posets

Authors: Anders Björner, Andreas Paffenholz, Jonas Sjöstrand, Günter M. Ziegler

Abstract: In 1992 Thomas Bier presented a strikingly simple method to produce a huge number of simplicial (n-2)-spheres on 2n vertices as deleted joins of a simplicial complex on n vertices with its combinatorial Alexander dual. Here we interpret his construction as giving the poset of all the intervals in a boolean algebra that "cut across an ideal." Thus we arrive at a substantial generalization of Bi… ▽ More In 1992 Thomas Bier presented a strikingly simple method to produce a huge number of simplicial (n-2)-spheres on 2n vertices as deleted joins of a simplicial complex on n vertices with its combinatorial Alexander dual. Here we interpret his construction as giving the poset of all the intervals in a boolean algebra that "cut across an ideal." Thus we arrive at a substantial generalization of Bier's construction: the Bier posets Bier(P,I) of an arbitrary bounded poset P of finite length. In the case of face posets of PL spheres this yields cellular "generalized Bier spheres." In the case of Eulerian or Cohen-Macaulay posets P we show that the Bier posets Bier(P,I) inherit these properties. In the boolean case originally considered by Bier, we show that all the spheres produced by his construction are shellable, which yields "many shellable spheres", most of which lack convex realization. Finally, we present simple explicit formulas for the g-vectors of these simplicial spheres and verify that they satisfy a strong form of the g-conjecture for spheres. △ Less

Submitted 12 April, 2004; v1 submitted 20 November, 2003; originally announced November 2003.

Comments: 15 pages. Revised and slightly extended version; last section rewritten

MSC Class: 06A07; 52B22

Construction techniques for cubical complexes, odd cubical 4-polytopes, and prescribed dual manifolds

Authors: Alexander Schwartz, Guenter M. Ziegler

Abstract: 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 codimens… ▽ More 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. △ Less

Submitted 2 January, 2004; v1 submitted 17 October, 2003; originally announced October 2003.

Comments: condensed and revised version; 39 pages

MSC Class: 52B12; 52B11; 52B05; 57Q05

The Simplex Algorithm in Dimension Three

Authors: Volker Kaibel, Rafael Mechtel, Micha Sharir, Guenter M. Ziegler

Abstract: 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 ess… ▽ More 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. △ Less

Submitted 20 August, 2004; v1 submitted 22 September, 2003; originally announced September 2003.

Comments: 24 pages, to appear in: SIAM J. Comp.; the paper comprises the contents of our paper 'The Random Edge Rule on Three-Dimensional Linear Programs' (math.CO/0301076)

MSC Class: 90C05; 52B10; 68W20

On the Monotone Upper Bound Problem

Authors: Julian Pfeifle, Günter M. Ziegler

Abstract: The Monotone Upper Bound Problem asks for the maximal number M(d,n) of vertices on a strictly-increasing edge-path on a simple d-polytope with n facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n) provided by McMullen's (1970) Upper Bound Theorem is tight, where M_{ubt}(d,n) is the number of vertices of a dual-to-cyclic d-polytope with n facets. It was recently show… ▽ More The Monotone Upper Bound Problem asks for the maximal number M(d,n) of vertices on a strictly-increasing edge-path on a simple d-polytope with n facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n) provided by McMullen's (1970) Upper Bound Theorem is tight, where M_{ubt}(d,n) is the number of vertices of a dual-to-cyclic d-polytope with n facets. It was recently shown that the upper bound M(d,n)<=M_{ubt}(d,n) holds with equality for small dimensions (d<=4: Pfeifle, 2003) and for small corank (n<=d+2: Gärtner et al., 2001). Here we prove that it is not tight in general: In dimension d=6 a polytope with n=9 facets can have M_{ubt}(6,9)=30 vertices, but not more than 26 <= M(6,9) <= 29 vertices can lie on a strictly-increasing edge-path. The proof involves classification results about neighborly polytopes, Kalai's (1988) concept of abstract objective functions, the Holt-Klee conditions (1998), explicit enumeration, Welzl's (2001) extended Gale diagrams, randomized generation of instances, as well as non-realizability proofs via a version of the Farkas lemma. △ Less

Submitted 19 August, 2003; originally announced August 2003.

Comments: 15 pages; 6 figures

MSC Class: 52B05 (Primary) 52-04(Secondary)

Singular 0/1-matrices, and the hyperplanes spanned by random 0/1-vectors

Authors: Thomas Voigt, Günter M. Ziegler

Abstract: Let $P(d)$ be the probability that a random 0/1-matrix of size $d \times d$ is singular, and let $E(d)$ be the expected number of 0/1-vectors in the linear subspace spanned by d-1 random independent 0/1-vectors. (So $E(d)$ is the expected number of cube vertices on a random affine hyperplane spanned by vertices of the cube.) We prove that bounds on $P(d)$ are equivalent to bounds on $E(d)$: \[… ▽ More Let $P(d)$ be the probability that a random 0/1-matrix of size $d \times d$ is singular, and let $E(d)$ be the expected number of 0/1-vectors in the linear subspace spanned by d-1 random independent 0/1-vectors. (So $E(d)$ is the expected number of cube vertices on a random affine hyperplane spanned by vertices of the cube.) We prove that bounds on $P(d)$ are equivalent to bounds on $E(d)$: \[ P(d) = (2^{-d} E(d) + \frac{d^2}{2^{d+1}}) (1 + o(1)). \] We also report about computational experiments pertaining to these numbers. △ Less

Submitted 17 December, 2008; v1 submitted 6 August, 2003; originally announced August 2003.

Comments: 9 pages

MSC Class: 15A52; 05B20; 05D40

Journal ref: Combinatorics, Probability & Computing, 15:463-471, 2006

The $E_t$-Construction for Lattices, Spheres and Polytopes

Authors: Andreas Paffenholz, Günter M. Ziegler

Abstract: We describe and analyze a new construction that produces new Eulerian lattices from old ones. It specializes to a construction that produces new strongly regular cellular spheres (whose face lattices are Eulerian). The construction does not always specialize to convex polytopes; however, in a number of cases where we can realize it, it produces interesting classes of polytopes. Thus we produce a… ▽ More We describe and analyze a new construction that produces new Eulerian lattices from old ones. It specializes to a construction that produces new strongly regular cellular spheres (whose face lattices are Eulerian). The construction does not always specialize to convex polytopes; however, in a number of cases where we can realize it, it produces interesting classes of polytopes. Thus we produce an infinite family of rational 2-simplicial 2-simple 4-polytopes, as requested by Eppstein, Kuperberg and Ziegler. We also construct for each $d\ge3$ an infinite family of $(d-2)$-simplicial 2-simple $d$-polytopes, thus solving a problem of Grünbaum. △ Less

Submitted 17 March, 2004; v1 submitted 30 April, 2003; originally announced April 2003.

Comments: 21 pages, many figures

MSC Class: 52B11; 06A07

Convex Hulls, Oracles, and Homology

Authors: Michael Joswig, G"unter M. Ziegler

Abstract: This paper presents a new algorithm for the convex hull problem, which is based on a reduction to a combinatorial decision problem POLYTOPE-COMPLETENESS-COMBINATORIAL, which in turn can be solved by a simplicial homology computation. Like other convex hull algorithms, our algorithm is polynomial (in the size of input plus output) for simplicial or simple input. We show that the ``no''-case of PO… ▽ More This paper presents a new algorithm for the convex hull problem, which is based on a reduction to a combinatorial decision problem POLYTOPE-COMPLETENESS-COMBINATORIAL, which in turn can be solved by a simplicial homology computation. Like other convex hull algorithms, our algorithm is polynomial (in the size of input plus output) for simplicial or simple input. We show that the ``no''-case of POLYTOPE-COMPLETENESS-COMBINATORIAL has a certificate that can be checked in polynomial time (if integrity of the input is guaranteed). △ Less

Submitted 10 January, 2003; originally announced January 2003.

Comments: 11 pages, 2 figures

MSC Class: 52B55; 05E25; 68Q25

The Random Edge Rule on Three-Dimensional Linear Programs

Authors: Volker Kaibel, Raphael Mechtel, Micha Sharir, Günter M. Ziegler

Abstract: The worst-case expected length f(n) of the path taken by the simplex algorithm with the Random Edge pivot rule on a 3-dimensional linear program with n constraints is shown to be bounded by 1.3445 n <= f(n) <= 1.4943 n for large enough n. The worst-case expected length f(n) of the path taken by the simplex algorithm with the Random Edge pivot rule on a 3-dimensional linear program with n constraints is shown to be bounded by 1.3445 n <= f(n) <= 1.4943 n for large enough n. △ Less

Submitted 9 January, 2003; originally announced January 2003.

Comments: 21 pages (10 pages extended abstract + 11 pages appendix)

MSC Class: 90C05; 52B10; 68W20

Many Triangulated 3-Spheres

Authors: Julian Pfeifle, Günter M. Ziegler

Abstract: We construct 2^{Ω(n^{5/4})} combinatorial types of triangulated 3-spheres on n vertices. Since by a result of Goodman and Pollack (1986) there are no more than 2^{O(n log n)} combinatorial types of simplicial 4-polytopes, this proves that asymptotically, there are far more combinatorial types of triangulated 3-spheres than of simplicial 4-polytopes on n vertices. This complements results of Kala… ▽ More We construct 2^{Ω(n^{5/4})} combinatorial types of triangulated 3-spheres on n vertices. Since by a result of Goodman and Pollack (1986) there are no more than 2^{O(n log n)} combinatorial types of simplicial 4-polytopes, this proves that asymptotically, there are far more combinatorial types of triangulated 3-spheres than of simplicial 4-polytopes on n vertices. This complements results of Kalai (1988), who had proved a similar statement about d-spheres and (d+1)-polytopes for fixed d >= 4. △ Less

Submitted 24 November, 2003; v1 submitted 30 November, 2002; originally announced December 2002.

Comments: 9 pages, 4 figures; Incorporated referee's comments; to appear in Math. Annalen

MSC Class: 52B11; 52B70; 57Q15

Counting Lattice Triangulations

Authors: Volker Kaibel, Günter M. Ziegler

Abstract: We discuss the problem to count, or, more modestly, to estimate the number f(m,n) of unimodular triangulations of the planar grid of size $m\times n$. Among other tools, we employ recursions that allow one to compute the (huge) number of triangulations for small m and rather large n by dynamic programming; we show that this computation can be done in polynomial time if m is fixed, and present… ▽ More We discuss the problem to count, or, more modestly, to estimate the number f(m,n) of unimodular triangulations of the planar grid of size $m\times n$. Among other tools, we employ recursions that allow one to compute the (huge) number of triangulations for small m and rather large n by dynamic programming; we show that this computation can be done in polynomial time if m is fixed, and present computational results from our implementation of this approach. We also present new upper and lower bounds for large m and n, and we report about results obtained from a computer simulation of the random walk that is generated by flips. △ Less

Submitted 13 December, 2002; v1 submitted 18 November, 2002; originally announced November 2002.

Comments: 30 pages, to appear in: ``British Combinatorial Surveys'' (C. D. Wensley, ed.), Cambridge University Press, 2003. This is an updated version containing minor changes suggested by the referee

MSC Class: 05AXX; 52B20

Face numbers of 4-Polytopes and 3-Spheres

Authors: Günter M. Ziegler

Abstract: In this paper, we discuss f- and flag-vectors of 4-dimensional convex polytopes and cellular 3-spheres. We put forward two crucial parameters of fatness and complexity: Fatness F(P) := (f_1+f_2-20)/(f_0+f_3-10) is large if there are many more edges and 2-faces than there are vertices and facets, while complexity C(P) := (f_{03}-20)/(f_0+f_3-10) is large if every facet has many vertices, and ever… ▽ More In this paper, we discuss f- and flag-vectors of 4-dimensional convex polytopes and cellular 3-spheres. We put forward two crucial parameters of fatness and complexity: Fatness F(P) := (f_1+f_2-20)/(f_0+f_3-10) is large if there are many more edges and 2-faces than there are vertices and facets, while complexity C(P) := (f_{03}-20)/(f_0+f_3-10) is large if every facet has many vertices, and every vertex is in many facets. Recent results suggest that these parameters might allow one to differentiate between the cones of f- or flag-vectors of -- connected Eulerian lattices of length 5 (combinatorial objects), -- strongly regular CW 3-spheres (topological objects), -- convex 4-polytopes (discrete geometric objects), and -- rational convex 4-polytopes (whose study involves arithmetic aspects). Further progress will depend on the derivation of tighter f-vector inequalities for convex 4-polytopes. On the other hand, we will need new construction methods that produce interesting polytopes which are far from being simplicial or simple -- for example, very ``fat'' or ``complex'' 4-polytopes. In this direction, I will report about constructions (from joint work with Michael Joswig, David Eppstein and Greg Kuperberg) that yield -- strongly regular CW 3-spheres of arbitrarily large fatness, -- convex 4-polytopes of fatness larger than 5.048, and -- rational convex 4-polytopes of fatness larger than 5-epsilon. △ Less

Submitted 20 June, 2003; v1 submitted 9 August, 2002; originally announced August 2002.

MSC Class: 52B11; 52B10; 51M20

Journal ref: Proceedings of the ICM, Beijing 2002, vol. 3, 625--636

Topological lower bounds for the chromatic number: A hierarchy

Authors: Jiri Matousek, Günter M. Ziegler

Abstract: This paper is a study of ``topological'' lower bounds for the chromatic number of a graph. Such a lower bound was first introduced by Lovász in 1978, in his famous proof of the \emph{Kneser conjecture} via Algebraic Topology. This conjecture stated that the \emph{Kneser graph} $\KG_{m,n}$, the graph with all $k$-element subsets of $\{1,2,...,n\}$ as vertices and all pairs of disjoint sets as edg… ▽ More This paper is a study of ``topological'' lower bounds for the chromatic number of a graph. Such a lower bound was first introduced by Lovász in 1978, in his famous proof of the \emph{Kneser conjecture} via Algebraic Topology. This conjecture stated that the \emph{Kneser graph} $\KG_{m,n}$, the graph with all $k$-element subsets of $\{1,2,...,n\}$ as vertices and all pairs of disjoint sets as edges, has chromatic number $n-2k+2$. Several other proofs have since been published (by Bárány, Schrijver, Dolnikov, Sarkaria, Kriz, Greene, and others), all of them based on some version of the Borsuk--Ulam theorem, but otherwise quite different. Each can be extended to yield some lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe that \emph{every} finite graph may be represented as a generalized Kneser graph, to which the above bounds apply.) We show that these bounds are almost linearly ordered by strength, the strongest one being essentially Lovász' original bound in terms of a neighborhood complex. We also present and compare various definitions of a \emph{box complex} of a graph (developing ideas of Alon, Frankl, and Lovász and of \kriz). A suitable box complex is equivalent to Lovász' complex, but the construction is simpler and functorial, mapping graphs with homomorphisms to $\Z_2$-spaces with $\Z_2$-maps. △ Less

Submitted 24 November, 2003; v1 submitted 9 August, 2002; originally announced August 2002.

Comments: 16 pages, 1 figure. Jahresbericht der DMV, to appear

MSC Class: 05C15; 05A05; 55M35

Fat 4-polytopes and fatter 3-spheres

Authors: David Eppstein, Greg Kuperberg, Günter M. Ziegler

Abstract: We introduce the fatness parameter of a 4-dimensional polytope P, defined as φ(P)=(f_1+f_2)/(f_0+f_3). It arises in an important open problem in 4-dimensional combinatorial geometry: Is the fatness of convex 4-polytopes bounded? We describe and analyze a hyperbolic geometry construction that produces 4-polytopes with fatness φ(P)>5.048, as well as the first infinite family of 2-simple, 2-simpl… ▽ More We introduce the fatness parameter of a 4-dimensional polytope P, defined as φ(P)=(f_1+f_2)/(f_0+f_3). It arises in an important open problem in 4-dimensional combinatorial geometry: Is the fatness of convex 4-polytopes bounded? We describe and analyze a hyperbolic geometry construction that produces 4-polytopes with fatness φ(P)>5.048, as well as the first infinite family of 2-simple, 2-simplicial 4-polytopes. Moreover, using a construction via finite covering spaces of surfaces, we show that fatness is not bounded for the more general class of strongly regular CW decompositions of the 3-sphere. △ Less

Submitted 14 May, 2002; v1 submitted 31 March, 2002; originally announced April 2002.

Comments: 12 pages, 12 figures. This version has minor changes proposed by the second referee

Journal ref: Monogr. Textbooks Pure Appl. Math. 253 (2003), 239-265

Generalized Kneser coloring theorems with combinatorial proofs

Authors: Günter M. Ziegler

Abstract: The Kneser conjecture (1955) was proved by Lovász (1978) using the Borsuk-Ulam theorem; all subsequent proofs, extensions and generalizations also relied on Algebraic Topology results, namely the Borsuk-Ulam theorem and its extensions. Only in 2000, Matoušek provided the first combinatorial proof of the Kneser conjecture. Here we provide a hypergraph coloring theorem, with a combinatorial proo… ▽ More The Kneser conjecture (1955) was proved by Lovász (1978) using the Borsuk-Ulam theorem; all subsequent proofs, extensions and generalizations also relied on Algebraic Topology results, namely the Borsuk-Ulam theorem and its extensions. Only in 2000, Matoušek provided the first combinatorial proof of the Kneser conjecture. Here we provide a hypergraph coloring theorem, with a combinatorial proof, which has as special cases the Kneser conjecture as well as its extensions and generalization by (hyper)graph coloring theorems of Dol'nikov, Alon-Frankl-Lovász, Sarkaria, and Kriz. We also give a combinatorial proof of Schrijver's theorem. △ Less

Submitted 23 March, 2001; originally announced March 2001.

Comments: 19 pages, 4 figures

MSC Class: 05C15; 05C65; 05A05; 05E25

Examples and counterexamples for Perles' conjecture

Authors: Christian Haase, Günter M. Ziegler

Abstract: The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following… ▽ More The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following characterization of the facet subgraphs, conjectured by M. Perles: ``The facet subgraphs of the graph of a simple d-polytope are exactly all the (d-1)-regular, connected, induced, non-separating subgraphs'' [Perles 1970]. We give examples for the validity of Perles conjecture: In particular, it holds for the duals of cyclic polytopes, and for the duals of stacked polytopes. On the other hand, we identify a topological obstruction that must be present in any counterexample to Perles' conjecture; thus, starting with a modification of ``Bing's house'', we construct explicit 4-dimensional counterexamples. △ Less

Submitted 19 July, 2001; v1 submitted 21 November, 2000; originally announced November 2000.

Comments: 11 pages, 14 figures, see also http://www.math.tu-berlin.de/~ziegler

MSC Class: 52B05 (Primary); 05C75 (Secondary)

Vertex-Facet Incidences of Unbounded Polyhedra

Authors: Michael Joswig, Volker Kaibel, Marc E. Pfetsch, Guenter M. Ziegler

Abstract: How much of the combinatorial structure of a pointed polyhedron is contained in its vertex-facet incidences? Not too much, in general, as we demonstrate by examples. However, one can tell from the incidence data whether the polyhedron is bounded. In the case of a polyhedron that is simple and "simplicial," i.e., a d-dimensional polyhedron that has d facets through each vertex and d vertices on e… ▽ More How much of the combinatorial structure of a pointed polyhedron is contained in its vertex-facet incidences? Not too much, in general, as we demonstrate by examples. However, one can tell from the incidence data whether the polyhedron is bounded. In the case of a polyhedron that is simple and "simplicial," i.e., a d-dimensional polyhedron that has d facets through each vertex and d vertices on each facet, we derive from the structure of the vertex-facet incidence matrix that the polyhedron is necessarily bounded. In particular, this yields a characterization of those polyhedra that have circulants as vertex-facet incidence matrices. △ Less

Submitted 29 June, 2000; originally announced June 2000.

Comments: LaTeX2e, 14 pages with 4 figures

MSC Class: 52B05; 52B11; 06A07

Lectures on 0/1-polytopes

Authors: Günter M. Ziegler

Abstract: These lectures on the combinatorics and geometry of 0/1-polytopes are meant as an \emph{introduction} and \emph{invitation}. Rather than heading for an extensive survey on 0/1-polytopes I present some interesting aspects of these objects; all of them are related to some quite recent work and progress. 0/1-polytopes have a very simple definition and explicit descriptions; we can enumerate and a… ▽ More These lectures on the combinatorics and geometry of 0/1-polytopes are meant as an \emph{introduction} and \emph{invitation}. Rather than heading for an extensive survey on 0/1-polytopes I present some interesting aspects of these objects; all of them are related to some quite recent work and progress. 0/1-polytopes have a very simple definition and explicit descriptions; we can enumerate and analyze small examples explicitly in the computer (e.g. using {\tt polymake}). However, any intuition that is derived from the analysis of examples in ``low dimensions'' will miss the true complexity of 0/1-polytopes. Thus, in the following we will study several aspects of the complexity of higher-dimensional 0/1-polytopes: the doubly-exponential number of combinatorial types, the number of facets which can be huge, and the coefficients of defining inequalities which sometimes turn out to be extremely large. Some of the effects and results will be backed by proofs in the course of these lectures; we will also be able to verify some of them on explicit examples, which are accessible as a {\tt polymake} database. △ Less

Submitted 29 September, 1999; originally announced September 1999.

Comments: 45 pages, many figures; to appear in "Polytopes - Combinatorics and Computation" (G. Kalai and G.M. Ziegler, eds.), DMV Seminars Series, Birkh"auser Basel

MSC Class: 52B20

Neighborly cubical polytopes

Authors: Michael Joswig, G"unter M. Ziegler

Abstract: Neighborly cubical polytopes exist: for any $n\ge d\ge 2r+2$, there is a cubical convex d-polytope $C^n_d$ whose $r$-skeleton is combinatorially equivalent to that of the $n$-dimensional cube. This solves a problem of Babson, Billera & Chan. Kalai conjectured that the boundary $\partial C^n_d$ of a neighborly cubical polytope $C^n_d$ maximizes the $f$-vector among all cubical $(d-1)$-spheres w… ▽ More Neighborly cubical polytopes exist: for any $n\ge d\ge 2r+2$, there is a cubical convex d-polytope $C^n_d$ whose $r$-skeleton is combinatorially equivalent to that of the $n$-dimensional cube. This solves a problem of Babson, Billera & Chan. Kalai conjectured that the boundary $\partial C^n_d$ of a neighborly cubical polytope $C^n_d$ maximizes the $f$-vector among all cubical $(d-1)$-spheres with $2^n$ vertices. While we show that this is true for polytopal spheres for $n\le d+1$, we also give a counter-example for $d=4$ and $n=6$. Further, the existence of neighborly cubical polytopes shows that the graph of the $n$-dimensional cube, where $n\ge5$, is ``dimensionally ambiguous'' in the sense of Grünbaum. We also show that the graph of the 5-cube is ``strongly 4-ambiguous''. In the special case $d=4$, neighborly cubical polytopes have $f_3=f_0/4 \log_2 f_0/4$ vertices, so the facet-vertex ratio $f_3/f_0$ is not bounded; this solves a problem of Kalai, Perles and Stanley studied by Jockusch. △ Less

Submitted 23 March, 1999; v1 submitted 5 December, 1998; originally announced December 1998.

Comments: 20 pages, 3 figures, Latex2e (Revised version, with a new result and a major correction)

MSC Class: 52B12; 52B11; 52B05

All toric l.c.i.-singularities admit projective crepant resolutions

Authors: Dimitrios I. Dais, Christian Haase, G"unter M. Ziegler

Abstract: It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant birational morphisms in all dimensions. In the present paper we extend this result to the entire class of toric l.c.i.-singularities. Our proof makes use of Nakajima… ▽ More It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant birational morphisms in all dimensions. In the present paper we extend this result to the entire class of toric l.c.i.-singularities. Our proof makes use of Nakajima's classification theorem and of some special techniques from toric and discrete geometry. △ Less

Submitted 16 March, 1999; v1 submitted 3 December, 1998; originally announced December 1998.

Comments: 33 pages, 13 eps-figures, LaTeX2e (revised 3/99: minor corrections and modifications)

Report number: TU Berlin Preprint 614/1998 MSC Class: 14B05; 14M25; 52B20

All Abelian Quotient C.I.-Singularities Admit Projective Crepant Resolutions in All Dimensions

Authors: Dimitrios I. Dais, Martin Henk, Guenter M. Ziegler

Abstract: For Gorenstein quotient spaces $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 Gor… ▽ More For Gorenstein quotient spaces $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. △ Less

Submitted 10 April, 1997; originally announced April 1997.

Comments: revised version of MPI-preprint 97/4, 35 pages, 13 figures, latex2e-file (preprint.tex), macro packages and eps-files

Realization spaces of 4-polytopes are universal

Authors: Jürgen Richter-Gebert, Günter M. Ziegler

Abstract: Let $P\subset\R^d$ be a $d$-dimensional polytope. The {\em realization space} of~$P$ is the space of all polytopes $P'\subset\R^d$ that are combinatorially equivalent to~$P$, modulo affine transformations. We report on work by the first author, which shows that realization spaces of \mbox{4-dimensional} polytopes can be ``arbitrarily bad'': namely, for every primary semialgebraic set~$V$ defined… ▽ More Let $P\subset\R^d$ be a $d$-dimensional polytope. The {\em realization space} of~$P$ is the space of all polytopes $P'\subset\R^d$ that are combinatorially equivalent to~$P$, modulo affine transformations. We report on work by the first author, which shows that realization spaces of \mbox{4-dimensional} polytopes can be ``arbitrarily bad'': namely, for every primary semialgebraic set~$V$ defined over~$\Z$, there is a $4$-polytope $P(V)$ whose realization space is ``stably equivalent'' to~$V$. This implies that the realization space of a $4$-polytope can have the homotopy type of an arbitrary finite simplicial complex, and that all algebraic numbers are needed to realize all $4$- polytopes. The proof is constructive. These results sharply contrast the $3$-dimensional case, where realization spaces are contractible and all polytopes are realizable with integral coordinates (Steinitz's Theorem). No similar universality result was previously known in any fixed dimension. △ Less

Submitted 30 September, 1995; originally announced October 1995.

Comments: 10 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 32 (1995) 403-412

On the difference between real and complex arrangements

Authors: Günter M. Ziegler

Abstract: Let $B$ be an arrangement of linear complex hyperplanes in $C^d$. Then a classical result by Orlik \& Solomon asserts that the cohomology algebra of the complement can be constructed from the combinatorial data that are given by the intersection lattice. If $B'$ is, more generally, a $2$-arrangement in $R^{2d}$ (an arrangement of real subspaces of codimension $2$ with even-dimensional intersec… ▽ More Let $B$ be an arrangement of linear complex hyperplanes in $C^d$. Then a classical result by Orlik \& Solomon asserts that the cohomology algebra of the complement can be constructed from the combinatorial data that are given by the intersection lattice. If $B'$ is, more generally, a $2$-arrangement in $R^{2d}$ (an arrangement of real subspaces of codimension $2$ with even-dimensional intersections), then the intersection lattice still determines the cohomology {\it groups} of the complement, as was shown by Goresky \& MacPherson. We prove, however, that for $2$-arrangements the cohomology {\it algebra} is not determined by the intersection lattice. It encodes extra information on sign patterns, which can be computed from determinants of linear relations or, equivalently, from linking coefficients in the sense of knot theory. This also allows us (in the case $d=2$) to identify arrangements with the same lattice but different fundamental groups. △ Less

Submitted 11 February, 1992; originally announced February 1992.

Comments: 13 pages, plain-TeX, C-Version 3.14