Related papers: Homotopic distance and generalized motion planning

From a sufficiently large point sample lying on a compact Riemannian submanifold of Euclidean space, one can construct a simplicial complex which is homotopy-equivalent to that manifold with high confidence. We describe a corresponding…

We provide a simple proof that in any homogeneous, compact metric space of diameter $D$, if one finds the average distance $A$ achieved in $X$ with respect to some isometry invariant Borel probability measure, then $$\frac{D}{2} \leq A \leq…

Riemannian optimization uses local methods to solve optimization problems whose constraint set is a smooth manifold. A linear step along some descent direction usually leaves the constraints, and hence retraction maps are used to…

We study fractional Sobolev and Besov spaces on noncompact Riemannian manifolds with bounded geometry. Usually, these spaces are defined via geodesic normal coordinates which, depending on the problem at hand, may often not be the best…

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee-for a given set of $m$ measures in $\mathbb{R}^d$-the existence of $k$ mutually orthogonal…

In this paper, we systematically develop the $m$-contiguity distance between simplicial maps as a discrete approximation framework for homotopical complexity in the category of simplicial complexes. We construct an increasing sequence of…

In this paper, as a fundamental study on the theory of Morse functions and their higher dimensional versions or fold maps and applications to geometric theory of manifolds, which were started in 1950s by differential topologists such as…

We construct examples of nonresolvable generalized $n$-manifolds, $n\geq 6$, with arbitrary resolution obstruction, homotopy equivalent to any simply connected, closed $n$-manifold. We further investigate the structure of generalized…

Stasheff showed that if a map between H-spaces is an H-map, then the suspension of the map is extendable to a map between cprojective planes of the H-spaces. Stahseff also proved the converse under the assumption that the multiplication of…

We study geodesics of Hofer's metric on the space of Lagrangian submanifolds in arbitrary symplectic manifolds from the variational point of view. We give a characterization of length-critical paths with respect to this metric. As a result,…

We study the moduli and determine a homotopy type of the space of all generalized Morse functions on d-manifolds for given d. This moduli space is closely connected to the moduli space of all Morse functions studied in the paper…

Special generic maps are smooth maps at each singular point of which we can represent as $(x_1, \cdots, x_m) \mapsto (x_1,\cdots,x_{n-1},\sum_{k=n}^{m}{x_k}^2)$ for suitable coordinates. Morse functions with exactly two singular points on…

Let Y be an infinite covering space of a projective manifold M in P^N of dimension n geq 2. Let C be the intersection with M of at most n-1 generic hypersurfaces of degree d in P^N. The preimage X of C in Y is a connected submanifold. Let…

We consider sequences of compact Riemannian manifolds with uniform Sobolev bounds on their metric tensors, and prove that their distance functions are uniformly bounded in the H\"{o}lder sense. This is done by establishing a general trace…

The reach of a submanifold of $\mathbb{R}^N$ is defined as the largest radius of a tubular neighbourhood around the submanifold that avoids self-intersections. While essential in geometric and topological applications, computing the reach…

We say that a metric graph is uniformly bounded if the degrees of all vertices are uniformly bounded and the lengths of edges are pinched between two positive constants; a metric space is approximable by a uniform graph if there is one…

We introduce a variant of Farber's topological complexity, defined for smooth compact orientable Riemannian manifolds, which takes into account only motion planners with the lowest possible "average length" of the output paths. We prove…

The purpose of this article is to show a second main theorem with the explicit truncation level for holomorphic mappings of $ \mathbb{C} $ (or of a compact Riemann surface) into a compact complex manifold sharing divisors in subgeneral…

We study monodromy of holomorphic motions and show the equivalence of triviality of monodromy of holomorphic motions and extensions of holomorphic motions to continuous motions of the Riemann sphere. We also study liftings of holomorphic…

This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the second computes the group $[\Sigma X,Y]^*$ of pointed…