English
Related papers

Related papers: Hardness of embedding simplicial complexes in $\R^…

200 papers

A graph is called (generically) rigid in $\mathbb{R}^d$ if, for any choice of sufficiently generic edge lengths, it can be embedded in $\mathbb{R}^d$ in a finite number of distinct ways, modulo rigid transformations. Here we deal with the…

Computational Geometry · Computer Science 2017-01-26 Ioannis Z. Emiris , Ioannis Psarros

We study the problem of recognizing whether a given abstract simplicial complex $K$ is the $k$-skeleton of the nerve of $j$-dimensional convex sets in $\mathbb{R}^d$. We denote this problem by $R(k,j,d)$. As a main contribution, we unify…

Computational Geometry · Computer Science 2023-02-28 Patrick Schnider , Simon Weber

Learning low-dimensional numerical representations from symbolic data, e.g., embedding the nodes of a graph into a geometric space, is an important concept in machine learning. While embedding into Euclidean space is common, recent…

Machine Learning · Computer Science 2024-10-10 Thomas Bläsius , Jean-Pierre von der Heydt , Maximilian Katzmann , Nikolai Maas

Given a smooth polarized Riemann surface (X, L) endowed with a hyperbolic metric $\omega$ with cusp singularities along a divisor D, we show the L^2 projective embedding of (X, D) defined by L^k is asymptotically almost balanced in a…

Differential Geometry · Mathematics 2017-09-26 Jingzhou Sun , Song Sun

We consider the problem of finding a subcomplex K' of a simplicial complex K such that K' is homeomorphic to the 2-dimensional sphere, S^2. We study two variants of this problem. The first asks if there exists such a K' with at most k…

Data Structures and Algorithms · Computer Science 2019-09-10 Benjamin Burton , Sergio Cabello , Stefan Kratsch , William Pettersson

We consider the embedding function $c_b(a)$ describing the problem of symplectically embedding an ellipsoid $E(1,a)$ into the smallest scaling of the polydisc $P(1,b)$. Previous work suggests that determining the entirety of $c_b(a)$ for…

Symplectic Geometry · Mathematics 2025-08-12 Alvin Jin , Andrew S. Lee

In the NP-hard Edge Dominating Set problem (EDS) we are given a graph $G=(V,E)$ and an integer $k$, and need to determine whether there is a set $F\subseteq E$ of at most $k$ edges that are incident with all (other) edges of $G$. It is…

Data Structures and Algorithms · Computer Science 2019-01-14 Eva-Maria C. Hols , Stefan Kratsch

Let $\mathrm{R}$ be a real closed field. We prove that for any fixed $d$, the equivariant rational cohomology groups of closed symmetric semi-algebraic subsets of $\mathrm{R}^k$ defined by polynomials of degrees bounded by $d$ vanishes in…

Algebraic Topology · Mathematics 2018-02-15 Saugata Basu , Cordian Riener

Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching for integers d>2 is the problem of finding a matching of size…

Data Structures and Algorithms · Computer Science 2018-12-10 Holger Dell , Dániel Marx

A graph is called (generically) rigid in R^d if, for any choice of sufficiently generic edge lengths, it can be embedded in R^d in a finite number of distinct ways, modulo rigid transformations. Here, we deal with the problem of determining…

Computational Geometry · Computer Science 2014-10-24 Stylianos C. Despotakis , Ioannis Z. Emiris

We prove that every smooth affine variety of dimension $d$ embeds into every simple algebraic group of dimension at least $2d+2$. We do this by establishing the existence of embeddings of smooth affine varieties into the total space of…

Algebraic Geometry · Mathematics 2021-10-11 Peter Feller , Immanuel van Santen

The number of embeddings of minimally rigid graphs in $\mathbb{R}^D$ is (by definition) finite, modulo rigid transformations, for every generic choice of edge lengths. Even though various approaches have been proposed to compute it, the gap…

Algebraic Geometry · Mathematics 2020-01-24 Evangelos Bartzos , Ioannis Emiris , Jan Legerský , Elias Tsigaridas

We characterize all the real numbers a,b,c and 1<= p,q,r<infty such that the weighted Sobolev space W_{a,b}^(q,p)(R^N\{0}) with power weights |x|^a and |x|^b is continuously embedded into L^{r}(R^N;|x|^cdx). Furthermore, we show that this…

Analysis of PDEs · Mathematics 2015-01-20 Patrick J. Rabier

A map $\varphi:K\to R^2$ of a graph $K$ is approximable by embeddings, if for each $\varepsilon>0$ there is an $\varepsilon$-close to $\varphi$ embedding $f:K\to R^2$. Analogous notions were studied in computer science under the names of…

Geometric Topology · Mathematics 2018-10-02 Arkadiy Skopenkov

We say a $d$-dimensional simplicial complex embeds into double dimension if it embeds into the Euclidean space of dimension $2d$. For instance, a graph is planar iff it embeds into double dimension. We study the conditions under which the…

Algebraic Topology · Mathematics 2022-03-18 Salman Parsa

We consider the embedding function $c_b(a)$ describing the problem of symplectically embedding an ellipsoid $E(1,a)$ into the smallest possible scaling by $\lambda>1$ of the polydisc $P(1,b)$. In particular, we calculate rigid-flexible…

Symplectic Geometry · Mathematics 2025-08-11 Andrew Lee , Cory H. Colbert

An embedding of a graph in a book, called book embedding, consists of a linear ordering of its vertices along the spine of the book and an assignment of its edges to the pages of the book, so that no two edges on the same page cross. The…

We consider the problem of deciding whether an input graph G admits a topological embedding into a two-dimensional simplicial complex C. This problem includes, among others, the embeddability problem of a graph on a surface and the…

Computational Geometry · Computer Science 2018-03-20 Éric Colin de Verdière , Thomas Magnard , Bojan Mohar

Given a collection of planar graphs $G_1,\dots,G_k$ on the same set $V$ of $n$ vertices, the simultaneous geometric embedding (with mapping) problem, or simply $k$-SGE, is to find a set $P$ of $n$ points in the plane and a bijection $\phi:…

Computational Geometry · Computer Science 2015-05-08 Jean Cardinal , Vincent Kusters

We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard,…

Geometric Topology · Mathematics 2018-10-09 Arnaud de Mesmay , Yo'av Rieck , Eric Sedgwick , Martin Tancer