English
Related papers

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

200 papers

We prove new barrier results in arithmetic complexity theory, showing severe limitations of natural lifting (aka escalation) techniques. For example, we prove that even optimal rank lower bounds on $k$-tensors cannot yield non-trivial lower…

Computational Complexity · Computer Science 2019-04-10 Ankit Garg , Visu Makam , Rafael Oliveira , Avi Wigderson

Given a compact space $X$ that does not admit an embedding (an injective continuous function) into $\mathbb{R}^d$, we study the ''degree'' of discontinuity that any injective function $X \to \mathbb{R}^d$ must have. To this end, we define a…

Metric Geometry · Mathematics 2026-01-30 Henry Adams , Florian Frick , Michael Harrison , Nikola Sadovek , Matt Superdock

We develop a new algorithm for factoring a bivariate polynomial $F\in \mathbb{K}[x,y]$ which takes fully advantage of the geometry of the Newton polygon of $F$. Under a non degeneracy hypothesis, the complexity is…

Commutative Algebra · Mathematics 2025-01-13 Martin Weimann

Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded…

K-Theory and Homology · Mathematics 2018-05-09 Daniel A. Ramras , Romain Tessera , Guoliang Yu

The concept of graph flattenability, initially formalized by Belk and Connelly and later expanded by Sitharam and Willoughby, extends the question of embedding finite metric spaces into a given normed space. A finite simple graph $G=(V,E)$…

Metric Geometry · Mathematics 2024-05-06 Sean Dewar , Eleftherios Kastis , Derek Kitson , William Sims

In the subspace approximation problem, we seek a k-dimensional subspace F of R^d that minimizes the sum of p-th powers of Euclidean distances to a given set of n points a_1, ..., a_n in R^d, for p >= 1. More generally than minimizing sum_i…

Data Structures and Algorithms · Computer Science 2015-10-22 Kenneth L. Clarkson , David P. Woodruff

We analyze the embedding dimension of a normal weighted homogeneous surface singularity, and more generally, the Poincar\'e series of the minimal set of generators of the graded algebra of regular functions, provided that the link of the…

Algebraic Geometry · Mathematics 2025-12-16 András Némethi , Tomohiro Okuma

We study the complexity of randomized computation of integrals depending on a parameter, with integrands from Sobolev spaces. That is, for $r,d_1,d_2\in{\mathbb N}$, $1\le p,q\le \infty$, $D_1= [0,1]^{d_1}$, and $D_2= [0,1]^{d_2}$ we are…

Numerical Analysis · Mathematics 2023-06-26 Stefan Heinrich

In the Vector Connectivity problem we are given an undirected graph $G=(V,E)$, a demand function $\phi\colon V\to\{0,\ldots,d\}$, and an integer $k$. The question is whether there exists a set $S$ of at most $k$ vertices such that every…

Computational Complexity · Computer Science 2015-06-24 Stefan Kratsch , Manuel Sorge

We prove that given two compact oriented $3$-manifolds $N$ and $M,$ with $M$ satisfying only a mild hypothesis, there is a hyperbolic $3$-manifold $N'$ arbitrarily ``closely related'' to $N,$ and such that $N'$ does not embed in $M.$ For…

Geometric Topology · Mathematics 2026-04-27 Giulio Belletti , Renaud Detcherry

For non-abelian simple objects in a unitary modular category, the density of their braid group representations, the #P-hard evaluation of their associated link invariants, and the BQP-completeness of their anyonic quantum computing models…

Quantum Algebra · Mathematics 2015-06-15 Matthew B. Hastings , Chetan Nayak , Zhenghan Wang

We develop a new approach to the classical problem on isotopy classification of embeddings of manifolds into Euclidean spaces. This approach involves studying of a new embedding invariant, of almost-embeddings and of smoothing, as well as…

Geometric Topology · Mathematics 2007-08-07 A. Skopenkov

We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In…

Geometric Topology · Mathematics 2012-01-31 Bhaskar Bagchi , Basudeb Datta

The three-in-a-tree problem asks for an induced tree of the input graph containing three mandatory vertices. In 2006, Chudnovsky and Seymour [Combinatorica, 2010] presented the first polynomial time algorithm for this problem, which has…

Data Structures and Algorithms · Computer Science 2020-07-10 Guilherme C. M. Gomes , Vinicius F. dos Santos , Murilo V. G. da Silva , Jayme L. Szwarcfiter

We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree…

Logic · Mathematics 2023-11-09 Nikolay Bazhenov , Hristo Ganchev , Stefan Vatev

We provide a number of algorithmic results for the following family of problems: For a given binary m\times n matrix A and integer k, decide whether there is a "simple" binary matrix B which differs from A in at most k entries. For an…

Data Structures and Algorithms · Computer Science 2018-03-19 Fedor V. Fomin , Petr A. Golovach , Fahad Panolan

In this paper we study the embedding of Riemannian manifolds in low codimension. The well-known result of Nash and Kuiper says that any short embedding in codimension one can be uniformly approximated by $C^1$ isometric embeddings. This…

Differential Geometry · Mathematics 2018-05-01 Sergio Conti , Camillo De Lellis , László Székelyhidi

In 2008, Bukh, Matousek, and Nivasch conjectured that for every n-point set S in R^d and every k, 0 <= k <= d-1, there exists a k-flat f in R^d (a "centerflat") that lies at "depth" (k+1) n / (k+d+1) - O(1) in S, in the sense that every…

Computational Geometry · Computer Science 2012-05-03 Boris Bukh , Gabriel Nivasch

In the \textsc{Maximum Degree Contraction} problem, input is a graph $G$ on $n$ vertices, and integers $k, d$, and the objective is to check whether $G$ can be transformed into a graph of maximum degree at most $d$, using at most $k$ edge…

Data Structures and Algorithms · Computer Science 2020-09-25 Saket Saurabh , Prafullkumar Tale

Sobolev embeddings, of arbitrary order, are considered into function spaces on domains of $\mathbb R^n$ endowed with measures whose decay on balls is dominated by a power $d$ of their radius. Norms in arbitrary rearrangement-invariant…

Functional Analysis · Mathematics 2019-12-10 Andrea Cianchi , Luboš Pick , Lenka Slavíková