Related papers: On the Complexity of Immersed Normal Surfaces

For many fundamental problems in computational topology, such as unknot recognition and $3$-sphere recognition, the existence of a polynomial-time solution remains unknown. A major algorithmic tool behind some of the best known algorithms…

Normal surface theory is a central tool in algorithmic three-dimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important algorithms. However, it is not well understood how the number…

This paper gives sharp linear bounds on the genus of a normal surface in a triangulated compact, orientable 3--manifold in terms of the quadrilaterals in its cell decomposition---different bounds arise from varying hypotheses on the surface…

Computational knot theory and 3-manifold topology have seen significant breakthroughs in recent years, despite the fact that many key algorithms have complexity bounds that are exponential or greater. In this setting, experimentation is…

In three-dimensional computational topology, the theory of normal surfaces is a tool of great theoretical and practical significance. Although this theory typically leads to exponential time algorithms, very little is known about how these…

Tollefson described a variant of normal surface theory for 3-manifolds, called Q-theory, where only the quadrilateral coordinates are used. Suppose $M$ is a triangulated, compact, irreducible, boundary-irreducible 3-manifold. In Q-theory,…

We present a simple proof of the surface classification theorem using normal curves. This proof is analogous to Kneser's and Milnor's proof of the existence and uniqueness of the prime decomposition of 3-manifolds. In particular, we do not…

We investigate the complexity of finding an embedded non-orientable surface of Euler genus $g$ in a triangulated $3$-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance…

We give a simple sufficient condition for a spun-normal surface in an ideal triangulation to be incompressible, namely that it is a vertex surface with non-empty boundary which has a quadrilateral in each tetrahedron. While this condition…

The aim of this paper is to investigate the differential geometry of immersed surfaces in three-dimensional normed spaces from the viewpoint of affine differential geometry. We endow the surface with a useful Riemannian metric which is…

Let $M$ be a compact 3-manifold with a triangulation $\tau$. We give an inequality relating the Euler characteristic of a surface $F$ normally embedded in $M$ with the number of normal quadrilaterals in $F$. This gives a relation between a…

In this paper, we use normal surface theory to study Dehn filling on a knot-manifold. First, it is shown that there is a finite computable set of slopes on the boundary of a knot-manifold that bound normal and almost normal surfaces in a…

In this paper, we will compute the dimension of the space of spun and ordinary normal surfaces in an ideal triangulation of the interior of a compact 3-manifold with incompressible tori or Klein bottle components. Spun normal surfaces have…

We present a practical algorithm to test whether a 3-manifold given by a triangulation or an ideal triangulation contains a closed essential surface. This property has important theoretical and algorithmic consequences. As a testament to…

We investigate slicings of combinatorial manifolds as properly embedded co-dimension 1 submanifolds. A focus is given to dimension 3 where slicings are normal surfaces. In the case of 2-neighborly 3-manifolds and quadrangulated slicings, a…

We prove that the problem of deciding whether a 2- or 3-dimensional simplicial complex embeds into $\mathbb{R}^3$ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an $\mathbb{S}^{3}$…

We define an invariant, which we call surface-complexity, of closed 3-manifolds by means of Dehn surfaces. The surface-complexity of a manifold is a natural number measuring how much the manifold is complicated. We prove that it fulfils…

Following Matveev, a k-normal surface in a triangulated 3-manifold is a generalization of both normal and (octagonal) almost normal surfaces. Using spines, complexity, and Turaev-Viro invariants of 3-manifolds, we prove the following…

Given a triangulation of a closed, oriented, irreducible, atoroidal 3-manifold every oriented, incompressible surface may be isotoped into normal position relative to the triangulation. Such a normal oriented surface is then encoded by…

This} paper presents relations between least area and normal surfaces, embedded in either a Euclidean or hyperbolic $3$-manifold. A relaxed version of normal surfaces, termed quasi-normal, is introduced, and it is shown that under…