Abstract
We show that no minimal vertex triangulation of a closed, connected, orientable 2-manifold of genus 6 admits a polyhedral embedding in ℝ3. We also provide examples of minimal vertex triangulations of closed, connected, orientable 2-manifolds of genus 5 that do not admit any polyhedral embeddings. Correcting a previous error in the literature, we construct the first infinite family of such nonrealizable triangulations of surfaces. These results were achieved by transforming the problem of finding suitable oriented matroids into a satisfiability problem. This method can be applied to other geometric realizability problems, e.g., for face lattices of polytopes.
Article PDF
Similar content being viewed by others
References
Altshuler, A., Bokowski, J., Schuchert, P.: Neighborly 2-manifolds with 12 vertices. J. Comb. Theory, Ser. A 75(1), 148–162 (1996)
Archdeacon, D., Bonnington, C.P., Ellis-Monaghan, J.A.: How to exhibit toroidal maps in space. Discrete Comput. Geom. 38(3), 573–594 (2007)
Björner, A., Las Vergnas, M., Sturmfels, B., White, N., Ziegler, G.M.: Oriented Matroids, 2nd edn. Encyclopedia of Mathematics and its Applications, vol. 46. Cambridge University Press, Cambridge (1999)
Bokowski, J.: On heuristic methods of finding realizations of surfaces. In: Bobenko, A.I., Schröder, P., Sullivan, J.M., Ziegler, G.M. (eds.) Discrete Differential Geometry. Oberwolfach Seminars, vol. 38, pp. 255–260. Birkhäuser, Basel (2008)
Bokowski, J., Eggert, A.: All realizations of Möbius’ torus with seven vertices. Struct. Topol. 17, 59–78 (1991)
Bokowski, J., Guedes de Oliveira, A.: On the generation of oriented matroids. Discrete Comput. Geom. 24(2–3), 197–208 (2000)
Bokowski, J., Sturmfels, B.: Computational Synthetic Geometry. Lecture Notes in Mathematics, vol. 1355. Springer, Berlin (1989)
Bokowski, J., Grünbaum, B., Schewe, L.: Topological configurations (n 4) exist for all n≥17. Eur. J. Comb. (2009). doi:10.1016/j.ejc.2008.12.008, posted on January 13, 2009 (to appear in print)
Brehm, U.: A nonpolyhedral triangulated Möbius strip. Proc. Am. Math. Soc. 89(3), 519–522 (1983)
Brehm, U.: How to build minimal polyhedral models of the Boy surface. Math. Intell. 12(4), 51–56 (1990)
Bremner, D.: MPC—Matroid Polytope Completion, May 2008. Available at http://www.cs.unb.ca/profs/bremner/mpc/
Bremner, D., Schewe, L.: Edge-graph diameter bounds for convex polytopes with few facets. Preprint (2008). arXiv:0809.0915
Carvalho, P., Guedes de Oliveira, A.: Intersection and linking numbers in oriented matroids. Discrete Comput. Geom. 31(2), 305–321 (2004)
Cervone, D.P.: Vertex-minimal simplicial immersions of the Klein bottle in three space. Geom. Dedic. 50(2), 117–141 (1994)
Császár, Á.: A polyhedron without diagonals. Acta Univ. Szeged. Sect. Sci. Math. 13, 140–142 (1949)
Eén, N., Sörensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT, 2003. Lecture Notes in Computer Science, vol. 2919, pp. 502–518. Springer, Berlin (2004)
Finschi, L., Fukuda, K.: Generation of oriented matroids—a graph theoretical approach. Discrete Comput. Geom. 27(1), 117–136 (2002)
Gawrilow, E., Joswig, M.: Polymake: a framework for analyzing convex polytopes. In: Kalai, G., Ziegler, G.M. (eds.) Polytopes—Combinatorics and Computation, pp. 43–74. Birkhäuser, Basel (2000)
Grünbaum, B.: Convex Polytopes, 2nd edn. Graduate Texts in Mathematics, vol. 221. Springer, New York (2003). Prepared and with a preface by V. Kaibel, V. Klee and G.M. Ziegler
Gugisch, R.: Konstruktion von Isomorphieklassen orientierter Matroide. Dissertation, Universitát Bayreuth (2005) (In German)
Hougardy, S., Lutz, F.H., Zelke, M.: Surface realization with the intersection edge functional. Exp. Math. to appear. Available at arXiv:math.MG/0608538
Jungerman, M., Ringel, G.: Minimal triangulations on orientable surfaces. Acta Math. 145(1–2), 121–154 (1980)
Lutz, F.H.: Triangulated Manifolds with few Vertices and Vertex-Transitive Group Actions. Shaker, Aachen (1999) (English, with German summary). Dissertation, Technische Universität Berlin, Berlin (1999)
Lutz, F.H.: Enumeration and random realization of triangulated surfaces. In: Bobenko, A.I., Schröder, P., Sullivan, J.M., Ziegler, G.M. (eds.) Discrete Differential Geometry. Oberwolfach Seminars, vol. 38, pp. 235–253. Birkhäuser, Basel (2008). Available at arXiv:math.CO/0506316
Mahajan, Y.S., Fu, Z., Malik, S.: Zchaff2004: an efficient SAT solver. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT, 2004. Lecture Notes in Computer Science, vol. 3543, pp. 360–375. Springer, Berlin (2005)
McMullen, P., Schulz, C., Wills, J.M.: Polyhedral 2-manifolds in E 3 with unusually large genus. Israel J. Math. 46(1–2), 127–144 (1983)
Novik, I.: A note on geometric embeddings of simplicial complexes in a Euclidean space. Discrete Comput. Geom. 23(2), 293–302 (2000)
Peirce, C.S.: On the algebra of logic. Am. J. Math. 3, 15–58 (1880)
Peterson, B.B.: The geometry of Radon’s theorem. Am. Math. Mon. 79, 949–963 (1972)
Peyton Jones, S.L. (ed.): Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)
Radon, J.: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. Math. Ann. 83, 113–115 (1921). (In German)
Steinitz, E., Rademacher, H.: Vorlesungen über die Theorie der Polyeder. Springer, Berlin (1934)
Sulanke, T., Lutz, F.H.: Isomorphism free lexicographic enumeration of triangulated surfaces and 3-manifolds. Eur. J. Comb. (2009). doi:10.1016/j.ejc.2008.12.016
Timmreck, D.: Necessary conditions for geometric realizability of simplicial complexes. In: Bobenko, A.I., Schröder, P., Sullivan, J.M., Ziegler, G.M. (eds.) Discrete Differential Geometry. Oberwolfach Seminars, vol. 38, pp. 215–233. Birkhäuser, Basel (2008). Available at arXiv:0705.1912
Ziegler, G.M.: Polyhedral surfaces of high genus. In: Bobenko, A.I., Schröder, P., Sullivan, J.M., Ziegler, G.M. (eds.) Discrete Differential Geometry. Oberwolfach Seminars, vol. 38, pp. 191–213. Birkhäuser, Basel (2008). Available at arXiv:math.MG/0412093
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is part of the PhD thesis of the author. The author was supported by a scholarship of the Deutsche Telekom Foundation.
Rights and permissions
About this article
Cite this article
Schewe, L. Nonrealizable Minimal Vertex Triangulations of Surfaces: Showing Nonrealizability Using Oriented Matroids and Satisfiability Solvers. Discrete Comput Geom 43, 289–302 (2010). https://doi.org/10.1007/s00454-009-9222-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-009-9222-y