Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers
From MaRDI portal
Publication:848679
DOI10.1007/S00454-009-9222-YzbMATH Open1187.52023arXiv0801.2582OpenAlexW2067750936MaRDI QIDQ848679FDOQ848679
Authors: Lars Schewe 
Publication date: 4 March 2010
Published in: Discrete \& Computational Geometry (Search for Journal in Brave)
Abstract: We show that no minimal vertex triangulation of a closed, connected, orientable 2-manifold of genus 6 admits a polyhedral embedding in R^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. We construct a new infinite family of non-realizable 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.
Full work available at URL: https://arxiv.org/abs/0801.2582
Recommendations
Cites Work
- Theory and Applications of Satisfiability Testing
- Title not available (Why is that?)
- polymake: a framework for analyzing convex polytopes
- Theory and Applications of Satisfiability Testing
- Isomorphism-free lexicographic enumeration of triangulated surfaces and 3-manifolds
- Computational synthetic geometry
- Title not available (Why is that?)
- Oriented Matroids
- Topological configurations \((n_4)\) exist for all \(n\geq 17\)
- Minimal triangulations on orientable surfaces
- Vertex-minimal simplicial immersions of the Klein bottle in three space
- Title not available (Why is that?)
- Triangulated manifolds with few vertices and vertex-transitive group actions
- Discrete Differential Geometry
- A note on geometric embeddings of simplicial complexes in a Euclidean space
- Necessary Conditions for Geometric Realizability of Simplicial Complexes
- Edge-graph diameter bounds for convex polytopes with few facets
- On the generation of oriented matroids
- How to exhibit toroidal maps in space
- A Nonpolyhedral Triangulated Mobius Strip
- Polyhedral 2-manifolds in \(E^ 3\) with unusually large genus
- Generation of oriented matroids --- a graph theoretical approach
- Title not available (Why is that?)
- Title not available (Why is that?)
- Polyhedral surfaces of high genus
- Intersection and linking numbers in oriented matroids
- Neighborly 2-manifolds with 12 vertices
- Enumeration and random realization of triangulated surfaces
- Surface realization with the intersection segment functional
- The Geometry of Radon's Theorem
- Title not available (Why is that?)
- How to build minimal polyhedral models of the Boy surface
Cited In (19)
- Title not available (Why is that?)
- Vertex-transitive polyhedra of higher genus. I
- More bounds on the diameters of convex polytopes
- Realizability and inscribability for simplicial polytopes via nonlinear optimization
- Edge-graph diameter bounds for convex polytopes with few facets
- Satisfiability problems in discrete geometry
- Minimal triangulations of two-dimensional manifolds
- Neighborly 2-manifolds with 12 vertices
- Discrete Differential Geometry
- Recent progress on the combinatorial diameter of polytopes and simplicial complexes
- On the generation of oriented matroids
- Generalized Heawood numbers
- Embedding dimensions of simplicial complexes on few vertices
- Necessary Conditions for Geometric Realizability of Simplicial Complexes
- Geometric realization of a triangulation on the projective plane with one face removed
- Title not available (Why is that?)
- Non-existence of polyhedral immersions of triangulated surfaces in \(\mathbb R^3\)
- A proof of the strict monotone 5-step conjecture
- The complete enumeration of 4-polytopes and 3-spheres with nine vertices
Uses Software
This page was built for publication: Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q848679)
