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

We prove that for any partition $(\lambda_1,...,\lambda_{d^2})$ of size $\ell d$ there exists $k\ge 1$ such that the tensor square of the irreducible representation of the symmetric group $S_{k\ell d}$ with respect to the rectangular…

For $X \sim X(n; 1, n^{-\alpha_1}, n^{-\alpha_2}, ...)$ in the multiparameter random simplicial complex model we establish necessary and sufficient strict inequalities on the $\alpha_i$'s to linearly embed the complex into…

The dimension of a graph $G$ is the smallest $d$ for which its vertices can be embedded in $d$-dimensional Euclidean space in the sense that the distances between endpoints of edges equal $1$ (but there may be other unit distances).…

The partition number $\pi(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $\nu$ such that for each partition $A_1\uplus\ldots\uplus A_\nu = [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is…

In this paper we extend the works of Tancer and of Malgouyres and Franc\'es, showing that $(d,k)$-collapsibility is NP-complete for $d\geq k+2$ except $(2,0)$. By $(d,k)$-collapsibility we mean the following problem: determine whether a…

We introduce a randomized iterative fragmentation procedure for finite metric spaces, which is guaranteed to result in a polynomially large subset that is $D$-equivalent to an ultrametric, where $D\in (2,\infty)$ is a prescribed target…

We study integration and $L_2$-approximation on countable tensor products of function spaces of increasing smoothness. We obtain upper and lower bounds for the minimal errors, which are sharp in many cases including, e.g., Korobov, Walsh,…

We investigate $k$-nets with $k\geq 4$ embedded in the projective plane $PG(2,\mathbb{K})$ defined over a field $\mathbb{K}$; they are line configurations in $PG(2,\mathbb{K})$ consisting of $k$ pairwise disjoint line-sets, called…

We establish new exponential in dimension lower bounds for the Maximum Halfspace Discrepancy problem, which models linear classification. Both are fundamental problems in computational geometry and machine learning in their exact and…

Attached to a singular analytic curve germ in $d$-space is a numerical semigroup: a subset $S$ of the non-negative integers which is closed under addition and whose complement isfinite. Conversely, associated to any numerical semigroup $S$…

Let $K$ be a $k$-dimensional simplicial complex having $n$ faces of dimension $k$, and $M$ a closed $(k-1)$-connected PL $2k$-dimensional manifold. We prove that for $k\ge3$ odd $K$ embeds into $M$ if and only if there are $\bullet$ a…

A k-page book embedding of a graph G draws the vertices of G on a line and the edges on k half-planes (called pages) bounded by this line, such that no two edges on the same page cross. We study the problem of determining whether G admits a…

We give a complete obstruction to turning an immersion of an m-dimensional manifold M in Euclidean n-space into an embedding when 3n>4m+4. It is a secondary obstruction, and exists only when the primary obstruction, due to Haefliger,…

McDuff and Schlenk have recently determined exactly when a four-dimensional symplectic ellipsoid symplectically embeds into a symplectic ball. Similarly, Frenkel and M\"uller have recently determined exactly when a symplectic ellipsoid…

In the $k$-Center problem, we are given a graph $G=(V,E)$ with positive edge weights and an integer $k$ and the goal is to select $k$ center vertices $C \subseteq V$ such that the maximum distance from any vertex to the closest center…

Let $\sigma_i$, $i=1,\ldots,n$, denote positive Borel measures on $\mathbb{R}^d$, let $\mathcal{D}$ denote the usual collection of dyadic cubes in $\mathbb{R}^d$ and let $K:\,\mathcal{D}\to[0,\infty)$ be a~map. In this paper we give…

We define a generic rigidity matroid for $k$-volumes of a simplicial complex in $\mathbb{R}^d$, and prove that for $2\leq k \leq d-1$ it has the same rank as the classical generic $d$-rigidity matroid on the same vertex set (namely, the…

A continuous map C^d -> C^N is a complex k-regular embedding if any k pairwise distinct points in C^d are mapped by f into k complex linearly independent vectors in C^N. Our central result on complex k-regular embeddings extends results of…

We give an embedding of the Poincar\'e halfspace $H^D$ into a discrete metric space based on a binary tiling of $H^D$, with additive distortion $O(\log D)$. It yields the following results. We show that any subset $P$ of $n$ points in $H^D$…

We study the parameterized and classical complexity of two related problems on undirected graphs $G=(V,E)$. In Strong Triadic Closure we aim to label the edges in $E$ as strong and weak such that at most~$k$ edges are weak and $G$ contains…