Related papers: The Lifting Problem is NP Complete
Optimization problems consist of either maximizing or minimizing an objective function. Instead of looking for a maximum solution (resp. minimum solution), one can find a minimum maximal solution (resp. maximum minimal solution). Such…
Some generalizations and variations of the Fintushel-Stern rim surgery are known to produce smoothly knotted surfaces. We show that if the fundamental groups of their complements are cyclic, then these surfaces are topologically unknotted.…
It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is…
A triangulation of a point configuration is regular if it can be given by a height function, that is every point gets lifted to a certain height and projecting the lower convex hull gives the triangulation. Checking regularity of a…
For a given finite class of finite graphs H, a graph G is called a realization of H if the neighbourhood of its any vertex induces the subgraph isomorphic to a graph of H. We consider the following problem known as the Generalized…
We show that the problem of deciding whether a knot in a fixed closed orientable 3-dimensional manifold bounds a surface of genus at most $g$ is in co-NP. This answers a question of Agol, Hass, and Thurston in 2002. Previously, this was…
Given $\mathbb P^4_k$, with $k$ algebraically closed field of characteristic $p>0$, and $X\subset \mathbb P^4_k$ integral surface of degree $d$, let $Y=X\cap H$ be the general hyperplane section of $X$. We suppose that $h^0\mathscr…
We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a…
Let M be $S^3$, $S^1\times S^2$, or a lens space L(p,q), and let k be a (1,1)-knot in M, i.e., a knot which is of 1-bridge with respect to a Heegaard torus. We show that if there is a closed meridionally incompressible surface in the…
The concept of closed trapped surface is of paramount importance in General Relativity and other gravitational theories. However, it is a purely geometrical object. With the aim of bringing this concept to closer attention by the…
Time-evolving or temporal graphs gain more and more popularity when studying the behavior of complex networks. In this context, the multistage view on computational problems is among the most natural frameworks. Roughly speaking, herein one…
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…
We establish geometric criteria to decide whether a contact manifold is overtwisted. Starting with the original definition, we first relate the different overtwisted disks in each dimension and show that a manifold is overtwisted if the…
Let $\mathcal{N}$ be a smooth, compact, connected Riemannian manifold without boundary. Let $\mathcal{E}\to\mathcal{N}$ be the Riemannian universal covering of $\mathcal{N}$. For any bounded, smooth domain $\Omega\subseteq\mathbb{R}^d$ and…
The cut polytope of a graph arises in many fields. Although much is known about facets of the cut polytope of the complete graph, very little is known for general graphs. The study of Bell inequalities in quantum information science…
We study surface knots in 4-space by using generic planar projections. These projections have fold points and cusps as their singularities and the image of the singular point set divides the plane into several regions. The width (or the…
A class of surfaces-graphs in a Riemannian 3-space with a prescribed projection of one field of principal directions onto a surface $\Pi$ is considered. A problem of determination of such surfaces when both principal curvatures are given…
Let Y be a surface with only finitely many singularities all of which are cusps. A set of cusps on Y is called three-divisible, if there is a cyclic global triple cover of Y branched precisely over these cusps. The aim of this note is to…
In this paper we describe a procedure for refining the given triangulation of a 3-manifold that scales the PL-metric according to a given weight function while creating no new normal surfaces. It is known that an incompressible surface $F$…
A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…