Related papers: Algorithmic aspects of homeomorphism problems

We show that a realization of a closed connected PL-manifold of dimension n-1 in Euclidean n-space (n>2) is the boundary of a convex polyhedron if and only if the interior of each (n-3)-face has a point, which has a neighborhood lying on…

We show that given a partially flat angled ideal triangulation for a 3-manifold $M$ with boundary (as defined by Lackenby), there is an algorithm to produce a list of Heegaard splittings for $M$ such that below a given genus $g$, each…

The main theorem states that any complete connected Riemannian manifold of bounded geometry can be isometrically realized as a leaf with trivial holonomy in a compact Riemannian foliated space.

Let $\mathbb{F}_q$ be a finite field. Given two irreducible polynomials $f,g$ over $\mathbb{F}_q$, with $\mathrm{deg} f$ dividing $\mathrm{deg} g$, the finite field embedding problem asks to compute an explicit description of a field…

The study of embeddings of smooth manifolds into Euclidean and projective spaces has been for a long time an important area in topology. In this paper we obtain improvements of classical results on embeddings of smooth manifolds, focusing…

The cohomological rigidity problem for toric manifolds asks whether the cohomology ring of a toric manifold determines the topological type of the manifold. In this paper, we consider the problem with the class of one-twist Bott manifolds…

Inspired by the analogous result in the algebraic setting (Theorem 1) we show (Theorem 2) that the product $M \times \mathbb{R}P^n$ of a closed and orientable topological manifold $M$ with the $n$-dimensional real projective space cannot be…

Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn…

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…

Supervised manifold learning methods learn data representations by preserving the geometric structure of data while enhancing the separation between data samples from different classes. In this work, we propose a theoretical study of…

We present two algorithms for unfolding the surface of any polyhedron, all of whose faces are triangles, to a nonoverlapping, connected planar layout. The surface is cut only along polyhedron edges. The layout is connected, but it may have…

We present some algorithms that provide useful topological information about curves in surfaces. One of the main algorithms computes the geometric intersection number of two properly embedded 1-manifolds $C_1$ and $C_2$ in a compact…

0-dimensional persistent homology is known, from a computational point of view, as the easy case. Indeed, given a list of $n$ edges in non-decreasing order of filtration value, one only needs a union-find data structure to keep track of the…

Given a generic PL map or a generic smooth fold map $f:N^n\to M^m$, where $m\ge n$ and $2(m+k)\ge 3(n+1)$, we prove that $f$ lifts to a PL or smooth embedding $N\to M\times\mathbb R^k$ if and only if its double point locus $\{(x,y)\in…

Manifold models provide low-dimensional representations that are useful for processing and analyzing data in a transformation-invariant way. In this paper, we study the problem of learning smooth pattern transformation manifolds from image…

The topological containment problem is known to be polynomial-time solvable for any fixed pattern graph $H$, but good characterisations have been found for only a handful of non-trivial pattern graphs. The complete graph on five vertices,…

Let $M$ be a locally symmetric irreducible closed manifold of dimension $\ge 3$. A result of Borel [Bo] combined with Mostow rigidity imply that there exists a finite group $G = G(M)$ such that any finite subgroup of $\text{Homeo}^+(M)$ is…

We show that, given $d \geq 4$ and two closed connected oriented PL $4$-manifolds $M$ and $N$ such that $N$ has a handle decomposition with no $1$- and $3$-handles, there exists a $d$-fold simple branched covering $p \colon M \darrow{d} N$…

We prove that for every natural number k there are simply connected topological four-manifolds which have at leat k distinct smooth structures supporting Einstein metrics, and also have infinitely many distinct smooth structures not…

We consider embeddings of 3-regular graphs into 3-dimensional Cartesian coordinates, in such a way that two vertices are adjacent if and only if two of their three coordinates are equal (that is, if they lie on an axis-parallel line) and…