English
Related papers

Related papers: Embeddability in $\mathbb{R}^3$ is NP-hard

200 papers

A general position map $f:K\to M$ of a $k$-dimensional simplicial complex to a $2k$-dimensional manifold (for $k=1$, of a graph to a surface) is a $\mathbb Z_2$-embedding if $|f\sigma \cap f\tau|$ is even for any non-adjacent $k$-faces…

Geometric Topology · Mathematics 2026-02-27 A. Skopenkov , O. Styrt

Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…

Geometric Topology · Mathematics 2018-05-24 Eric Samperton

In this paper we survey a number of recent results concerning the existence and moduli spaces of solutions of various geometric problems on noncompact manifolds. The three problems which we discuss in detail are: I. Complete properly…

dg-ga · Mathematics 2008-02-03 Rafe Mazzeo , Daniel Pollack

For real projective spaces, (a) the Euclidean immersion dimension, (b) the existence of axial maps, and (c) the topological complexity are known to be three facets of the same problem. But when it comes to embedding dimension, the classical…

Algebraic Topology · Mathematics 2014-10-01 Jesus Gonzalez , Peter Landweber

We consider 2-dimensional random simplicial complexes $Y$ in the multi-parameter model. We establish the multi-parameter threshold for the property that every 2-dimensional simplicial complex $S$ admits a topological embedding into $Y$…

Geometric Topology · Mathematics 2020-01-08 Michael Farber , Tahl Nowik

We consider the problem of deciding, given a sequence of regions, if there is a choice of points, one for each region, such that the induced polyline is simple or weakly simple, meaning that it can touch but not cross itself. Specifically,…

Computational Geometry · Computer Science 2023-04-27 Thijs van der Horst , Tim Ophelders , Bart van der Steenhoven

An invariant of orientable 3-manifolds is defined by taking the minimum $n$ such that a given 3-manifold embeds in the connected sum of $n$ copies of $S^2 \times S^2$, and we call this $n$ the embedding number of the 3-manifold. We give…

Geometric Topology · Mathematics 2019-02-25 Paolo Aceto , Marco Golla , Kyle Larson

We study trapped surfaces from the point of view of local isometric embedding into three-dimensional Riemannian manifolds. When a two-surface is embedded into three-dimensional Euclidean space, the problem of finding all surfaces applicable…

General Relativity and Quantum Cosmology · Physics 2018-09-26 Donato Bini , Giampiero Esposito

We show that linearly constrained linear optimization over a Stiefel or Grassmann manifold is NP-hard in general. We show that the same is true for unconstrained quadratic optimization over a Stiefel manifold. We will show that unless…

Optimization and Control · Mathematics 2025-11-27 Zehua Lai , Lek-Heng Lim , Tianyun Tang

We prove a theorem on equivariant maps implying the following two corollaries: (1) Let N and M be compact orientable n-manifolds with boundaries such that M\subset N, the inclusion M\to N induces an isomorphism in integral cohomology, both…

Geometric Topology · Mathematics 2012-07-06 D. Goncalves , A. Skopenkov

A combinatorial condition is obtained for when immersed or embedded incompressible surfaces in compact 3-manifolds with tori boundary components remain incompressible after Dehn surgery. A combinatorial characterisation of hierarchies is…

Geometric Topology · Mathematics 2009-09-25 Iain R. Aitchison , J. Hyam Rubinstein

The question of whether a closed, orientable manifold can admit a nontrivial vector field that is parallel with respect to some Riemannian metric is a classical problem in Differential Geometry, first posed by S. S. Chern [11]. In this…

Differential Geometry · Mathematics 2025-11-18 Emmanuel Gnandi , Raymond A. Hounnonkpe

Recoverable robust optimization is a popular multi-stage approach, in which it is possible to adjust a first-stage solution after the uncertain cost scenario is revealed. We consider recoverable robust optimization in combination with…

Computational Complexity · Computer Science 2024-11-28 Christoph Grüne , Lasse Wulf

We revisit the minimum-link path problem: Given a polyhedral domain and two points in it, connect the points by a polygonal path with minimum number of edges. We consider settings where the vertices and/or the edges of the path are…

Computational Geometry · Computer Science 2019-03-12 Irina Kostitsyna , Maarten Löffler , Valentin Polishchuk , Frank Staals

It is shown that any smooth closed orientable manifold of dimension $2k + 1$, $k \geq 2$, admits a smooth polynomially convex embedding into $\mathbb C^{3k}$. This improves by $1$ the previously known lower bound of $3k+1$ on the possible…

Complex Variables · Mathematics 2020-09-29 Purvi Gupta , Rasul Shafikov

Given a satisfiable instance of 1-in-3 SAT, it is NP-hard to find a satisfying assignment for it, but it may be possible to efficiently find a solution subject to a weaker (not necessarily Boolean) predicate than `1-in-3'. There is a…

Computational Complexity · Computer Science 2025-08-21 Andrei Krokhin , Danny Vagnozzi

We provide a simple characterization of simplicial complexes on few vertices that embed into the $d$-sphere. Namely, a simplicial complex on $d+3$ vertices embeds into the $d$-sphere if and only if its non-faces do not form an intersecting…

Combinatorics · Mathematics 2023-11-10 Florian Frick , Mirabel Hu , Verity Scheel , Steven Simon

The standard proof of NP-Hardness of 3DM provides a power-$4$ reduction of 3SAT to 3DM. In this note, we provide a linear-time reduction. Under the exponential time hypothesis, this reduction improves the runtime lower bound from…

Computational Complexity · Computer Science 2020-03-03 Shrinu Kushagra

In the point set embeddability problem, we are given a plane graph $G$ with $n$ vertices and a point set $S$ with $n$ points. Now the goal is to answer the question whether there exists a straight-line drawing of $G$ such that each vertex…

Computational Geometry · Computer Science 2020-05-13 Tanaeem M. Moosa , M. Sohel Rahman

The computational complexity class #P captures the difficulty of counting the satisfying assignments to a boolean formula. In this work, we use basic tools from quantum computation to give a proof that the SO(3) Witten-Reshetikhin-Turaev…

Computational Complexity · Computer Science 2017-03-21 Gorjan Alagic , Catharine Lo