Related papers: Metric reconstruction via optimal transport

We develop a theory of $\times$-homotopy, fundamental groupoids and covering spaces that apply to non-simple graphs, generalizing existing results for simple graphs. We prove that $\times$-homotopies from finite graphs can be decomposed…

Latschev's theorem provides sufficient conditions on a metric space $M$ and $\delta > 0$ for the homotopy type of $M$ to agree with that of the Vietoris-Rips complex $\mathcal{R}^{\delta}(N)$ of any nearby space $N$ in the Gromov-Hausdorff…

We establish the following Hadamard--Stoker type theorem: Let $f:M^n\rightarrow\mathscr{H}^n\times\mathbb R$ be a complete connected hypersurface with positive definite second fundamental form, where $\mathscr H^n$ is a Hadamard manifold.…

Optimal transport (OT) is a central framework for modeling distribution shifts. Because OT compares distributions directly in input space, a well-designed ground metric between observations is essential to ensure that the optimizer does not…

We show that an arbitrary spatial distribution of complex refractive index inside an object can be exactly represented as a sum of two "monomorphous" complex distributions, i.e. the distributions with the ratios of the real part to the…

Optimal transport has recently started to be successfully employed to define misfit or loss functions in inverse problems. However, it is a problem intrinsically defined for positive (probability) measures and therefore strategies are…

Let $(X,d,\mathfrak{m})$ be a metric measure space. The study of the Wasserstein space $(\mathbb{P}_p(X),\mathbb{W}_p)$ associated to $X$ has proved useful in describing several geometrical properties of $X.$ In this paper we focus on the…

For a real $r\geq 0,$ we consider the notion of $r$-homotopy equivalence in the category quasimetric spaces, which includes metric spaces and directed graphs. We show that for a finite quasimetric space $X$ there is a unique (up to…

For a metric space $(X, d)$ and a scale parameter $r \geq 0$, the Vietoris-Rips complex $\mathcal{VR}(X;r)$ is a simplicial complex on vertex set $X$, where a finite set $\sigma \subseteq X$ is a simplex if and only if diameter of $\sigma$…

Many machine learning problems involve data supported on curved spaces such as spheres, rotation groups, hyperbolic spaces, and general Riemannian manifolds, where Euclidean geometry can distort distances, averages, and the resulting…

In this work, we consider the area non-increasing map between manifolds with positive curvature. By exploring the strong maximum principle along the graphical mean curvature flow, we show that an area non-increasing map between certain…

Optimal transport (OT) is a powerful tool for measuring the distance between two defined probability distributions. In this paper, we develop a new manifold named the coupling matrix manifold (CMM), where each point on CMM can be regarded…

The aim of this paper is to show how the homotopy type of compact metric spaces can be reconstructed by the inverse limit of an inverse sequence of finite approximations of the corresponding space. This recovering allows us to define…

Let $M$ be a closed Riemannian manifold and let $X\subseteq M$. If the sample $X$ is sufficiently dense relative to the curvature of $M$, then the Gromov-Hausdorff distance between $X$ and $M$ is bounded from below by half their Hausdorff…

In this paper we give a natural condition for when a volumorphism on a Riemannian manifold $(M,g)$ is actually an isometry with respect to some other, optimal, Riemannian metric $h$. We consider the natural action of volumorphisms on the…

The measurable Riemann mapping theorem proved by Morrey and in some particular cases by Ahlfors, Lavrentiev and Vekua, says that any measurable almost complex structure on $\rd$ ($S^2$) with bounded dilatation is integrable: there is a…

This paper displays the Healy-McInnes UMAP construction $V(X,N)$ as an iterated pushout of Vietoris-Rips objects associated to extended pseudo metric spaces (ep-metric spaces) defined by choices of neighbourhoods of the elements of a finite…

Utilizing the discrete homotopy methods developed for uniform spaces by Berestovskii-Plaut, we define the critical spectrum Cr(X) of a metric space, generalizing to the non-geodesic case the covering spectrum defined by Sormani-Wei and the…

We propose a volumetric formulation for computing the Optimal Transport problem defined on surfaces in $\mathbb{R}^3$, found in disciplines like optics, computer graphics, and computational methodologies. Instead of directly tackling the…

Given $r_0>0$, $I\in \mathbb{N}\cup \{0\}$ and $K_0,H_0\geq 0$, let $X$ be a complete Riemannian $3$-manifold with injectivity radius $\mbox{Inj}(X)\geq r_0$ and with the supremum of absolute sectional curvature at most $K_0$, and let…