Skip to main content

Part of the book series: DMV Seminar ((OWS,volume 29))

Abstract

These lectures on the combinatorics and geometry of 0/1-polytopes are meant as anintroductionandinvitation.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 de& riptions; we can enumerate and analyze small examples explicitly in the computer (e. g. using 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 polymake database.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. O. AICHHOLZER:Hyperebenen in Huperkuben - Eine Klassifizierung und QuantifizierungDiplomarbeit am Institut für Grundlagen der Informationsverarbeitung, TU Graz, October 1992, 117 Seiten.

    Google Scholar 

  2. O. AICHHOLZER:Extremal properties of 0/1-polytopes of dimension5, in this volume, pp. 111–130

    Google Scholar 

  3. O. AICHHOLZER & F. AURENHAMMER:Classifying hyperplanes in hypercubes SIAM J. Di& rete Math. 9 (1996), 225–232.

    MathSciNet  MATH  Google Scholar 

  4. N. ALON & V. H. Vt1: Anti-Hadamard matrices coin weighing threshold gates and indecomposable hypergraphs J. Combinatorial Theory Ser. A 79 (1997), 133–160.

    Article  MATH  Google Scholar 

  5. D. APPLEGATE, R. BIXBY, V. CHVÁTAL & W. COOK:On the solution of traveling salesman problemsin: “International Congress of Mathematics” (Berlin 1998),Documenta Math. Extra Volume ICM 1998, Vol. III, 645–656.

    Google Scholar 

  6. M. L. BALINSKI:On the graph structure of convex polyhedra in n-space Pacific J. Math.11 (1961), 431–434.

    MathSciNet  MATH  Google Scholar 

  7. F. BARAHONA & A. R. MAHJOUB:On the cut polytopeMath.Programming 36 (1986), 157–173.

    Article  MathSciNet  MATH  Google Scholar 

  8. A. BELOW, U BREHM, J. A. DE LOERA. J. RICHTER-GEBERT:Minimal simplicial dissections and triangulations of convex 3-polytopes, Preprint, ETH Zurich, August 1999, 15 pages.

    Google Scholar 

  9. L. J. BILLERA & A. SARANGARAJAN:All 0–1 polytopes are travelling salesman polytopes Combinatorica 16 (1996), 175–188.

    Article  MathSciNet  MATH  Google Scholar 

  10. G. BLIND & R. BLIND:Convex polytopes without triangular faces Israel J. Math. 71 (1990), 129–134.

    Article  MathSciNet  MATH  Google Scholar 

  11. A. BOCKMAYR, F. EISENBRAND, M. HARTMANN&A. S. & HULZ:On the Chvátal rank of polytopes in the 0/1-cube, Preprint;Di& rete Applied Math., to appear.

    Google Scholar 

  12. B. BOLLOBAS:Random GraphsAcademic Press, New York 1985.

    MATH  Google Scholar 

  13. C. CHAN & D. P. ROBBINS:On the volume of the polytope of doubly stochastic matrices Experimental Math., to appear.

    Google Scholar 

  14. T. CHRISTOF: SMAPO - Library of linear de& riptions of small problem instances of polytopes in combinatorial optimization http://www.iwr.uni-heidelberg.de/iwr/comopt/soft/SMAPO/SMAPO.html

  15. V. CHVÁTAL:Edmonds polytopes and a hierarchy of combinatorial problems Di& rete Math. 4 (1973), 305–337.

    Article  MATH  Google Scholar 

  16. J. H. E. CoHN:On determinants with elements ±1 II Bulletin London Math.Soc. 21 (1989), 36–42.

    MATH  Google Scholar 

  17. J. A. DE LOERA, B. STURMFELS & R. R. THOMAS:Gröbner bases and triangulations of the second hypersimplex Combinatorica 15 (1995), 409–424.

    Article  MathSciNet  MATH  Google Scholar 

  18. C. DE SIMONE:The cut polytope and the boolean quadric polytope Di& rete Math. 79 (1989/90), 71–75.

    Google Scholar 

  19. M. M. DEZA & M. LAURENT:Geometry of Cuts and Metrics Algorithms and Combinatorics 15, Springer-Verlag, Berlin Heidelberg 1997.

    Google Scholar 

  20. M. DEZA, M. LAURENT S. POLJAK:The cut cone III: On the role of triangle facets,Graphs and Combinatorics8 (1992), 125–142; updated9(1993), 135–152.

    Article  MathSciNet  MATH  Google Scholar 

  21. R. Dowdeswell, M. G. Neubauer, B. Solomon & K. Tumer: Binary matrices of maximal determinant, web page at http://www.imrryr.org/rvelric/matrix.

  22. H. EHLICH & K. ZELLER:Binäre Matrizen Z. Angewandte Math.Physik 42 (1962), T20–T21.

    MATH  Google Scholar 

  23. F. EISENBRAND & A. S. & HULZ:Bounds of the Chvátal rank of polytopes in the 0/1 cubein: Proc. IPCO ‘89, 137–150.

    Google Scholar 

  24. G. ELEKES: Ageometric inequality and the complexity of computing the volume Di& rete Comput. Geometry 1 (1986), 289–292.

    Article  MathSciNet  MATH  Google Scholar 

  25. T. FEDER & M. MIHAIL:Balanced matroidsin: Proceedings of the 24th Annual ACM “Symposium on the theory of Computing” (STOC), Victoria, Brithsh Columbia 1992, ACM Press, New York 1992, pp. 26–38.

    Google Scholar 

  26. T. FLEINER, V. KAIBEL & G. ROTE:Upper bounds on the maximal number of facets of 0/1-polytopes European J. Combinatorics 21 (2000), 121–130.

    Article  MathSciNet  MATH  Google Scholar 

  27. Z. FUREDI:Random polytopes in the d-dimensional cube Di& rete Comput. Geometry 1 (1986), 315–319.

    Article  MathSciNet  Google Scholar 

  28. E. GAWRILOW & M. JOSWIG:Polymake: a software package for analyzing convex polytopes

    Google Scholar 

  29. E. GAWRILOW Si M. JOSWIG:Polymake: a framework for analyzing convex polytopesin this volume, pp. 43–74

    Google Scholar 

  30. M. GRÖTSCHEL, L. LovÁsz & A. & HRIJVER:Geometric Algorithms and Combinatorial OptimizationAlgorithms and Combinatorics2, Springer-Verlag, Berlin Heidelberg 1988.

    Book  Google Scholar 

  31. M. GRÖT& HEL & M. PADBERG:Polyhedral Theory/Polyhedral Computationsin: E.L. Lawler, J.K. Lenstra, A.H.G. Rinnoy Kan, D.B. & hmoys (eds.), “The Traveling Salesman Problem”, Wiley 1988, 251–360.

    Google Scholar 

  32. J. HÁSTAD:On the size of weights for threshold gates SIAM J. Di& rete Math.7 (1994), 484–492.

    MATH  Google Scholar 

  33. M. HAIMAN: Asimple and relatively efficient triangulation of the n-cube Di& rete Comput. Geometry 6 (1991), 287–289.

    Article  MathSciNet  MATH  Google Scholar 

  34. F. HOLT & V. KLEE:A proof of the strict monotone 4-step conjecturein: “Advances in Di& rete and Computational Geometry” (B. Chazelle, J.E. Goodman, R. Pollack, eds.),Contemporary Mathematics 223 (1998), Amer. Math. Soc., Providence, 201–216.

    Google Scholar 

  35. M. HUDELSON, V. KLEE & D. G. LARMAN:Largest j-simplices in d-cubes: Some relatives of the Hadamard maximum determinant problemLinearAlgebra Appl. 241–243 (1996), 519–598.

    Article  MathSciNet  Google Scholar 

  36. R. B. HUGHES:Minimum-cardinality triangulations of the d-cube for d =5and d =6,Di& reteMath.118(1993), 75–118.

    MATH  Google Scholar 

  37. R. B. HUGHES:Lower bounds on cube simplexity Di& rete Math. 133 (1994), 123–138.

    Google Scholar 

  38. R. B. HUGHES & M. R. ANDERSON: Atriangulation of the 6-cube with308simplices,Di& reteMath.117(1993), 253–256.

    MathSciNet  MATH  Google Scholar 

  39. R. B. HUGHES&M. R. ANDERSON:Simplexity of the cube,Di& rete Math. 158 (1996),99–150.

    Google Scholar 

  40. J. KAHN, J. KOMLÓS & E. SZEMERÉDI:On the probability that a random +1-matrix is singular J. Amer Math. Soc. 8 (1995), 223–240.

    MathSciNet  MATH  Google Scholar 

  41. V. KAIBEL&M. WOLFF:Simple 0/1-polytopes,European J. Combinatorics 21(2000), 139–144.

    Article  MathSciNet  MATH  Google Scholar 

  42. J. KoMLÓS:On the determinant of(0,1)-matrices,Studia & i. Math. Hungarica2 (1967), 7–21.

    MATH  Google Scholar 

  43. U. KORTENKAMP, xJ. RICHTER-GEBERT, A. SARANGARAJAN & G. Al ZIEGLER:Extremal properties of 0/1-polytopes Di& rete Comput. Geometry 17 (1997), 439–448.

    MathSciNet  MATH  Google Scholar 

  44. N. METROPOLIS & P. R. STEIN: xOn a class of(0, 1)matrices with vanishing determinants,J. Combinatorial Theory3 (1967), 191–198.

    MathSciNet  MATH  Google Scholar 

  45. M. MIHAIL:On the expansion of combinatorial polytopesin: Proc. MFCS’92, pp. 3749.

    Google Scholar 

  46. A. MUKHOPADHYAY:On the probability that the determinant of an n x n matrix over a finite field vanishes, Di& reteMath. 51 (1984), 311–315.

    Article  MATH  Google Scholar 

  47. S. MUROGA:Threshold Logic and its ApplicationsWiley-Inter& ience, New York 1971.

    Google Scholar 

  48. D. NADDEF:The Hir& h conjecture is true for (0 1)-polytopes Math. Programming 45 (1989), 109–110.

    Article  MathSciNet  MATH  Google Scholar 

  49. M. G. NEUBAUER & A. J. RADCLIFFE:The maximum determinant of f1 matrices Linear Algebra Appl. 257 (1997), 289–306.

    Article  MathSciNet  MATH  Google Scholar 

  50. A. M. ODLYZKO:On subspaces spanned by random selections of +lvectors J. Com binatorial TheorySer. A 47 (1988), 124–133.

    MathSciNet  MATH  Google Scholar 

  51. D. RIEDEL:Berechnung des Chvátal-Gomory-Rangs von PolyedernDiplomarbeit, TU Berlin 1999, 52 Seiten.

    Google Scholar 

  52. F. P. SANTOS:Applications of the polyhedral Cayley trick to triangulations of polytopesExtended Abstract, Kotor conference, 1998.

    Google Scholar 

  53. A. & HRIJVER:Theory of Linear and Integer ProgrammingWiley-Inter& ience Series in Di& rete Mathematics and Optimization, John Wiley & Sons, Chichester New York 1986.

    Google Scholar 

  54. W. SMITH:Studies in Computational Geometry Motivated by Mesh GenerationPh.D. Dissertation, Program in Applied and Computational Mathematics, Princeton University 1988.

    Google Scholar 

  55. W. SMITH: Alower bound for the simplexity of the N-cube via hyperbolic volumes European J. Combinatorics 21 (2000), 131–137.

    Article  MATH  Google Scholar 

  56. GY. SZEKERES & P. TURÁN:Extremal problems for determinantsin Hungarian inMath. és Term. Tud. Értesítd (1940), 95–105; in English with a Note by M. Simonovits in “Collected Papers of Paul Turán” (P. Erdós, ed.), Vol. 1, Akadémiai Kiadó, Budapest 1990, 81–89.

    Google Scholar 

  57. J. WILLIAMSON:Determinants whose elements are0or 1,Amer. Math. Monthly53 (1946), 427–434.

    Article  MathSciNet  MATH  Google Scholar 

  58. G. M. ZIEGLER:Lectures on Polytopes Graduate Texts in Mathematics 152, Springer-Verlag New York Berlin Heidelberg 1995, 1998; Updates corrections and more at http://www.math.tu-berlin.de/ziegler.

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer Basel AG

About this chapter

Cite this chapter

Ziegler, G.M. (2000). Lectures on 0/1-Polytopes. In: Kalai, G., Ziegler, G.M. (eds) Polytopes — Combinatorics and Computation. DMV Seminar, vol 29. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-8438-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-0348-8438-9_1

  • Publisher Name: Birkhäuser, Basel

  • Print ISBN: 978-3-7643-6351-2

  • Online ISBN: 978-3-0348-8438-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics