Advertisement

Mathematical Programming Computation

, Volume 11, Issue 1, pp 173–210 | Cite as

Enumeration of 2-level polytopes

  • Adam Bohn
  • Yuri Faenza
  • Samuel Fiorini
  • Vissarion Fisikopoulos
  • Marco MacchiaEmail author
  • Kanstantsin Pashkovich
Full Length Paper
  • 46 Downloads

Abstract

A (convex) polytope P is said to be 2-level if for each hyperplane H that supports a facet of P, the vertices of P can be covered with H and exactly one other translate of H. The study of these polytopes is motivated by questions in combinatorial optimization and communication complexity, among others. In this paper, we present the first algorithm for enumerating all combinatorial types of 2-level polytopes of a given dimension d, and provide complete experimental results for \(d \leqslant 7\). Our approach is inductive: for each fixed \((d-1)\)-dimensional 2-level polytope \(P_0\), we enumerate all d-dimensional 2-level polytopes P that have \(P_0\) as a facet. This relies on the enumeration of the closed sets of a closure operator over a finite ground set. By varying the prescribed facet \(P_0\), we obtain all 2-level polytopes in dimension d.

Keywords

Polyhedral computation Polyhedral combinatorics Optimization Formal concept analysis Algorithm engineering 

Mathematics Subject Classification

05A15 05C17 52B12 52B55 68W05 90C22 

Notes

Acknowledgements

We acknowledge support from the following research grants: ERC grant FOREFRONT (grant agreement no. 615640) funded by the European Research Council under the EU’s 7th Framework Programme (FP7/2007-2013), Ambizione grant PZ00P2 154779 Tight formulations of 0-1 problems funded by the Swiss National Science Foundation, the research grant Semidefinite extended formulations (Semaphore 14620017) funded by F.R.S.-FNRS, and the ARC grant AUWB-2012-12/17-ULB2 COPHYMA funded by the French community of Belgium.

References

  1. 1.
    Aichholzer, O.: Extremal properties of 0/1-polytopes of dimension 5. In: Ziegler, G., Kalai, G. (eds.) Polytopes—Combinatorics and Computation, pp. 111–130. Basel, Birkhäuser (2000)Google Scholar
  2. 2.
    Aprile, M., Cevallos, A., Faenza, Y.: On 2-level polytopes arising in combinatorial settings. SIAM J. Discret. Math. 32, 1857–1886 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Birkhoff, G.: Lattice Theory (American Mathematical Society Colloquium Publications), vol. 25, no. 2. American Mathematical Society (1940)Google Scholar
  4. 4.
    Birkhoff, G.: Tres observaciones sobre el algebra lineal. Univ. Nac. Tucumán Rev. Ser. A 5, 147–151 (1946)Google Scholar
  5. 5.
    Blekherman, G.: Nonnegative polynomials and sums of squares. J. Am. Math. Soc. 25(3), 617–635 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Bohn, A., Faenza, Y., Fiorini, S., Fisikopoulos, V., Macchia, M., Pashkovich, K.: Enumeration of 2-level polytopes. In: Bansal, N., Finocchi, I. (eds.) Algorithms–ESA 2015. Lecture Notes in Computer Science, vol. 9294, pp. 191–202. Springer, Berlin (2015)Google Scholar
  7. 7.
    Caspard, Nathalie, Monjardet, Bernard: The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey. Discrete Appl. Math. 127(2), 241–269 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Chvátal, V.: On certain polytopes associated with graphs. J. Comb. Theory Ser. B 18, 138–154 (1975)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Cornuéjols, G.: Combinatorial Optimization: Packing and Covering. CBMS-NSF Regional Conference Series in Applied Mathematics. Society for Industrial and Applied Mathematics (2001)Google Scholar
  10. 10.
    De Loera, J., Rambau, J., Santos, F.: Triangulations, vol. 25. Springer, Berlin (2010)zbMATHGoogle Scholar
  11. 11.
    Fiorini, S., Fisikopoulos, V., Macchia, M.: Two-level polytopes with a prescribed facet. In: Combinatorial Optimization - 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, 16–18 May 2016, Revised Selected Papers, pp. 285–296.  https://doi.org/10.1007/978-3-319-45587-7_25
  12. 12.
    Fukuda, K., Miyata, H., Moriyama, S.: Complete enumeration of small realizable oriented matroids. Discrete Comput. Geom. 49(2), 359–381 (2013). (English)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Ganter, B.: Algorithmen zur Formalen Begriffsanalyse. In: Ganter, B., Wille, R., Wolff, K.E. (eds.) Beiträge zur Begriffsanalyse, pp. 241–254. B.I. Wissenschaftsverlag, Wien (1987)Google Scholar
  14. 14.
    Ganter, B., Reuter, K.: Finding all closed sets: a general approach. Order 8(3), 283–290 (1991). (English)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Ganter, B., Wille, R.: Formal Concept Analysis—Mathematical Foundations. Springer, Berlin (1999)CrossRefzbMATHGoogle Scholar
  16. 16.
    Gillis, N., Glineur, F.: On the geometric interpretation of the nonnegative rank. Linear Algebra Appl. 437(11), 2685–2712 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Gouveia, J., Grappe, R., Kaibel, V., Pashkovich, K., Robinson, R.Z., Thomas, R.R.: Which nonnegative matrices are slack matrices? Linear Algebra Appl. 439(10), 2921–2933 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Gouveia, J., Parrilo, P., Thomas, R.: Theta bodies for polynomial ideals. SIAM J. Optim. 20(4), 2097–2118 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Gouveia, J., Pashkovich, K., Robinson, R.Z., Thomas, R.R.: Four dimensional polytopes of minimum positive semidefinite rank. J. Comb. Theory Ser. A 145, 184–226 (2017)Google Scholar
  20. 20.
    Gouveia, J., Robinson, R., Thomas, R.: Polytopes of minimum positive semidefinite rank. Discrete Comput. Geom. 50(3), 679–699 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Grande, F.: On \(k\)-level matroids: geometry and combinatorics. Ph.D. thesis, Free University of Berlin (2015)Google Scholar
  22. 22.
    Grande, F., Rué, J.: Many 2-level polytopes from matroids. Discrete Comput. Geom. 54(4), 954–979 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Grande, F., Sanyal, R.: Theta rank, levelness, and matroid minors. J. Comb. Theory Ser. B 123, 1–31 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Grötschel, M., Lovász, L., Schrijver, A.: Geometric Algorithms and Combinatorial Optimization, vol. 2. Springer, Berlin (1993)zbMATHGoogle Scholar
  25. 25.
    Hampe, S., Joswig, M., Benjamin, S.: Algorithms for tight spans and tropical linear spaces (2016). arXiv:1612.03592
  26. 26.
    Hanner, O.: Intersections of translates of convex bodies. Math. Scand. 4, 65–87 (1956)MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    Hansen, A.: On a certain class of polytopes associated with independence systems. Math. Scand. 41, 225–241 (1977)MathSciNetCrossRefzbMATHGoogle Scholar
  28. 28.
    Kaibel, Volker, Pfetsch, Marc E.: Computing the face lattice of a polytope from its vertex-facet incidences. Comput. Geom. 23(3), 281–290 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Kalai, G.: The number of faces of centrally-symmetric polytopes. Graphs Comb. 5(1), 389–391 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  30. 30.
    Kuznetsov, S., Obiedkov, S.: Comparing performance of algorithms for generating concept lattices. J. Exp. Theor. Artif. Intell. 14, 189–216 (2002)CrossRefzbMATHGoogle Scholar
  31. 31.
    Lovász, L.: Semidefinite programs and combinatorial optimization. In: Reed, B.A., Sales, C.L. (eds.) Recent Advances in Algorithms and Combinatorics, CMS Books in Mathematics, pp. 137–194. Springer, Berlin (2003)Google Scholar
  32. 32.
    Lovasz, L., Saks, M.: Lattices, mobius functions and communications complexity. In: Proceedings of the 29th Annual Symposium on Foundations of Computer Science, Washington, DC, USA, SFCS ’88, pp. 81–90. IEEE Computer Society (1988)Google Scholar
  33. 33.
    McKay, B.D., Piperno, A.: Practical graph isomorphism, II. J. Symb. Comput. 60, 94–112 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  34. 34.
    Moore, E.H.: Introduction to a form of general analysis. Yale University Press, New Haven (1910)CrossRefzbMATHGoogle Scholar
  35. 35.
    Paffenholz, A.: Faces of Birkhoff polytopes. Electron. J. Comb. 22, 1–67 (2015)MathSciNetzbMATHGoogle Scholar
  36. 36.
    Pashkovich, K.: Extended formulations for combinatorial polytopes. Ph.D. thesis, Magdeburg Universität (2012)Google Scholar
  37. 37.
    Sanyal, R., Werner, A., Ziegler, G.: On Kalai’s conjectures concerning centrally symmetric polytopes. Discrete Comput. Geom. 41(2), 183–198 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  38. 38.
    Siek, J., Allison, C.: Boost 1.63 C++ libraries: Dynamic bitset 1.29.0. (2016) http://www.boost.org/doc/libs/1_63_0/libs/dynamic_bitset/dynamic_bitset.html. Accessed 7 May 2017
  39. 39.
    Stanley, R.: Decompositions of rational convex polytopes. Ann. Discrete Math. 6, 333–342 (1980)MathSciNetCrossRefzbMATHGoogle Scholar
  40. 40.
    Stanley, R.: Two poset polytopes. Discrete Comput. Geom. 1(1), 9–23 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  41. 41.
    Sullivant, S.: Compressed polytopes and statistical disclosure limitation. Tohoku Math. J. Second Ser. 58(3), 433–445 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  42. 42.
    Walter, J., Koch, M.: Boost 1.63: Basic linear algebra library (2016) http://www.boost.org/doc/libs/1_63_0/libs/numeric/ublas
  43. 43.
    Yannakakis, M.: Expressing combinatorial optimization problems by linear programs. J. Comput. Syst. Sci. 43(3), 441–466 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  44. 44.
    Ziegler, G.: Lectures on Polytopes, vol. 152. Springer, Berlin (1995)zbMATHGoogle Scholar
  45. 45.
    Ziegler, G.: Lectures on 0/1-polytopes. In: Kalai, G., Ziegler, G. (eds.) Polytopes—Combinatorics and Computation, DMV Seminar, vol. 29, pp. 1–41. Basel, Birkhäuser (2000)Google Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature and The Mathematical Programming Society 2018

Authors and Affiliations

  • Adam Bohn
    • 1
  • Yuri Faenza
    • 2
  • Samuel Fiorini
    • 1
  • Vissarion Fisikopoulos
    • 1
  • Marco Macchia
    • 1
    Email author
  • Kanstantsin Pashkovich
    • 3
  1. 1.Université libre de BruxellesBrusselsBelgium
  2. 2.IEOR DepartmentColumbia UniversityNew YorkUSA
  3. 3.C&O DepartmentUniversity of WaterlooWaterlooCanada

Personalised recommendations